New testcase for YALRB (yet another level raise bug)

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

diff --git a/test/Transforms/LevelRaise/2002-03-20-Crash.ll b/test/Transforms/LevelRaise/2002-03-20-Crash.ll
new file mode 100644 (file)
index 0000000..496354f
--- /dev/null
+++ b/test/Transforms/LevelRaise/2002-03-20-Crash.ll
@@ -0,0 +1,17 @@
+; Level raise is making an incorrect transformation, which causes incorrect 
+; bytecode to be generated.
+;
+; RUN: as < %s | opt -raise | dis
+;
+
+       %Village = type { [4 x \3 *], \2 *, { \2 *, { int, int, int, \5 * } *, \2 * }, { int, int, int, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * }, { \2 *, { int, int, int, \6 * } *, \2 * } }, int, int }
+implementation
+
+%Village *"get_results"(%Results * %StructReturn, %Village * %village)
+begin
+bb0:                                   ;[#uses=1]
+       %cast121 = cast int 24 to %Village *            ; <%Village *> [#uses=1]
+       %reg123 = add %Village * %village, %cast121             ; <%Village *> [#uses=1]
+       %reg118 = load %Village * %reg123, uint 0, ubyte 0, uint 0              ; <%Village *> [#uses=1]
+       ret %Village *%reg118
+end