[llvm] ed102ce - [RISCV][test] Add new tests for mul optimization in the zba extension with SH*ADD

[Ben Shi via llvm-commits]

Author: Ben Shi
Date: 2021-07-09T09:48:23+08:00
New Revision: ed102ce20a5f5ddf388bc71217228b756e2f5fe3

URL: https://github.com/llvm/llvm-project/commit/ed102ce20a5f5ddf388bc71217228b756e2f5fe3
DIFF: https://github.com/llvm/llvm-project/commit/ed102ce20a5f5ddf388bc71217228b756e2f5fe3.diff

LOG: [RISCV][test] Add new tests for mul optimization in the zba extension with SH*ADD

This patch will show the following optimization by future patches.

(mul x imm) -> (SH1ADD x, (SLLI x, bits)) when imm = 2^n + 2.
(mul x imm) -> (SH2ADD x, (SLLI x, bits)) when imm = 2^n + 4.
(mul x imm) -> (SH3ADD x, (SLLI x, bits)) when imm = 2^n + 8.

Reviewed By: craig.topper

Differential Revision: https://reviews.llvm.org/D105614

Added: 
    

Modified: 
    llvm/test/CodeGen/RISCV/rv32zba.ll
    llvm/test/CodeGen/RISCV/rv64zba.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/RISCV/rv32zba.ll b/llvm/test/CodeGen/RISCV/rv32zba.ll
index 7a91f7b5ff595..e7b8069862d0a 100644
--- a/llvm/test/CodeGen/RISCV/rv32zba.ll
+++ b/llvm/test/CodeGen/RISCV/rv32zba.ll
@@ -362,3 +362,69 @@ define i32 @mul288(i32 %a) {
   %c = mul i32 %a, 288
   ret i32 %c
 }
+
+define i32 @mul258(i32 %a) {
+; RV32I-LABEL: mul258:
+; RV32I:       # %bb.0:
+; RV32I-NEXT:    addi a1, zero, 258
+; RV32I-NEXT:    mul a0, a0, a1
+; RV32I-NEXT:    ret
+;
+; RV32IB-LABEL: mul258:
+; RV32IB:       # %bb.0:
+; RV32IB-NEXT:    addi a1, zero, 258
+; RV32IB-NEXT:    mul a0, a0, a1
+; RV32IB-NEXT:    ret
+;
+; RV32IBA-LABEL: mul258:
+; RV32IBA:       # %bb.0:
+; RV32IBA-NEXT:    addi a1, zero, 258
+; RV32IBA-NEXT:    mul a0, a0, a1
+; RV32IBA-NEXT:    ret
+  %c = mul i32 %a, 258
+  ret i32 %c
+}
+
+define i32 @mul260(i32 %a) {
+; RV32I-LABEL: mul260:
+; RV32I:       # %bb.0:
+; RV32I-NEXT:    addi a1, zero, 260
+; RV32I-NEXT:    mul a0, a0, a1
+; RV32I-NEXT:    ret
+;
+; RV32IB-LABEL: mul260:
+; RV32IB:       # %bb.0:
+; RV32IB-NEXT:    addi a1, zero, 260
+; RV32IB-NEXT:    mul a0, a0, a1
+; RV32IB-NEXT:    ret
+;
+; RV32IBA-LABEL: mul260:
+; RV32IBA:       # %bb.0:
+; RV32IBA-NEXT:    addi a1, zero, 260
+; RV32IBA-NEXT:    mul a0, a0, a1
+; RV32IBA-NEXT:    ret
+  %c = mul i32 %a, 260
+  ret i32 %c
+}
+
+define i32 @mul264(i32 %a) {
+; RV32I-LABEL: mul264:
+; RV32I:       # %bb.0:
+; RV32I-NEXT:    addi a1, zero, 264
+; RV32I-NEXT:    mul a0, a0, a1
+; RV32I-NEXT:    ret
+;
+; RV32IB-LABEL: mul264:
+; RV32IB:       # %bb.0:
+; RV32IB-NEXT:    addi a1, zero, 264
+; RV32IB-NEXT:    mul a0, a0, a1
+; RV32IB-NEXT:    ret
+;
+; RV32IBA-LABEL: mul264:
+; RV32IBA:       # %bb.0:
+; RV32IBA-NEXT:    addi a1, zero, 264
+; RV32IBA-NEXT:    mul a0, a0, a1
+; RV32IBA-NEXT:    ret
+  %c = mul i32 %a, 264
+  ret i32 %c
+}

diff  --git a/llvm/test/CodeGen/RISCV/rv64zba.ll b/llvm/test/CodeGen/RISCV/rv64zba.ll
index 8de56c30b4391..3a49e2458655a 100644
--- a/llvm/test/CodeGen/RISCV/rv64zba.ll
+++ b/llvm/test/CodeGen/RISCV/rv64zba.ll
@@ -820,3 +820,69 @@ define i64 @adduw_imm(i32 signext %0) nounwind {
   %b = add i64 %a, 5
   ret i64 %b
 }
+
+define i64 @mul258(i64 %a) {
+; RV64I-LABEL: mul258:
+; RV64I:       # %bb.0:
+; RV64I-NEXT:    addi a1, zero, 258
+; RV64I-NEXT:    mul a0, a0, a1
+; RV64I-NEXT:    ret
+;
+; RV64IB-LABEL: mul258:
+; RV64IB:       # %bb.0:
+; RV64IB-NEXT:    addi a1, zero, 258
+; RV64IB-NEXT:    mul a0, a0, a1
+; RV64IB-NEXT:    ret
+;
+; RV64IBA-LABEL: mul258:
+; RV64IBA:       # %bb.0:
+; RV64IBA-NEXT:    addi a1, zero, 258
+; RV64IBA-NEXT:    mul a0, a0, a1
+; RV64IBA-NEXT:    ret
+  %c = mul i64 %a, 258
+  ret i64 %c
+}
+
+define i64 @mul260(i64 %a) {
+; RV64I-LABEL: mul260:
+; RV64I:       # %bb.0:
+; RV64I-NEXT:    addi a1, zero, 260
+; RV64I-NEXT:    mul a0, a0, a1
+; RV64I-NEXT:    ret
+;
+; RV64IB-LABEL: mul260:
+; RV64IB:       # %bb.0:
+; RV64IB-NEXT:    addi a1, zero, 260
+; RV64IB-NEXT:    mul a0, a0, a1
+; RV64IB-NEXT:    ret
+;
+; RV64IBA-LABEL: mul260:
+; RV64IBA:       # %bb.0:
+; RV64IBA-NEXT:    addi a1, zero, 260
+; RV64IBA-NEXT:    mul a0, a0, a1
+; RV64IBA-NEXT:    ret
+  %c = mul i64 %a, 260
+  ret i64 %c
+}
+
+define i64 @mul264(i64 %a) {
+; RV64I-LABEL: mul264:
+; RV64I:       # %bb.0:
+; RV64I-NEXT:    addi a1, zero, 264
+; RV64I-NEXT:    mul a0, a0, a1
+; RV64I-NEXT:    ret
+;
+; RV64IB-LABEL: mul264:
+; RV64IB:       # %bb.0:
+; RV64IB-NEXT:    addi a1, zero, 264
+; RV64IB-NEXT:    mul a0, a0, a1
+; RV64IB-NEXT:    ret
+;
+; RV64IBA-LABEL: mul264:
+; RV64IBA:       # %bb.0:
+; RV64IBA-NEXT:    addi a1, zero, 264
+; RV64IBA-NEXT:    mul a0, a0, a1
+; RV64IBA-NEXT:    ret
+  %c = mul i64 %a, 264
+  ret i64 %c
+}