diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-02-10 23:54:10 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2011-02-10 23:54:10 +0000 |
| commit | ac0b62c27730ca7eb6ca49363298fdceeb3e7032 (patch) | |
| tree | 479f05a123f0fe344e7d16fb2215a7c561500b9a /llvm/test/Transforms/JumpThreading | |
| parent | 97dae4d361b96e10ff450c0dccab48d2bccb5685 (diff) | |
| download | bcm5719-llvm-ac0b62c27730ca7eb6ca49363298fdceeb3e7032.tar.gz bcm5719-llvm-ac0b62c27730ca7eb6ca49363298fdceeb3e7032.zip | |
Tolerate degenerate phi nodes that can occur in the middle of optimization
passes. Fixes PR9112. Patch by Jakub Staszak!
llvm-svn: 125319
Diffstat (limited to 'llvm/test/Transforms/JumpThreading')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/degenerate-phi.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/llvm/test/Transforms/JumpThreading/degenerate-phi.ll b/llvm/test/Transforms/JumpThreading/degenerate-phi.ll new file mode 100644 index 00000000000..35d9fdec428 --- /dev/null +++ b/llvm/test/Transforms/JumpThreading/degenerate-phi.ll @@ -0,0 +1,24 @@ +; RUN: opt -jump-threading -disable-output %s +; PR9112 + +; This is actually a test for value tracking. Jump threading produces +; "%phi = phi i16" when it removes all edges leading to %unreachable. +; The .ll parser won't let us write that directly since it's invalid code. + +define void @func() nounwind { +entry: + br label %bb + +bb: + br label %bb + +unreachable: + %phi = phi i16 [ %add, %unreachable ], [ 0, %next ] + %add = add i16 0, %phi + %cmp = icmp slt i16 %phi, 0 + br i1 %cmp, label %unreachable, label %next + +next: + br label %unreachable +} + |
