The Version table provides details related to the release that this issue/RFE will be addressed.
Unresolved : Release in which this issue/RFE will be addressed. Resolved: Release in which this issue/RFE has been resolved. Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.
A similar transformation from:
(LShiftX (AddX a con0) con1)
to:
(AddX (LShiftX a con1) con0<<con1)
exists already. And I noticed the transformation with SubX that I propose helps long RCE.