llvm/test/CodeGen/Mips/brdelayslot.ll

   1 ; RUN: llc -mtriple=mipsel -O0 < %s | FileCheck %s -check-prefix=None
   2 ; RUN: llc -mtriple=mipsel     -relocation-model=pic    < %s | \
   3 ; RUN: FileCheck %s -check-prefix=Default
   4 ; RUN: llc -mtriple=mipsel -O1 -relocation-model=static < %s | \
   5 ; RUN: FileCheck %s -check-prefix=STATICO1
   6 ; RUN: llc -mtriple=mipsel -disable-mips-df-forward-search=false \
   7 ; RUN: -relocation-model=static < %s | FileCheck %s -check-prefix=FORWARD
   8 ; RUN: llc -mtriple=mipsel -disable-mips-df-backward-search -relocation-model=pic \
   9 ; RUN: -enable-shrink-wrap=false \
  10 ; RUN: -disable-mips-df-succbb-search=false -disable-preheader-prot=true < %s | \
  11 ; RUN: FileCheck %s -check-prefix=SUCCBB
  12
  13 define void @foo1() nounwind {
  14 entry:
  15 ; Default:     jalr
  16 ; Default-NOT: nop
  17 ; Default:     jr
  18 ; Default-NOT: nop
  19 ; Default:     .end
  20 ; None: jalr
  21 ; None: nop
  22 ; None: jr
  23 ; None: nop
  24 ; None: .end
  25
  26   call void @foo2(i32 3) nounwind
  27   ret void
  28 }
  29
  30 declare void @foo2(i32)
  31
  32 ; Check that cvt.d.w goes into jalr's delay slot.
  33 ;
  34 define void @foo3(i32 %a) nounwind {
  35 entry:
  36 ; Default-LABEL:     foo3:
  37 ; Default:     jalr
  38 ; Default:     cvt.d.w
  39
  40   %conv = sitofp i32 %a to double
  41   call void @foo4(double %conv) nounwind
  42   ret void
  43 }
  44
  45 declare void @foo4(double)
  46
  47 @g2 = external global i32
  48 @g1 = external global i32
  49 @g3 = external global i32
  50
  51 ; Check that branch delay slot can be filled with an instruction with operand
  52 ; $1.
  53 ;
  54 ; Default-LABEL:     foo5:
  55 ; Default-NOT: nop
  56
  57 define void @foo5(i32 %a) nounwind {
  58 entry:
  59   %0 = load i32, ptr @g2, align 4
  60   %tobool = icmp eq i32 %a, 0
  61   br i1 %tobool, label %if.else, label %if.then
  62
  63 if.then:
  64   %1 = load i32, ptr @g1, align 4
  65   %add = add nsw i32 %1, %0
  66   store i32 %add, ptr @g1, align 4
  67   br label %if.end
  68
  69 if.else:
  70   %2 = load i32, ptr @g3, align 4
  71   %sub = sub nsw i32 %2, %0
  72   store i32 %sub, ptr @g3, align 4
  73   br label %if.end
  74
  75 if.end:
  76   ret void
  77 }
  78
  79 ; Check that delay slot filler can place mov.s or mov.d in delay slot.
  80 ;
  81 ; Default-LABEL:     foo6:
  82 ; Default-NOT: nop
  83 ; Default:     .end foo6
  84
  85 define void @foo6(float %a0, double %a1) nounwind {
  86 entry:
  87   call void @foo7(double %a1, float %a0) nounwind
  88   ret void
  89 }
  90
  91 declare void @foo7(double, float)
  92
  93 ; Check that a store can move past other memory instructions.
  94 ;
  95 ; STATICO1-LABEL:      foo8:
  96 ; STATICO1:      jalr ${{[0-9]+}}
  97 ; STATICO1-NEXT: sw ${{[0-9]+}}, %lo(g1)
  98
  99 @foo9 = common global ptr null, align 4
 100
 101 define i32 @foo8(i32 %a) nounwind {
 102 entry:
 103   store i32 %a, ptr @g1, align 4
 104   %0 = load ptr, ptr @foo9, align 4
 105   call void %0() nounwind
 106   %1 = load i32, ptr @g1, align 4
 107   %add = add nsw i32 %1, %a
 108   ret i32 %add
 109 }
 110
 111 ; Test searchForward. Check that the second jal's slot is filled with another
 112 ; instruction in the same block.
 113 ;
 114 ; FORWARD-LABEL:     foo10:
 115 ; FORWARD:     jal foo11
 116 ; FORWARD:     jal foo11
 117 ; FORWARD-NOT: nop
 118 ; FORWARD:     end foo10
 119
 120 define void @foo10() nounwind {
 121 entry:
 122   tail call void @foo11() nounwind
 123   tail call void @foo11() nounwind
 124   store i32 0, ptr @g1, align 4
 125   tail call void @foo11() nounwind
 126   store i32 0, ptr @g1, align 4
 127   ret void
 128 }
 129
 130 declare void @foo11()
 131
 132 ; Check that delay slots of branches in both the entry block and loop body are
 133 ; filled.
 134 ;
 135 ; SUCCBB-LABEL:      succbbs_loop1:
 136 ; SUCCBB:      blez $5, $BB
 137 ; SUCCBB-NEXT: addiu
 138 ; SUCCBB:      bnez ${{[0-9]+}}, $BB
 139 ; SUCCBB-NEXT: addiu
 140
 141 define i32 @succbbs_loop1(ptr nocapture %a, i32 %n) {
 142 entry:
 143   %cmp4 = icmp sgt i32 %n, 0
 144   br i1 %cmp4, label %for.body, label %for.end
 145
 146 for.body:                                         ; preds = %entry, %for.body
 147   %s.06 = phi i32 [ %add, %for.body ], [ 0, %entry ]
 148   %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
 149   %arrayidx = getelementptr inbounds i32, ptr %a, i32 %i.05
 150   %0 = load i32, ptr %arrayidx, align 4
 151   %add = add nsw i32 %0, %s.06
 152   %inc = add nsw i32 %i.05, 1
 153   %exitcond = icmp eq i32 %inc, %n
 154   br i1 %exitcond, label %for.end, label %for.body
 155
 156 for.end:                                          ; preds = %for.body, %entry
 157   %s.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ]
 158   ret i32 %s.0.lcssa
 159 }
 160
 161 ; Check that the first branch has its slot filled.
 162 ;
 163 ; SUCCBB-LABEL:      succbbs_br1:
 164 ; SUCCBB:      beqz ${{[0-9]+}}, $BB
 165 ; SUCCBB-NEXT: lw ${{[0-9]+}}, %got(foo101)(${{[0-9]+}})
 166
 167 define internal fastcc void @foo101() {
 168 entry:
 169   tail call void @foo100()
 170   tail call void @foo100()
 171   ret void
 172 }
 173
 174 define void @succbbs_br1(i32 %a) {
 175 entry:
 176   %tobool = icmp eq i32 %a, 0
 177   br i1 %tobool, label %if.end, label %if.then
 178
 179 if.then:                                          ; preds = %entry
 180   tail call fastcc void @foo101()
 181   br label %if.end
 182
 183 if.end:                                           ; preds = %entry, %if.then
 184   ret void
 185 }
 186
 187 declare void @foo100()