Test the LIR ABI

Summary:
LIR has an implicit ABI where some instruction accept some operands in some combination. It's documented loosely through the auto translator layer, by virtue of the string pattern matching.

This diff tests each valid combination of operands for each instruction (including the variants within those combinations like the three different kinds of mem operands).

Reviewed By: alexmalyshev

Differential Revision: D86535075

fbshipit-source-id: 81218addac9326598063a6b17392611412a28dd4

Author: kddnewton