[InstCombine] Signed saturation patterns

[llvm-core.git] / 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
}