llvm/test/CodeGen/RISCV/xcvbitmanip.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -O0 -mtriple=riscv32 -mattr=+xcvbitmanip -verify-machineinstrs < %s \
   3 ; RUN:   | FileCheck %s --check-prefixes=CHECK,CHECK-O0
   4 ; RUN: llc -O3 -mtriple=riscv32 -mattr=+xcvbitmanip -verify-machineinstrs < %s \
   5 ; RUN:   | FileCheck %s --check-prefixes=CHECK,CHECK-O3
   6
   7 declare i32 @llvm.riscv.cv.bitmanip.extract(i32, i32)
   8
   9 define i32 @test.cv.extractr(i32 %a, i32 %b) {
  10 ; CHECK-LABEL: test.cv.extractr:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    cv.extractr a0, a0, a1
  13 ; CHECK-NEXT:    ret
  14   %1 = call i32 @llvm.riscv.cv.bitmanip.extract(i32 %a, i32 %b)
  15   ret i32 %1
  16 }
  17
  18 define i32 @test.cv.extract(i32 %a) {
  19 ; CHECK-LABEL: test.cv.extract:
  20 ; CHECK:       # %bb.0:
  21 ; CHECK-NEXT:    cv.extract a0, a0, 2, 1
  22 ; CHECK-NEXT:    ret
  23   %1 = call i32 @llvm.riscv.cv.bitmanip.extract(i32 %a, i32 65)
  24   ret i32 %1
  25 }
  26
  27 define i32 @test.cv.extract1023(i32 %a) {
  28 ; CHECK-LABEL: test.cv.extract1023:
  29 ; CHECK:       # %bb.0:
  30 ; CHECK-NEXT:    cv.extract a0, a0, 31, 31
  31 ; CHECK-NEXT:    ret
  32   %1 = call i32 @llvm.riscv.cv.bitmanip.extract(i32 %a, i32 1023)
  33   ret i32 %1
  34 }
  35
  36 declare i32 @llvm.riscv.cv.bitmanip.extractu(i32, i32)
  37
  38 define i32 @test.cv.extractur(i32 %a, i32 %b) {
  39 ; CHECK-LABEL: test.cv.extractur:
  40 ; CHECK:       # %bb.0:
  41 ; CHECK-NEXT:    cv.extractur a0, a0, a1
  42 ; CHECK-NEXT:    ret
  43   %1 = call i32 @llvm.riscv.cv.bitmanip.extractu(i32 %a, i32 %b)
  44   ret i32 %1
  45 }
  46
  47 define i32 @test.cv.extractu(i32 %a) {
  48 ; CHECK-LABEL: test.cv.extractu:
  49 ; CHECK:       # %bb.0:
  50 ; CHECK-NEXT:    cv.extractu a0, a0, 2, 1
  51 ; CHECK-NEXT:    ret
  52   %1 = call i32 @llvm.riscv.cv.bitmanip.extractu(i32 %a, i32 65)
  53   ret i32 %1
  54 }
  55
  56 declare i32 @llvm.riscv.cv.bitmanip.insert(i32, i32, i32)
  57
  58 define i32 @test.cv.insert(i32 %c, i32 %a) {
  59 ; CHECK-LABEL: test.cv.insert:
  60 ; CHECK:       # %bb.0:
  61 ; CHECK-NEXT:    cv.insert a0, a1, 2, 1
  62 ; CHECK-NEXT:    ret
  63   %1 = call i32 @llvm.riscv.cv.bitmanip.insert(i32 %a, i32 65, i32 %c)
  64   ret i32 %1
  65 }
  66
  67 define i32 @test.cv.insertr(i32 %c, i32 %b, i32 %a) {
  68 ; CHECK-LABEL: test.cv.insertr:
  69 ; CHECK:       # %bb.0:
  70 ; CHECK-NEXT:    cv.insertr a0, a2, a1
  71 ; CHECK-NEXT:    ret
  72   %1 = call i32 @llvm.riscv.cv.bitmanip.insert(i32 %a, i32 %b, i32 %c)
  73   ret i32 %1
  74 }
  75
  76 declare i32 @llvm.riscv.cv.bitmanip.bclr(i32, i32)
  77
  78 define i32 @test.cv.bclrr(i32 %a, i32 %b) {
  79 ; CHECK-LABEL: test.cv.bclrr:
  80 ; CHECK:       # %bb.0:
  81 ; CHECK-NEXT:    cv.bclrr a0, a0, a1
  82 ; CHECK-NEXT:    ret
  83   %1 = call i32 @llvm.riscv.cv.bitmanip.bclr(i32 %a, i32 %b)
  84   ret i32 %1
  85 }
  86
  87 define i32 @test.cv.bclr(i32 %a) {
  88 ; CHECK-LABEL: test.cv.bclr:
  89 ; CHECK:       # %bb.0:
  90 ; CHECK-NEXT:    cv.bclr a0, a0, 2, 1
  91 ; CHECK-NEXT:    ret
  92   %1 = call i32 @llvm.riscv.cv.bitmanip.bclr(i32 %a, i32 65)
  93   ret i32 %1
  94 }
  95
  96 declare i32 @llvm.riscv.cv.bitmanip.bset(i32, i32)
  97
  98 define i32 @test.cv.bsetr(i32 %a, i32 %b) {
  99 ; CHECK-LABEL: test.cv.bsetr:
 100 ; CHECK:       # %bb.0:
 101 ; CHECK-NEXT:    cv.bsetr a0, a0, a1
 102 ; CHECK-NEXT:    ret
 103   %1 = call i32 @llvm.riscv.cv.bitmanip.bset(i32 %a, i32 %b)
 104   ret i32 %1
 105 }
 106
 107 define i32 @test.cv.bset(i32 %a) {
 108 ; CHECK-LABEL: test.cv.bset:
 109 ; CHECK:       # %bb.0:
 110 ; CHECK-NEXT:    cv.bset a0, a0, 2, 1
 111 ; CHECK-NEXT:    ret
 112   %1 = call i32 @llvm.riscv.cv.bitmanip.bset(i32 %a, i32 65)
 113   ret i32 %1
 114 }
 115
 116 declare i32 @llvm.cttz.i32(i32, i1)
 117
 118 define i32 @test.cv.ff1(i32 %a) {
 119 ; CHECK-LABEL: test.cv.ff1:
 120 ; CHECK:       # %bb.0:
 121 ; CHECK-NEXT:    cv.ff1 a0, a0
 122 ; CHECK-NEXT:    ret
 123   %1 = call i32 @llvm.cttz.i32(i32 %a, i1 0)
 124   ret i32 %1
 125 }
 126
 127 declare i32 @llvm.ctlz.i32(i32, i1)
 128
 129 define i32 @test.cv.fl1(i32 %a) {
 130 ; CHECK-LABEL: test.cv.fl1:
 131 ; CHECK:       # %bb.0:
 132 ; CHECK-NEXT:    cv.fl1 a0, a0
 133 ; CHECK-NEXT:    ret
 134   %1 = call i32 @llvm.ctlz.i32(i32 %a, i1 0)
 135   ret i32 %1
 136 }
 137
 138 declare i32 @llvm.riscv.cv.bitmanip.clb(i32)
 139
 140 define i32 @test.cv.clb(i32 %a) {
 141 ; CHECK-LABEL: test.cv.clb:
 142 ; CHECK:       # %bb.0:
 143 ; CHECK-NEXT:    cv.clb a0, a0
 144 ; CHECK-NEXT:    ret
 145   %1 = call i32 @llvm.riscv.cv.bitmanip.clb(i32 %a)
 146   ret i32 %1
 147 }
 148
 149 declare i32 @llvm.ctpop(i32)
 150
 151 define i32 @test.cv.cnt(i32 %a) {
 152 ; CHECK-LABEL: test.cv.cnt:
 153 ; CHECK:       # %bb.0:
 154 ; CHECK-NEXT:    cv.cnt a0, a0
 155 ; CHECK-NEXT:    ret
 156   %1 = call i32 @llvm.ctpop(i32 %a)
 157   ret i32 %1
 158 }
 159
 160 declare i32 @llvm.fshl.i32(i32, i32, i32)
 161
 162 define i32 @test.llvm.fshl.imm(i32 %a) {
 163 ; CHECK-LABEL: test.llvm.fshl.imm:
 164 ; CHECK:       # %bb.0:
 165 ; CHECK-NEXT:    li a1, 30
 166 ; CHECK-NEXT:    cv.ror a0, a0, a1
 167 ; CHECK-NEXT:    ret
 168   %1 = call i32 @llvm.fshl.i32(i32 %a, i32 %a, i32 2)
 169   ret i32 %1
 170 }
 171
 172 define i32 @test.llvm.fshl.reg(i32 %a, i32 %b) {
 173 ; CHECK-O0-LABEL: test.llvm.fshl.reg:
 174 ; CHECK-O0:       # %bb.0:
 175 ; CHECK-O0-NEXT:    mv a2, a1
 176 ; CHECK-O0-NEXT:    li a1, 0
 177 ; CHECK-O0-NEXT:    sub a1, a1, a2
 178 ; CHECK-O0-NEXT:    cv.ror a0, a0, a1
 179 ; CHECK-O0-NEXT:    ret
 180 ;
 181 ; CHECK-O3-LABEL: test.llvm.fshl.reg:
 182 ; CHECK-O3:       # %bb.0:
 183 ; CHECK-O3-NEXT:    neg a1, a1
 184 ; CHECK-O3-NEXT:    cv.ror a0, a0, a1
 185 ; CHECK-O3-NEXT:    ret
 186   %1 = call i32 @llvm.fshl.i32(i32 %a, i32 %a, i32 %b)
 187   ret i32 %1
 188 }
 189
 190 declare i32 @llvm.fshr.i32(i32, i32, i32)
 191
 192 define i32 @test.llvm.fshr.imm(i32 %a) {
 193 ; CHECK-LABEL: test.llvm.fshr.imm:
 194 ; CHECK:       # %bb.0:
 195 ; CHECK-NEXT:    li a1, 2
 196 ; CHECK-NEXT:    cv.ror a0, a0, a1
 197 ; CHECK-NEXT:    ret
 198   %1 = call i32 @llvm.fshr.i32(i32 %a, i32 %a, i32 2)
 199   ret i32 %1
 200 }
 201
 202 define i32 @test.llvm.fshr.reg(i32 %a, i32 %b) {
 203 ; CHECK-LABEL: test.llvm.fshr.reg:
 204 ; CHECK:       # %bb.0:
 205 ; CHECK-NEXT:    cv.ror a0, a0, a1
 206 ; CHECK-NEXT:    ret
 207   %1 = call i32 @llvm.fshr.i32(i32 %a, i32 %a, i32 %b)
 208   ret i32 %1
 209 }
 210
 211 declare i32 @llvm.riscv.cv.bitmanip.bitrev(i32, i32, i32)
 212
 213 define i32 @test.cv.bitrev(i32 %a) {
 214 ; CHECK-LABEL: test.cv.bitrev:
 215 ; CHECK:       # %bb.0:
 216 ; CHECK-NEXT:    cv.bitrev a0, a0, 2, 1
 217 ; CHECK-NEXT:    ret
 218   %1 = call i32 @llvm.riscv.cv.bitmanip.bitrev(i32 %a, i32 1, i32 2)
 219   ret i32 %1
 220 }
 221
 222 declare i32 @llvm.bitreverse(i32)
 223
 224 define i32 @test.llvm.bitrev(i32 %a) {
 225 ; CHECK-LABEL: test.llvm.bitrev:
 226 ; CHECK:       # %bb.0:
 227 ; CHECK-NEXT:    cv.bitrev a0, a0, 0, 0
 228 ; CHECK-NEXT:    ret
 229   %1 = call i32 @llvm.bitreverse(i32 %a)
 230   ret i32 %1
 231 }