test/Transforms/InstCombine/rem.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | not grep rem
   4 ; END.
   5
   6 define i32 @test1(i32 %A) {
   7         %B = srem i32 %A, 1     ; ISA constant 0
   8         ret i32 %B
   9 }
  10
  11 define i32 @test2(i32 %A) {     ; 0 % X = 0, we don't need to preserve traps
  12         %B = srem i32 0, %A
  13         ret i32 %B
  14 }
  15
  16 define i32 @test3(i32 %A) {
  17         %B = urem i32 %A, 8
  18         ret i32 %B
  19 }
  20
  21 define i1 @test3a(i32 %A) {
  22         %B = srem i32 %A, -8
  23         %C = icmp ne i32 %B, 0
  24         ret i1 %C
  25 }
  26
  27 define i32 @test4(i32 %X, i1 %C) {
  28         %V = select i1 %C, i32 1, i32 8
  29         %R = urem i32 %X, %V
  30         ret i32 %R
  31 }
  32
  33 define i32 @test5(i32 %X, i8 %B) {
  34         %shift.upgrd.1 = zext i8 %B to i32
  35         %Amt = shl i32 32, %shift.upgrd.1
  36         %V = urem i32 %X, %Amt
  37         ret i32 %V
  38 }
  39
  40 define i32 @test6(i32 %A) {
  41         %B = srem i32 %A, 0     ;; undef
  42         ret i32 %B
  43 }
  44
  45 define i32 @test7(i32 %A) {
  46         %B = mul i32 %A, 8
  47         %C = srem i32 %B, 4
  48         ret i32 %C
  49 }
  50
  51 define i32 @test8(i32 %A) {
  52         %B = shl i32 %A, 4
  53         %C = srem i32 %B, 8
  54         ret i32 %C
  55 }
  56
  57 define i32 @test9(i32 %A) {
  58         %B = mul i32 %A, 64
  59         %C = urem i32 %B, 32
  60         ret i32 %C
  61 }
  62
  63 define i32 @test10(i8 %c) {
  64         %tmp.1 = zext i8 %c to i32
  65         %tmp.2 = mul i32 %tmp.1, 4
  66         %tmp.3 = sext i32 %tmp.2 to i64
  67         %tmp.5 = urem i64 %tmp.3, 4
  68         %tmp.6 = trunc i64 %tmp.5 to i32
  69         ret i32 %tmp.6
  70 }
  71
  72 define i32 @test11(i32 %i) {
  73         %tmp.1 = and i32 %i, -2
  74         %tmp.3 = mul i32 %tmp.1, 2
  75         %tmp.5 = urem i32 %tmp.3, 4
  76         ret i32 %tmp.5
  77 }
  78
  79 define i32 @test12(i32 %i) {
  80         %tmp.1 = and i32 %i, -4
  81         %tmp.5 = srem i32 %tmp.1, 2
  82         ret i32 %tmp.5
  83 }
  84
  85 define i32 @test13(i32 %i) {
  86         %x = srem i32 %i, %i
  87         ret i32 %x
  88 }