test/CodeGen/Mips/longbranch/compact-branches-long-branch.ll

   1 ; RUN: llc < %s -march=mips -mcpu=mips32r6 -force-mips-long-branch | FileCheck %s
   2
   3 ; Check that when MIPS32R6 with the static relocation model with the usage of
   4 ; long branches, that there is a nop between any compact branch and the static
   5 ; relocation method of expanding branches. Previously, it could result in 'j'
   6 ; following a b(ne|eq)zc, which would raise a reserved instruction exception.
   7
   8 declare i32 @f(i32)
   9
  10 declare i32 @g()
  11
  12 ; CHECK-LABEL: test1:
  13 ; CHECK:       bnezc
  14 ; CHECK-NEXT:  nop
  15
  16 define i32 @test1(i32 %a) {
  17 entry:
  18   %0 = icmp eq i32 %a, 0
  19   br i1 %0, label %cond.true, label %cond.false
  20 cond.true:
  21   %1 = call i32 @f(i32 %a)
  22   ret i32 %1
  23 cond.false:
  24   %2 = call i32 @g()
  25   ret i32 %2
  26 }
  27
  28 ; CHECK-LABEL: test2:
  29 ; CHECK:       bgezc
  30 ; CHECK-NEXT:  nop
  31
  32 define i32 @test2(i32 %a) {
  33 entry:
  34   %0 = icmp sge i32 %a, 0
  35   br i1 %0, label %cond.true, label %cond.false
  36 cond.true:
  37   %1 = call i32 @f(i32 %a)
  38   ret i32 %1
  39 cond.false:
  40   %2 = call i32 @g()
  41   ret i32 %2
  42 }
  43
  44 ; CHECK-LABEL: test3:
  45 ; CHECK:       blezc
  46 ; CHECK-NEXT:  nop
  47
  48 define i32 @test3(i32 %a) {
  49 entry:
  50   %0 = icmp sle i32 %a, 0
  51   br i1 %0, label %cond.true, label %cond.false
  52 cond.true:
  53   %1 = call i32 @f(i32 %a)
  54   ret i32 %1
  55 cond.false:
  56   %2 = call i32 @g()
  57   ret i32 %2
  58 }
  59
  60 ; CHECK-LABEL: test4:
  61 ; CHECK:       bgtzc
  62 ; CHECK-NEXT:  nop
  63
  64 define i32 @test4(i32 %a) {
  65 entry:
  66   %0 = icmp sgt i32 %a, 0
  67   br i1 %0, label %cond.true, label %cond.false
  68 cond.true:
  69   %1 = call i32 @f(i32 %a)
  70   ret i32 %1
  71 cond.false:
  72   %2 = call i32 @g()
  73   ret i32 %2
  74 }
  75
  76 ; CHECK-LABEL: test5:
  77 ; CHECK:       bgezc
  78 ; CHECK-NEXT:  nop
  79
  80 define i32 @test5(i32 %a) {
  81 entry:
  82   %0 = icmp slt i32 %a, 0
  83   br i1 %0, label %cond.true, label %cond.false
  84 cond.true:
  85   %1 = call i32 @f(i32 %a)
  86   ret i32 %1
  87 cond.false:
  88   %2 = call i32 @g()
  89   ret i32 %2
  90 }
  91
  92 ; CHECK-LABEL: test6:
  93 ; CHECK:       bnezc
  94 ; CHECK-NEXT:  nop
  95
  96 define i32 @test6(i32 %a, i32 %b) {
  97 entry:
  98   %0 = icmp ugt i32 %a, %b
  99   br i1 %0, label %cond.true, label %cond.false
 100 cond.true:
 101   %1 = call i32 @f(i32 %a)
 102   ret i32 %1
 103 cond.false:
 104   %2 = call i32 @g()
 105   ret i32 %2
 106 }
 107
 108 ; CHECK-LABEL: test7:
 109 ; CHECK:       beqzc
 110 ; CHECK-NEXT:  nop
 111
 112 define i32 @test7(i32 %a, i32 %b) {
 113 entry:
 114   %0 = icmp uge i32 %a, %b
 115   br i1 %0, label %cond.true, label %cond.false
 116 cond.true:
 117   %1 = call i32 @f(i32 %a)
 118   ret i32 %1
 119 cond.false:
 120   %2 = call i32 @g()
 121   ret i32 %2
 122 }
 123
 124 ; CHECK-LABEL: test8:
 125 ; CHECK:       bnezc
 126 ; CHECK-NEXT:  nop
 127
 128 define i32 @test8(i32 %a, i32 %b) {
 129 entry:
 130   %0 = icmp ult i32 %a, %b
 131   br i1 %0, label %cond.true, label %cond.false
 132 cond.true:
 133   %1 = call i32 @f(i32 %a)
 134   ret i32 %1
 135 cond.false:
 136   %2 = call i32 @g()
 137   ret i32 %2
 138 }
 139
 140 ; CHECK-LABEL: test9:
 141 ; CHECK:       beqzc
 142 ; CHECK-NEXT:  nop
 143
 144 define i32 @test9(i32 %a, i32 %b) {
 145 entry:
 146   %0 = icmp ule i32 %a, %b
 147   br i1 %0, label %cond.true, label %cond.false
 148 cond.true:
 149   %1 = call i32 @f(i32 %a)
 150   ret i32 %1
 151 cond.false:
 152   %2 = call i32 @g()
 153   ret i32 %2
 154 }