diff options
author | Owen Anderson <resistor@mac.com> | 2008-07-02 17:20:16 +0000 |
---|---|---|
committer | Owen Anderson <resistor@mac.com> | 2008-07-02 17:20:16 +0000 |
commit | f2aa160b357c98d8c37b69ea9775aa3e097d1319 (patch) | |
tree | bad306be76337b3a4dac25790e1644b4682642cb /test | |
parent | bee98c66c0c3d1f43244cdf237e572a9df031e40 (diff) | |
download | llvm-f2aa160b357c98d8c37b69ea9775aa3e097d1319.tar.gz llvm-f2aa160b357c98d8c37b69ea9775aa3e097d1319.tar.bz2 llvm-f2aa160b357c98d8c37b69ea9775aa3e097d1319.tar.xz |
A better fix for PR2503 that doesn't pessimize GVN in the presence of unreachable blocks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53032 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/GVN/2008-07-02-Unreachable.ll | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/test/Transforms/GVN/2008-07-02-Unreachable.ll b/test/Transforms/GVN/2008-07-02-Unreachable.ll new file mode 100644 index 0000000000..0052daf7c5 --- /dev/null +++ b/test/Transforms/GVN/2008-07-02-Unreachable.ll @@ -0,0 +1,36 @@ +; RUN: llvm-as < %s | opt -gvn | llvm-dis | grep undef +; PR2503 +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i686-apple-darwin9.3.0" +@g_3 = external global i8 ; <i8*> [#uses=2] + +define i32 @func_1() nounwind { +entry: + br i1 false, label %ifelse, label %ifthen + +ifthen: ; preds = %entry + br label %ifend + +ifelse: ; preds = %entry + %tmp3 = load i8* @g_3 ; <i8> [#uses=0] + br label %forcond.thread + +forcond.thread: ; preds = %ifelse + br label %afterfor + +forcond: ; preds = %forinc + br i1 false, label %afterfor, label %forbody + +forbody: ; preds = %forcond + br label %forinc + +forinc: ; preds = %forbody + br label %forcond + +afterfor: ; preds = %forcond, %forcond.thread + %tmp10 = load i8* @g_3 ; <i8> [#uses=0] + br label %ifend + +ifend: ; preds = %afterfor, %ifthen + ret i32 0 +} |