[DAGCombine] Use FoldConstantArithmetic() to perform C2-(A+C1) -> (C2-C1)-A fold
ClosedPublic
Actions

Authored by lebedev.ri on May 30 2019, 7:13 AM.

Details

Reviewers

Commits

Summary

No tests change, and i'm not sure how to test this, but it's better safe than sorry.

LGTM

This revision is now accepted and ready to land.May 30 2019, 11:14 AM

This revision was automatically updated to reflect the committed changes.

			Path	Packages
M			llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp (4 lines)

Diff	ID	Base	Description	Created	Lint	Unit
Base			Base
Diff 1	202182			May 30 2019, 7:12 AM	★	★
Diff 2	202271	362131	rL362132	May 30 2019, 12:27 PM	★	★

Status	Author	Revision
Needs Review	lebedev.ri	D62450 [DAGCombine][ARM] x ==/!= c -> (x - c) ==/!= 0 iff '-c' can be folded into the x node.
Needs Review	lebedev.ri	D62392 [DAGCombine][ARM] (sub Carry, X) -> (addcarry (sub 0, X), 0, Carry) fold
Closed	lebedev.ri	D62774 [DAGCombine][X86][AArch64][MIPS][LANAI] (C - x) - y -> C - (x + y) fold (PR41952)
Closed	lebedev.ri	D62266 [DAGCombine][X86][AArch64][ARM] (C - x) + y -> (y - x) + C fold
Closed	lebedev.ri	D62257 [DAGCombiner][X86][AArch64] (x - C) + y -> (x + y) - C fold
Closed	lebedev.ri	D62294 [DAGCombine] (x - C) - y -> (x - y) - C fold
Closed	lebedev.ri	D62263 [DAGCombine][X86][AArch64][AMDGPU] (x - y) + -1 -> add (xor y, -1), x fold
Closed	lebedev.ri	D62252 [DAGCombiner][X86][AArch64][SPARC][SystemZ] y - (x + C) -> (y - x) - C fold
Closed	lebedev.ri	D62223 [DAGCombiner][X86][AArch64][AMDGPU] (x + C) - y -> (x - y) + C fold
Closed	lebedev.ri	D62691 [DAGCombine] ((c1-A)-c2) -> ((c1-c2)-A) constant-fold
Closed	lebedev.ri	D62689 [DAGCombine] (A-C1)-C2 -> A-(C1+C2) constant-fold
Closed	lebedev.ri	D62664 [DAGCombine] (A+C1)-C2 -> A+(C1-C2) constant-fold
Closed	lebedev.ri	D62663 [DAGCombine] Use FoldConstantArithmetic() to perform C2-(A+C1) -> (C2-C1)-A fold
Closed	lebedev.ri	D62662 [DAGCombine] ((A-c1)+c2) -> (A+(c2-c1)) constant-fold
Closed	lebedev.ri	D62661 [DAGCombine] Use FoldConstantArithmetic() to perform ((c1-A)+c2) -> (c1+c2)-A fold