legalize-zext.mir 16 KB