diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfo.td b/llvm/lib/Target/RISCV/RISCVInstrInfo.td --- a/llvm/lib/Target/RISCV/RISCVInstrInfo.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfo.td @@ -1241,7 +1241,6 @@ }]>; def and_oneuse : binop_oneuse; -def add_oneuse : binop_oneuse; def mul_oneuse : binop_oneuse; def mul_const_oneuse : PatFrag<(ops node:$A, node:$B), diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfoZb.td b/llvm/lib/Target/RISCV/RISCVInstrInfoZb.td --- a/llvm/lib/Target/RISCV/RISCVInstrInfoZb.td +++ b/llvm/lib/Target/RISCV/RISCVInstrInfoZb.td @@ -778,13 +778,13 @@ def : Pat<(i64 (add (and GPR:$rs1, 0x7FFFFFFF8), non_imm12:$rs2)), (SH3ADD_UW (SRLI GPR:$rs1, 3), GPR:$rs2)>; -def : Pat<(i64 (mul (binop_oneuse GPR:$r, 0xFFFFFFFF), C3LeftShiftUW:$i)), +def : Pat<(i64 (mul (and_oneuse GPR:$r, 0xFFFFFFFF), C3LeftShiftUW:$i)), (SH1ADD (SLLI_UW GPR:$r, (TrailingZeros C3LeftShiftUW:$i)), (SLLI_UW GPR:$r, (TrailingZeros C3LeftShiftUW:$i)))>; -def : Pat<(i64 (mul (binop_oneuse GPR:$r, 0xFFFFFFFF), C5LeftShiftUW:$i)), +def : Pat<(i64 (mul (and_oneuse GPR:$r, 0xFFFFFFFF), C5LeftShiftUW:$i)), (SH2ADD (SLLI_UW GPR:$r, (TrailingZeros C5LeftShiftUW:$i)), (SLLI_UW GPR:$r, (TrailingZeros C5LeftShiftUW:$i)))>; -def : Pat<(i64 (mul (binop_oneuse GPR:$r, 0xFFFFFFFF), C9LeftShiftUW:$i)), +def : Pat<(i64 (mul (and_oneuse GPR:$r, 0xFFFFFFFF), C9LeftShiftUW:$i)), (SH3ADD (SLLI_UW GPR:$r, (TrailingZeros C9LeftShiftUW:$i)), (SLLI_UW GPR:$r, (TrailingZeros C9LeftShiftUW:$i)))>; } // Predicates = [HasStdExtZba, IsRV64]