From 4ecbca558f8ee558dd0e84e079f16528fd9768f2 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 9 Mar 2010 23:46:50 +0000 Subject: Avoid analyzing instructions in blocks not reachable from the entry block. They are lots of trouble, and they don't matter. This fixes PR6559. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@98103 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/ScalarEvolution/unreachable-code.ll | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 test/Analysis/ScalarEvolution/unreachable-code.ll (limited to 'test/Analysis/ScalarEvolution/unreachable-code.ll') diff --git a/test/Analysis/ScalarEvolution/unreachable-code.ll b/test/Analysis/ScalarEvolution/unreachable-code.ll new file mode 100644 index 0000000..51d9398 --- /dev/null +++ b/test/Analysis/ScalarEvolution/unreachable-code.ll @@ -0,0 +1,13 @@ +; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s + +; CHECK: %t = add i64 %t, 1 +; CHECK: --> %t + +define void @foo() { +entry: + ret void + +dead: + %t = add i64 %t, 1 + ret void +} -- cgit v1.1