llvm/test/CodeGen/RISCV/compress-opt-branch.ll

   1 ; This test is designed to run 4 times, once with function attribute +c,
   2 ; once with function attribute -c for eq/ne in icmp
   3 ; The optimization should appear only with +c, otherwise default isel should be
   4 ; choosen.
   5 ;
   6 ; RUN: llc -mtriple=riscv32 -target-abi ilp32d -mattr=+c,+f,+d -filetype=obj \
   7 ; RUN:   -disable-block-placement < %s \
   8 ; RUN:   | llvm-objdump -d --triple=riscv32 --mattr=+c,+f,+d -M no-aliases - \
   9 ; RUN:   | FileCheck -check-prefix=RV32IFDC %s
  10 ;
  11 ; RUN: llc -mtriple=riscv32 -target-abi ilp32d -mattr=+zca,+f,+d -filetype=obj \
  12 ; RUN:   -disable-block-placement < %s \
  13 ; RUN:   | llvm-objdump -d --triple=riscv32 --mattr=+zca,+f,+d -M no-aliases - \
  14 ; RUN:   | FileCheck -check-prefix=RV32IFDC %s
  15 ;
  16 ; RUN: llc -mtriple=riscv32 -target-abi ilp32d -mattr=-c,+f,+d -filetype=obj \
  17 ; RUN:   -disable-block-placement < %s \
  18 ; RUN:   | llvm-objdump -d --triple=riscv32 --mattr=-c,+f,+d -M no-aliases - \
  19 ; RUN:   | FileCheck -check-prefix=RV32IFD %s
  20
  21
  22 ; constant is small and fit in 6 bit (compress imm)
  23 ; RV32IFDC-LABEL: <f_small_pos_eq>:
  24 ; RV32IFDC: c.li [[REG:.*]], 0x14
  25 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  26 ; --- no compress extension
  27 ; RV32IFD-LABEL: <f_small_pos_eq>:
  28 ; RV32IFD: addi [[REG:.*]], zero, 0x14
  29 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  30 define i32 @f_small_pos_eq(i32 %in0) minsize {
  31   %cmp = icmp eq i32 %in0, 20
  32   br i1 %cmp, label %if.then, label %if.else
  33 if.then:
  34   %call = shl i32 %in0, 1
  35   br label %if.end
  36 if.else:
  37   %call2 = add i32 %in0, 42
  38   br label %if.end
  39
  40 if.end:
  41   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
  42   ret i32 %toRet
  43 }
  44
  45 ; constant is small and fit in 6 bit (compress imm)
  46 ; RV32IFDC-LABEL: <f_small_pos_ne>:
  47 ; RV32IFDC: c.li [[REG:.*]], 0x14
  48 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  49 ; --- no compress extension
  50 ; RV32IFD-LABEL: <f_small_pos_ne>:
  51 ; RV32IFD: addi [[REG:.*]], zero, 0x14
  52 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  53 define i32 @f_small_pos_ne(i32 %in0) minsize {
  54   %cmp = icmp ne i32 %in0, 20
  55   br i1 %cmp, label %if.then, label %if.else
  56 if.then:
  57   %call = shl i32 %in0, 1
  58   br label %if.end
  59 if.else:
  60   %call2 = add i32 %in0, 42
  61   br label %if.end
  62
  63 if.end:
  64   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
  65   ret i32 %toRet
  66 }
  67
  68 ; constant is small and fit in 6 bit (compress imm)
  69 ; RV32IFDC-LABEL: <f_small_neg_eq>:
  70 ; RV32IFDC: c.li [[REG:.*]], -0x14
  71 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  72 ; --- no compress extension
  73 ; RV32IFD-LABEL: <f_small_neg_eq>:
  74 ; RV32IFD: addi [[REG:.*]], zero, -0x14
  75 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  76 define i32 @f_small_neg_eq(i32 %in0) minsize {
  77   %cmp = icmp eq i32 %in0, -20
  78   br i1 %cmp, label %if.then, label %if.else
  79 if.then:
  80   %call = shl i32 %in0, 1
  81   br label %if.end
  82 if.else:
  83   %call2 = add i32 %in0, 42
  84   br label %if.end
  85
  86 if.end:
  87   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
  88   ret i32 %toRet
  89 }
  90
  91 ; constant is small and fit in 6 bit (compress imm)
  92 ; RV32IFDC-LABEL: <f_small_neg_ne>:
  93 ; RV32IFDC: c.li [[REG:.*]], -0x14
  94 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  95 ; --- no compress extension
  96 ; RV32IFD-LABEL: <f_small_neg_ne>:
  97 ; RV32IFD: addi [[REG:.*]], zero, -0x14
  98 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
  99 define i32 @f_small_neg_ne(i32 %in0) minsize {
 100   %cmp = icmp ne i32 %in0, -20
 101   br i1 %cmp, label %if.then, label %if.else
 102 if.then:
 103   %call = shl i32 %in0, 1
 104   br label %if.end
 105 if.else:
 106   %call2 = add i32 %in0, 42
 107   br label %if.end
 108
 109 if.end:
 110   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 111   ret i32 %toRet
 112 }
 113
 114 ; constant is small and fit in 6 bit (compress imm)
 115 ; RV32IFDC-LABEL: <f_small_edge_pos_eq>:
 116 ; RV32IFDC: c.li [[REG:.*]], 0x1f
 117 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 118 ; --- no compress extension
 119 ; RV32IFD-LABEL: <f_small_edge_pos_eq>:
 120 ; RV32IFD: addi [[REG:.*]], zero, 0x1f
 121 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 122 define i32 @f_small_edge_pos_eq(i32 %in0) minsize {
 123   %cmp = icmp eq i32 %in0, 31
 124   br i1 %cmp, label %if.then, label %if.else
 125 if.then:
 126   %call = shl i32 %in0, 1
 127   br label %if.end
 128 if.else:
 129   %call2 = add i32 %in0, 42
 130   br label %if.end
 131
 132 if.end:
 133   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 134   ret i32 %toRet
 135 }
 136
 137 ; constant is small and fit in 6 bit (compress imm)
 138 ; RV32IFDC-LABEL: <f_small_edge_pos_ne>:
 139 ; RV32IFDC: c.li [[REG:.*]], 0x1f
 140 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 141 ; --- no compress extension
 142 ; RV32IFD-LABEL: <f_small_edge_pos_ne>:
 143 ; RV32IFD: addi [[REG:.*]], zero, 0x1f
 144 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 145 define i32 @f_small_edge_pos_ne(i32 %in0) minsize {
 146   %cmp = icmp ne i32 %in0, 31
 147   br i1 %cmp, label %if.then, label %if.else
 148 if.then:
 149   %call = shl i32 %in0, 1
 150   br label %if.end
 151 if.else:
 152   %call2 = add i32 %in0, 42
 153   br label %if.end
 154
 155 if.end:
 156   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 157   ret i32 %toRet
 158 }
 159
 160 ; constant is small and fit in 6 bit (compress imm)
 161 ; RV32IFDC-LABEL: <f_small_edge_neg_eq>:
 162 ; RV32IFDC: c.li [[REG:.*]], -0x20
 163 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 164 ; --- no compress extension
 165 ; RV32IFD-LABEL: <f_small_edge_neg_eq>:
 166 ; RV32IFD: addi [[REG:.*]], zero, -0x20
 167 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 168 define i32 @f_small_edge_neg_eq(i32 %in0) minsize {
 169   %cmp = icmp eq i32 %in0, -32
 170   br i1 %cmp, label %if.then, label %if.else
 171 if.then:
 172   %call = shl i32 %in0, 1
 173   br label %if.end
 174 if.else:
 175   %call2 = add i32 %in0, 42
 176   br label %if.end
 177
 178 if.end:
 179   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 180   ret i32 %toRet
 181 }
 182
 183 ; constant is small and fit in 6 bit (compress imm)
 184 ; RV32IFDC-LABEL: <f_small_edge_neg_ne>:
 185 ; RV32IFDC: c.li [[REG:.*]], -0x20
 186 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 187 ; --- no compress extension
 188 ; RV32IFD-LABEL: <f_small_edge_neg_ne>:
 189 ; RV32IFD: addi [[REG:.*]], zero, -0x20
 190 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 191 define i32 @f_small_edge_neg_ne(i32 %in0) minsize {
 192   %cmp = icmp ne i32 %in0, -32
 193   br i1 %cmp, label %if.then, label %if.else
 194 if.then:
 195   %call = shl i32 %in0, 1
 196   br label %if.end
 197 if.else:
 198   %call2 = add i32 %in0, 42
 199   br label %if.end
 200
 201 if.end:
 202   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 203   ret i32 %toRet
 204 }
 205
 206 ; constant is medium and not fit in 6 bit (compress imm),
 207 ; but fit in 12 bit (imm)
 208 ; RV32IFDC-LABEL: <f_medium_ledge_pos_eq>:
 209 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x20
 210 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 211 ; --- no compress extension
 212 ; RV32IFD-LABEL: <f_medium_ledge_pos_eq>:
 213 ; RV32IFD: addi [[REG:.*]], zero, 0x20
 214 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 215 define i32 @f_medium_ledge_pos_eq(i32 %in0) minsize {
 216   %cmp = icmp eq i32 %in0, 32
 217   br i1 %cmp, label %if.then, label %if.else
 218 if.then:
 219   %call = shl i32 %in0, 1
 220   br label %if.end
 221 if.else:
 222   %call2 = add i32 %in0, 42
 223   br label %if.end
 224
 225 if.end:
 226   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 227   ret i32 %toRet
 228 }
 229
 230 ; constant is medium and not fit in 6 bit (compress imm),
 231 ; but fit in 12 bit (imm)
 232 ; RV32IFDC-LABEL: <f_medium_ledge_pos_ne>:
 233 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x20
 234 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 235 ; --- no compress extension
 236 ; RV32IFD-LABEL: <f_medium_ledge_pos_ne>:
 237 ; RV32IFD: addi [[REG:.*]], zero, 0x20
 238 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 239 define i32 @f_medium_ledge_pos_ne(i32 %in0) minsize {
 240   %cmp = icmp ne i32 %in0, 32
 241   br i1 %cmp, label %if.then, label %if.else
 242 if.then:
 243   %call = shl i32 %in0, 1
 244   br label %if.end
 245 if.else:
 246   %call2 = add i32 %in0, 42
 247   br label %if.end
 248
 249 if.end:
 250   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 251   ret i32 %toRet
 252 }
 253
 254 ; constant is medium and not fit in 6 bit (compress imm),
 255 ; but fit in 12 bit (imm)
 256 ; RV32IFDC-LABEL: <f_medium_ledge_neg_eq>:
 257 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x21
 258 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 259 ; --- no compress extension
 260 ; RV32IFD-LABEL: <f_medium_ledge_neg_eq>:
 261 ; RV32IFD: addi [[REG:.*]], zero, -0x21
 262 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 263 define i32 @f_medium_ledge_neg_eq(i32 %in0) minsize {
 264   %cmp = icmp eq i32 %in0, -33
 265   br i1 %cmp, label %if.then, label %if.else
 266 if.then:
 267   %call = shl i32 %in0, 1
 268   br label %if.end
 269 if.else:
 270   %call2 = add i32 %in0, 42
 271   br label %if.end
 272
 273 if.end:
 274   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 275   ret i32 %toRet
 276 }
 277
 278 ; constant is medium and not fit in 6 bit (compress imm),
 279 ; but fit in 12 bit (imm)
 280 ; RV32IFDC-LABEL: <f_medium_ledge_neg_ne>:
 281 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x21
 282 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 283 ; --- no compress extension
 284 ; RV32IFD-LABEL: <f_medium_ledge_neg_ne>:
 285 ; RV32IFD: addi [[REG:.*]], zero, -0x21
 286 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 287 define i32 @f_medium_ledge_neg_ne(i32 %in0) minsize {
 288   %cmp = icmp ne i32 %in0, -33
 289   br i1 %cmp, label %if.then, label %if.else
 290 if.then:
 291   %call = shl i32 %in0, 1
 292   br label %if.end
 293 if.else:
 294   %call2 = add i32 %in0, 42
 295   br label %if.end
 296
 297 if.end:
 298   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 299   ret i32 %toRet
 300 }
 301
 302 ; constant is medium and not fit in 6 bit (compress imm),
 303 ; but fit in 12 bit (imm)
 304 ; RV32IFDC-LABEL: <f_medium_pos_eq>:
 305 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x3f
 306 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 307 ; --- no compress extension
 308 ; RV32IFD-LABEL: <f_medium_pos_eq>:
 309 ; RV32IFD: addi [[REG:.*]], zero, 0x3f
 310 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 311 define i32 @f_medium_pos_eq(i32 %in0) minsize {
 312   %cmp = icmp eq i32 %in0, 63
 313   br i1 %cmp, label %if.then, label %if.else
 314 if.then:
 315   %call = shl i32 %in0, 1
 316   br label %if.end
 317 if.else:
 318   %call2 = add i32 %in0, 42
 319   br label %if.end
 320
 321 if.end:
 322   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 323   ret i32 %toRet
 324 }
 325
 326 ; constant is medium and not fit in 6 bit (compress imm),
 327 ; but fit in 12 bit (imm)
 328 ; RV32IFDC-LABEL: <f_medium_pos_ne>:
 329 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x3f
 330 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 331 ; --- no compress extension
 332 ; RV32IFD-LABEL: <f_medium_pos_ne>:
 333 ; RV32IFD: addi [[REG:.*]], zero, 0x3f
 334 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 335 define i32 @f_medium_pos_ne(i32 %in0) minsize {
 336   %cmp = icmp ne i32 %in0, 63
 337   br i1 %cmp, label %if.then, label %if.else
 338 if.then:
 339   %call = shl i32 %in0, 1
 340   br label %if.end
 341 if.else:
 342   %call2 = add i32 %in0, 42
 343   br label %if.end
 344
 345 if.end:
 346   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 347   ret i32 %toRet
 348 }
 349
 350 ; constant is medium and not fit in 6 bit (compress imm),
 351 ; but fit in 12 bit (imm)
 352 ; RV32IFDC-LABEL: <f_medium_neg_eq>:
 353 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x3f
 354 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 355 ; --- no compress extension
 356 ; RV32IFD-LABEL: <f_medium_neg_eq>:
 357 ; RV32IFD: addi [[REG:.*]], zero, -0x3f
 358 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 359 define i32 @f_medium_neg_eq(i32 %in0) minsize {
 360   %cmp = icmp eq i32 %in0, -63
 361   br i1 %cmp, label %if.then, label %if.else
 362 if.then:
 363   %call = shl i32 %in0, 1
 364   br label %if.end
 365 if.else:
 366   %call2 = add i32 %in0, 42
 367   br label %if.end
 368
 369 if.end:
 370   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 371   ret i32 %toRet
 372 }
 373
 374 ; constant is medium and not fit in 6 bit (compress imm),
 375 ; but fit in 12 bit (imm)
 376 ; RV32IFDC-LABEL: <f_medium_neg_ne>:
 377 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x3f
 378 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 379 ; --- no compress extension
 380 ; RV32IFD-LABEL: <f_medium_neg_ne>:
 381 ; RV32IFD: addi [[REG:.*]], zero, -0x3f
 382 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 383 define i32 @f_medium_neg_ne(i32 %in0) minsize {
 384   %cmp = icmp ne i32 %in0, -63
 385   br i1 %cmp, label %if.then, label %if.else
 386 if.then:
 387   %call = shl i32 %in0, 1
 388   br label %if.end
 389 if.else:
 390   %call2 = add i32 %in0, 42
 391   br label %if.end
 392
 393 if.end:
 394   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 395   ret i32 %toRet
 396 }
 397
 398 ; constant is medium and not fit in 6 bit (compress imm),
 399 ; but fit in 12 bit (imm)
 400 ; RV32IFDC-LABEL: <f_medium_bedge_pos_eq>:
 401 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x7ff
 402 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 403 ; --- no compress extension
 404 ; RV32IFD-LABEL: <f_medium_bedge_pos_eq>:
 405 ; RV32IFD: addi [[REG:.*]], zero, 0x7ff
 406 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 407 define i32 @f_medium_bedge_pos_eq(i32 %in0) minsize {
 408   %cmp = icmp eq i32 %in0, 2047
 409   br i1 %cmp, label %if.then, label %if.else
 410 if.then:
 411   %call = shl i32 %in0, 1
 412   br label %if.end
 413 if.else:
 414   %call2 = add i32 %in0, 42
 415   br label %if.end
 416
 417 if.end:
 418   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 419   ret i32 %toRet
 420 }
 421
 422 ; constant is medium and not fit in 6 bit (compress imm),
 423 ; but fit in 12 bit (imm)
 424 ; RV32IFDC-LABEL: <f_medium_bedge_pos_ne>:
 425 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], -0x7ff
 426 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 427 ; --- no compress extension
 428 ; RV32IFD-LABEL: <f_medium_bedge_pos_ne>:
 429 ; RV32IFD: addi [[REG:.*]], zero, 0x7ff
 430 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 431 define i32 @f_medium_bedge_pos_ne(i32 %in0) minsize {
 432   %cmp = icmp ne i32 %in0, 2047
 433   br i1 %cmp, label %if.then, label %if.else
 434 if.then:
 435   %call = shl i32 %in0, 1
 436   br label %if.end
 437 if.else:
 438   %call2 = add i32 %in0, 42
 439   br label %if.end
 440
 441 if.end:
 442   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 443   ret i32 %toRet
 444 }
 445
 446 ; constant is medium and not fit in 6 bit (compress imm),
 447 ; but fit in 12 bit (imm), negative value fit in 12 bit too.
 448 ; RV32IFDC-LABEL: <f_medium_bedge_neg_eq>:
 449 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x7ff
 450 ; RV32IFDC: c.bnez [[MAYZEROREG]], [[PLACE:.*]]
 451 ; --- no compress extension
 452 ; RV32IFD-LABEL: <f_medium_bedge_neg_eq>:
 453 ; RV32IFD: addi [[REG:.*]], zero, -0x7ff
 454 ; RV32IFD: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 455 define i32 @f_medium_bedge_neg_eq(i32 %in0) minsize {
 456   %cmp = icmp eq i32 %in0, -2047
 457   br i1 %cmp, label %if.then, label %if.else
 458 if.then:
 459   %call = shl i32 %in0, 1
 460   br label %if.end
 461 if.else:
 462   %call2 = add i32 %in0, 42
 463   br label %if.end
 464
 465 if.end:
 466   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 467   ret i32 %toRet
 468 }
 469
 470 ; constant is medium and not fit in 6 bit (compress imm),
 471 ; but fit in 12 bit (imm), negative value fit in 12 bit too.
 472 ; RV32IFDC-LABEL: <f_medium_bedge_neg_ne>:
 473 ; RV32IFDC: addi [[MAYZEROREG:.*]], [[REG:.*]], 0x7ff
 474 ; RV32IFDC: c.beqz [[MAYZEROREG]], [[PLACE:.*]]
 475 ; --- no compress extension
 476 ; RV32IFD-LABEL: <f_medium_bedge_neg_ne>:
 477 ; RV32IFD: addi [[REG:.*]], zero, -0x7ff
 478 ; RV32IFD: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 479 define i32 @f_medium_bedge_neg_ne(i32 %in0) minsize {
 480   %cmp = icmp ne i32 %in0, -2047
 481   br i1 %cmp, label %if.then, label %if.else
 482 if.then:
 483   %call = shl i32 %in0, 1
 484   br label %if.end
 485 if.else:
 486   %call2 = add i32 %in0, 42
 487   br label %if.end
 488
 489 if.end:
 490   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 491   ret i32 %toRet
 492 }
 493
 494 ; constant is big and do not fit in 12 bit (imm), fit in i32
 495 ; RV32IFDC-LABEL: <f_big_ledge_pos_eq>:
 496 ; RV32IFDC: c.li [[REG:.*]], 0x1
 497 ; RV32IFDC: c.slli [[REG]], 0xb
 498 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 499 ; --- no compress extension
 500 ; RV32IFD-LABEL: <f_big_ledge_pos_eq>:
 501 ; RV32IFD: addi [[REG1:.*]], zero, 0x1
 502 ; RV32IFD: slli [[REG2:.*]], [[REG1]], 0xb
 503 ; RV32IFD: bne [[ANOTHER:.*]], [[REG2]], [[PLACE:.*]]
 504 define i32 @f_big_ledge_pos_eq(i32 %in0) minsize {
 505   %cmp = icmp eq i32 %in0, 2048
 506   br i1 %cmp, label %if.then, label %if.else
 507 if.then:
 508   %call = shl i32 %in0, 1
 509   br label %if.end
 510 if.else:
 511   %call2 = add i32 %in0, 42
 512   br label %if.end
 513
 514 if.end:
 515   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 516   ret i32 %toRet
 517 }
 518
 519 ; constant is big and do not fit in 12 bit (imm), fit in i32
 520 ; RV32IFDC-LABEL: <f_big_ledge_pos_ne>:
 521 ; RV32IFDC: c.li [[REG:.*]], 0x1
 522 ; RV32IFDC: c.slli [[REG]], 0xb
 523 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 524 ; --- no compress extension
 525 ; RV32IFD-LABEL: <f_big_ledge_pos_ne>:
 526 ; RV32IFD: addi [[REG1:.*]], zero, 0x1
 527 ; RV32IFD: slli [[REG2:.*]], [[REG1]], 0xb
 528 ; RV32IFD: beq [[ANOTHER:.*]], [[REG2]], [[PLACE:.*]]
 529 define i32 @f_big_ledge_pos_ne(i32 %in0) minsize {
 530   %cmp = icmp ne i32 %in0, 2048
 531   br i1 %cmp, label %if.then, label %if.else
 532 if.then:
 533   %call = shl i32 %in0, 1
 534   br label %if.end
 535 if.else:
 536   %call2 = add i32 %in0, 42
 537   br label %if.end
 538
 539 if.end:
 540   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 541   ret i32 %toRet
 542 }
 543
 544 ; constant is big and do not fit in 12 bit (imm), fit in i32
 545 ; RV32IFDC-LABEL: <f_big_ledge_neg_eq>:
 546 ; RV32IFDC: c.lui [[REG1:.*]], 0xfffff
 547 ; RV32IFDC: addi [[REG2:.*]], [[REG1]], 0x7ff
 548 ; RV32IFDC: bne [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 549 ; --- no compress extension
 550 ; RV32IFD-LABEL: <f_big_ledge_neg_eq>:
 551 ; RV32IFD: lui [[REG1:.*]], 0xfffff
 552 ; RV32IFD: addi [[REG2:.*]], [[REG1]], 0x7ff
 553 ; RV32IFD: bne [[ANOTHER:.*]], [[REG2]], [[PLACE:.*]]
 554 define i32 @f_big_ledge_neg_eq(i32 %in0) minsize {
 555   %cmp = icmp eq i32 %in0, -2049
 556   br i1 %cmp, label %if.then, label %if.else
 557 if.then:
 558   %call = shl i32 %in0, 1
 559   br label %if.end
 560 if.else:
 561   %call2 = add i32 %in0, 42
 562   br label %if.end
 563
 564 if.end:
 565   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 566   ret i32 %toRet
 567 }
 568
 569 ; constant is big and do not fit in 12 bit (imm), fit in i32
 570 ; RV32IFDC-LABEL: <f_big_ledge_neg_ne>:
 571 ; RV32IFDC: c.lui [[REG1:.*]], 0xfffff
 572 ; RV32IFDC: addi [[REG2:.*]], [[REG1]], 0x7ff
 573 ; RV32IFDC: beq [[ANOTHER:.*]], [[REG]], [[PLACE:.*]]
 574 ; --- no compress extension
 575 ; RV32IFD-LABEL: <f_big_ledge_neg_ne>:
 576 ; RV32IFD: lui [[REG1:.*]], 0xfffff
 577 ; RV32IFD: addi [[REG2:.*]], [[REG1]], 0x7ff
 578 ; RV32IFD: beq [[ANOTHER:.*]], [[REG2]], [[PLACE:.*]]
 579 define i32 @f_big_ledge_neg_ne(i32 %in0) minsize {
 580   %cmp = icmp ne i32 %in0, -2049
 581   br i1 %cmp, label %if.then, label %if.else
 582 if.then:
 583   %call = shl i32 %in0, 1
 584   br label %if.end
 585 if.else:
 586   %call2 = add i32 %in0, 42
 587   br label %if.end
 588
 589 if.end:
 590   %toRet = phi i32 [ %call, %if.then ], [ %call2, %if.else ]
 591   ret i32 %toRet
 592 }