1 ;RUN: llc -march=sparc < %s -verify-machineinstrs | FileCheck %s 2 ;RUN: llc -march=sparc -O0 < %s -verify-machineinstrs | FileCheck %s -check-prefix=UNOPT 3 4 target triple = "sparc-unknown-linux-gnu" 5 6 define i32 @test(i32 %a) nounwind { 7 entry: 8 ; CHECK: test 9 ; CHECK: call bar 10 ; CHECK-NOT: nop 11 ; CHECK: ret 12 ; CHECK-NEXT: restore 13 %0 = tail call i32 @bar(i32 %a) nounwind 14 ret i32 %0 15 } 16 17 define i32 @test_jmpl(i32 (i32, i32)* nocapture %f, i32 %a, i32 %b) nounwind { 18 entry: 19 ; CHECK: test_jmpl 20 ; CHECK: call 21 ; CHECK-NOT: nop 22 ; CHECK: ret 23 ; CHECK-NEXT: restore 24 %0 = tail call i32 %f(i32 %a, i32 %b) nounwind 25 ret i32 %0 26 } 27 28 define i32 @test_loop(i32 %a, i32 %b) nounwind readnone { 29 ; CHECK: test_loop 30 entry: 31 %0 = icmp sgt i32 %b, 0 32 br i1 %0, label %bb, label %bb5 33 34 bb: ; preds = %entry, %bb 35 %a_addr.18 = phi i32 [ %a_addr.0, %bb ], [ %a, %entry ] 36 %1 = phi i32 [ %3, %bb ], [ 0, %entry ] 37 %tmp9 = mul i32 %1, %b 38 %2 = and i32 %1, 1 39 %tmp = xor i32 %2, 1 40 %.pn = shl i32 %tmp9, %tmp 41 %a_addr.0 = add i32 %.pn, %a_addr.18 42 %3 = add nsw i32 %1, 1 43 %exitcond = icmp eq i32 %3, %b 44 ;CHECK: cmp 45 ;CHECK: bne 46 ;CHECK-NOT: nop 47 br i1 %exitcond, label %bb5, label %bb 48 49 bb5: ; preds = %bb, %entry 50 %a_addr.1.lcssa = phi i32 [ %a, %entry ], [ %a_addr.0, %bb ] 51 ;CHECK: retl 52 ;CHECK-NOT: restore 53 ret i32 %a_addr.1.lcssa 54 } 55 56 define i32 @test_inlineasm(i32 %a) nounwind { 57 entry: 58 ;CHECK-LABEL: test_inlineasm: 59 ;CHECK: sethi 60 ;CHECK: !NO_APP 61 ;CHECK-NEXT: cmp 62 ;CHECK-NEXT: bg 63 ;CHECK-NEXT: mov 64 tail call void asm sideeffect "sethi 0, %g0", ""() nounwind 65 %0 = icmp slt i32 %a, 0 66 br i1 %0, label %bb, label %bb1 67 68 bb: ; preds = %entry 69 %1 = tail call i32 (...) @foo(i32 %a) nounwind 70 ret i32 %1 71 72 bb1: ; preds = %entry 73 %2 = tail call i32 @bar(i32 %a) nounwind 74 ret i32 %2 75 } 76 77 declare i32 @foo(...) 78 79 declare i32 @bar(i32) 80 81 82 define i32 @test_implicit_def() nounwind { 83 entry: 84 ;UNOPT-LABEL: test_implicit_def: 85 ;UNOPT: call func 86 ;UNOPT-NEXT: nop 87 %0 = tail call i32 @func(i32* undef) nounwind 88 ret i32 0 89 } 90 91 define i32 @prevent_o7_in_call_delay_slot(i32 %i0) { 92 entry: 93 ;CHECK-LABEL: prevent_o7_in_call_delay_slot: 94 ;CHECK: add %i0, 2, %o5 95 ;CHECK: add %i0, 3, %o7 96 ;CHECK: add %o5, %o7, %o0 97 ;CHECK: call bar 98 ;CHECK-NEXT: nop 99 %0 = add nsw i32 %i0, 2 100 %1 = add nsw i32 %i0, 3 101 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) 102 %2 = add nsw i32 %0, %1 103 %3 = tail call i32 @bar(i32 %2) 104 ret i32 %3 105 } 106 107 108 declare i32 @func(i32*) 109 110 111 define i32 @restore_add(i32 %a, i32 %b) { 112 entry: 113 ;CHECK-LABEL: restore_add: 114 ;CHECK: ret 115 ;CHECK: restore %o0, %i1, %o0 116 %0 = tail call i32 @bar(i32 %a) nounwind 117 %1 = add nsw i32 %0, %b 118 ret i32 %1 119 } 120 121 define i32 @restore_add_imm(i32 %a) { 122 entry: 123 ;CHECK-LABEL: restore_add_imm: 124 ;CHECK: ret 125 ;CHECK: restore %o0, 20, %o0 126 %0 = tail call i32 @bar(i32 %a) nounwind 127 %1 = add nsw i32 %0, 20 128 ret i32 %1 129 } 130 131 define i32 @restore_or(i32 %a) { 132 entry: 133 ;CHECK-LABEL: restore_or: 134 ;CHECK: ret 135 ;CHECK: restore %g0, %o0, %o0 136 %0 = tail call i32 @bar(i32 %a) nounwind 137 ret i32 %0 138 } 139 140 define i32 @restore_or_imm(i32 %a) { 141 entry: 142 ;CHECK-LABEL: restore_or_imm: 143 ;CHECK: or %o0, 20, %i0 144 ;CHECK: ret 145 ;CHECK-NOT: restore %g0, %g0, %g0 146 ;CHECK: restore 147 %0 = tail call i32 @bar(i32 %a) nounwind 148 %1 = or i32 %0, 20 149 ret i32 %1 150 } 151 152 153 define i32 @restore_sethi(i32 %a) { 154 entry: 155 ;CHECK-LABEL: restore_sethi: 156 ;CHECK-NOT: sethi 3 157 ;CHECK: restore %g0, 3072, %o0 158 %0 = tail call i32 @bar(i32 %a) nounwind 159 %1 = icmp ne i32 %0, 0 160 %2 = select i1 %1, i32 3072, i32 0 161 ret i32 %2 162 } 163 164 define i32 @restore_sethi_3bit(i32 %a) { 165 entry: 166 ;CHECK-LABEL: restore_sethi_3bit: 167 ;CHECK: sethi 6 168 ;CHECK-NOT: restore %g0, 6144, %o0 169 %0 = tail call i32 @bar(i32 %a) nounwind 170 %1 = icmp ne i32 %0, 0 171 %2 = select i1 %1, i32 6144, i32 0 172 ret i32 %2 173 } 174 175 define i32 @restore_sethi_large(i32 %a) { 176 entry: 177 ;CHECK-LABEL: restore_sethi_large: 178 ;CHECK: sethi 4000, %i0 179 ;CHECK-NOT: restore %g0, %g0, %g0 180 ;CHECK: restore 181 %0 = tail call i32 @bar(i32 %a) nounwind 182 %1 = icmp ne i32 %0, 0 183 %2 = select i1 %1, i32 4096000, i32 0 184 ret i32 %2 185 } 186 187
