test/CodeGen/AArch64/dp1.ll

   1 ; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu | FileCheck %s
   2
   3 @var32 = global i32 0
   4 @var64 = global i64 0
   5
   6 define void @rev_i32() {
   7 ; CHECK-LABEL: rev_i32:
   8     %val0_tmp = load i32, i32* @var32
   9     %val1_tmp = call i32 @llvm.bswap.i32(i32 %val0_tmp)
  10 ; CHECK: rev    {{w[0-9]+}}, {{w[0-9]+}}
  11     store volatile i32 %val1_tmp, i32* @var32
  12     ret void
  13 }
  14
  15 define void @rev_i64() {
  16 ; CHECK-LABEL: rev_i64:
  17     %val0_tmp = load i64, i64* @var64
  18     %val1_tmp = call i64 @llvm.bswap.i64(i64 %val0_tmp)
  19 ; CHECK: rev    {{x[0-9]+}}, {{x[0-9]+}}
  20     store volatile i64 %val1_tmp, i64* @var64
  21     ret void
  22 }
  23
  24 define void @rev32_i64() {
  25 ; CHECK-LABEL: rev32_i64:
  26     %val0_tmp = load i64, i64* @var64
  27     %val1_tmp = shl i64 %val0_tmp, 32
  28     %val5_tmp = sub i64 64, 32
  29     %val2_tmp = lshr i64 %val0_tmp, %val5_tmp
  30     %val3_tmp = or i64 %val1_tmp, %val2_tmp
  31     %val4_tmp = call i64 @llvm.bswap.i64(i64 %val3_tmp)
  32 ; CHECK: rev32  {{x[0-9]+}}, {{x[0-9]+}}
  33     store volatile i64 %val4_tmp, i64* @var64
  34     ret void
  35 }
  36
  37 define void @rev16_i32() {
  38 ; CHECK-LABEL: rev16_i32:
  39     %val0_tmp = load i32, i32* @var32
  40     %val1_tmp = shl i32 %val0_tmp, 16
  41     %val2_tmp = lshr i32 %val0_tmp, 16
  42     %val3_tmp = or i32 %val1_tmp, %val2_tmp
  43     %val4_tmp = call i32 @llvm.bswap.i32(i32 %val3_tmp)
  44 ; CHECK: rev16  {{w[0-9]+}}, {{w[0-9]+}}
  45     store volatile i32 %val4_tmp, i32* @var32
  46     ret void
  47 }
  48
  49 define void @clz_zerodef_i32() {
  50 ; CHECK-LABEL: clz_zerodef_i32:
  51     %val0_tmp = load i32, i32* @var32
  52     %val4_tmp = call i32 @llvm.ctlz.i32(i32 %val0_tmp, i1 0)
  53 ; CHECK: clz    {{w[0-9]+}}, {{w[0-9]+}}
  54     store volatile i32 %val4_tmp, i32* @var32
  55     ret void
  56 }
  57
  58 define void @clz_zerodef_i64() {
  59 ; CHECK-LABEL: clz_zerodef_i64:
  60     %val0_tmp = load i64, i64* @var64
  61     %val4_tmp = call i64 @llvm.ctlz.i64(i64 %val0_tmp, i1 0)
  62 ; CHECK: clz    {{x[0-9]+}}, {{x[0-9]+}}
  63     store volatile i64 %val4_tmp, i64* @var64
  64     ret void
  65 }
  66
  67 define void @clz_zeroundef_i32() {
  68 ; CHECK-LABEL: clz_zeroundef_i32:
  69     %val0_tmp = load i32, i32* @var32
  70     %val4_tmp = call i32 @llvm.ctlz.i32(i32 %val0_tmp, i1 1)
  71 ; CHECK: clz    {{w[0-9]+}}, {{w[0-9]+}}
  72     store volatile i32 %val4_tmp, i32* @var32
  73     ret void
  74 }
  75
  76 define void @clz_zeroundef_i64() {
  77 ; CHECK-LABEL: clz_zeroundef_i64:
  78     %val0_tmp = load i64, i64* @var64
  79     %val4_tmp = call i64 @llvm.ctlz.i64(i64 %val0_tmp, i1 1)
  80 ; CHECK: clz    {{x[0-9]+}}, {{x[0-9]+}}
  81     store volatile i64 %val4_tmp, i64* @var64
  82     ret void
  83 }
  84
  85 define void @cttz_zerodef_i32() {
  86 ; CHECK-LABEL: cttz_zerodef_i32:
  87     %val0_tmp = load i32, i32* @var32
  88     %val4_tmp = call i32 @llvm.cttz.i32(i32 %val0_tmp, i1 0)
  89 ; CHECK: rbit   [[REVERSED:w[0-9]+]], {{w[0-9]+}}
  90 ; CHECK: clz    {{w[0-9]+}}, [[REVERSED]]
  91     store volatile i32 %val4_tmp, i32* @var32
  92     ret void
  93 }
  94
  95 define void @cttz_zerodef_i64() {
  96 ; CHECK-LABEL: cttz_zerodef_i64:
  97     %val0_tmp = load i64, i64* @var64
  98     %val4_tmp = call i64 @llvm.cttz.i64(i64 %val0_tmp, i1 0)
  99 ; CHECK: rbit   [[REVERSED:x[0-9]+]], {{x[0-9]+}}
 100 ; CHECK: clz    {{x[0-9]+}}, [[REVERSED]]
 101     store volatile i64 %val4_tmp, i64* @var64
 102     ret void
 103 }
 104
 105 define void @cttz_zeroundef_i32() {
 106 ; CHECK-LABEL: cttz_zeroundef_i32:
 107     %val0_tmp = load i32, i32* @var32
 108     %val4_tmp = call i32 @llvm.cttz.i32(i32 %val0_tmp, i1 1)
 109 ; CHECK: rbit   [[REVERSED:w[0-9]+]], {{w[0-9]+}}
 110 ; CHECK: clz    {{w[0-9]+}}, [[REVERSED]]
 111     store volatile i32 %val4_tmp, i32* @var32
 112     ret void
 113 }
 114
 115 define void @cttz_zeroundef_i64() {
 116 ; CHECK-LABEL: cttz_zeroundef_i64:
 117     %val0_tmp = load i64, i64* @var64
 118     %val4_tmp = call i64 @llvm.cttz.i64(i64 %val0_tmp, i1 1)
 119 ; CHECK: rbit   [[REVERSED:x[0-9]+]], {{x[0-9]+}}
 120 ; CHECK: clz    {{x[0-9]+}}, [[REVERSED]]
 121     store volatile i64 %val4_tmp, i64* @var64
 122     ret void
 123 }
 124
 125 ; These two are just compilation tests really: the operation's set to Expand in
 126 ; ISelLowering.
 127 define void @ctpop_i32() {
 128 ; CHECK-LABEL: ctpop_i32:
 129     %val0_tmp = load i32, i32* @var32
 130     %val4_tmp = call i32 @llvm.ctpop.i32(i32 %val0_tmp)
 131     store volatile i32 %val4_tmp, i32* @var32
 132     ret void
 133 }
 134
 135 define void @ctpop_i64() {
 136 ; CHECK-LABEL: ctpop_i64:
 137     %val0_tmp = load i64, i64* @var64
 138     %val4_tmp = call i64 @llvm.ctpop.i64(i64 %val0_tmp)
 139     store volatile i64 %val4_tmp, i64* @var64
 140     ret void
 141 }
 142
 143
 144 declare i32 @llvm.bswap.i32(i32)
 145 declare i64 @llvm.bswap.i64(i64)
 146 declare i32  @llvm.ctlz.i32 (i32, i1)
 147 declare i64  @llvm.ctlz.i64 (i64, i1)
 148 declare i32  @llvm.cttz.i32 (i32, i1)
 149 declare i64  @llvm.cttz.i64 (i64, i1)
 150 declare i32  @llvm.ctpop.i32 (i32)
 151 declare i64  @llvm.ctpop.i64 (i64)
 152