Re: [PATCH 1/2] Implement generic expression evaluator for range_query.

2021-06-03 Thread Andrew MacLeod via Gcc-patches
On 6/3/21 11:39 AM, Aldy Hernandez via Gcc-patches wrote: Andrew had some minor suggestions and cleanups after I posted this. Andrew, is this what you had in mind? Aldy On Sat, May 29, 2021 at 6:06 AM Jeff Law wrote: On 5/27/2021 2:55 AM, Aldy Hernandez via Gcc-patches wrote: Right now, r

Re: [PATCH 1/2] Implement generic expression evaluator for range_query.

2021-06-03 Thread Aldy Hernandez via Gcc-patches
): Add > > argument to get_tree_range. > > * vr-values.c (vr_values::range_of_expr): Same. > > * gimple-range-tests.cc: New file. > Both patches in this series are fine. > > Thanks, > Jeff > From fe8f95d2baf92fc5fa967c5d183c5480f003e15d Mon Sep

Re: [PATCH 1/2] Implement generic expression evaluator for range_query.

2021-05-28 Thread Jeff Law via Gcc-patches
On 5/27/2021 2:55 AM, Aldy Hernandez via Gcc-patches wrote: Right now, range_of_expr only works with constants, SSA names, and pointers. Anything else gets returned as VARYING. This patch adds the capability to deal with arbitrary expressions, inasmuch as these tree codes are implemented in

[PATCH 1/2] Implement generic expression evaluator for range_query.

2021-05-27 Thread Aldy Hernandez via Gcc-patches
Right now, range_of_expr only works with constants, SSA names, and pointers. Anything else gets returned as VARYING. This patch adds the capability to deal with arbitrary expressions, inasmuch as these tree codes are implemented in range-ops.cc. This will give us the ability to ask for the range