https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87984
--- Comment #21 from Alexander Monakov <amonakov at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #18) > We could cache a bool in struct function whether the function has any local > hard register vars and just propagate that info during inlining etc. and > just add virtual operand if there are any clobbers and any local register > vars (or with that condition check them). This seems to dismiss comment #17. The clobber may be invisible on GIMPLE due to function calls or just plain arithmetic that is turned to libcalls.