660c660
< 0x3: bt_Ev_Gv();
---
> 0x3: Inst::BT(Ev,Gv);
670c670
< 0x3: bts_Ev_Gv();
---
> 0x3: Inst::BTS(Ev,Gv);
694c694
< 0x3: btr_Ev_Gv();
---
> 0x3: Inst::BTR(Ev,Gv);
705,713c705,716
< //0x1: group11_UD2();
< 0x1: Inst::UD2();
< //0x2: group8_Ev_Ib();
< 0x2: decode MODRM_REG {
< 0x4: bt_Ev_Ib();
< 0x5: bts_Ev_Ib();
< 0x6: btr_Ev_Ib();
< 0x7: btc_Ev_Ib();
< default: Inst::UD2();
---
> format Inst {
> //0x1: group11_UD2();
> 0x1: UD2();
> //0x2: group8_Ev_Ib();
> 0x2: decode MODRM_REG {
> 0x4: BT(Ev,Ib);
> 0x5: BTS(Ev,Ib);
> 0x6: BTR(Ev,Ib);
> 0x7: BTC(Ev,Ib);
> default: UD2();
> }
> 0x3: BTC(Ev,Gv);
715d717
< 0x3: btc_Ev_Gv();