[COMMITTED 3/7] Add relational support to fold_using_range

Andrew MacLeod amacleod@redhat.com
Tue Jun 22 13:18:14 GMT 2021


This patch get the ball rolling by adding relation support to 
fold_using_ranges. This enables relations to be set and queried by 
ranger, and the results applied to any ranges being calculated.

At this point, any further additions to range-ops will be reflected in 
relational processing.  Currently only range-ops enabled opcodes are 
being handled, but the design of fold_using_range and gori_computes is 
such that we can now add relation processing to builtins or any other 
kind of statement easily.   That will be follow on work.

With this patch we can finally fold useless relations away.

I've tried to be efficient, and the current overhead is less than 1% of 
compile time in EVRP.

Bootstraps on x86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-Add-relational-support-to-fold_using_range.patch
Type: text/x-patch
Size: 22031 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210622/50c856eb/attachment.bin>


More information about the Gcc-patches mailing list