subject:"\[PATCH\] Export value\/mask known bits from CCP."

Re: [PATCH] Export value/mask known bits from CCP.

2023-07-17 Thread Richard Biener via Gcc-patches

On Mon, Jul 17, 2023 at 9:57 AM Aldy Hernandez via Gcc-patches wrote: > > Currently CCP throws away the known 1 bits because VRP and irange have > traditionally only had a way of tracking known 0s (set_nonzero_bits). > With the ability to keep all the known bits in the irange, we can now > save th

[PATCH] Export value/mask known bits from CCP.

2023-07-17 Thread Aldy Hernandez via Gcc-patches

Currently CCP throws away the known 1 bits because VRP and irange have traditionally only had a way of tracking known 0s (set_nonzero_bits). With the ability to keep all the known bits in the irange, we can now save this between passes. OK? gcc/ChangeLog: * tree-ssa-ccp.cc (ccp_finalize)