New testcase that crashes simplifycfg, identified accidentally by JohnMC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22157 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/SimplifyCFG/switch-simplify-crash.ll b/test/Transforms/SimplifyCFG/switch-simplify-crash.ll
new file mode 100644 (file)
index 0000000..0f94104
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/switch-simplify-crash.ll
@@ -0,0 +1,153 @@
+; RUN: llvm-as < %s | opt -simplifycfg -disable-output
+
+
+void %NewExtractNames() {
+entry:
+       br bool false, label %endif.0, label %then.0
+
+then.0:                ; preds = %entry
+       br bool 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 bool 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 bool false, label %endif.0.i, label %else.1.i
+
+else.1.i:              ; preds = %else.0.i
+       br bool 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 uint 0, 31           ; <uint> [#uses=1]
+       switch uint %tmp.32.mask, label %label.9 [
+                uint 16, label %loopentry.2
+                uint 15, label %loopentry.2
+                uint 14, label %loopentry.2
+                uint 13, label %loopentry.2
+                uint 10, label %loopentry.2
+                uint 20, label %loopentry.1
+                uint 19, label %loopentry.1
+                uint 2, label %loopentry.0
+                uint 0, label %switchexit
+       ]
+
+loopentry.0:           ; preds = %endif.1, %endif.0
+       br bool false, label %no_exit.0, label %switchexit
+
+no_exit.0:             ; preds = %loopentry.0
+       br bool false, label %then.1, label %else.1
+
+then.1:                ; preds = %no_exit.0
+       br label %endif.1
+
+else.1:                ; preds = %no_exit.0
+       br bool 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 bool 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 bool false, label %no_exit.1, label %switchexit
+
+no_exit.1:             ; preds = %loopentry.1
+       br bool false, label %then.3, label %else.2
+
+then.3:                ; preds = %no_exit.1
+       br label %endif.3
+
+else.2:                ; preds = %no_exit.1
+       br bool 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 bool 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 int [ 0, %endif.5 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ], [ 0, %endif.0 ]             ; <int> [#uses=1]
+       %tmp.158 = setlt int %i.3, 0            ; <bool> [#uses=1]
+       br bool %tmp.158, label %no_exit.2, label %switchexit
+
+no_exit.2:             ; preds = %loopentry.2
+       br bool 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 bool 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 bool false, label %then.6, label %endif.6
+
+then.6:                ; preds = %label.9
+       br label %endif.6
+
+endif.6:               ; preds = %then.6, %label.9
+       store int 0, int* null
+       br label %switchexit
+
+switchexit:            ; preds = %endif.6, %loopentry.2, %loopentry.1, %loopentry.0, %endif.0
+       br bool false, label %endif.7, label %then.7
+
+then.7:                ; preds = %switchexit
+       br bool 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 bool 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
+}