test/CodeGen/X86/mulfix_combine.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-linux -o - | FileCheck %s
   3
   4 declare i32 @llvm.smul.fix.i32(i32, i32, i32 immarg)
   5 declare i32 @llvm.umul.fix.i32(i32, i32, i32 immarg)
   6 declare i32 @llvm.smul.fix.sat.i32(i32, i32, i32 immarg)
   7
   8 declare <4 x i32> @llvm.smul.fix.v4i32(<4 x i32>, <4 x i32>, i32 immarg)
   9 declare <4 x i32> @llvm.umul.fix.v4i32(<4 x i32>, <4 x i32>, i32 immarg)
  10 declare <4 x i32> @llvm.smul.fix.sat.v4i32(<4 x i32>, <4 x i32>, i32 immarg)
  11
  12 define i32 @smulfix_undef(i32 %y) nounwind {
  13 ; CHECK-LABEL: smulfix_undef:
  14 ; CHECK:       # %bb.0:
  15 ; CHECK-NEXT:    xorl %eax, %eax
  16 ; CHECK-NEXT:    retq
  17   %tmp = call i32 @llvm.smul.fix.i32(i32 undef, i32 %y, i32 2)
  18   ret i32 %tmp
  19 }
  20
  21 define i32 @smulfix_zero(i32 %y) nounwind {
  22 ; CHECK-LABEL: smulfix_zero:
  23 ; CHECK:       # %bb.0:
  24 ; CHECK-NEXT:    xorl %eax, %eax
  25 ; CHECK-NEXT:    retq
  26   %tmp = call i32 @llvm.smul.fix.i32(i32 0, i32 %y, i32 2)
  27   ret i32 %tmp
  28 }
  29
  30 define i32 @umulfix_undef(i32 %y) nounwind {
  31 ; CHECK-LABEL: umulfix_undef:
  32 ; CHECK:       # %bb.0:
  33 ; CHECK-NEXT:    xorl %eax, %eax
  34 ; CHECK-NEXT:    retq
  35   %tmp = call i32 @llvm.umul.fix.i32(i32 undef, i32 %y, i32 2)
  36   ret i32 %tmp
  37 }
  38
  39 define i32 @umulfix_zero(i32 %y) nounwind {
  40 ; CHECK-LABEL: umulfix_zero:
  41 ; CHECK:       # %bb.0:
  42 ; CHECK-NEXT:    xorl %eax, %eax
  43 ; CHECK-NEXT:    retq
  44   %tmp = call i32 @llvm.umul.fix.i32(i32 0, i32 %y, i32 2)
  45   ret i32 %tmp
  46 }
  47
  48 define i32 @smulfixsat_undef(i32 %y) nounwind {
  49 ; CHECK-LABEL: smulfixsat_undef:
  50 ; CHECK:       # %bb.0:
  51 ; CHECK-NEXT:    xorl %eax, %eax
  52 ; CHECK-NEXT:    retq
  53   %tmp = call i32 @llvm.smul.fix.sat.i32(i32 undef, i32 %y, i32 2)
  54   ret i32 %tmp
  55 }
  56
  57 define i32 @smulfixsat_zero(i32 %y) nounwind {
  58 ; CHECK-LABEL: smulfixsat_zero:
  59 ; CHECK:       # %bb.0:
  60 ; CHECK-NEXT:    xorl %eax, %eax
  61 ; CHECK-NEXT:    retq
  62   %tmp = call i32 @llvm.smul.fix.sat.i32(i32 0, i32 %y, i32 2)
  63   ret i32 %tmp
  64 }
  65
  66 define <4 x i32> @vec_smulfix_undef(<4 x i32> %y) nounwind {
  67 ; CHECK-LABEL: vec_smulfix_undef:
  68 ; CHECK:       # %bb.0:
  69 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  70 ; CHECK-NEXT:    retq
  71   %tmp = call <4 x i32> @llvm.smul.fix.v4i32(<4 x i32> undef, <4 x i32> %y, i32 2)
  72   ret <4 x i32> %tmp
  73 }
  74
  75 define <4 x i32> @vec_smulfix_zero(<4 x i32> %y) nounwind {
  76 ; CHECK-LABEL: vec_smulfix_zero:
  77 ; CHECK:       # %bb.0:
  78 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  79 ; CHECK-NEXT:    retq
  80   %tmp = call <4 x i32> @llvm.smul.fix.v4i32(<4 x i32> <i32 0, i32 0, i32 0, i32 0>, <4 x i32> %y, i32 2)
  81   ret <4 x i32> %tmp
  82 }
  83
  84 define <4 x i32> @vec_umulfix_undef(<4 x i32> %y) nounwind {
  85 ; CHECK-LABEL: vec_umulfix_undef:
  86 ; CHECK:       # %bb.0:
  87 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  88 ; CHECK-NEXT:    retq
  89   %tmp = call <4 x i32> @llvm.umul.fix.v4i32(<4 x i32> undef, <4 x i32> %y, i32 2)
  90   ret <4 x i32> %tmp
  91 }
  92
  93 define <4 x i32> @vec_umulfix_zero(<4 x i32> %y) nounwind {
  94 ; CHECK-LABEL: vec_umulfix_zero:
  95 ; CHECK:       # %bb.0:
  96 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  97 ; CHECK-NEXT:    retq
  98   %tmp = call <4 x i32> @llvm.umul.fix.v4i32(<4 x i32> <i32 0, i32 0, i32 0, i32 0>, <4 x i32> %y, i32 2)
  99   ret <4 x i32> %tmp
 100 }
 101
 102 define <4 x i32> @vec_smulfixsat_undef(<4 x i32> %y) nounwind {
 103 ; CHECK-LABEL: vec_smulfixsat_undef:
 104 ; CHECK:       # %bb.0:
 105 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 106 ; CHECK-NEXT:    retq
 107   %tmp = call <4 x i32> @llvm.smul.fix.sat.v4i32(<4 x i32> undef, <4 x i32> %y, i32 2)
 108   ret <4 x i32> %tmp
 109 }
 110
 111 define <4 x i32> @vec_smulfixsat_zero(<4 x i32> %y) nounwind {
 112 ; CHECK-LABEL: vec_smulfixsat_zero:
 113 ; CHECK:       # %bb.0:
 114 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 115 ; CHECK-NEXT:    retq
 116   %tmp = call <4 x i32> @llvm.smul.fix.sat.v4i32(<4 x i32> <i32 0, i32 0, i32 0, i32 0>, <4 x i32> %y, i32 2)
 117   ret <4 x i32> %tmp
 118 }