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

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