From 8c1114ab2c8715305db5e59672d64079580c73fb Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 25 Jun 2003 17:08:34 +0000 Subject: [PATCH] New testcase llvm-svn: 6902 --- .../LevelRaise/2003-06-25-ExprAnalysis.ll | 27 +++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/Regression/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll diff --git a/test/Regression/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll b/test/Regression/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll new file mode 100644 index 00000000000..0b0255a22df --- /dev/null +++ b/test/Regression/Transforms/LevelRaise/2003-06-25-ExprAnalysis.ll @@ -0,0 +1,27 @@ +; The expr analysis routines were being too aggressive across cast instructions! + +; RUN: if as < %s | opt -raise | dis | grep 4294967295 +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +target endian = big +target pointersize = 64 + %struct..istack_struct = type { %struct..istack_struct*, %struct..istk_entry*, uint } + %struct..istk_entry = type { double, int, int, double, double, sbyte* } + +implementation ; Functions: +bool %Intersection(%struct..istack_struct* %tmp.0, uint %tmp.12) { ; No predecessors! + %tmp.8 = getelementptr %struct..istack_struct* %tmp.0, long 0, ubyte 1 ; <%struct..istk_entry**> [#uses=1] + %tmp.9 = load %struct..istk_entry** %tmp.8 ; <%struct..istk_entry*> [#uses=1] + %dec = sub uint %tmp.12, 1 ; [#uses=1] + %tmp.13 = cast uint %dec to ulong ; [#uses=1] + %tmp.14 = mul ulong %tmp.13, 40 ; [#uses=1] + %tmp.16 = cast %struct..istk_entry* %tmp.9 to long ; [#uses=1] + %tmp.17 = cast ulong %tmp.14 to long ; [#uses=1] + %tmp.18 = add long %tmp.16, %tmp.17 ; [#uses=1] + %tmp.19 = cast long %tmp.18 to %struct..istk_entry* ; <%struct..istk_entry*> [#uses=1] + %tmp.21 = setne %struct..istk_entry* %tmp.19, null ; [#uses=1] + ret bool %tmp.21 +} +