<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/147049>147049</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[DAG] foldABSToABD - add value tracking pattern matching
</td>
</tr>
<tr>
<th>Labels</th>
<td>
llvm:SelectionDAG
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
RKSimon
</td>
</tr>
</table>
<pre>
This is currently limited to (ABS (SUB (EXTEND a), (EXTEND b))) style patterns, but we can also fold to ABDS/ABDU is there are sufficient signbits / known zero signbits.
ABDU alive2: https://alive2.llvm.org/ce/z/Aqx5p2
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxUUc2OnDwQfJrm0tqRaX5mOHCAj-U7RMoh7Eq5GtOAswZPbDOb2aePYJNNIlkqqVyq7uqS3utpZS4hqyFrIrmF2bryy6dOL3aNejvcy6dZe9Qe1eYcr8Hc0ehFBx4wWAS6VHW3Q_dc7_D49enxc4MSqAD67y-mP5j9oQ93w3iVIbBb_S7rt4CvjEquKI23OFpz2Fd10wG1Vd087yuEmR2jdIx-G0etNK8B9wS9Dh6BWnxZ7euKb-zsB38CUYGoDg9p9I0JkgrnEK4ekgqoBWrf-ZMxt-Vk3QTUKgZq3_bZ339kV4qGMhmKpJARl_E5i_MkPV-KaC6VuIg8l1SoPOOhONMljYfxkuecqDznLNIlCcrEWaRxEieiOCViFERFQZT0Y9oXkApepDYf0yPt_cZlnJ5FWkRG9mz8URDRLoGk6tiwCtquTfU_EO3NuXL_e-i3yUMqjPbB_zEMOpij412fNcd5q7p7slXd4APKYcCbNBtjcFK96HX6XQ4uMqhZr1O0OVP-e7NJh3nrT8ouQO2x2Ds8XJ39xioAtUcQD9T-ynIr6WcAAAD__zCyw_A">