[CSKY][NFC][test] Add more tests of CodeGen for intrinsics

[zixuan-wu]

llvm/test/CodeGen/CSKY/intrinsic.ll

25

It would be better to also test the condition that the second argument is zero

[zixuan-wu]

llvm/test/CodeGen/CSKY/intrinsic.ll

12

BTW. Because counting zeros is not expensive, it's a little opt to set isCheapToSpeculateCttz and isCheapToSpeculateCtlz as other targets. So that this sequence can be same as ctlz_1. Anyway, it's can be another patch.

[benshi001]

llvm/test/CodeGen/CSKY/intrinsic.ll

12

Thanks. I have made another patch https://reviews.llvm.org/D156780 for that.

llvm/test/CodeGen/CSKY/intrinsic.ll

 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
 ; RUN: llc -verify-machineinstrs -csky-no-aliases -mattr=+e2 -mattr=+2e3 < %s -mtriple=csky | FileCheck %s
 
-define i32 @ctlz(i32 %x) {
-; CHECK-LABEL: ctlz:
+define i32 @ctlz_0(i32 %x) {
+; CHECK-LABEL: ctlz_0:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    bez32 a0, .LBB0_2
+; CHECK-NEXT:  # %bb.1: # %cond.false
+; CHECK-NEXT:    ff1.32 a0, a0
+; CHECK-NEXT:    rts16
+; CHECK-NEXT:  .LBB0_2:
+; CHECK-NEXT:    movi16 a0, 32
+; CHECK-NEXT:    rts16
+entry:
+  %nlz = call i32 @llvm.ctlz.i32(i32 %x, i1 0)
+  ret i32 %nlz
+}
+
+define i32 @ctlz_1(i32 %x) {
+; CHECK-LABEL: ctlz_1:
 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    ff1.32 a0, a0
 ; CHECK-NEXT:    rts16
 entry:
   %nlz = call i32 @llvm.ctlz.i32(i32 %x, i1 1)
   ret i32 %nlz
 }
 
 define i32 @cttz_0(i32 %x) {
 ; CHECK-LABEL: cttz_0:
 ; CHECK:       # %bb.0: # %entry
-; CHECK-NEXT:    bez32 a0, .LBB1_2
+; CHECK-NEXT:    bez32 a0, .LBB2_2
 ; CHECK-NEXT:  # %bb.1: # %cond.false
 ; CHECK-NEXT:    brev32 a0, a0
 ; CHECK-NEXT:    ff1.32 a0, a0
 ; CHECK-NEXT:    rts16
-; CHECK-NEXT:  .LBB1_2:
+; CHECK-NEXT:  .LBB2_2:
 ; CHECK-NEXT:    movi16 a0, 32
 ; CHECK-NEXT:    rts16
 entry:
   %ntz = call i32 @llvm.cttz.i32(i32 %x, i1 0)
   ret i32 %ntz
 }
 
 define i32 @cttz_1(i32 %x) {

 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    revb16 a0, a0
 ; CHECK-NEXT:    rts16
 entry:
   %revb32 = call i32 @llvm.bswap.i32(i32 %x)
   ret i32 %revb32
 }
 
-define i32 @bitreverse(i32 %x) {
-; CHECK-LABEL: bitreverse:
+define i16 @bswap16(i16 %x) {
+; CHECK-LABEL: bswap16:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    revb16 a0, a0
+; CHECK-NEXT:    lsri16 a0, a0, 16
+; CHECK-NEXT:    rts16
+entry:
+  %revb16 = call i16 @llvm.bswap.i16(i16 %x)
+  ret i16 %revb16
+}
+
+define i32 @bitreverse_32(i32 %x) {
+; CHECK-LABEL: bitreverse_32:
 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    brev32 a0, a0
 ; CHECK-NEXT:    rts16
 entry:
   %brev32 = call i32 @llvm.bitreverse.i32(i32 %x)
   ret i32 %brev32
 }
 
+define i16 @bitreverse_16(i16 %x) {
+; CHECK-LABEL: bitreverse_16:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    brev32 a0, a0
+; CHECK-NEXT:    lsri16 a0, a0, 16
+; CHECK-NEXT:    rts16
+entry:
+  %brev = call i16 @llvm.bitreverse.i16(i16 %x)
+  ret i16 %brev
+}
+
 declare i32 @llvm.bswap.i32(i32)
+declare i16 @llvm.bswap.i16(i16)
 declare i32 @llvm.ctlz.i32 (i32, i1)
 declare i32 @llvm.cttz.i32 (i32, i1)
 declare i32 @llvm.bitreverse.i32(i32)
+declare i16 @llvm.bitreverse.i16(i16)