[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / bitcast-sext-vector.ll
blobd70bdbaf3727a562a19a73fb08fa82d59404fbb3
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 ; CHECK: sext
3 ; Don't fold zero/sign extensions with a bitcast between a vector and scalar.
5 define i32 @t(<4 x i8> %src1, <4 x i8> %src2) nounwind readonly {
6 entry:
7         %cmp = icmp eq <4 x i8> %src1, %src2; <<4 x i1>> [#uses=1]
8         %sext = sext <4 x i1> %cmp to <4 x i8>
9         %val = bitcast <4 x i8> %sext to i32
10         ret i32 %val