llvm/test/CodeGen/SystemZ/int-mul-06.ll

   1 ; Test 64-bit multiplication in which the second operand is constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check multiplication by 2, which should use shifts.
   6 define i64 @f1(i64 %a, i64 *%dest) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: sllg %r2, %r2, 1
   9 ; CHECK: br %r14
  10   %mul = mul i64 %a, 2
  11   ret i64 %mul
  12 }
  13
  14 ; Check multiplication by 3.
  15 define i64 @f2(i64 %a, i64 *%dest) {
  16 ; CHECK-LABEL: f2:
  17 ; CHECK: mghi %r2, 3
  18 ; CHECK: br %r14
  19   %mul = mul i64 %a, 3
  20   ret i64 %mul
  21 }
  22
  23 ; Check the high end of the MGHI range.
  24 define i64 @f3(i64 %a, i64 *%dest) {
  25 ; CHECK-LABEL: f3:
  26 ; CHECK: mghi %r2, 32767
  27 ; CHECK: br %r14
  28   %mul = mul i64 %a, 32767
  29   ret i64 %mul
  30 }
  31
  32 ; Check the next value up, which should use shifts.
  33 define i64 @f4(i64 %a, i64 *%dest) {
  34 ; CHECK-LABEL: f4:
  35 ; CHECK: sllg %r2, %r2, 15
  36 ; CHECK: br %r14
  37   %mul = mul i64 %a, 32768
  38   ret i64 %mul
  39 }
  40
  41 ; Check the next value up again, which can use MSGFI.
  42 define i64 @f5(i64 %a, i64 *%dest) {
  43 ; CHECK-LABEL: f5:
  44 ; CHECK: msgfi %r2, 32769
  45 ; CHECK: br %r14
  46   %mul = mul i64 %a, 32769
  47   ret i64 %mul
  48 }
  49
  50 ; Check the high end of the MSGFI range.
  51 define i64 @f6(i64 %a, i64 *%dest) {
  52 ; CHECK-LABEL: f6:
  53 ; CHECK: msgfi %r2, 2147483647
  54 ; CHECK: br %r14
  55   %mul = mul i64 %a, 2147483647
  56   ret i64 %mul
  57 }
  58
  59 ; Check the next value up, which should use shifts.
  60 define i64 @f7(i64 %a, i64 *%dest) {
  61 ; CHECK-LABEL: f7:
  62 ; CHECK: sllg %r2, %r2, 31
  63 ; CHECK: br %r14
  64   %mul = mul i64 %a, 2147483648
  65   ret i64 %mul
  66 }
  67
  68 ; Check the next value up again, which cannot use a constant multiplicatoin.
  69 define i64 @f8(i64 %a, i64 *%dest) {
  70 ; CHECK-LABEL: f8:
  71 ; CHECK-NOT: msgfi
  72 ; CHECK: br %r14
  73   %mul = mul i64 %a, 2147483649
  74   ret i64 %mul
  75 }
  76
  77 ; Check multiplication by -1, which is a negation.
  78 define i64 @f9(i64 %a, i64 *%dest) {
  79 ; CHECK-LABEL: f9:
  80 ; CHECK: lcgr {{%r[0-5]}}, %r2
  81 ; CHECK: br %r14
  82   %mul = mul i64 %a, -1
  83   ret i64 %mul
  84 }
  85
  86 ; Check multiplication by -2, which should use shifts.
  87 define i64 @f10(i64 %a, i64 *%dest) {
  88 ; CHECK-LABEL: f10:
  89 ; CHECK: sllg [[SHIFTED:%r[0-5]]], %r2, 1
  90 ; CHECK: lcgr %r2, [[SHIFTED]]
  91 ; CHECK: br %r14
  92   %mul = mul i64 %a, -2
  93   ret i64 %mul
  94 }
  95
  96 ; Check multiplication by -3.
  97 define i64 @f11(i64 %a, i64 *%dest) {
  98 ; CHECK-LABEL: f11:
  99 ; CHECK: mghi %r2, -3
 100 ; CHECK: br %r14
 101   %mul = mul i64 %a, -3
 102   ret i64 %mul
 103 }
 104
 105 ; Check the lowest useful MGHI value.
 106 define i64 @f12(i64 %a, i64 *%dest) {
 107 ; CHECK-LABEL: f12:
 108 ; CHECK: mghi %r2, -32767
 109 ; CHECK: br %r14
 110   %mul = mul i64 %a, -32767
 111   ret i64 %mul
 112 }
 113
 114 ; Check the next value down, which should use shifts.
 115 define i64 @f13(i64 %a, i64 *%dest) {
 116 ; CHECK-LABEL: f13:
 117 ; CHECK: sllg [[SHIFTED:%r[0-5]]], %r2, 15
 118 ; CHECK: lcgr %r2, [[SHIFTED]]
 119 ; CHECK: br %r14
 120   %mul = mul i64 %a, -32768
 121   ret i64 %mul
 122 }
 123
 124 ; Check the next value down again, which can use MSGFI.
 125 define i64 @f14(i64 %a, i64 *%dest) {
 126 ; CHECK-LABEL: f14:
 127 ; CHECK: msgfi %r2, -32769
 128 ; CHECK: br %r14
 129   %mul = mul i64 %a, -32769
 130   ret i64 %mul
 131 }
 132
 133 ; Check the lowest useful MSGFI value.
 134 define i64 @f15(i64 %a, i64 *%dest) {
 135 ; CHECK-LABEL: f15:
 136 ; CHECK: msgfi %r2, -2147483647
 137 ; CHECK: br %r14
 138   %mul = mul i64 %a, -2147483647
 139   ret i64 %mul
 140 }
 141
 142 ; Check the next value down, which should use shifts.
 143 define i64 @f16(i64 %a, i64 *%dest) {
 144 ; CHECK-LABEL: f16:
 145 ; CHECK: sllg [[SHIFTED:%r[0-5]]], %r2, 31
 146 ; CHECK: lcgr %r2, [[SHIFTED]]
 147 ; CHECK: br %r14
 148   %mul = mul i64 %a, -2147483648
 149   ret i64 %mul
 150 }
 151
 152 ; Check the next value down again, which cannot use constant multiplication
 153 define i64 @f17(i64 %a, i64 *%dest) {
 154 ; CHECK-LABEL: f17:
 155 ; CHECK-NOT: msgfi
 156 ; CHECK: br %r14
 157   %mul = mul i64 %a, -2147483649
 158   ret i64 %mul
 159 }