4 ms·A Tale of Static Devirtualization Vol. I: The Lift3 points by from 6y agojepler 6y agohmmm .. can you point a superoptimizer at these instruction sequences and have it find the minimal sequence (a single instruction) that implements it?