[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstSimplify / 2011-01-14-Thread.ll
blob9de06600c0c3d0a775298bf70accf80d8d3f145b
1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
3 define i32 @shift_select(i1 %cond) {
4 ; CHECK-LABEL: @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