[InstCombine] Signed saturation patterns

[llvm-core.git] / test / Transforms / InstCombine / 2008-07-09-SubAndError.ll

; RUN: opt < %s -instcombine -S | not grep "sub i32 0"
; PR2330

define i32 @foo(i32 %a) nounwind {
entry:
  %A = sub i32 5, %a
  %B = and i32 %A, 2
  ret i32 %B
}