llvm-for-llvmta/test/Transforms/SimplifyCFG/switch-simplify-crash.ll

109 lines
4.0 KiB
LLVM
Raw Permalink Normal View History

2022-04-25 10:02:23 +02:00
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output
define void @NewExtractNames() {
entry:
br i1 false, label %endif.0, label %then.0
then.0: ; preds = %entry
br i1 false, label %shortcirc_next.i, label %shortcirc_done.i
shortcirc_next.i: ; preds = %then.0
br label %shortcirc_done.i
shortcirc_done.i: ; preds = %shortcirc_next.i, %then.0
br i1 false, label %then.0.i, label %else.0.i
then.0.i: ; preds = %shortcirc_done.i
br label %NewBase.exit
else.0.i: ; preds = %shortcirc_done.i
br i1 false, label %endif.0.i, label %else.1.i
else.1.i: ; preds = %else.0.i
br i1 false, label %endif.0.i, label %else.2.i
else.2.i: ; preds = %else.1.i
br label %NewBase.exit
endif.0.i: ; preds = %else.1.i, %else.0.i
br label %NewBase.exit
NewBase.exit: ; preds = %endif.0.i, %else.2.i, %then.0.i
br label %endif.0
endif.0: ; preds = %NewBase.exit, %entry
%tmp.32.mask = and i32 0, 31 ; <i32> [#uses=1]
switch i32 %tmp.32.mask, label %label.9 [
i32 16, label %loopentry.2
i32 15, label %loopentry.2
i32 14, label %loopentry.2
i32 13, label %loopentry.2
i32 10, label %loopentry.2
i32 20, label %loopentry.1
i32 19, label %loopentry.1
i32 2, label %loopentry.0
i32 0, label %switchexit
]
loopentry.0: ; preds = %endif.1, %endif.0
br i1 false, label %no_exit.0, label %switchexit
no_exit.0: ; preds = %loopentry.0
br i1 false, label %then.1, label %else.1
then.1: ; preds = %no_exit.0
br label %endif.1
else.1: ; preds = %no_exit.0
br i1 false, label %shortcirc_next.0, label %shortcirc_done.0
shortcirc_next.0: ; preds = %else.1
br label %shortcirc_done.0
shortcirc_done.0: ; preds = %shortcirc_next.0, %else.1
br i1 false, label %then.2, label %endif.2
then.2: ; preds = %shortcirc_done.0
br label %endif.2
endif.2: ; preds = %then.2, %shortcirc_done.0
br label %endif.1
endif.1: ; preds = %endif.2, %then.1
br label %loopentry.0
loopentry.1: ; preds = %endif.3, %endif.0, %endif.0
br i1 false, label %no_exit.1, label %switchexit
no_exit.1: ; preds = %loopentry.1
br i1 false, label %then.3, label %else.2
then.3: ; preds = %no_exit.1
br label %endif.3
else.2: ; preds = %no_exit.1
br i1 false, label %shortcirc_next.1, label %shortcirc_done.1
shortcirc_next.1: ; preds = %else.2
br label %shortcirc_done.1
shortcirc_done.1: ; preds = %shortcirc_next.1, %else.2
br i1 false, label %then.4, label %endif.4
then.4: ; preds = %shortcirc_done.1
br label %endif.4
endif.4: ; preds = %then.4, %shortcirc_done.1
br label %endif.3
endif.3: ; preds = %endif.4, %then.3
br label %loopentry.1
loopentry.2: ; preds = %endif.5, %endif.0, %endif.0, %endif.0, %endif.0, %endif.0
%i.3 = phi i32 [ 0, %endif.5 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ] ; <i32> [#uses=1]
%tmp.158 = icmp slt i32 %i.3, 0 ; <i1> [#uses=1]
br i1 %tmp.158, label %no_exit.2, label %switchexit
no_exit.2: ; preds = %loopentry.2
br i1 false, label %shortcirc_next.2, label %shortcirc_done.2
shortcirc_next.2: ; preds = %no_exit.2
br label %shortcirc_done.2
shortcirc_done.2: ; preds = %shortcirc_next.2, %no_exit.2
br i1 false, label %then.5, label %endif.5
then.5: ; preds = %shortcirc_done.2
br label %endif.5
endif.5: ; preds = %then.5, %shortcirc_done.2
br label %loopentry.2
label.9: ; preds = %endif.0
br i1 false, label %then.6, label %endif.6
then.6: ; preds = %label.9
br label %endif.6
endif.6: ; preds = %then.6, %label.9
store i32 0, i32* null
br label %switchexit
switchexit: ; preds = %endif.6, %loopentry.2, %loopentry.1, %loopentry.0, %endif.0
br i1 false, label %endif.7, label %then.7
then.7: ; preds = %switchexit
br i1 false, label %shortcirc_next.3, label %shortcirc_done.3
shortcirc_next.3: ; preds = %then.7
br label %shortcirc_done.3
shortcirc_done.3: ; preds = %shortcirc_next.3, %then.7
br i1 false, label %then.8, label %endif.8
then.8: ; preds = %shortcirc_done.3
br label %endif.8
endif.8: ; preds = %then.8, %shortcirc_done.3
br label %endif.7
endif.7: ; preds = %endif.8, %switchexit
ret void
}