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

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | 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
}