From d72a81ee647b4474e2d1307335e520b871666507 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Sun, 16 Nov 2008 04:14:25 +0000 Subject: Don't brute-force analyze cubic or higher polynomials. If this patch causes a performance regression for anyone, please let me know, and it can be fixed in a different way with much more effort. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59384 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll (limited to 'test/Analysis') diff --git a/test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll b/test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll new file mode 100644 index 0000000..89e9efa --- /dev/null +++ b/test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -analyze -scalar-evolution +; PR2602 + +define i32 @a() nounwind { +entry: + br label %bb + +bb: ; preds = %bb, %entry + %w.0 = phi i32 [ 0, %entry ], [ %tmp, %bb ] ; [#uses=2] + %e.0 = phi i32 [ 0, %entry ], [ %e.1, %bb ] ; [#uses=2] + %w.1 = add i32 0, %w.0 ; :0 [#uses=1] + %tmp = add i32 %e.0, %w.0 ; :1 [#uses=1] + %e.1 = add i32 %e.0, 1 ; :2 [#uses=1] + %cond = icmp eq i32 %w.1, -1 ; :3 [#uses=1] + br i1 %cond, label %return, label %bb + +return: ; preds = %bb + ret i32 undef +} -- cgit v1.1