New testcase for bug in levelraise

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

diff --git a/test/Transforms/LevelRaise/2002-02-14-InstDelete.ll b/test/Transforms/LevelRaise/2002-02-14-InstDelete.ll
new file mode 100644 (file)
index 0000000..ed6c07a
--- /dev/null
+++ b/test/Transforms/LevelRaise/2002-02-14-InstDelete.ll
@@ -0,0 +1,69 @@
+; The -raise pass is not correctly deleting instructions in all cases where it
+; should, which leaves the instruction to be deleted by DCE.  This is bad
+; because some instructions are left in an invalid form, causing an assertion
+; failure.  In this case, a chain of instructions, including a zero argument;
+; PHI node is left behind.
+;
+; RUN: as < %s | opt -raise -q
+;
+       %Hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int } *
+       %HashEntry = type { uint, sbyte *, \2 } *
+       %hash = type { { uint, sbyte *, \2 } * *, int (uint) *, int }
+       %hash_entry = type { uint, sbyte *, \2 * }
+implementation
+
+void "HashDelete"(uint %key, %Hash %hash)
+begin
+bb1:                                   ;[#uses=1]
+       %cast1006 = cast %Hash %hash to sbyte *         ; <sbyte *> [#uses=1]
+       %cast1007 = cast ulong 8 to sbyte *             ; <sbyte *> [#uses=1]
+       %reg1000 = add sbyte * %cast1006, %cast1007             ; <sbyte *> [#uses=1]
+       %cast1008 = cast sbyte * %reg1000 to sbyte * *          ; <sbyte * *> [#uses=1]
+       %reg111 = load sbyte * * %cast1008              ; <sbyte *> [#uses=1]
+       %cast1009 = cast sbyte * %reg111 to uint (...) *                ; <uint (...) *> [#uses=1]
+       %reg110 = call uint (...) * %cast1009( uint %key )              ; <uint> [#uses=1]
+       %reg114 = shl uint %reg110, ubyte 3             ; <uint> [#uses=1]
+       %cast115 = cast uint %reg114 to ulong           ; <ulong> [#uses=1]
+       %cast116 = cast ulong %cast115 to sbyte *               ; <sbyte *> [#uses=1]
+       %cast1010 = cast %Hash %hash to sbyte * *               ; <sbyte * *> [#uses=1]
+       %reg117 = load sbyte * * %cast1010              ; <sbyte *> [#uses=1]
+       %reg112 = add sbyte * %reg117, %cast116         ; <sbyte *> [#uses=4]
+       %cast1011 = cast sbyte * %reg112 to sbyte * *           ; <sbyte * *> [#uses=1]
+       %reg122 = load sbyte * * %cast1011              ; <sbyte *> [#uses=2]
+       %cast1012 = cast ulong 0 to sbyte *             ; <sbyte *> [#uses=1]
+       %cond1001 = seteq sbyte * %reg122, %cast1012            ; <bool> [#uses=1]
+       br bool %cond1001, label %bb5, label %bb2
+
+bb2:                                   ;[#uses=3]
+       %cast1013 = cast sbyte * %reg122 to uint *              ; <uint *> [#uses=1]
+       %reg124 = load uint * %cast1013         ; <uint> [#uses=1]
+       %cond1002 = seteq uint %reg124, %key            ; <bool> [#uses=1]
+       br bool %cond1002, label %bb5, label %bb3
+
+bb3:                                   ;[#uses=3]
+       %reg125 = phi sbyte * [ %reg126, %bb4 ], [ %reg112, %bb2 ]              ; <sbyte *> [#uses=1]
+       %cast1014 = cast sbyte * %reg125 to sbyte * *           ; <sbyte * *> [#uses=1]
+       %reg121 = load sbyte * * %cast1014              ; <sbyte *> [#uses=2]
+       %cast1015 = cast ulong 16 to sbyte *            ; <sbyte *> [#uses=1]
+       %reg126 = add sbyte * %reg121, %cast1015                ; <sbyte *> [#uses=3]
+       %cast1016 = cast ulong 16 to sbyte *            ; <sbyte *> [#uses=1]
+       %reg1003 = add sbyte * %reg121, %cast1016               ; <sbyte *> [#uses=1]
+       %cast1017 = cast sbyte * %reg1003 to sbyte * *          ; <sbyte * *> [#uses=1]
+       %reg118 = load sbyte * * %cast1017              ; <sbyte *> [#uses=2]
+       %cast1018 = cast ulong 0 to sbyte *             ; <sbyte *> [#uses=1]
+       %cond1004 = seteq sbyte * %reg118, %cast1018            ; <bool> [#uses=1]
+       br bool %cond1004, label %bb5, label %bb4
+
+bb4:                                   ;[#uses=3]
+       %cast1019 = cast sbyte * %reg118 to uint *              ; <uint *> [#uses=1]
+       %reg120 = load uint * %cast1019         ; <uint> [#uses=1]
+       %cond1005 = setne uint %reg120, %key            ; <bool> [#uses=1]
+       br bool %cond1005, label %bb3, label %bb5
+
+bb5:                                   ;[#uses=4]
+       %reg127 = phi sbyte * [ %reg126, %bb4 ], [ %reg126, %bb3 ], [ %reg112, %bb2 ], [ %reg112, %bb1 ]                ; <sbyte *> [#uses=1]
+       call int (...) * %foo( sbyte * %reg127 )                ; <int>:0 [#uses=0]
+       ret void
+end
+
+declare int "foo"(...)