test/Transforms/InstCombine/mul.ll

   1 ; This test makes sure that mul instructions are properly eliminated.
   2 ;
   3 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep mul
   4 ; END.
   5
   6 define i32 @test1(i32 %A) {
   7         %B = mul i32 %A, 1              ; <i32> [#uses=1]
   8         ret i32 %B
   9 }
  10
  11 define i32 @test2(i32 %A) {
  12         ; Should convert to an add instruction
  13         %B = mul i32 %A, 2              ; <i32> [#uses=1]
  14         ret i32 %B
  15 }
  16
  17 define i32 @test3(i32 %A) {
  18         ; This should disappear entirely
  19         %B = mul i32 %A, 0              ; <i32> [#uses=1]
  20         ret i32 %B
  21 }
  22
  23 define double @test4(double %A) {
  24         ; This is safe for FP
  25         %B = mul double 1.000000e+00, %A                ; <double> [#uses=1]
  26         ret double %B
  27 }
  28
  29 define i32 @test5(i32 %A) {
  30         %B = mul i32 %A, 8              ; <i32> [#uses=1]
  31         ret i32 %B
  32 }
  33
  34 define i8 @test6(i8 %A) {
  35         %B = mul i8 %A, 8               ; <i8> [#uses=1]
  36         %C = mul i8 %B, 8               ; <i8> [#uses=1]
  37         ret i8 %C
  38 }
  39
  40 define i32 @test7(i32 %i) {
  41         %tmp = mul i32 %i, -1           ; <i32> [#uses=1]
  42         ret i32 %tmp
  43 }
  44
  45 define i64 @test8(i64 %i) {
  46        ; tmp = sub 0, %i
  47         %j = mul i64 %i, -1             ; <i64> [#uses=1]
  48         ret i64 %j
  49 }
  50
  51 define i32 @test9(i32 %i) {
  52         ; %j = sub 0, %i
  53         %j = mul i32 %i, -1             ; <i32> [#uses=1]
  54         ret i32 %j
  55 }
  56
  57 define i32 @test10(i32 %a, i32 %b) {
  58         %c = icmp slt i32 %a, 0         ; <i1> [#uses=1]
  59         %d = zext i1 %c to i32          ; <i32> [#uses=1]
  60        ; e = b & (a >> 31)
  61         %e = mul i32 %d, %b             ; <i32> [#uses=1]
  62         ret i32 %e
  63 }
  64
  65 define i32 @test11(i32 %a, i32 %b) {
  66         %c = icmp sle i32 %a, -1                ; <i1> [#uses=1]
  67         %d = zext i1 %c to i32          ; <i32> [#uses=1]
  68         ; e = b & (a >> 31)
  69         %e = mul i32 %d, %b             ; <i32> [#uses=1]
  70         ret i32 %e
  71 }
  72
  73 define i32 @test12(i8 %a, i32 %b) {
  74         %c = icmp ugt i8 %a, 127                ; <i1> [#uses=1]
  75         %d = zext i1 %c to i32          ; <i32> [#uses=1]
  76         ; e = b & (a >> 31)
  77         %e = mul i32 %d, %b             ; <i32> [#uses=1]
  78         ret i32 %e
  79 }
  80