mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-10 02:36:06 +00:00
19d8559019
Testing: passed 'make check' including LIT tests for all sequences being handled (both SSE and AVX) Reviewers: Evan Cheng, David Blaikie, Bruno Lopes, Elena Demikhovsky, Chad Rosier, Anton Korobeynikov git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147601 91177308-0d34-0410-b5e6-96231b3b80d8
245 lines
6.5 KiB
LLVM
Executable File
245 lines
6.5 KiB
LLVM
Executable File
; RUN: llc < %s -mtriple=i386-apple-darwin10 -mcpu=corei7-avx -mattr=+avx | FileCheck %s
|
|
|
|
declare i32 @llvm.x86.avx.ptestz.256(<4 x i64> %p1, <4 x i64> %p2) nounwind
|
|
declare i32 @llvm.x86.avx.ptestc.256(<4 x i64> %p1, <4 x i64> %p2) nounwind
|
|
|
|
define <4 x float> @test1(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test1:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jne
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestz.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp ne i32 %res, 0
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test2(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test2:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: je
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestz.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp eq i32 %res, 0
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test3(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test3:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jne
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestz.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = trunc i32 %res to i1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test4(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test4:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jae
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestc.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp ne i32 %res, 0
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test5(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test5:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jb
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestc.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp eq i32 %res, 0
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test6(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test6:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jae
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestc.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = trunc i32 %res to i1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test7(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test7:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jne
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestz.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp eq i32 %res, 1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test8(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test8:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: je
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestz.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp ne i32 %res, 1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test9(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test9:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jae
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestc.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp eq i32 %res, 1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|
|
|
|
define <4 x float> @test10(<4 x i64> %a, <4 x float> %b) nounwind {
|
|
entry:
|
|
; CHECK: test10:
|
|
; CHECK: vptest
|
|
; CHECK-NEXT: jb
|
|
; CHECK: ret
|
|
|
|
%res = call i32 @llvm.x86.avx.ptestc.256(<4 x i64> %a, <4 x i64> %a) nounwind
|
|
%one = icmp ne i32 %res, 1
|
|
br i1 %one, label %bb1, label %bb2
|
|
|
|
bb1:
|
|
%c = fadd <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
bb2:
|
|
%d = fdiv <4 x float> %b, < float 1.000000e+002, float 2.000000e+002, float 3.000000e+002, float 4.000000e+002 >
|
|
br label %return
|
|
|
|
return:
|
|
%e = phi <4 x float> [%c, %bb1], [%d, %bb2]
|
|
ret <4 x float> %e
|
|
}
|