[InstCombine] Signed saturation patterns

[llvm-core.git] / test / Transforms / InstCombine / 2008-02-13-MulURem.ll

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

; CHECK: rem

define i32 @fold(i32 %a) {
  %s = mul i32 %a, 3
  %c = urem i32 %s, 3
  ret i32 %c
}