| Gerolf Hoflehner | af7a87d | 2014-04-26 05:58:11 +0000 | [diff] [blame] | 1 | ; RUN: opt -instsimplify -S < %s | FileCheck %s |
| 2 | |||||
| 3 | define void @foo() nounwind { | ||||
| 4 | br i1 undef, label %1, label %4 | ||||
| 5 | |||||
| 6 | ; <label>:1 ; preds = %1, %0 | ||||
| 7 | ; CHECK-NOT: phi | ||||
| 8 | ; CHECK-NOT: sub | ||||
| 9 | %2 = phi i32 [ %3, %1 ], [ undef, %0 ] | ||||
| 10 | %3 = sub i32 0, undef | ||||
| 11 | br label %1 | ||||
| 12 | |||||
| 13 | ; <label>:4 ; preds = %0 | ||||
| 14 | ret void | ||||
| 15 | } | ||||