diff options
author | Chris Lattner <sabre@nondot.org> | 2002-02-14 18:52:18 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2002-02-14 18:52:18 +0000 |
commit | 9ab91af48604ca4a500823b677434e0796073d18 (patch) | |
tree | cc4d656a39c116b0b521727cfd1423e3b6453009 /test | |
parent | d1ba4475be0de852d09e38d2050f591c26b22c8e (diff) | |
download | external_llvm-9ab91af48604ca4a500823b677434e0796073d18.zip external_llvm-9ab91af48604ca4a500823b677434e0796073d18.tar.gz external_llvm-9ab91af48604ca4a500823b677434e0796073d18.tar.bz2 |
New testcase for bug in levelraise
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1759 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/LevelRaise/2002-02-14-InstDelete.ll | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/test/Transforms/LevelRaise/2002-02-14-InstDelete.ll b/test/Transforms/LevelRaise/2002-02-14-InstDelete.ll new file mode 100644 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"(...) |