This is an archive of the discontinued LLVM Phabricator instance.

Differential D107710

[RISCV][test] Improve tests for (add (mul x, c1), c2)
ClosedPublic

Authored by benshi001 on Aug 8 2021, 3:01 AM.

Details

Reviewers
craig.topper
luismarques
asb
Commits
rGb10e74389e1e: [RISCV][test] Improve tests for (add (mul x, c1), c2)

Diff Detail

Event Timeline

benshi001 created this revision.Aug 8 2021, 3:01 AM
Herald added subscribers: vkmr, frasercrmck, evandro and 22 others. · View Herald TranscriptAug 8 2021, 3:01 AM
benshi001 requested review of this revision.Aug 8 2021, 3:01 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 8 2021, 3:01 AM
Herald added subscribers: llvm-commits, MaskRay. · View Herald Transcript
Harbormaster completed remote builds in B118543: Diff 365010.Aug 8 2021, 3:01 AM
benshi001 added a child revision: D107711: [DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2).Aug 8 2021, 3:05 AM
benshi001 updated this revision to Diff 365020.Aug 8 2021, 7:24 AM
Harbormaster completed remote builds in B118551: Diff 365020.Aug 8 2021, 7:25 AM
benshi001 updated this revision to Diff 365021.Aug 8 2021, 7:25 AM
benshi001 set the repository for this revision to rG LLVM Github Monorepo.
Harbormaster completed remote builds in B118552: Diff 365021.Aug 8 2021, 7:25 AM
benshi001 updated this revision to Diff 365025.Aug 8 2021, 8:01 AM
Harbormaster completed remote builds in B118556: Diff 365025.Aug 8 2021, 8:29 AM
benshi001 updated this revision to Diff 365072.Aug 8 2021, 9:41 PM
Harbormaster completed remote builds in B118597: Diff 365072.Aug 8 2021, 10:15 PM
benshi001 updated this revision to Diff 365403.Aug 10 2021, 3:05 AM
benshi001 retitled this revision from [RISCV][test] Improve tests for (add (mul x, c0), c1) to [RISCV][test] Improve tests for (add (mul x, c1), c2).
benshi001 edited the summary of this revision. (Show Details)
Harbormaster completed remote builds in B118834: Diff 365403.Aug 10 2021, 3:35 AM
benshi001 updated this revision to Diff 365469.Aug 10 2021, 7:12 AM
Harbormaster completed remote builds in B118881: Diff 365469.Aug 10 2021, 7:56 AM
benshi001 added a comment.Aug 18 2021, 2:39 AM

Can this also be approved? Its child revision https://reviews.llvm.org/D107711 has been approved.

luismarques accepted this revision.Aug 19 2021, 2:08 AM

LGTM.

This revision is now accepted and ready to land.Aug 19 2021, 2:08 AM
Closed by commit rGb10e74389e1e: [RISCV][test] Improve tests for (add (mul x, c1), c2) (authored by benshi001). · Explain WhyAug 19 2021, 6:04 AM
This revision was automatically updated to reflect the committed changes.
benshi001 added a commit: rGb10e74389e1e: [RISCV][test] Improve tests for (add (mul x, c1), c2).

Revision Contents

PathSize
llvm/
test/
CodeGen/
RISCV/
422 lines

Diff 367475

llvm/test/CodeGen/RISCV/addimm-mulimm.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
;; Test that (mul (add x, c1), c2) can be transformed to ;; Test that (mul (add x, c1), c2) can be transformed to
;; (add (mul x, c2), c1*c2) if profitable. ;; (add (mul x, c2), c1*c2) if profitable.
; RUN: llc -mtriple=riscv32 -mattr=+m -verify-machineinstrs < %s \ ; RUN: llc -mtriple=riscv32 -mattr=+m,+experimental-zba -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=RV32IM %s ; RUN: | FileCheck -check-prefix=RV32IMB %s
; RUN: llc -mtriple=riscv64 -mattr=+m -verify-machineinstrs < %s \ ; RUN: llc -mtriple=riscv64 -mattr=+m,+experimental-zba -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=RV64IM %s ; RUN: | FileCheck -check-prefix=RV64IMB %s
define signext i32 @add_mul_trans_accept_1(i32 %x) { define i32 @add_mul_combine_accept_a1(i32 %x) {
; RV32IM-LABEL: add_mul_trans_accept_1: ; RV32IMB-LABEL: add_mul_combine_accept_a1:
; RV32IM: # %bb.0: ; RV32IMB: # %bb.0:
; RV32IM-NEXT: addi a1, zero, 11 ; RV32IMB-NEXT: addi a1, zero, 29
; RV32IM-NEXT: mul a0, a0, a1 ; RV32IMB-NEXT: mul a0, a0, a1
; RV32IM-NEXT: addi a0, a0, 407 ; RV32IMB-NEXT: addi a0, a0, 1073
; RV32IM-NEXT: ret ; RV32IMB-NEXT: ret
; ;
; RV64IM-LABEL: add_mul_trans_accept_1: ; RV64IMB-LABEL: add_mul_combine_accept_a1:
; RV64IM: # %bb.0: ; RV64IMB: # %bb.0:
; RV64IM-NEXT: addi a1, zero, 11 ; RV64IMB-NEXT: addi a1, zero, 29
; RV64IM-NEXT: mulw a0, a0, a1 ; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IM-NEXT: addiw a0, a0, 407 ; RV64IMB-NEXT: addiw a0, a0, 1073
; RV64IM-NEXT: ret ; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 37
%tmp1 = mul i32 %tmp0, 29
ret i32 %tmp1
}
define signext i32 @add_mul_combine_accept_a2(i32 signext %x) {
; RV32IMB-LABEL: add_mul_combine_accept_a2:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a1, zero, 29
; RV32IMB-NEXT: mul a0, a0, a1
; RV32IMB-NEXT: addi a0, a0, 1073
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_accept_a2:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: addi a1, zero, 29
; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IMB-NEXT: addiw a0, a0, 1073
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 37 %tmp0 = add i32 %x, 37
%tmp1 = mul i32 %tmp0, 11 %tmp1 = mul i32 %tmp0, 29
ret i32 %tmp1
}
define i64 @add_mul_combine_accept_a3(i64 %x) {
; RV32IMB-LABEL: add_mul_combine_accept_a3:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a2, zero, 29
; RV32IMB-NEXT: mul a1, a1, a2
; RV32IMB-NEXT: mulhu a3, a0, a2
; RV32IMB-NEXT: add a1, a3, a1
; RV32IMB-NEXT: mul a2, a0, a2
; RV32IMB-NEXT: addi a0, a2, 1073
; RV32IMB-NEXT: sltu a2, a0, a2
; RV32IMB-NEXT: add a1, a1, a2
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_accept_a3:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: addi a1, zero, 29
; RV64IMB-NEXT: mul a0, a0, a1
; RV64IMB-NEXT: addi a0, a0, 1073
; RV64IMB-NEXT: ret
%tmp0 = add i64 %x, 37
%tmp1 = mul i64 %tmp0, 29
ret i64 %tmp1
}
define i32 @add_mul_combine_accept_b1(i32 %x) {
; RV32IMB-LABEL: add_mul_combine_accept_b1:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a1, zero, 23
; RV32IMB-NEXT: mul a0, a0, a1
; RV32IMB-NEXT: lui a1, 50
; RV32IMB-NEXT: addi a1, a1, 1119
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_accept_b1:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: addi a1, zero, 23
; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IMB-NEXT: lui a1, 50
; RV64IMB-NEXT: addiw a1, a1, 1119
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 8953
%tmp1 = mul i32 %tmp0, 23
ret i32 %tmp1 ret i32 %tmp1
} }
define signext i32 @add_mul_trans_accept_2(i32 %x) { define signext i32 @add_mul_combine_accept_b2(i32 signext %x) {
; RV32IM-LABEL: add_mul_trans_accept_2: ; RV32IMB-LABEL: add_mul_combine_accept_b2:
; RV32IM: # %bb.0: ; RV32IMB: # %bb.0:
; RV32IM-NEXT: addi a1, zero, 13 ; RV32IMB-NEXT: addi a1, zero, 23
; RV32IM-NEXT: mul a0, a0, a1 ; RV32IMB-NEXT: mul a0, a0, a1
; RV32IM-NEXT: lui a1, 28 ; RV32IMB-NEXT: lui a1, 50
; RV32IM-NEXT: addi a1, a1, 1701 ; RV32IMB-NEXT: addi a1, a1, 1119
; RV32IM-NEXT: add a0, a0, a1 ; RV32IMB-NEXT: add a0, a0, a1
; RV32IM-NEXT: ret ; RV32IMB-NEXT: ret
; ;
; RV64IM-LABEL: add_mul_trans_accept_2: ; RV64IMB-LABEL: add_mul_combine_accept_b2:
; RV64IM: # %bb.0: ; RV64IMB: # %bb.0:
; RV64IM-NEXT: addi a1, zero, 13 ; RV64IMB-NEXT: addi a1, zero, 23
; RV64IM-NEXT: mulw a0, a0, a1 ; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IM-NEXT: lui a1, 28 ; RV64IMB-NEXT: lui a1, 50
; RV64IM-NEXT: addiw a1, a1, 1701 ; RV64IMB-NEXT: addiw a1, a1, 1119
; RV64IM-NEXT: addw a0, a0, a1 ; RV64IMB-NEXT: addw a0, a0, a1
; RV64IM-NEXT: ret ; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 8953 %tmp0 = add i32 %x, 8953
%tmp1 = mul i32 %tmp0, 13 %tmp1 = mul i32 %tmp0, 23
ret i32 %tmp1 ret i32 %tmp1
} }
define signext i32 @add_mul_trans_reject_1(i32 %x) { define i64 @add_mul_combine_accept_b3(i64 %x) {
; RV32IM-LABEL: add_mul_trans_reject_1: ; RV32IMB-LABEL: add_mul_combine_accept_b3:
; RV32IM: # %bb.0: ; RV32IMB: # %bb.0:
; RV32IM-NEXT: addi a1, zero, 19 ; RV32IMB-NEXT: addi a2, zero, 23
; RV32IM-NEXT: mul a0, a0, a1 ; RV32IMB-NEXT: mul a1, a1, a2
; RV32IM-NEXT: lui a1, 9 ; RV32IMB-NEXT: mulhu a3, a0, a2
; RV32IM-NEXT: addi a1, a1, 585 ; RV32IMB-NEXT: add a1, a3, a1
; RV32IM-NEXT: add a0, a0, a1 ; RV32IMB-NEXT: mul a2, a0, a2
; RV32IM-NEXT: ret ; RV32IMB-NEXT: lui a0, 50
; ; RV32IMB-NEXT: addi a0, a0, 1119
; RV64IM-LABEL: add_mul_trans_reject_1: ; RV32IMB-NEXT: add a0, a2, a0
; RV64IM: # %bb.0: ; RV32IMB-NEXT: sltu a2, a0, a2
; RV64IM-NEXT: addi a1, zero, 19 ; RV32IMB-NEXT: add a1, a1, a2
; RV64IM-NEXT: mulw a0, a0, a1 ; RV32IMB-NEXT: ret
; RV64IM-NEXT: lui a1, 9 ;
; RV64IM-NEXT: addiw a1, a1, 585 ; RV64IMB-LABEL: add_mul_combine_accept_b3:
; RV64IM-NEXT: addw a0, a0, a1 ; RV64IMB: # %bb.0:
; RV64IM-NEXT: ret ; RV64IMB-NEXT: addi a1, zero, 23
; RV64IMB-NEXT: mul a0, a0, a1
; RV64IMB-NEXT: lui a1, 50
; RV64IMB-NEXT: addiw a1, a1, 1119
; RV64IMB-NEXT: add a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i64 %x, 8953
%tmp1 = mul i64 %tmp0, 23
ret i64 %tmp1
}
define i32 @add_mul_combine_reject_a1(i32 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_a1:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a1, zero, 29
; RV32IMB-NEXT: mul a0, a0, a1
; RV32IMB-NEXT: lui a1, 14
; RV32IMB-NEXT: addi a1, a1, -185
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_a1:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: addi a1, zero, 29
; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IMB-NEXT: lui a1, 14
; RV64IMB-NEXT: addiw a1, a1, -185
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 1971 %tmp0 = add i32 %x, 1971
%tmp1 = mul i32 %tmp0, 19 %tmp1 = mul i32 %tmp0, 29
ret i32 %tmp1 ret i32 %tmp1
} }
define signext i32 @add_mul_trans_reject_2(i32 %x) { define signext i32 @add_mul_combine_reject_a2(i32 signext %x) {
; RV32IM-LABEL: add_mul_trans_reject_2: ; RV32IMB-LABEL: add_mul_combine_reject_a2:
; RV32IM: # %bb.0: ; RV32IMB: # %bb.0:
; RV32IM-NEXT: lui a1, 792 ; RV32IMB-NEXT: addi a1, zero, 29
; RV32IM-NEXT: addi a1, a1, -1709 ; RV32IMB-NEXT: mul a0, a0, a1
; RV32IM-NEXT: mul a0, a0, a1 ; RV32IMB-NEXT: lui a1, 14
; RV32IM-NEXT: lui a1, 1014660 ; RV32IMB-NEXT: addi a1, a1, -185
; RV32IM-NEXT: addi a1, a1, -1891 ; RV32IMB-NEXT: add a0, a0, a1
; RV32IM-NEXT: add a0, a0, a1 ; RV32IMB-NEXT: ret
; RV32IM-NEXT: ret ;
; ; RV64IMB-LABEL: add_mul_combine_reject_a2:
; RV64IM-LABEL: add_mul_trans_reject_2: ; RV64IMB: # %bb.0:
; RV64IM: # %bb.0: ; RV64IMB-NEXT: addi a1, zero, 29
; RV64IM-NEXT: lui a1, 792 ; RV64IMB-NEXT: mulw a0, a0, a1
; RV64IM-NEXT: addiw a1, a1, -1709 ; RV64IMB-NEXT: lui a1, 14
; RV64IM-NEXT: mulw a0, a0, a1 ; RV64IMB-NEXT: addiw a1, a1, -185
; RV64IM-NEXT: lui a1, 1014660 ; RV64IMB-NEXT: addw a0, a0, a1
; RV64IM-NEXT: addiw a1, a1, -1891 ; RV64IMB-NEXT: ret
; RV64IM-NEXT: addw a0, a0, a1 %tmp0 = add i32 %x, 1971
; RV64IM-NEXT: ret %tmp1 = mul i32 %tmp0, 29
%tmp0 = add i32 %x, 1841231
%tmp1 = mul i32 %tmp0, 3242323
ret i32 %tmp1 ret i32 %tmp1
} }
define i64 @add_mul_combine_reject_a3(i64 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_a3:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a2, zero, 29
; RV32IMB-NEXT: mul a1, a1, a2
; RV32IMB-NEXT: mulhu a3, a0, a2
; RV32IMB-NEXT: add a1, a3, a1
; RV32IMB-NEXT: mul a2, a0, a2
; RV32IMB-NEXT: lui a0, 14
; RV32IMB-NEXT: addi a0, a0, -185
; RV32IMB-NEXT: add a0, a2, a0
; RV32IMB-NEXT: sltu a2, a0, a2
; RV32IMB-NEXT: add a1, a1, a2
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_a3:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: addi a1, zero, 29
; RV64IMB-NEXT: mul a0, a0, a1
; RV64IMB-NEXT: lui a1, 14
; RV64IMB-NEXT: addiw a1, a1, -185
; RV64IMB-NEXT: add a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i64 %x, 1971
%tmp1 = mul i64 %tmp0, 29
ret i64 %tmp1
}
define i32 @add_mul_combine_reject_c1(i32 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_c1:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: sh3add a1, a0, a0
; RV32IMB-NEXT: sh3add a0, a1, a0
; RV32IMB-NEXT: lui a1, 18
; RV32IMB-NEXT: addi a1, a1, -728
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_c1:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh3add a1, a0, a0
; RV64IMB-NEXT: sh3add a0, a1, a0
; RV64IMB-NEXT: lui a1, 18
; RV64IMB-NEXT: addiw a1, a1, -728
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 1000
%tmp1 = mul i32 %tmp0, 73
ret i32 %tmp1
}
define signext i32 @add_mul_combine_reject_c2(i32 signext %x) {
; RV32IMB-LABEL: add_mul_combine_reject_c2:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: sh3add a1, a0, a0
; RV32IMB-NEXT: sh3add a0, a1, a0
; RV32IMB-NEXT: lui a1, 18
; RV32IMB-NEXT: addi a1, a1, -728
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_c2:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh3add a1, a0, a0
; RV64IMB-NEXT: sh3add a0, a1, a0
; RV64IMB-NEXT: lui a1, 18
; RV64IMB-NEXT: addiw a1, a1, -728
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 1000
%tmp1 = mul i32 %tmp0, 73
ret i32 %tmp1
}
define i64 @add_mul_combine_reject_c3(i64 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_c3:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a2, zero, 73
; RV32IMB-NEXT: mul a1, a1, a2
; RV32IMB-NEXT: mulhu a3, a0, a2
; RV32IMB-NEXT: add a1, a3, a1
; RV32IMB-NEXT: mul a2, a0, a2
; RV32IMB-NEXT: lui a0, 18
; RV32IMB-NEXT: addi a0, a0, -728
; RV32IMB-NEXT: add a0, a2, a0
; RV32IMB-NEXT: sltu a2, a0, a2
; RV32IMB-NEXT: add a1, a1, a2
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_c3:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh3add a1, a0, a0
; RV64IMB-NEXT: sh3add a0, a1, a0
; RV64IMB-NEXT: lui a1, 18
; RV64IMB-NEXT: addiw a1, a1, -728
; RV64IMB-NEXT: add a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i64 %x, 1000
%tmp1 = mul i64 %tmp0, 73
ret i64 %tmp1
}
define i32 @add_mul_combine_reject_d1(i32 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_d1:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: sh1add a0, a0, a0
; RV32IMB-NEXT: slli a0, a0, 6
; RV32IMB-NEXT: lui a1, 47
; RV32IMB-NEXT: addi a1, a1, -512
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_d1:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh1add a0, a0, a0
; RV64IMB-NEXT: slli a0, a0, 6
; RV64IMB-NEXT: lui a1, 47
; RV64IMB-NEXT: addiw a1, a1, -512
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 1000
%tmp1 = mul i32 %tmp0, 192
ret i32 %tmp1
}
define signext i32 @add_mul_combine_reject_d2(i32 signext %x) {
; RV32IMB-LABEL: add_mul_combine_reject_d2:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: sh1add a0, a0, a0
; RV32IMB-NEXT: slli a0, a0, 6
; RV32IMB-NEXT: lui a1, 47
; RV32IMB-NEXT: addi a1, a1, -512
; RV32IMB-NEXT: add a0, a0, a1
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_d2:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh1add a0, a0, a0
; RV64IMB-NEXT: slli a0, a0, 6
; RV64IMB-NEXT: lui a1, 47
; RV64IMB-NEXT: addiw a1, a1, -512
; RV64IMB-NEXT: addw a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i32 %x, 1000
%tmp1 = mul i32 %tmp0, 192
ret i32 %tmp1
}
define i64 @add_mul_combine_reject_d3(i64 %x) {
; RV32IMB-LABEL: add_mul_combine_reject_d3:
; RV32IMB: # %bb.0:
; RV32IMB-NEXT: addi a2, zero, 192
; RV32IMB-NEXT: mulhu a2, a0, a2
; RV32IMB-NEXT: sh1add a1, a1, a1
; RV32IMB-NEXT: slli a1, a1, 6
; RV32IMB-NEXT: add a1, a2, a1
; RV32IMB-NEXT: sh1add a0, a0, a0
; RV32IMB-NEXT: slli a2, a0, 6
; RV32IMB-NEXT: lui a0, 47
; RV32IMB-NEXT: addi a0, a0, -512
; RV32IMB-NEXT: add a0, a2, a0
; RV32IMB-NEXT: sltu a2, a0, a2
; RV32IMB-NEXT: add a1, a1, a2
; RV32IMB-NEXT: ret
;
; RV64IMB-LABEL: add_mul_combine_reject_d3:
; RV64IMB: # %bb.0:
; RV64IMB-NEXT: sh1add a0, a0, a0
; RV64IMB-NEXT: slli a0, a0, 6
; RV64IMB-NEXT: lui a1, 47
; RV64IMB-NEXT: addiw a1, a1, -512
; RV64IMB-NEXT: add a0, a0, a1
; RV64IMB-NEXT: ret
%tmp0 = add i64 %x, 1000
%tmp1 = mul i64 %tmp0, 192
ret i64 %tmp1
}