[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Analysis / ScalarEvolution / 2009-07-04-GroupConstantsWidthMismatch.ll
blobd18bdaf7cba73b9b5f7d795fd3f9fd25e0dbbd75
1 ; RUN: opt < %s -analyze -scalar-evolution
2 ; PR4501
4 define void @test() {
5 entry:
6         %0 = load i16, i16* undef, align 1
7         %1 = lshr i16 %0, 8
8         %2 = and i16 %1, 3
9         %3 = zext i16 %2 to i32
10         %4 = load i8, i8* undef, align 1
11         %5 = lshr i8 %4, 4
12         %6 = and i8 %5, 1
13         %7 = zext i8 %6 to i32
14         %t1 = add i32 %3, %7
15         ret void