| Duncan Sands | cf80bc1 | 2011-01-14 14:44:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
| 2 | |||||
| 3 | define i32 @shift_select(i1 %cond) { | ||||
| 4 | ; CHECK: @shift_select | ||||
| 5 | %s = select i1 %cond, i32 0, i32 1 | ||||
| 6 | %r = lshr i32 %s, 1 | ||||
| 7 | ret i32 %r | ||||
| 8 | ; CHECK: ret i32 0 | ||||
| 9 | } | ||||