Run test with -verify-machineinstrs.