25 lines
741 B
LLVM
25 lines
741 B
LLVM
; 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
|
|
}
|
|
|
|
|