| David Majnemer | c82f27a | 2013-06-03 20:43:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| 2 | |||||
| 3 | ; CHECK-NOT: select | ||||
| 4 | @b = extern_weak global i32 | ||||
| 5 | define i32 @foo(i1 %y) { | ||||
| 6 | br i1 %y, label %bb1, label %bb2 | ||||
| 7 | bb1: | ||||
| 8 | br label %bb3 | ||||
| 9 | bb2: | ||||
| 10 | br label %bb3 | ||||
| 11 | bb3: | ||||
| 12 | %cond.i = phi i32 [ 0, %bb1 ], [ srem (i32 1, i32 zext (i1 icmp eq (i32* @b, i32* null) to i32)), %bb2 ] | ||||
| 13 | ret i32 %cond.i | ||||
| 14 | } | ||||