[DAGCombine] ((c1-A)-c2) -> ((c1-c2)-A) constant-fold
ClosedPublic
Actions

			Path	Packages
M			llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp (10 lines)
M			llvm/trunk/test/CodeGen/AArch64/addsub-constant-folding.ll (13 lines)
M			llvm/trunk/test/CodeGen/X86/addsub-constant-folding.ll (37 lines)

Diff	ID	Base	Description	Created	Lint	Unit
Base			Base
Diff 1	202235			May 30 2019, 10:16 AM	★	★
Diff 2	202274	362134	rL362135	May 30 2019, 12:27 PM	★	★

Status	Author	Revision
Changes Planned	lebedev.ri	D62450 [DAGCombine][ARM] x ==/!= c -> (x - c) ==/!= 0 iff '-c' can be folded into the x node.
Closed	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

Diff 202274