llvm/test/Transforms/DivRemPairs/PowerPC/pr45885.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=div-rem-pairs -S -mtriple=powerpc64-unknown-unknown | FileCheck %s
   3
   4 define void @g() {
   5 ; CHECK-LABEL: @g(
   6 ; CHECK-NEXT:  if.end:
   7 ; CHECK-NEXT:    ret void
   8 ; CHECK:       for.cond:
   9 ; CHECK-NEXT:    [[TMP0:%.*]] = mul i16 [[DIV_I:%.*]], [[REM_FROZEN:%.*]]
  10 ; CHECK-NEXT:    [[REM_DECOMPOSED:%.*]] = sub i16 1, [[TMP0]]
  11 ; CHECK-NEXT:    [[REM_FROZEN]] = freeze i16 [[REM_DECOMPOSED]]
  12 ; CHECK-NEXT:    [[DIV_I]] = sdiv i16 1, [[REM_FROZEN]]
  13 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
  14 ;
  15 if.end:
  16   ret void
  17
  18 for.cond:                                         ; preds = %for.cond
  19   %rem = srem i16 1, %rem
  20   %div.i = sdiv i16 1, %rem
  21   br label %for.cond
  22 }
  23
  24