187 lines
7.6 KiB
LLVM
187 lines
7.6 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -fix-irreducible -unify-loop-exits -structurizecfg -enable-new-pm=0 -S | FileCheck %s
|
|
define void @irreducible_mountain_bug(i1 %Pred0, i1 %Pred1, i1 %Pred2, i1 %Pred3, i1 %Pred4, i1 %Pred5, i1 %Pred6, i1 %Pred7, i1 %Pred8, i1 %Pred9, i1 %Pred10, i1 %Pred11, i1 %Pred12, i1 %Pred13) {
|
|
; CHECK-LABEL: @irreducible_mountain_bug(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[PRED0_INV:%.*]] = xor i1 [[PRED0:%.*]], true
|
|
; CHECK-NEXT: [[PRED1_INV:%.*]] = xor i1 [[PRED1:%.*]], true
|
|
; CHECK-NEXT: [[PRED2_INV:%.*]] = xor i1 [[PRED2:%.*]], true
|
|
; CHECK-NEXT: [[PRED3_INV:%.*]] = xor i1 [[PRED3:%.*]], true
|
|
; CHECK-NEXT: [[PRED5_INV:%.*]] = xor i1 [[PRED5:%.*]], true
|
|
; CHECK-NEXT: [[PRED4_INV:%.*]] = xor i1 [[PRED4:%.*]], true
|
|
; CHECK-NEXT: [[PRED10_INV:%.*]] = xor i1 [[PRED10:%.*]], true
|
|
; CHECK-NEXT: [[PRED11_INV:%.*]] = xor i1 [[PRED11:%.*]], true
|
|
; CHECK-NEXT: [[PRED12_INV:%.*]] = xor i1 [[PRED12:%.*]], true
|
|
; CHECK-NEXT: [[PRED13_INV:%.*]] = xor i1 [[PRED13:%.*]], true
|
|
; CHECK-NEXT: br i1 [[PRED0_INV]], label [[IF_THEN:%.*]], label [[FLOW19:%.*]]
|
|
; CHECK: Flow19:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = phi i1 [ false, [[FLOW3:%.*]] ], [ true, [[ENTRY:%.*]] ]
|
|
; CHECK-NEXT: br i1 [[TMP0]], label [[IF_END:%.*]], label [[FLOW20:%.*]]
|
|
; CHECK: if.end:
|
|
; CHECK-NEXT: br i1 [[PRED1_INV]], label [[IF_ELSE:%.*]], label [[FLOW18:%.*]]
|
|
; CHECK: Flow18:
|
|
; CHECK-NEXT: [[TMP1:%.*]] = phi i1 [ false, [[IF_ELSE]] ], [ true, [[IF_END]] ]
|
|
; CHECK-NEXT: br i1 [[TMP1]], label [[IF_THEN7:%.*]], label [[IF_END16:%.*]]
|
|
; CHECK: if.then7:
|
|
; CHECK-NEXT: br label [[IF_END16]]
|
|
; CHECK: if.else:
|
|
; CHECK-NEXT: br label [[FLOW18]]
|
|
; CHECK: Flow20:
|
|
; CHECK-NEXT: br label [[EXIT:%.*]]
|
|
; CHECK: if.end16:
|
|
; CHECK-NEXT: br i1 [[PRED2_INV]], label [[IF_THEN39:%.*]], label [[FLOW16:%.*]]
|
|
; CHECK: Flow16:
|
|
; CHECK-NEXT: [[TMP2:%.*]] = phi i1 [ false, [[FLOW5:%.*]] ], [ true, [[IF_END16]] ]
|
|
; CHECK-NEXT: br i1 [[TMP2]], label [[WHILE_COND_PREHEADER:%.*]], label [[FLOW17:%.*]]
|
|
; CHECK: while.cond.preheader:
|
|
; CHECK-NEXT: br label [[WHILE_COND:%.*]]
|
|
; CHECK: Flow17:
|
|
; CHECK-NEXT: br label [[FLOW20]]
|
|
; CHECK: while.cond:
|
|
; CHECK-NEXT: br i1 [[PRED3_INV]], label [[LOR_RHS:%.*]], label [[FLOW12:%.*]]
|
|
; CHECK: Flow7:
|
|
; CHECK-NEXT: [[TMP3:%.*]] = phi i1 [ [[PRED7:%.*]], [[COND_END61:%.*]] ], [ false, [[IRR_GUARD:%.*]] ]
|
|
; CHECK-NEXT: [[TMP4:%.*]] = phi i1 [ false, [[COND_END61]] ], [ true, [[IRR_GUARD]] ]
|
|
; CHECK-NEXT: br i1 [[TMP4]], label [[COND_TRUE49:%.*]], label [[FLOW8:%.*]]
|
|
; CHECK: cond.true49:
|
|
; CHECK-NEXT: br label [[FLOW8]]
|
|
; CHECK: Flow8:
|
|
; CHECK-NEXT: [[TMP5:%.*]] = phi i1 [ false, [[COND_TRUE49]] ], [ true, [[FLOW7:%.*]] ]
|
|
; CHECK-NEXT: [[TMP6:%.*]] = phi i1 [ [[PRED4_INV]], [[COND_TRUE49]] ], [ [[TMP3]], [[FLOW7]] ]
|
|
; CHECK-NEXT: br i1 [[TMP6]], label [[WHILE_BODY63:%.*]], label [[FLOW9:%.*]]
|
|
; CHECK: while.body63:
|
|
; CHECK-NEXT: br i1 [[PRED5_INV]], label [[WHILE_COND47:%.*]], label [[FLOW10:%.*]]
|
|
; CHECK: Flow9:
|
|
; CHECK-NEXT: [[TMP7:%.*]] = phi i1 [ true, [[FLOW10]] ], [ false, [[FLOW8]] ]
|
|
; CHECK-NEXT: [[TMP8:%.*]] = phi i1 [ false, [[FLOW10]] ], [ [[TMP5]], [[FLOW8]] ]
|
|
; CHECK-NEXT: [[TMP9:%.*]] = phi i1 [ [[TMP15:%.*]], [[FLOW10]] ], [ true, [[FLOW8]] ]
|
|
; CHECK-NEXT: [[DOTINV11:%.*]] = xor i1 [[TMP7]], true
|
|
; CHECK-NEXT: [[DOTINV:%.*]] = xor i1 [[TMP8]], true
|
|
; CHECK-NEXT: br i1 [[TMP9]], label [[LOOP_EXIT_GUARD1:%.*]], label [[IRR_GUARD]]
|
|
; CHECK: while.cond47:
|
|
; CHECK-NEXT: br label [[FLOW10]]
|
|
; CHECK: cond.end61:
|
|
; CHECK-NEXT: br label [[FLOW7]]
|
|
; CHECK: Flow14:
|
|
; CHECK-NEXT: [[TMP10:%.*]] = phi i1 [ false, [[FLOW15:%.*]] ], [ true, [[LOOP_EXIT_GUARD1]] ]
|
|
; CHECK-NEXT: [[TMP11:%.*]] = phi i1 [ [[TMP14:%.*]], [[FLOW15]] ], [ [[DOTINV]], [[LOOP_EXIT_GUARD1]] ]
|
|
; CHECK-NEXT: br label [[FLOW13:%.*]]
|
|
; CHECK: if.then69:
|
|
; CHECK-NEXT: br label [[FLOW15]]
|
|
; CHECK: lor.rhs:
|
|
; CHECK-NEXT: br label [[FLOW12]]
|
|
; CHECK: while.end76:
|
|
; CHECK-NEXT: br label [[FLOW6:%.*]]
|
|
; CHECK: if.then39:
|
|
; CHECK-NEXT: br i1 [[PRED10_INV]], label [[IF_END_I145:%.*]], label [[FLOW5]]
|
|
; CHECK: if.end.i145:
|
|
; CHECK-NEXT: br i1 [[PRED11_INV]], label [[IF_END8_I149:%.*]], label [[FLOW4:%.*]]
|
|
; CHECK: if.end8.i149:
|
|
; CHECK-NEXT: br label [[FLOW4]]
|
|
; CHECK: if.then:
|
|
; CHECK-NEXT: br i1 [[PRED12_INV]], label [[IF_END_I:%.*]], label [[FLOW3]]
|
|
; CHECK: if.end.i:
|
|
; CHECK-NEXT: br i1 [[PRED13_INV]], label [[IF_END8_I:%.*]], label [[FLOW:%.*]]
|
|
; CHECK: if.end8.i:
|
|
; CHECK-NEXT: br label [[FLOW]]
|
|
; CHECK: Flow:
|
|
; CHECK-NEXT: br label [[FLOW3]]
|
|
; CHECK: Flow3:
|
|
; CHECK-NEXT: br label [[FLOW19]]
|
|
; CHECK: Flow4:
|
|
; CHECK-NEXT: br label [[FLOW5]]
|
|
; CHECK: Flow5:
|
|
; CHECK-NEXT: br label [[FLOW16]]
|
|
; CHECK: Flow6:
|
|
; CHECK-NEXT: br label [[FLOW17]]
|
|
; CHECK: exit:
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: Flow12:
|
|
; CHECK-NEXT: [[TMP12:%.*]] = phi i1 [ false, [[LOR_RHS]] ], [ true, [[WHILE_COND]] ]
|
|
; CHECK-NEXT: [[TMP13:%.*]] = phi i1 [ [[PRED9:%.*]], [[LOR_RHS]] ], [ [[PRED3]], [[WHILE_COND]] ]
|
|
; CHECK-NEXT: br i1 [[TMP13]], label [[IRR_GUARD]], label [[FLOW13]]
|
|
; CHECK: irr.guard:
|
|
; CHECK-NEXT: [[GUARD_COND_TRUE49:%.*]] = phi i1 [ [[PRED6:%.*]], [[FLOW9]] ], [ [[TMP12]], [[FLOW12]] ]
|
|
; CHECK-NEXT: [[GUARD_COND_TRUE49_INV:%.*]] = xor i1 [[GUARD_COND_TRUE49]], true
|
|
; CHECK-NEXT: br i1 [[GUARD_COND_TRUE49_INV]], label [[COND_END61]], label [[FLOW7]]
|
|
; CHECK: Flow15:
|
|
; CHECK-NEXT: [[TMP14]] = phi i1 [ [[PRED8:%.*]], [[IF_THEN69:%.*]] ], [ [[DOTINV]], [[LOOP_EXIT_GUARD2:%.*]] ]
|
|
; CHECK-NEXT: br label [[FLOW14:%.*]]
|
|
; CHECK: loop.exit.guard:
|
|
; CHECK-NEXT: br i1 [[TMP16:%.*]], label [[WHILE_END76:%.*]], label [[FLOW6]]
|
|
; CHECK: Flow10:
|
|
; CHECK-NEXT: [[TMP15]] = phi i1 [ false, [[WHILE_COND47]] ], [ true, [[WHILE_BODY63]] ]
|
|
; CHECK-NEXT: br label [[FLOW9]]
|
|
; CHECK: Flow13:
|
|
; CHECK-NEXT: [[TMP16]] = phi i1 [ [[TMP10]], [[FLOW14]] ], [ true, [[FLOW12]] ]
|
|
; CHECK-NEXT: [[TMP17:%.*]] = phi i1 [ [[TMP11]], [[FLOW14]] ], [ true, [[FLOW12]] ]
|
|
; CHECK-NEXT: br i1 [[TMP17]], label [[LOOP_EXIT_GUARD:%.*]], label [[WHILE_COND]]
|
|
; CHECK: loop.exit.guard1:
|
|
; CHECK-NEXT: br i1 [[DOTINV]], label [[LOOP_EXIT_GUARD2]], label [[FLOW14]]
|
|
; CHECK: loop.exit.guard2:
|
|
; CHECK-NEXT: br i1 [[DOTINV11]], label [[IF_THEN69]], label [[FLOW15]]
|
|
;
|
|
entry:
|
|
br i1 %Pred0, label %if.end, label %if.then
|
|
|
|
if.end:
|
|
br i1 %Pred1, label %if.then7, label %if.else
|
|
|
|
if.then7:
|
|
br label %if.end16
|
|
|
|
if.else:
|
|
br label %if.end16
|
|
|
|
if.end16:
|
|
br i1 %Pred2, label %while.cond.preheader, label %if.then39
|
|
|
|
while.cond.preheader:
|
|
br label %while.cond
|
|
|
|
while.cond:
|
|
br i1 %Pred3, label %cond.true49, label %lor.rhs
|
|
|
|
cond.true49:
|
|
br i1 %Pred4, label %if.then69, label %while.body63
|
|
|
|
while.body63:
|
|
br i1 %Pred5, label %exit, label %while.cond47
|
|
|
|
while.cond47:
|
|
br i1 %Pred6, label %cond.true49, label %cond.end61
|
|
|
|
cond.end61:
|
|
br i1 %Pred7, label %while.body63, label %while.cond
|
|
|
|
if.then69:
|
|
br i1 %Pred8, label %exit, label %while.cond
|
|
|
|
lor.rhs:
|
|
br i1 %Pred9, label %cond.end61, label %while.end76
|
|
|
|
while.end76:
|
|
br label %exit
|
|
|
|
if.then39:
|
|
br i1 %Pred10, label %exit, label %if.end.i145
|
|
|
|
if.end.i145:
|
|
br i1 %Pred11, label %exit, label %if.end8.i149
|
|
|
|
if.end8.i149:
|
|
br label %exit
|
|
|
|
if.then:
|
|
br i1 %Pred12, label %exit, label %if.end.i
|
|
|
|
if.end.i:
|
|
br i1 %Pred13, label %exit, label %if.end8.i
|
|
|
|
if.end8.i:
|
|
br label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|