1 ; RUN: opt -instsimplify -S < %s | FileCheck %s
4 define i1 @test(i8 %p, i8* %pq) {
5 %q = load i8, i8* %pq, !range !0 ; %q is known nonzero; no known bits
6 %1 = or i8 %p, 2 ; %1[1] = 1
7 %2 = and i8 %1, 254 ; %2[0] = 0, %2[1] = 1
8 %A = lshr i8 %2, 1 ; We should know that %A is nonzero.