test/CodeGen/SPARC/2011-01-19-DelaySlot.ll

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