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 4define 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; 15if.end: 16 ret void 17 18for.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 25