; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -div-rem-pairs -S -mtriple=powerpc64-unknown-unknown | FileCheck %s

define void @g() {
; CHECK-LABEL: @g(
; CHECK-NEXT:  if.end:
; CHECK-NEXT:    ret void
; CHECK:       for.cond:
; CHECK-NEXT:    [[TMP0:%.*]] = mul i16 [[DIV_I:%.*]], [[REM_FROZEN:%.*]]
; CHECK-NEXT:    [[REM_DECOMPOSED:%.*]] = sub i16 1, [[TMP0]]
; CHECK-NEXT:    [[REM_FROZEN]] = freeze i16 [[REM_DECOMPOSED]]
; CHECK-NEXT:    [[DIV_I]] = sdiv i16 1, [[REM_FROZEN]]
; CHECK-NEXT:    br label [[FOR_COND:%.*]]
;
if.end:
  ret void

for.cond:                                         ; preds = %for.cond
  %rem = srem i16 1, %rem
  %div.i = sdiv i16 1, %rem
  br label %for.cond
}