verify-regops.mir 1.62 KB