On 7/28/21 8:51 AM, Aldy Hernandez via Gcc-patches wrote:
On 7/28/21 4:32 PM, Jeff Law wrote:
...
diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 863f1256811..0e205a41ac3 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -223,6 +223,11 @@ gimple-match.o-warn = -Wno-unused
generic-m
On 7/28/21 4:32 PM, Jeff Law wrote:
On 7/15/2021 8:57 AM, Aldy Hernandez wrote:
As mentioned in my previous email, these are some minor changes to the
previous revision. All I'm changing here is the call into the solver
to use range_of_expr and range_of_stmt. Everything else remains the
s
On 7/15/2021 8:57 AM, Aldy Hernandez wrote:
As mentioned in my previous email, these are some minor changes to the
previous revision. All I'm changing here is the call into the solver
to use range_of_expr and range_of_stmt. Everything else remains the
same.
Tested on x86-64 Linux.
On Mon,
PING * 2
BTW, this is also needed for:
a) evrp_range_analyzer removal from DOM threader (I have follow-up patches).
b) VRP replacement with evrp along with VRP threader removal (I also
have patches).
Thanks.
Aldy
On Thu, Jul 15, 2021 at 4:57 PM Aldy Hernandez wrote:
>
> As mentioned in my pr
As mentioned in my previous email, these are some minor changes to the
previous revision. All I'm changing here is the call into the solver
to use range_of_expr and range_of_stmt. Everything else remains the
same.
Tested on x86-64 Linux.
On Mon, Jul 5, 2021 at 5:39 PM Aldy Hernandez wrote:
>
>
PING.
Aldy
This is a rewrite of the backwards threader with a ranger based solver.
The code is divided into two parts: the path solver in
tree-ssa-path-solver.*, and the path discovery in
tree-ssa-threadbackward.c.
The legacy code is still available with --param=threader-mode=legacy,
but will be removed sho
