diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/switch_formation.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/switch_formation.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/switch_formation.ll b/test/Transforms/SimplifyCFG/switch_formation.ll new file mode 100644 index 0000000..b372ca4b --- /dev/null +++ b/test/Transforms/SimplifyCFG/switch_formation.ll @@ -0,0 +1,37 @@ +; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep br +; END. + +bool %_ZN4llvm11SetCondInst7classofEPKNS_11InstructionE({uint, uint}* %I) { +entry: + %tmp.1.i = getelementptr {uint, uint}* %I, long 0, uint 1 + %tmp.2.i = load uint* %tmp.1.i + %tmp.2 = seteq uint %tmp.2.i, 14 + br bool %tmp.2, label %shortcirc_done.4, label %shortcirc_next.0 + +shortcirc_next.0: ; preds = %entry + %tmp.6 = seteq uint %tmp.2.i, 15 ; <bool> [#uses=1] + br bool %tmp.6, label %shortcirc_done.4, label %shortcirc_next.1 + +shortcirc_next.1: ; preds = %shortcirc_next.0 + %tmp.11 = seteq uint %tmp.2.i, 16 ; <bool> [#uses=1] + br bool %tmp.11, label %shortcirc_done.4, label %shortcirc_next.2 + +shortcirc_next.2: ; preds = %shortcirc_next.1 + %tmp.16 = seteq uint %tmp.2.i, 17 ; <bool> [#uses=1] + br bool %tmp.16, label %shortcirc_done.4, label %shortcirc_next.3 + +shortcirc_next.3: ; preds = %shortcirc_next.2 + %tmp.21 = seteq uint %tmp.2.i, 18 ; <bool> [#uses=1] + br bool %tmp.21, label %shortcirc_done.4, label %shortcirc_next.4 + +shortcirc_next.4: ; preds = %shortcirc_next.3 + %tmp.26 = seteq uint %tmp.2.i, 19 ; <bool> [#uses=1] + br label %UnifiedReturnBlock + +shortcirc_done.4: ; preds = %entry, %shortcirc_next.0, %shortcirc_next.1, %shortcirc_next.2, %shortcirc_next.3 + br label %UnifiedReturnBlock + +UnifiedReturnBlock: ; preds = %shortcirc_next.4, %shortcirc_done.4 + %UnifiedRetVal = phi bool [ %tmp.26, %shortcirc_next.4 ], [ true, %shortcirc_done.4 ] ; <bool> [#uses=1] + ret bool %UnifiedRetVal +} |