llvm/test/Transforms/DivRemPairs/MSP430/div-rem-pairs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=div-rem-pairs -S -mtriple=msp430-unknown-unknown | FileCheck %s
   3
   4 ; Do not hoist to the common predecessor block since we don't
   5 ; have a div-rem operation.
   6
   7 define i32 @no_domination(i1 %cmp, i32 %a, i32 %b) {
   8 ; CHECK-LABEL: @no_domination(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br i1 [[CMP:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]
  11 ; CHECK:       if:
  12 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 [[A:%.*]], [[B:%.*]]
  13 ; CHECK-NEXT:    br label [[END:%.*]]
  14 ; CHECK:       else:
  15 ; CHECK-NEXT:    [[REM:%.*]] = srem i32 [[A]], [[B]]
  16 ; CHECK-NEXT:    br label [[END]]
  17 ; CHECK:       end:
  18 ; CHECK-NEXT:    [[RET:%.*]] = phi i32 [ [[DIV]], [[IF]] ], [ [[REM]], [[ELSE]] ]
  19 ; CHECK-NEXT:    ret i32 [[RET]]
  20 ;
  21 entry:
  22   br i1 %cmp, label %if, label %else
  23
  24 if:
  25   %div = sdiv i32 %a, %b
  26   br label %end
  27
  28 else:
  29   %rem = srem i32 %a, %b
  30   br label %end
  31
  32 end:
  33   %ret = phi i32 [ %div, %if ], [ %rem, %else ]
  34   ret i32 %ret
  35 }