1 ; RUN: opt < %s -analyze -scalar-evolution 2 ; PR4501 3 4 define void @test() { 5 entry: 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