test/CodeGen/Thumb/umulo-32-legalisation-lowering.ll

   1 ; RUN: llc < %s -mtriple=thumb-eabi   | FileCheck %s --check-prefixes CHECK,CHECK-LITTLE
   2 ; RUN: llc < %s -mtriple=thumbeb-eabi | FileCheck %s --check-prefixes CHECK,CHECK-BIG
   3
   4 define i1 @umulo32(i32 %l, i32 %r) unnamed_addr #0 {
   5 ; CHECK-LABEL: umulo32:
   6 ; CHECK:                @ %bb.0: @ %start
   7 ; CHECK-NEXT:           .save {r7, lr}
   8 ; CHECK-NEXT:           push {r7, lr}
   9 ; CHECK-LITTLE-NEXT:    movs r2, r1
  10 ; CHECK-LITTLE-NEXT:    movs r1, #0
  11 ; CHECK-NEXT:           movs r3, r1
  12 ; CHECK-BIG-NEXT:       movs r1, r0
  13 ; CHECK-BIG-NEXT:       movs r0, #0
  14 ; CHECK-BIG-NEXT:       movs r2, r0
  15 ; CHECK-NEXT:           bl __aeabi_lmul
  16 ; CHECK-LITTLE-NEXT:    cmp  r1, #0
  17 ; CHECK-LITTLE-NEXT:    bne  .LBB0_2
  18 ; CHECK-LITTLE-NEXT:    @ %bb.1:
  19 ; CHECK-LITTLE-NEXT:    movs r0, r1
  20 ; CHECK-LITTLE-NEXT:    b    .LBB0_3
  21 ; CHECK-LITTLE-NEXT:    .LBB0_2:
  22 ; CHECK-LITTLE-NEXT:    movs r0, #1
  23 ; CHECK-LITTLE-NEXT:    .LBB0_3:
  24 ; CHECK-BIG-NEXT:       cmp  r0, #0
  25 ; CHECK-BIG-NEXT:       beq  .LBB0_2
  26 ; CHECK-BIG-NEXT:       @ %bb.1:
  27 ; CHECK-BIG-NEXT:       movs r0, #1
  28 ; CHECK-BIG-NEXT:       .LBB0_2:
  29 ; CHECK-NEXT:           pop {r7}
  30 ; CHECK-NEXT:           pop {r1}
  31 ; CHECK-NEXT:           bx r1
  32 start:
  33   %0 = tail call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %l, i32 %r) #2
  34   %1 = extractvalue { i32, i1 } %0, 1
  35   ret i1 %1
  36 }
  37
  38 ; Function Attrs: nounwind readnone speculatable
  39 declare { i32, i1 } @llvm.umul.with.overflow.i32(i32, i32) #1
  40
  41 attributes #0 = { nounwind readnone uwtable }
  42 attributes #1 = { nounwind readnone speculatable }
  43 attributes #2 = { nounwind }