llvm/test/CodeGen/AArch64/dp1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SDAG
   3 ; RUN: llc -global-isel -global-isel-abort=1 -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-GISEL
   4
   5 @var32 = global i32 0
   6 @var64 = global i64 0
   7
   8 define void @rev_i32() {
   9 ; CHECK-LABEL: rev_i32:
  10 ; CHECK:       // %bb.0:
  11 ; CHECK-NEXT:    adrp x8, :got:var32
  12 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
  13 ; CHECK-NEXT:    ldr w9, [x8]
  14 ; CHECK-NEXT:    rev w9, w9
  15 ; CHECK-NEXT:    str w9, [x8]
  16 ; CHECK-NEXT:    ret
  17   %val0_tmp = load i32, ptr @var32
  18   %val1_tmp = call i32 @llvm.bswap.i32(i32 %val0_tmp)
  19   store volatile i32 %val1_tmp, ptr @var32
  20   ret void
  21 }
  22
  23 define void @rev_i64() {
  24 ; CHECK-LABEL: rev_i64:
  25 ; CHECK:       // %bb.0:
  26 ; CHECK-NEXT:    adrp x8, :got:var64
  27 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
  28 ; CHECK-NEXT:    ldr x9, [x8]
  29 ; CHECK-NEXT:    rev x9, x9
  30 ; CHECK-NEXT:    str x9, [x8]
  31 ; CHECK-NEXT:    ret
  32   %val0_tmp = load i64, ptr @var64
  33   %val1_tmp = call i64 @llvm.bswap.i64(i64 %val0_tmp)
  34   store volatile i64 %val1_tmp, ptr @var64
  35   ret void
  36 }
  37
  38 define void @rev32_i64() {
  39 ; CHECK-LABEL: rev32_i64:
  40 ; CHECK:       // %bb.0:
  41 ; CHECK-NEXT:    adrp x8, :got:var64
  42 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
  43 ; CHECK-NEXT:    ldr x9, [x8]
  44 ; CHECK-NEXT:    rev32 x9, x9
  45 ; CHECK-NEXT:    str x9, [x8]
  46 ; CHECK-NEXT:    ret
  47   %val0_tmp = load i64, ptr @var64
  48   %val1_tmp = shl i64 %val0_tmp, 32
  49   %val5_tmp = sub i64 64, 32
  50   %val2_tmp = lshr i64 %val0_tmp, %val5_tmp
  51   %val3_tmp = or i64 %val1_tmp, %val2_tmp
  52   %val4_tmp = call i64 @llvm.bswap.i64(i64 %val3_tmp)
  53   store volatile i64 %val4_tmp, ptr @var64
  54   ret void
  55 }
  56
  57 define void @rev16_i32() {
  58 ; CHECK-LABEL: rev16_i32:
  59 ; CHECK:       // %bb.0:
  60 ; CHECK-NEXT:    adrp x8, :got:var32
  61 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
  62 ; CHECK-NEXT:    ldr w9, [x8]
  63 ; CHECK-NEXT:    rev16 w9, w9
  64 ; CHECK-NEXT:    str w9, [x8]
  65 ; CHECK-NEXT:    ret
  66   %val0_tmp = load i32, ptr @var32
  67   %val1_tmp = shl i32 %val0_tmp, 16
  68   %val2_tmp = lshr i32 %val0_tmp, 16
  69   %val3_tmp = or i32 %val1_tmp, %val2_tmp
  70   %val4_tmp = call i32 @llvm.bswap.i32(i32 %val3_tmp)
  71   store volatile i32 %val4_tmp, ptr @var32
  72   ret void
  73 }
  74
  75 define void @clz_zerodef_i32() {
  76 ; CHECK-LABEL: clz_zerodef_i32:
  77 ; CHECK:       // %bb.0:
  78 ; CHECK-NEXT:    adrp x8, :got:var32
  79 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
  80 ; CHECK-NEXT:    ldr w9, [x8]
  81 ; CHECK-NEXT:    clz w9, w9
  82 ; CHECK-NEXT:    str w9, [x8]
  83 ; CHECK-NEXT:    ret
  84   %val0_tmp = load i32, ptr @var32
  85   %val4_tmp = call i32 @llvm.ctlz.i32(i32 %val0_tmp, i1 0)
  86   store volatile i32 %val4_tmp, ptr @var32
  87   ret void
  88 }
  89
  90 define void @clz_zerodef_i64() {
  91 ; CHECK-LABEL: clz_zerodef_i64:
  92 ; CHECK:       // %bb.0:
  93 ; CHECK-NEXT:    adrp x8, :got:var64
  94 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
  95 ; CHECK-NEXT:    ldr x9, [x8]
  96 ; CHECK-NEXT:    clz x9, x9
  97 ; CHECK-NEXT:    str x9, [x8]
  98 ; CHECK-NEXT:    ret
  99   %val0_tmp = load i64, ptr @var64
 100   %val4_tmp = call i64 @llvm.ctlz.i64(i64 %val0_tmp, i1 0)
 101   store volatile i64 %val4_tmp, ptr @var64
 102   ret void
 103 }
 104
 105 define void @clz_zeroundef_i32() {
 106 ; CHECK-LABEL: clz_zeroundef_i32:
 107 ; CHECK:       // %bb.0:
 108 ; CHECK-NEXT:    adrp x8, :got:var32
 109 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
 110 ; CHECK-NEXT:    ldr w9, [x8]
 111 ; CHECK-NEXT:    clz w9, w9
 112 ; CHECK-NEXT:    str w9, [x8]
 113 ; CHECK-NEXT:    ret
 114   %val0_tmp = load i32, ptr @var32
 115   %val4_tmp = call i32 @llvm.ctlz.i32(i32 %val0_tmp, i1 1)
 116   store volatile i32 %val4_tmp, ptr @var32
 117   ret void
 118 }
 119
 120 define void @clz_zeroundef_i64() {
 121 ; CHECK-LABEL: clz_zeroundef_i64:
 122 ; CHECK:       // %bb.0:
 123 ; CHECK-NEXT:    adrp x8, :got:var64
 124 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
 125 ; CHECK-NEXT:    ldr x9, [x8]
 126 ; CHECK-NEXT:    clz x9, x9
 127 ; CHECK-NEXT:    str x9, [x8]
 128 ; CHECK-NEXT:    ret
 129   %val0_tmp = load i64, ptr @var64
 130   %val4_tmp = call i64 @llvm.ctlz.i64(i64 %val0_tmp, i1 1)
 131   store volatile i64 %val4_tmp, ptr @var64
 132   ret void
 133 }
 134
 135 define void @cttz_zerodef_i32() {
 136 ; CHECK-LABEL: cttz_zerodef_i32:
 137 ; CHECK:       // %bb.0:
 138 ; CHECK-NEXT:    adrp x8, :got:var32
 139 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
 140 ; CHECK-NEXT:    ldr w9, [x8]
 141 ; CHECK-NEXT:    rbit w9, w9
 142 ; CHECK-NEXT:    clz w9, w9
 143 ; CHECK-NEXT:    str w9, [x8]
 144 ; CHECK-NEXT:    ret
 145   %val0_tmp = load i32, ptr @var32
 146   %val4_tmp = call i32 @llvm.cttz.i32(i32 %val0_tmp, i1 0)
 147   store volatile i32 %val4_tmp, ptr @var32
 148   ret void
 149 }
 150
 151 define void @cttz_zerodef_i64() {
 152 ; CHECK-LABEL: cttz_zerodef_i64:
 153 ; CHECK:       // %bb.0:
 154 ; CHECK-NEXT:    adrp x8, :got:var64
 155 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
 156 ; CHECK-NEXT:    ldr x9, [x8]
 157 ; CHECK-NEXT:    rbit x9, x9
 158 ; CHECK-NEXT:    clz x9, x9
 159 ; CHECK-NEXT:    str x9, [x8]
 160 ; CHECK-NEXT:    ret
 161   %val0_tmp = load i64, ptr @var64
 162   %val4_tmp = call i64 @llvm.cttz.i64(i64 %val0_tmp, i1 0)
 163   store volatile i64 %val4_tmp, ptr @var64
 164   ret void
 165 }
 166
 167 define void @cttz_zeroundef_i32() {
 168 ; CHECK-LABEL: cttz_zeroundef_i32:
 169 ; CHECK:       // %bb.0:
 170 ; CHECK-NEXT:    adrp x8, :got:var32
 171 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
 172 ; CHECK-NEXT:    ldr w9, [x8]
 173 ; CHECK-NEXT:    rbit w9, w9
 174 ; CHECK-NEXT:    clz w9, w9
 175 ; CHECK-NEXT:    str w9, [x8]
 176 ; CHECK-NEXT:    ret
 177   %val0_tmp = load i32, ptr @var32
 178   %val4_tmp = call i32 @llvm.cttz.i32(i32 %val0_tmp, i1 1)
 179   store volatile i32 %val4_tmp, ptr @var32
 180   ret void
 181 }
 182
 183 define void @cttz_zeroundef_i64() {
 184 ; CHECK-LABEL: cttz_zeroundef_i64:
 185 ; CHECK:       // %bb.0:
 186 ; CHECK-NEXT:    adrp x8, :got:var64
 187 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var64]
 188 ; CHECK-NEXT:    ldr x9, [x8]
 189 ; CHECK-NEXT:    rbit x9, x9
 190 ; CHECK-NEXT:    clz x9, x9
 191 ; CHECK-NEXT:    str x9, [x8]
 192 ; CHECK-NEXT:    ret
 193   %val0_tmp = load i64, ptr @var64
 194   %val4_tmp = call i64 @llvm.cttz.i64(i64 %val0_tmp, i1 1)
 195   store volatile i64 %val4_tmp, ptr @var64
 196   ret void
 197 }
 198
 199 define void @ctpop_i32() {
 200 ; CHECK-LABEL: ctpop_i32:
 201 ; CHECK:       // %bb.0:
 202 ; CHECK-NEXT:    adrp x8, :got:var32
 203 ; CHECK-NEXT:    ldr x8, [x8, :got_lo12:var32]
 204 ; CHECK-NEXT:    ldr w9, [x8]
 205 ; CHECK-NEXT:    fmov d0, x9
 206 ; CHECK-NEXT:    cnt v0.8b, v0.8b
 207 ; CHECK-NEXT:    uaddlv h0, v0.8b
 208 ; CHECK-NEXT:    str s0, [x8]
 209 ; CHECK-NEXT:    ret
 210   %val0_tmp = load i32, ptr @var32
 211   %val4_tmp = call i32 @llvm.ctpop.i32(i32 %val0_tmp)
 212   store volatile i32 %val4_tmp, ptr @var32
 213   ret void
 214 }
 215
 216 define void @ctpop_i64() {
 217 ; CHECK-SDAG-LABEL: ctpop_i64:
 218 ; CHECK-SDAG:       // %bb.0:
 219 ; CHECK-SDAG-NEXT:    adrp x8, :got:var64
 220 ; CHECK-SDAG-NEXT:    ldr x8, [x8, :got_lo12:var64]
 221 ; CHECK-SDAG-NEXT:    ldr d0, [x8]
 222 ; CHECK-SDAG-NEXT:    cnt v0.8b, v0.8b
 223 ; CHECK-SDAG-NEXT:    uaddlv h0, v0.8b
 224 ; CHECK-SDAG-NEXT:    fmov w9, s0
 225 ; CHECK-SDAG-NEXT:    str x9, [x8]
 226 ; CHECK-SDAG-NEXT:    ret
 227 ;
 228 ; CHECK-GISEL-LABEL: ctpop_i64:
 229 ; CHECK-GISEL:       // %bb.0:
 230 ; CHECK-GISEL-NEXT:    adrp x8, :got:var64
 231 ; CHECK-GISEL-NEXT:    ldr x8, [x8, :got_lo12:var64]
 232 ; CHECK-GISEL-NEXT:    ldr x9, [x8]
 233 ; CHECK-GISEL-NEXT:    fmov d0, x9
 234 ; CHECK-GISEL-NEXT:    cnt v0.8b, v0.8b
 235 ; CHECK-GISEL-NEXT:    uaddlv h0, v0.8b
 236 ; CHECK-GISEL-NEXT:    mov w9, v0.s[0]
 237 ; CHECK-GISEL-NEXT:    str x9, [x8]
 238 ; CHECK-GISEL-NEXT:    ret
 239   %val0_tmp = load i64, ptr @var64
 240   %val4_tmp = call i64 @llvm.ctpop.i64(i64 %val0_tmp)
 241   store volatile i64 %val4_tmp, ptr @var64
 242   ret void
 243 }
 244
 245
 246 declare i32 @llvm.bswap.i32(i32)
 247 declare i64 @llvm.bswap.i64(i64)
 248 declare i32  @llvm.ctlz.i32 (i32, i1)
 249 declare i64  @llvm.ctlz.i64 (i64, i1)
 250 declare i32  @llvm.cttz.i32 (i32, i1)
 251 declare i64  @llvm.cttz.i64 (i64, i1)
 252 declare i32  @llvm.ctpop.i32 (i32)
 253 declare i64  @llvm.ctpop.i64 (i64)