New testcase
authorChris Lattner <sabre@nondot.org>
Tue, 16 Apr 2002 05:44:56 +0000 (05:44 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 16 Apr 2002 05:44:56 +0000 (05:44 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2261 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll [new file with mode: 0644]

diff --git a/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll b/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll
new file mode 100644 (file)
index 0000000..1ca027e
--- /dev/null
@@ -0,0 +1,28 @@
+; this testcase is distilled from this C source:
+; int *foo(unsigned N, unsigned M) {
+;   unsigned i = (N+1)*sizeof(int);
+;   unsigned j = (M+1)*sizeof(int);
+;   return (int*)malloc(i+j);
+; }
+
+; RUN: if as < %s | opt -raise | dis | grep ' cast ' | grep '*'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+implementation
+
+declare sbyte* "malloc"(uint)
+
+int* "test"(uint %N, uint %M)
+begin
+bb0:                                   ;[#uses=0]
+       %reg111 = shl uint %N, ubyte 2          ; <uint> [#uses=1]
+       %reg109 = add uint %reg111, 4           ; <uint> [#uses=1]
+       %reg114 = shl uint %M, ubyte 2          ; <uint> [#uses=1]
+       %reg112 = add uint %reg114, 4           ; <uint> [#uses=1]
+       %reg116 = add uint %reg109, %reg112             ; <uint> [#uses=1]
+       %reg117 = malloc sbyte, uint %reg116            ; <sbyte*> [#uses=1]
+       %cast221 = cast sbyte* %reg117 to int*          ; <int*> [#uses=1]
+       ret int* %cast221
+end