1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define zeroext i1 @_Z3fooPb(i8* nocapture %x) {
4entry:
5  %a = load i8, i8* %x, align 1, !range !0
6  %b = and i8 %a, 1
7  %tobool = icmp ne i8 %b, 0
8  ret i1 %tobool
9}
10
11; CHECK: %a = load i8, i8* %x, align 1, !range !0
12; CHECK-NEXT: %tobool = icmp ne i8 %a, 0
13; CHECK-NEXT: ret i1 %tobool
14
15!0 = !{i8 0, i8 2}
16