llvm/test/Transforms/InstSimplify/mul.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 define <2 x i1> @test1(<2 x i1> %a) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
   7 ;
   8   %b = and <2 x i1> %a, <i1 true, i1 false>
   9   %res = mul <2 x i1> %b, <i1 false, i1 true>
  10   ret <2 x i1> %res
  11 }
  12
  13 define i32 @mul_by_1(i32 %A) {
  14 ; CHECK-LABEL: @mul_by_1(
  15 ; CHECK-NEXT:    ret i32 [[A:%.*]]
  16 ;
  17   %B = mul i32 %A, 1
  18   ret i32 %B
  19 }
  20
  21 define i32 @mul_by_0(i32 %A) {
  22 ; CHECK-LABEL: @mul_by_0(
  23 ; CHECK-NEXT:    ret i32 0
  24 ;
  25   %B = mul i32 %A, 0
  26   ret i32 %B
  27 }
  28
  29 define <16 x i8> @mul_by_0_vec(<16 x i8> %a) {
  30 ; CHECK-LABEL: @mul_by_0_vec(
  31 ; CHECK-NEXT:    ret <16 x i8> zeroinitializer
  32 ;
  33   %b = mul <16 x i8> %a, zeroinitializer
  34   ret <16 x i8> %b
  35 }
  36
  37 define <2 x i8> @mul_by_0_vec_undef_elt(<2 x i8> %a) {
  38 ; CHECK-LABEL: @mul_by_0_vec_undef_elt(
  39 ; CHECK-NEXT:    ret <2 x i8> zeroinitializer
  40 ;
  41   %b = mul <2 x i8> %a, <i8 undef, i8 0>
  42   ret <2 x i8> %b
  43 }
  44
  45 define i32 @poison(i32 %x) {
  46 ; CHECK-LABEL: @poison(
  47 ; CHECK-NEXT:    ret i32 poison
  48 ;
  49   %v = mul i32 %x, poison
  50   ret i32 %v
  51 }
  52
  53 define i1 @mul_i1(i1 %x, i1 %y) {
  54 ; CHECK-LABEL: @mul_i1(
  55 ; CHECK-NEXT:    [[R:%.*]] = mul i1 [[X:%.*]], [[Y:%.*]]
  56 ; CHECK-NEXT:    ret i1 [[R]]
  57 ;
  58   %r = mul i1 %x, %y
  59   ret i1 %r
  60 }
  61
  62 define i1 @mul_i1_nsw(i1 %x, i1 %y) {
  63 ; CHECK-LABEL: @mul_i1_nsw(
  64 ; CHECK-NEXT:    ret i1 false
  65 ;
  66   %r = mul nsw i1 %x, %y
  67   ret i1 %r
  68 }
  69
  70 define i1 @mul_i1_nuw(i1 %x, i1 %y) {
  71 ; CHECK-LABEL: @mul_i1_nuw(
  72 ; CHECK-NEXT:    [[R:%.*]] = mul nuw i1 [[X:%.*]], [[Y:%.*]]
  73 ; CHECK-NEXT:    ret i1 [[R]]
  74 ;
  75   %r = mul nuw i1 %x, %y
  76   ret i1 %r
  77 }
  78
  79 define i1 @square_i1(i1 %x) {
  80 ; CHECK-LABEL: @square_i1(
  81 ; CHECK-NEXT:    ret i1 [[X:%.*]]
  82 ;
  83   %r = mul i1 %x, %x
  84   ret i1 %r
  85 }
  86
  87 define i1 @square_i1_nsw(i1 %x) {
  88 ; CHECK-LABEL: @square_i1_nsw(
  89 ; CHECK-NEXT:    ret i1 false
  90 ;
  91   %r = mul nsw i1 %x, %x
  92   ret i1 %r
  93 }
  94
  95 define i1 @square_i1_nuw(i1 %x) {
  96 ; CHECK-LABEL: @square_i1_nuw(
  97 ; CHECK-NEXT:    ret i1 [[X:%.*]]
  98 ;
  99   %r = mul nuw i1 %x, %x
 100   ret i1 %r
 101 }