This appears to be a super-optimizer (https://en.wikipedia.org/wiki/Superoptimization) implementation, one of the smaller ones I have seen. Very cool!