25 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=div-rem-pairs -S -mtriple=powerpc64-unknown-unknown | FileCheck %s3 4define void @g() {5; CHECK-LABEL: @g(6; CHECK-NEXT: if.end:7; CHECK-NEXT: ret void8; 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 void17 18for.cond: ; preds = %for.cond19 %rem = srem i16 1, %rem20 %div.i = sdiv i16 1, %rem21 br label %for.cond22}23 24 25