On 10/19/22 12:06, Jakub Jelinek wrote:
Oh, how do I know I'm processing an assume function? presumable we could gate the pass on that so its not even invoked on non-assume functions?I have expected (but tell me if that isn't possible) this could be something done in the new pass_assumptions::execute () rather than vrp and you'd create the assume_query there (i.e. just for assume_functions) and then query it solely for ssa_default_def of the parameters and save in SSA_NAME_RANGE_INFO.
Andrew