type id = | Sqrtss| Sqrtsd| Roundss| Roundsd| Pcompare_string of Pcompare_string.t| Vpcompare_string of Pcompare_string.t| Ptestz| Ptestc| Ptestnzc| Vptestz_X| Vptestc_X| Vptestnzc_X| Vptestz_Y| Vptestc_Y| Vptestnzc_Y
type nonrec t = {id : id;instr : instr;
}val mnemonic : t -> stringval equal : t -> t -> bool