1 ;RUN: llc -march=sparc < %s | FileCheck %s
2 ;RUN: llc -march=sparc -O0 < %s | FileCheck %s -check-prefix=UNOPT
5 define i32 @test(i32 %a) nounwind {
12 %0 = tail call i32 @bar(i32 %a) nounwind
16 define i32 @test_jmpl(i32 (i32, i32)* nocapture %f, i32 %a, i32 %b) nounwind {
23 %0 = tail call i32 %f(i32 %a, i32 %b) nounwind
27 define i32 @test_loop(i32 %a, i32 %b) nounwind readnone {
30 %0 = icmp sgt i32 %b, 0
31 br i1 %0, label %bb, label %bb5
33 bb: ; preds = %entry, %bb
34 %a_addr.18 = phi i32 [ %a_addr.0, %bb ], [ %a, %entry ]
35 %1 = phi i32 [ %3, %bb ], [ 0, %entry ]
36 %tmp9 = mul i32 %1, %b
39 %.pn = shl i32 %tmp9, %tmp
40 %a_addr.0 = add i32 %.pn, %a_addr.18
41 %3 = add nsw i32 %1, 1
42 %exitcond = icmp eq i32 %3, %b
46 br i1 %exitcond, label %bb5, label %bb
48 bb5: ; preds = %bb, %entry
49 %a_addr.1.lcssa = phi i32 [ %a, %entry ], [ %a_addr.0, %bb ]
52 ret i32 %a_addr.1.lcssa
55 define i32 @test_inlineasm(i32 %a) nounwind {
57 ;CHECK-LABEL: test_inlineasm:
63 tail call void asm sideeffect "sethi 0, %g0", ""() nounwind
64 %0 = icmp slt i32 %a, 0
65 br i1 %0, label %bb, label %bb1
68 %1 = tail call i32 (...)* @foo(i32 %a) nounwind
72 %2 = tail call i32 @bar(i32 %a) nounwind
81 define i32 @test_implicit_def() nounwind {
83 ;UNOPT-LABEL: test_implicit_def:
86 %0 = tail call i32 @func(i32* undef) nounwind
90 define i32 @prevent_o7_in_call_delay_slot(i32 %i0) {
92 ;CHECK-LABEL: prevent_o7_in_call_delay_slot:
93 ;CHECK: add %i0, 2, %o5
94 ;CHECK: add %i0, 3, %o7
95 ;CHECK: add %o5, %o7, %o0
98 %0 = add nsw i32 %i0, 2
99 %1 = add nsw i32 %i0, 3
100 tail call void asm sideeffect "", "r,r,~{l0},~{l1},~{l2},~{l3},~{l4},~{l5},~{l6},~{l7},~{i0},~{i1},~{i2},~{i3},~{i4},~{i5},~{i6},~{i7},~{o0},~{o1},~{o2},~{o3},~{o4},~{o6},~{g1},~{g2},~{g3},~{g4},~{g5},~{g6},~{g7}"(i32 %0, i32 %1)
101 %2 = add nsw i32 %0, %1
102 %3 = tail call i32 @bar(i32 %2)
107 declare i32 @func(i32*)
110 define i32 @restore_add(i32 %a, i32 %b) {
112 ;CHECK-LABEL: restore_add:
114 ;CHECK: restore %o0, %i1, %o0
115 %0 = tail call i32 @bar(i32 %a) nounwind
116 %1 = add nsw i32 %0, %b
120 define i32 @restore_add_imm(i32 %a) {
122 ;CHECK-LABEL: restore_add_imm:
124 ;CHECK: restore %o0, 20, %o0
125 %0 = tail call i32 @bar(i32 %a) nounwind
126 %1 = add nsw i32 %0, 20
130 define i32 @restore_or(i32 %a) {
132 ;CHECK-LABEL: restore_or:
134 ;CHECK: restore %g0, %o0, %o0
135 %0 = tail call i32 @bar(i32 %a) nounwind
139 define i32 @restore_or_imm(i32 %a) {
141 ;CHECK-LABEL: restore_or_imm:
142 ;CHECK: or %o0, 20, %i0
144 ;CHECK: restore %g0, %g0, %g0
145 %0 = tail call i32 @bar(i32 %a) nounwind
151 define i32 @restore_sethi(i32 %a) {
153 ;CHECK-LABEL: restore_sethi:
155 ;CHECK: restore %g0, 3072, %o0
156 %0 = tail call i32 @bar(i32 %a) nounwind
157 %1 = icmp ne i32 %0, 0
158 %2 = select i1 %1, i32 3072, i32 0
162 define i32 @restore_sethi_3bit(i32 %a) {
164 ;CHECK-LABEL: restore_sethi_3bit:
166 ;CHECK-NOT: restore %g0, 6144, %o0
167 %0 = tail call i32 @bar(i32 %a) nounwind
168 %1 = icmp ne i32 %0, 0
169 %2 = select i1 %1, i32 6144, i32 0
173 define i32 @restore_sethi_large(i32 %a) {
175 ;CHECK-LABEL: restore_sethi_large:
176 ;CHECK: sethi 4000, %i0
177 ;CHECK: restore %g0, %g0, %g0
178 %0 = tail call i32 @bar(i32 %a) nounwind
179 %1 = icmp ne i32 %0, 0
180 %2 = select i1 %1, i32 4096000, i32 0