; RUN: opt < %s -passes=instcombine -S | FileCheck %s

define zeroext i1 @_Z3fooPb(ptr nocapture %x) {
entry:
  %a = load i8, ptr %x, align 1, !range !0
  %b = and i8 %a, 1
  %tobool = icmp ne i8 %b, 0
  ret i1 %tobool
}

; CHECK: %a = load i8, ptr %x, align 1, !range !0
; CHECK-NEXT: %tobool = icmp ne i8 %a, 0
; CHECK-NEXT: ret i1 %tobool

!0 = !{i8 0, i8 2}