https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123314
--- Comment #6 from Pengfei Li <pfustc at gcc dot gnu.org> --- (In reply to Andrew Macleod from comment #5) > Created attachment 63415 [details] > possible patch > > This patch won't limit the range you can get from an out-of IL statement. > It'll still process it, it just wont look it up in the on entry cache. Any > values it cannot find will still go to VARYING, but your statement which > isnt in the IL will at least be folded. > ie, something like > v_56 = 6 > it will still calculate [6, 6]. > > If your statement uses an SSA_NAME from within the IL, it'll also still look > up the value of that ssa_name. > > Try this patch and see if it fully works. I’ve tested your patch locally on AArch64 and didn’t see any issues. Your fix looks better. Please go ahead.
