| Duncan Sands | 571fd9a | 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) { | ||||
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 4 | ; CHECK-LABEL: @shift_select( |
| Duncan Sands | 571fd9a | 2011-01-14 14:44:12 +0000 | [diff] [blame] | 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 | } | ||||