test/Transforms/InstCombine/2008-11-20-DivMulRem.ll

   1 ; RUN: opt < %s -instcombine -S > %t
   2 ; RUN: grep urem %t | count 3
   3 ; RUN: grep srem %t | count 1
   4 ; RUN: grep sub %t | count 2
   5 ; RUN: grep add %t | count 1
   6 ; PR3103
   7
   8 define i8 @test1(i8 %x, i8 %y) {
   9   %A = udiv i8 %x, %y
  10   %B = mul i8 %A, %y
  11   %C = sub i8 %x, %B
  12   ret i8 %C
  13 }
  14
  15 define i8 @test2(i8 %x, i8 %y) {
  16   %A = sdiv i8 %x, %y
  17   %B = mul i8 %A, %y
  18   %C = sub i8 %x, %B
  19   ret i8 %C
  20 }
  21
  22 define i8 @test3(i8 %x, i8 %y) {
  23   %A = udiv i8 %x, %y
  24   %B = mul i8 %A, %y
  25   %C = sub i8 %B, %x
  26   ret i8 %C
  27 }
  28
  29 define i8 @test4(i8 %x) {
  30   %A = udiv i8 %x, 3
  31   %B = mul i8 %A, -3
  32   %C = sub i8 %x, %B
  33   ret i8 %C
  34 }