Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!
[llvm.git] / test / CodeGen / CellSPU / v2i32.ll
blobdd51be5a71d2e740f54da4b1bc30c0f0591786bc
1 ;RUN: llc --march=cellspu %s -o - | FileCheck %s
2 %vec = type <2 x i32>
4 define %vec @test_ret(%vec %param)
6 ;CHECK: bi      $lr
7   ret %vec %param
10 define %vec @test_add(%vec %param)
12 ;CHECK: a {{\$.}}, $3, $3
13   %1 = add %vec %param, %param
14 ;CHECK: bi $lr
15   ret %vec %1
18 define %vec @test_sub(%vec %param)
20 ;CHECK: sf {{\$.}}, $4, $3
21   %1 = sub %vec %param, <i32 1, i32 1>
23 ;CHECK: bi $lr
24   ret %vec %1
27 define %vec @test_mul(%vec %param)
29 ;CHECK: mpyu
30 ;CHECK: mpyh
31 ;CHECK: a {{\$., \$., \$.}}
32 ;CHECK: a {{\$., \$., \$.}}
33   %1 = mul %vec %param, %param
35 ;CHECK: bi $lr
36   ret %vec %1
39 define <2 x i32> @test_splat(i32 %param ) {
40 ;TODO insertelement transforms to a PREFSLOT2VEC, that trasforms to the 
41 ;     somewhat redundant: 
42 ;CHECK-NOT or $3, $3, $3
43 ;CHECK: lqa
44 ;CHECK: shufb
45   %sv = insertelement <1 x i32> undef, i32 %param, i32 0 
46   %rv = shufflevector <1 x i32> %sv, <1 x i32> undef, <2 x i32> zeroinitializer 
47 ;CHECK: bi $lr
48   ret <2 x i32> %rv
51 define i32 @test_extract() {
52 ;CHECK: shufb $3
53   %rv = extractelement <2 x i32> zeroinitializer, i32 undef ; <i32> [#uses=1]
54 ;CHECK: bi $lr
55   ret i32 %rv
58 define void @test_store( %vec %val, %vec* %ptr)
60 ;CHECK: stqd $3, 0(${{.}})
61 ;CHECK: bi $lr
62   store %vec %val, %vec* %ptr
63   ret void