[AArch64] Revive optimize add/sub with immediate through MIPeepholeOpt
authorMicah Weston <micahsweston@gmail.com>
Mon, 17 Jan 2022 17:17:15 +0000 (17:17 +0000)
committerDavid Green <david.green@arm.com>
Mon, 17 Jan 2022 17:17:15 +0000 (17:17 +0000)
commite6698f09929a134bf0f46d9347142b86d8f636a2
treead5094cd5c153539a807b987fca564670c775612
parente76ecbb0f36441b2d84908f907369b6dcfc26163
[AArch64] Revive optimize add/sub with immediate through MIPeepholeOpt

Fixes the build issue with D111034, whose goal was to optimize
add/sub with long immediates.

Optimize ([add|sub] r, imm) -> ([ADD|SUB] ([ADD|SUB] r, #imm0, lsl #12), #imm1),
if imm == (imm0<<12)+imm1. and both imm0 and imm1 are non-zero 12-bit unsigned
integers.

Optimize ([add|sub] r, imm) -> ([SUB|ADD] ([SUB|ADD] r, #imm0, lsl #12), #imm1),
if imm == -(imm0<<12)-imm1, and both imm0 and imm1 are non-zero 12-bit unsigned
integers.

The change which fixed the build issue in D111034 was the use of new virtual
registers so that SSA form is maintained until deleting MI.

Differential Revision: https://reviews.llvm.org/D117429
llvm/lib/Target/AArch64/AArch64MIPeepholeOpt.cpp
llvm/test/CodeGen/AArch64/addsub.ll
llvm/test/Transforms/CodeGenPrepare/AArch64/large-offset-gep.ll