test/CodeGen/Mips/GlobalISel/llvm-ir/icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc  -O0 -mtriple=mipsel-linux-gnu -global-isel  -verify-machineinstrs %s -o -| FileCheck %s -check-prefixes=MIPS32
   3
   4 define i1 @eq_i32(i32 %a, i32 %b){
   5 ; MIPS32-LABEL: eq_i32:
   6 ; MIPS32:       # %bb.0: # %entry
   7 ; MIPS32-NEXT:    xor $1, $4, $5
   8 ; MIPS32-NEXT:    sltiu $2, $1, 1
   9 ; MIPS32-NEXT:    jr $ra
  10 ; MIPS32-NEXT:    nop
  11 entry:
  12   %cmp = icmp eq i32 %a, %b
  13   ret i1 %cmp
  14 }
  15
  16 define i1 @ne_i32(i32 %a, i32 %b) {
  17 ; MIPS32-LABEL: ne_i32:
  18 ; MIPS32:       # %bb.0: # %entry
  19 ; MIPS32-NEXT:    xor $1, $4, $5
  20 ; MIPS32-NEXT:    sltu $2, $zero, $1
  21 ; MIPS32-NEXT:    jr $ra
  22 ; MIPS32-NEXT:    nop
  23 entry:
  24   %cmp = icmp ne i32 %a, %b
  25   ret i1 %cmp
  26 }
  27
  28 define i1 @sgt_i32(i32 %a, i32 %b) {
  29 ; MIPS32-LABEL: sgt_i32:
  30 ; MIPS32:       # %bb.0: # %entry
  31 ; MIPS32-NEXT:    slt $2, $5, $4
  32 ; MIPS32-NEXT:    jr $ra
  33 ; MIPS32-NEXT:    nop
  34 entry:
  35   %cmp = icmp sgt i32 %a, %b
  36   ret i1 %cmp
  37 }
  38
  39 define i1 @sge_i32(i32 %a, i32 %b) {
  40 ; MIPS32-LABEL: sge_i32:
  41 ; MIPS32:       # %bb.0: # %entry
  42 ; MIPS32-NEXT:    slt $1, $4, $5
  43 ; MIPS32-NEXT:    xori $2, $1, 1
  44 ; MIPS32-NEXT:    jr $ra
  45 ; MIPS32-NEXT:    nop
  46 entry:
  47   %cmp = icmp sge i32 %a, %b
  48   ret i1 %cmp
  49 }
  50
  51 define i1 @slt_i32(i32 %a, i32 %b) {
  52 ; MIPS32-LABEL: slt_i32:
  53 ; MIPS32:       # %bb.0: # %entry
  54 ; MIPS32-NEXT:    slt $2, $4, $5
  55 ; MIPS32-NEXT:    jr $ra
  56 ; MIPS32-NEXT:    nop
  57 entry:
  58   %cmp = icmp slt i32 %a, %b
  59   ret i1 %cmp
  60 }
  61
  62 define i1 @sle_i32(i32 %a, i32 %b) {
  63 ; MIPS32-LABEL: sle_i32:
  64 ; MIPS32:       # %bb.0: # %entry
  65 ; MIPS32-NEXT:    slt $1, $5, $4
  66 ; MIPS32-NEXT:    xori $2, $1, 1
  67 ; MIPS32-NEXT:    jr $ra
  68 ; MIPS32-NEXT:    nop
  69 entry:
  70   %cmp = icmp sle i32 %a, %b
  71   ret i1 %cmp
  72 }
  73
  74 define i1 @ugt_i32(i32 %a, i32 %b) {
  75 ; MIPS32-LABEL: ugt_i32:
  76 ; MIPS32:       # %bb.0: # %entry
  77 ; MIPS32-NEXT:    sltu $2, $5, $4
  78 ; MIPS32-NEXT:    jr $ra
  79 ; MIPS32-NEXT:    nop
  80 entry:
  81   %cmp = icmp ugt i32 %a, %b
  82   ret i1 %cmp
  83 }
  84
  85 define i1 @uge_i32(i32 %a, i32 %b) {
  86 ; MIPS32-LABEL: uge_i32:
  87 ; MIPS32:       # %bb.0: # %entry
  88 ; MIPS32-NEXT:    sltu $1, $4, $5
  89 ; MIPS32-NEXT:    xori $2, $1, 1
  90 ; MIPS32-NEXT:    jr $ra
  91 ; MIPS32-NEXT:    nop
  92 entry:
  93   %cmp = icmp uge i32 %a, %b
  94   ret i1 %cmp
  95 }
  96
  97 define i1 @ult_i32(i32 %a, i32 %b) {
  98 ; MIPS32-LABEL: ult_i32:
  99 ; MIPS32:       # %bb.0: # %entry
 100 ; MIPS32-NEXT:    sltu $2, $4, $5
 101 ; MIPS32-NEXT:    jr $ra
 102 ; MIPS32-NEXT:    nop
 103 entry:
 104   %cmp = icmp ult i32 %a, %b
 105   ret i1 %cmp
 106 }
 107
 108 define i1 @ule_i32(i32 %a, i32 %b) {
 109 ; MIPS32-LABEL: ule_i32:
 110 ; MIPS32:       # %bb.0: # %entry
 111 ; MIPS32-NEXT:    sltu $1, $5, $4
 112 ; MIPS32-NEXT:    xori $2, $1, 1
 113 ; MIPS32-NEXT:    jr $ra
 114 ; MIPS32-NEXT:    nop
 115 entry:
 116   %cmp = icmp ule i32 %a, %b
 117   ret i1 %cmp
 118 }
 119
 120 define i1 @eq_ptr(i32* %a, i32* %b){
 121 ; MIPS32-LABEL: eq_ptr:
 122 ; MIPS32:       # %bb.0: # %entry
 123 ; MIPS32-NEXT:    xor $1, $4, $5
 124 ; MIPS32-NEXT:    sltiu $2, $1, 1
 125 ; MIPS32-NEXT:    jr $ra
 126 ; MIPS32-NEXT:    nop
 127 entry:
 128   %cmp = icmp eq i32* %a, %b
 129   ret i1 %cmp
 130 }
 131
 132 define i1 @ult_i8(i8 %a, i8 %b) {
 133 ; MIPS32-LABEL: ult_i8:
 134 ; MIPS32:       # %bb.0: # %entry
 135 ; MIPS32-NEXT:    ori $1, $zero, 255
 136 ; MIPS32-NEXT:    and $2, $4, $1
 137 ; MIPS32-NEXT:    and $1, $5, $1
 138 ; MIPS32-NEXT:    sltu $2, $2, $1
 139 ; MIPS32-NEXT:    jr $ra
 140 ; MIPS32-NEXT:    nop
 141 entry:
 142   %cmp = icmp ult i8 %a, %b
 143   ret i1 %cmp
 144 }
 145
 146 define i1 @slt_i16(i16 %a, i16 %b) {
 147 ; MIPS32-LABEL: slt_i16:
 148 ; MIPS32:       # %bb.0: # %entry
 149 ; MIPS32-NEXT:    sll $1, $4, 16
 150 ; MIPS32-NEXT:    sra $1, $1, 16
 151 ; MIPS32-NEXT:    sll $2, $5, 16
 152 ; MIPS32-NEXT:    sra $2, $2, 16
 153 ; MIPS32-NEXT:    slt $2, $1, $2
 154 ; MIPS32-NEXT:    jr $ra
 155 ; MIPS32-NEXT:    nop
 156 entry:
 157   %cmp = icmp slt i16 %a, %b
 158   ret i1 %cmp
 159 }
 160
 161 define i1 @eq_i64(i64 %a, i64 %b){
 162 ; MIPS32-LABEL: eq_i64:
 163 ; MIPS32:       # %bb.0: # %entry
 164 ; MIPS32-NEXT:    xor $1, $4, $6
 165 ; MIPS32-NEXT:    xor $2, $5, $7
 166 ; MIPS32-NEXT:    or $1, $1, $2
 167 ; MIPS32-NEXT:    sltiu $2, $1, 1
 168 ; MIPS32-NEXT:    jr $ra
 169 ; MIPS32-NEXT:    nop
 170 entry:
 171   %cmp = icmp eq i64 %a, %b
 172   ret i1 %cmp
 173 }
 174
 175 define i1 @ne_i64(i64 %a, i64 %b) {
 176 ; MIPS32-LABEL: ne_i64:
 177 ; MIPS32:       # %bb.0: # %entry
 178 ; MIPS32-NEXT:    xor $1, $4, $6
 179 ; MIPS32-NEXT:    xor $2, $5, $7
 180 ; MIPS32-NEXT:    or $1, $1, $2
 181 ; MIPS32-NEXT:    sltu $2, $zero, $1
 182 ; MIPS32-NEXT:    jr $ra
 183 ; MIPS32-NEXT:    nop
 184 entry:
 185   %cmp = icmp ne i64 %a, %b
 186   ret i1 %cmp
 187 }
 188
 189 define i1 @sgt_i64(i64 %a, i64 %b) {
 190 ; MIPS32-LABEL: sgt_i64:
 191 ; MIPS32:       # %bb.0: # %entry
 192 ; MIPS32-NEXT:    slt $1, $7, $5
 193 ; MIPS32-NEXT:    xor $2, $5, $7
 194 ; MIPS32-NEXT:    sltiu $2, $2, 1
 195 ; MIPS32-NEXT:    sltu $3, $6, $4
 196 ; MIPS32-NEXT:    ori $4, $zero, 1
 197 ; MIPS32-NEXT:    and $2, $2, $4
 198 ; MIPS32-NEXT:    movn $1, $3, $2
 199 ; MIPS32-NEXT:    move $2, $1
 200 ; MIPS32-NEXT:    jr $ra
 201 ; MIPS32-NEXT:    nop
 202 entry:
 203   %cmp = icmp sgt i64 %a, %b
 204   ret i1 %cmp
 205 }
 206
 207 define i1 @sge_i64(i64 %a, i64 %b) {
 208 ; MIPS32-LABEL: sge_i64:
 209 ; MIPS32:       # %bb.0: # %entry
 210 ; MIPS32-NEXT:    slt $1, $5, $7
 211 ; MIPS32-NEXT:    xori $1, $1, 1
 212 ; MIPS32-NEXT:    xor $2, $5, $7
 213 ; MIPS32-NEXT:    sltiu $2, $2, 1
 214 ; MIPS32-NEXT:    sltu $3, $4, $6
 215 ; MIPS32-NEXT:    xori $3, $3, 1
 216 ; MIPS32-NEXT:    ori $4, $zero, 1
 217 ; MIPS32-NEXT:    and $2, $2, $4
 218 ; MIPS32-NEXT:    movn $1, $3, $2
 219 ; MIPS32-NEXT:    move $2, $1
 220 ; MIPS32-NEXT:    jr $ra
 221 ; MIPS32-NEXT:    nop
 222 entry:
 223   %cmp = icmp sge i64 %a, %b
 224   ret i1 %cmp
 225 }
 226
 227 define i1 @slt_i64(i64 %a, i64 %b) {
 228 ; MIPS32-LABEL: slt_i64:
 229 ; MIPS32:       # %bb.0: # %entry
 230 ; MIPS32-NEXT:    slt $1, $5, $7
 231 ; MIPS32-NEXT:    xor $2, $5, $7
 232 ; MIPS32-NEXT:    sltiu $2, $2, 1
 233 ; MIPS32-NEXT:    sltu $3, $4, $6
 234 ; MIPS32-NEXT:    ori $4, $zero, 1
 235 ; MIPS32-NEXT:    and $2, $2, $4
 236 ; MIPS32-NEXT:    movn $1, $3, $2
 237 ; MIPS32-NEXT:    move $2, $1
 238 ; MIPS32-NEXT:    jr $ra
 239 ; MIPS32-NEXT:    nop
 240 entry:
 241   %cmp = icmp slt i64 %a, %b
 242   ret i1 %cmp
 243 }
 244
 245 define i1 @sle_i64(i64 %a, i64 %b) {
 246 ; MIPS32-LABEL: sle_i64:
 247 ; MIPS32:       # %bb.0: # %entry
 248 ; MIPS32-NEXT:    slt $1, $7, $5
 249 ; MIPS32-NEXT:    xori $1, $1, 1
 250 ; MIPS32-NEXT:    xor $2, $5, $7
 251 ; MIPS32-NEXT:    sltiu $2, $2, 1
 252 ; MIPS32-NEXT:    sltu $3, $6, $4
 253 ; MIPS32-NEXT:    xori $3, $3, 1
 254 ; MIPS32-NEXT:    ori $4, $zero, 1
 255 ; MIPS32-NEXT:    and $2, $2, $4
 256 ; MIPS32-NEXT:    movn $1, $3, $2
 257 ; MIPS32-NEXT:    move $2, $1
 258 ; MIPS32-NEXT:    jr $ra
 259 ; MIPS32-NEXT:    nop
 260 entry:
 261   %cmp = icmp sle i64 %a, %b
 262   ret i1 %cmp
 263 }
 264
 265 define i1 @ugt_i64(i64 %a, i64 %b) {
 266 ; MIPS32-LABEL: ugt_i64:
 267 ; MIPS32:       # %bb.0: # %entry
 268 ; MIPS32-NEXT:    sltu $1, $7, $5
 269 ; MIPS32-NEXT:    xor $2, $5, $7
 270 ; MIPS32-NEXT:    sltiu $2, $2, 1
 271 ; MIPS32-NEXT:    sltu $3, $6, $4
 272 ; MIPS32-NEXT:    ori $4, $zero, 1
 273 ; MIPS32-NEXT:    and $2, $2, $4
 274 ; MIPS32-NEXT:    movn $1, $3, $2
 275 ; MIPS32-NEXT:    move $2, $1
 276 ; MIPS32-NEXT:    jr $ra
 277 ; MIPS32-NEXT:    nop
 278 entry:
 279   %cmp = icmp ugt i64 %a, %b
 280   ret i1 %cmp
 281 }
 282
 283 define i1 @uge_i64(i64 %a, i64 %b) {
 284 ; MIPS32-LABEL: uge_i64:
 285 ; MIPS32:       # %bb.0: # %entry
 286 ; MIPS32-NEXT:    sltu $1, $5, $7
 287 ; MIPS32-NEXT:    xori $1, $1, 1
 288 ; MIPS32-NEXT:    xor $2, $5, $7
 289 ; MIPS32-NEXT:    sltiu $2, $2, 1
 290 ; MIPS32-NEXT:    sltu $3, $4, $6
 291 ; MIPS32-NEXT:    xori $3, $3, 1
 292 ; MIPS32-NEXT:    ori $4, $zero, 1
 293 ; MIPS32-NEXT:    and $2, $2, $4
 294 ; MIPS32-NEXT:    movn $1, $3, $2
 295 ; MIPS32-NEXT:    move $2, $1
 296 ; MIPS32-NEXT:    jr $ra
 297 ; MIPS32-NEXT:    nop
 298 entry:
 299   %cmp = icmp uge i64 %a, %b
 300   ret i1 %cmp
 301 }
 302
 303 define i1 @ult_i64(i64 %a, i64 %b) {
 304 ; MIPS32-LABEL: ult_i64:
 305 ; MIPS32:       # %bb.0: # %entry
 306 ; MIPS32-NEXT:    sltu $1, $5, $7
 307 ; MIPS32-NEXT:    xor $2, $5, $7
 308 ; MIPS32-NEXT:    sltiu $2, $2, 1
 309 ; MIPS32-NEXT:    sltu $3, $4, $6
 310 ; MIPS32-NEXT:    ori $4, $zero, 1
 311 ; MIPS32-NEXT:    and $2, $2, $4
 312 ; MIPS32-NEXT:    movn $1, $3, $2
 313 ; MIPS32-NEXT:    move $2, $1
 314 ; MIPS32-NEXT:    jr $ra
 315 ; MIPS32-NEXT:    nop
 316 entry:
 317   %cmp = icmp ult i64 %a, %b
 318   ret i1 %cmp
 319 }
 320
 321 define i1 @ule_i64(i64 %a, i64 %b) {
 322 ; MIPS32-LABEL: ule_i64:
 323 ; MIPS32:       # %bb.0: # %entry
 324 ; MIPS32-NEXT:    sltu $1, $7, $5
 325 ; MIPS32-NEXT:    xori $1, $1, 1
 326 ; MIPS32-NEXT:    xor $2, $5, $7
 327 ; MIPS32-NEXT:    sltiu $2, $2, 1
 328 ; MIPS32-NEXT:    sltu $3, $6, $4
 329 ; MIPS32-NEXT:    xori $3, $3, 1
 330 ; MIPS32-NEXT:    ori $4, $zero, 1
 331 ; MIPS32-NEXT:    and $2, $2, $4
 332 ; MIPS32-NEXT:    movn $1, $3, $2
 333 ; MIPS32-NEXT:    move $2, $1
 334 ; MIPS32-NEXT:    jr $ra
 335 ; MIPS32-NEXT:    nop
 336 entry:
 337   %cmp = icmp ule i64 %a, %b
 338   ret i1 %cmp
 339 }