llvm/test/CodeGen/AArch64/dp-3source.ll

   1 ; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-apple-ios7.0 | FileCheck %s
   2
   3 define i32 @test_madd32(i32 %val0, i32 %val1, i32 %val2) {
   4 ; CHECK-LABEL: test_madd32:
   5   %mid = mul i32 %val1, %val2
   6   %res = add i32 %val0, %mid
   7 ; CHECK: madd {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
   8   ret i32 %res
   9 }
  10
  11 define i64 @test_madd64(i64 %val0, i64 %val1, i64 %val2) {
  12 ; CHECK-LABEL: test_madd64:
  13   %mid = mul i64 %val1, %val2
  14   %res = add i64 %val0, %mid
  15 ; CHECK: madd {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
  16   ret i64 %res
  17 }
  18
  19 define i32 @test_msub32(i32 %val0, i32 %val1, i32 %val2) {
  20 ; CHECK-LABEL: test_msub32:
  21   %mid = mul i32 %val1, %val2
  22   %res = sub i32 %val0, %mid
  23 ; CHECK: msub {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
  24   ret i32 %res
  25 }
  26
  27 define i64 @test_msub64(i64 %val0, i64 %val1, i64 %val2) {
  28 ; CHECK-LABEL: test_msub64:
  29   %mid = mul i64 %val1, %val2
  30   %res = sub i64 %val0, %mid
  31 ; CHECK: msub {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
  32   ret i64 %res
  33 }
  34
  35 define i64 @test_smaddl(i64 %acc, i32 %val1, i32 %val2) {
  36 ; CHECK-LABEL: test_smaddl:
  37   %ext1 = sext i32 %val1 to i64
  38   %ext2 = sext i32 %val2 to i64
  39   %prod = mul i64 %ext1, %ext2
  40   %res = add i64 %acc, %prod
  41 ; CHECK: smaddl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
  42   ret i64 %res
  43 }
  44
  45 define i64 @test_smsubl(i64 %acc, i32 %val1, i32 %val2) {
  46 ; CHECK-LABEL: test_smsubl:
  47   %ext1 = sext i32 %val1 to i64
  48   %ext2 = sext i32 %val2 to i64
  49   %prod = mul i64 %ext1, %ext2
  50   %res = sub i64 %acc, %prod
  51 ; CHECK: smsubl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
  52   ret i64 %res
  53 }
  54
  55 define i64 @test_umaddl(i64 %acc, i32 %val1, i32 %val2) {
  56 ; CHECK-LABEL: test_umaddl:
  57   %ext1 = zext i32 %val1 to i64
  58   %ext2 = zext i32 %val2 to i64
  59   %prod = mul i64 %ext1, %ext2
  60   %res = add i64 %acc, %prod
  61 ; CHECK: umaddl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
  62   ret i64 %res
  63 }
  64
  65 define i64 @test_umsubl(i64 %acc, i32 %val1, i32 %val2) {
  66 ; CHECK-LABEL: test_umsubl:
  67   %ext1 = zext i32 %val1 to i64
  68   %ext2 = zext i32 %val2 to i64
  69   %prod = mul i64 %ext1, %ext2
  70   %res = sub i64 %acc, %prod
  71 ; CHECK: umsubl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
  72   ret i64 %res
  73 }
  74
  75 define i64 @test_smulh(i64 %lhs, i64 %rhs) {
  76 ; CHECK-LABEL: test_smulh:
  77   %ext1 = sext i64 %lhs to i128
  78   %ext2 = sext i64 %rhs to i128
  79   %res = mul i128 %ext1, %ext2
  80   %high = lshr i128 %res, 64
  81   %val = trunc i128 %high to i64
  82 ; CHECK: smulh {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
  83   ret i64 %val
  84 }
  85
  86 define i64 @test_umulh(i64 %lhs, i64 %rhs) {
  87 ; CHECK-LABEL: test_umulh:
  88   %ext1 = zext i64 %lhs to i128
  89   %ext2 = zext i64 %rhs to i128
  90   %res = mul i128 %ext1, %ext2
  91   %high = lshr i128 %res, 64
  92   %val = trunc i128 %high to i64
  93 ; CHECK: umulh {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
  94   ret i64 %val
  95 }
  96
  97 define i32 @test_mul32(i32 %lhs, i32 %rhs) {
  98 ; CHECK-LABEL: test_mul32:
  99   %res = mul i32 %lhs, %rhs
 100 ; CHECK: mul {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 101   ret i32 %res
 102 }
 103
 104 define i64 @test_mul64(i64 %lhs, i64 %rhs) {
 105 ; CHECK-LABEL: test_mul64:
 106   %res = mul i64 %lhs, %rhs
 107 ; CHECK: mul {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
 108   ret i64 %res
 109 }
 110
 111 define i32 @test_mneg32(i32 %lhs, i32 %rhs) {
 112 ; CHECK-LABEL: test_mneg32:
 113   %prod = mul i32 %lhs, %rhs
 114   %res = sub i32 0, %prod
 115 ; CHECK: mneg {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 116   ret i32 %res
 117 }
 118
 119 define i64 @test_mneg64(i64 %lhs, i64 %rhs) {
 120 ; CHECK-LABEL: test_mneg64:
 121   %prod = mul i64 %lhs, %rhs
 122   %res = sub i64 0, %prod
 123 ; CHECK: mneg {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
 124   ret i64 %res
 125 }
 126
 127 define i64 @test_smull(i32 %lhs, i32 %rhs) {
 128 ; CHECK-LABEL: test_smull:
 129   %ext1 = sext i32 %lhs to i64
 130   %ext2 = sext i32 %rhs to i64
 131   %res = mul i64 %ext1, %ext2
 132 ; CHECK: smull {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 133   ret i64 %res
 134 }
 135
 136 define i64 @test_umull(i32 %lhs, i32 %rhs) {
 137 ; CHECK-LABEL: test_umull:
 138   %ext1 = zext i32 %lhs to i64
 139   %ext2 = zext i32 %rhs to i64
 140   %res = mul i64 %ext1, %ext2
 141 ; CHECK: umull {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 142   ret i64 %res
 143 }
 144
 145 define i64 @test_smnegl(i32 %lhs, i32 %rhs) {
 146 ; CHECK-LABEL: test_smnegl:
 147   %ext1 = sext i32 %lhs to i64
 148   %ext2 = sext i32 %rhs to i64
 149   %prod = mul i64 %ext1, %ext2
 150   %res = sub i64 0, %prod
 151 ; CHECK: smnegl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 152   ret i64 %res
 153 }
 154
 155 define i64 @test_umnegl(i32 %lhs, i32 %rhs) {
 156 ; CHECK-LABEL: test_umnegl:
 157   %ext1 = zext i32 %lhs to i64
 158   %ext2 = zext i32 %rhs to i64
 159   %prod = mul i64 %ext1, %ext2
 160   %res = sub i64 0, %prod
 161 ; CHECK: umnegl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 162   ret i64 %res
 163 }
 164
 165 @a = common global i32 0, align 4
 166 @b = common global i32 0, align 4
 167 @c = common global i32 0, align 4
 168
 169 define void @test_mneg(){
 170 ; CHECK-LABEL: test_mneg:
 171   %1 = load i32, ptr @a, align 4
 172   %2 = load i32, ptr @b, align 4
 173   %3 = sub i32 0, %1
 174   %4 = mul i32 %2, %3
 175   store i32 %4, ptr @c, align 4
 176 ; CHECK: mneg {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
 177   ret void
 178 }