https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87984
--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Alexander Monakov from comment #25) > (In reply to Jakub Jelinek from comment #22) > > A function call must be assumed to clobber any call used registers of > > course. > > But calls already do have vops (well, const/pure don't, and I don't think we > > want to change that). > > Yes, and also plain arithmetic that becomes a libcall doesn't have vops. That is something GIMPLE can't figure out though.