https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102989
--- Comment #47 from Jakub Jelinek <jakub at gcc dot gnu.org> --- But then the pass effectively has to do lifetime analysis of the _BitInt(N) for N > 128 etc. SSA_NAMEs and perform the partitioning of those SSA_NAMEs into VAR_DECLs/PARM_DECLs/RESULT_DECLs, so that we don't blow away the local stack; perhaps as you wrote with some local subgraphs turned into a loop which will handle multiple operations together instead of just one operation per loop. Or just use different VAR_DECLs but stick in clobbers where they will be dead and hope out of ssa can merge those. Anyway, more work than I hoped. Though, perhaps it can be also done incrementally, with bare minimum first and improvements later.