blob: d9fc8ea3aa85909ad05033bb11c2dda7e98f2c62 [file] [log] [blame]
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +00001;RUN: llc -march=sparc < %s | FileCheck %s
2
3
4define i32 @test(i32 %a) nounwind {
5entry:
6; CHECK: test
7; CHECK: call bar
8; CHECK-NOT: nop
9; CHECK: ret
10; CHECK-NEXT: restore
11 %0 = tail call i32 @bar(i32 %a) nounwind
12 ret i32 %0
13}
14
15define i32 @test_jmpl(i32 (i32, i32)* nocapture %f, i32 %a, i32 %b) nounwind {
16entry:
17; CHECK: test_jmpl
18; CHECK: call
19; CHECK-NOT: nop
20; CHECK: ret
21; CHECK-NEXT: restore
22 %0 = tail call i32 %f(i32 %a, i32 %b) nounwind
23 ret i32 %0
24}
25
26define i32 @test_loop(i32 %a, i32 %b) nounwind readnone {
27; CHECK: test_loop
28entry:
29 %0 = icmp sgt i32 %b, 0
30 br i1 %0, label %bb, label %bb5
31
32bb: ; preds = %entry, %bb
33 %a_addr.18 = phi i32 [ %a_addr.0, %bb ], [ %a, %entry ]
34 %1 = phi i32 [ %3, %bb ], [ 0, %entry ]
35 %tmp9 = mul i32 %1, %b
36 %2 = and i32 %1, 1
37 %tmp = xor i32 %2, 1
38 %.pn = shl i32 %tmp9, %tmp
39 %a_addr.0 = add i32 %.pn, %a_addr.18
40 %3 = add nsw i32 %1, 1
41 %exitcond = icmp eq i32 %3, %b
42;CHECK: subcc
43;CHECK: bne
44;CHECK-NOT: nop
45 br i1 %exitcond, label %bb5, label %bb
46
47bb5: ; preds = %bb, %entry
48 %a_addr.1.lcssa = phi i32 [ %a, %entry ], [ %a_addr.0, %bb ]
49;CHECK: ret
50;CHECK-NEXT: restore
51 ret i32 %a_addr.1.lcssa
52}
53
54define i32 @test_inlineasm(i32 %a) nounwind {
55entry:
56;CHECK: test_inlineasm
57;CHECK: sethi
58;CHECK: !NO_APP
59;CHECK-NEXT: subcc
60;CHECK-NEXT: bg
61;CHECK-NEXT: nop
62 tail call void asm sideeffect "sethi 0, %g0", ""() nounwind
63 %0 = icmp slt i32 %a, 0
64 br i1 %0, label %bb, label %bb1
65
66bb: ; preds = %entry
67 %1 = tail call i32 (...)* @foo(i32 %a) nounwind
68 ret i32 %1
69
70bb1: ; preds = %entry
71 %2 = tail call i32 @bar(i32 %a) nounwind
72 ret i32 %2
73}
74
75declare i32 @foo(...)
76
77declare i32 @bar(i32)