diff options
| -rw-r--r-- | test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll b/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll new file mode 100644 index 0000000000..1ca027e979 --- /dev/null +++ b/test/Transforms/LevelRaise/2002-04-16-MissedRaise.ll @@ -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 |