test/Transforms/InstCombine/srem-simplify-bug.ll

; RUN: opt < %s -instcombine -S | grep {ret i1 false}
; PR2276

define i1 @f(i32 %x) {
  %A = or i32 %x, 1
  %B = srem i32 %A, 1
  %C = icmp ne i32 %B, 0
  ret i1 %C
}