1; RUN: opt < %s -analyze -scalar-evolution
2; PR4501
3
4define void @test() {
5entry:
6        %0 = load 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* 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
16}
17