Re: [PATCH] Add ability to use full resolving path solver in the backward threader.

2021-10-14 Thread Jeff Law via Gcc-patches
On 10/14/2021 9:13 AM, Aldy Hernandez wrote: The path solver runs in two modes: a quick mode which assumes any unknown SSA names are VARYING, and a fully resolving mode using the ranger. The backward threader currently uses the quick mode, because the fully resolving mode was not available in

[PATCH] Add ability to use full resolving path solver in the backward threader.

2021-10-14 Thread Aldy Hernandez via Gcc-patches
The path solver runs in two modes: a quick mode which assumes any unknown SSA names are VARYING, and a fully resolving mode using the ranger. The backward threader currently uses the quick mode, because the fully resolving mode was not available initially. Since we now have the ability in the sol