aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Transforms/LevelRaise/2002-03-20-Crash.ll17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/LevelRaise/2002-03-20-Crash.ll b/test/Transforms/LevelRaise/2002-03-20-Crash.ll
new file mode 100644
index 0000000000..496354f69b
--- /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