.*:    (7f a8 49 80|80 49 a8 7f)       cmprb   cr7,1,r8,r9
 .*:    (7d e0 01 00|00 01 e0 7d)       setb    r15,cr0
 .*:    (7d fc 01 00|00 01 fc 7d)       setb    r15,cr7
-.*:    (7e 00 01 01|01 01 00 7e)       setbool r16,lt
-.*:    (7e 01 01 01|01 01 01 7e)       setbool r16,gt
-.*:    (7e 02 01 01|01 01 02 7e)       setbool r16,eq
-.*:    (7e 03 01 01|01 01 03 7e)       setbool r16,so
-.*:    (7e 1c 01 01|01 01 1c 7e)       setbool r16,4\*cr7\+lt
-.*:    (7e 1d 01 01|01 01 1d 7e)       setbool r16,4\*cr7\+gt
-.*:    (7e 1e 01 01|01 01 1e 7e)       setbool r16,4\*cr7\+eq
-.*:    (7e 1f 01 01|01 01 1f 7e)       setbool r16,4\*cr7\+so
 .*:    (7f 40 52 1a|1a 52 40 7f)       lxvl    vs26,0,r10
 .*:    (7f 14 52 1b|1b 52 14 7f)       lxvl    vs56,r20,r10
 .*:    (7f 60 5b 1a|1a 5b 60 7f)       stxvl   vs27,0,r11
 .*:    (4c e0 80 04|04 80 e0 4c)       addpcis r7,-32768
 .*:    (4c e0 80 04|04 80 e0 4c)       addpcis r7,-32768
 .*:    (7c 00 02 a4|a4 02 00 7c)       slbsync
+.*:    (7d 40 06 a4|a4 06 40 7d)       slbiag  r10
 .*:    (7d 40 5b a4|a4 5b 40 7d)       slbieg  r10,r11
 .*:    (7c 60 27 26|26 27 60 7c)       slbmfee r3,r4
 .*:    (7c 60 27 26|26 27 60 7c)       slbmfee r3,r4
 .*:    (7c 00 1a 24|24 1a 00 7c)       tlbiel  r3
 .*:    (7c 00 1a 24|24 1a 00 7c)       tlbiel  r3
 .*:    (7c 8f 1a 24|24 1a 8f 7c)       tlbiel  r3,r4,3,1,1
-.*:    (7c 0c 6e 0c|0c 6e 0c 7c)       copy    r12,r13
-.*:    (7c 2c 6e 0c|0c 6e 2c 7c)       copy_first r12,r13
-.*:    (7c 2c 6e 0c|0c 6e 2c 7c)       copy_first r12,r13
-.*:    (7c 0a 5f 0c|0c 5f 0a 7c)       paste   r10,r11
-.*:    (7c 0a 5f 0c|0c 5f 0a 7c)       paste   r10,r11
-.*:    (7c 2a 5f 0d|0d 5f 2a 7c)       paste_last r10,r11
-.*:    (7c 2a 5f 0d|0d 5f 2a 7c)       paste_last r10,r11
-.*:    (7c 00 06 8c|8c 06 00 7c)       cp_abort
+.*:    (7c 2c 6e 0c|0c 6e 2c 7c)       copy    r12,r13
+.*:    (7c 2a 5f 0d|0d 5f 2a 7c)       paste\.  r10,r11
+.*:    (7c 00 06 8c|8c 06 00 7c)       cpabort
 .*:    (7c 00 04 ac|ac 04 00 7c)       hwsync
 .*:    (7c 00 04 ac|ac 04 00 7c)       hwsync
 .*:    (7c 00 04 ac|ac 04 00 7c)       hwsync
 .*:    (7c 20 04 ac|ac 04 20 7c)       lwsync
 .*:    (7c 40 04 ac|ac 04 40 7c)       ptesync
 .*:    (7c 40 04 ac|ac 04 40 7c)       ptesync
-.*:    (7c 07 04 ac|ac 04 07 7c)       sync    0,7
-.*:    (7c 28 04 ac|ac 04 28 7c)       sync    1,8
 .*:    (7e 80 04 cc|cc 04 80 7e)       ldat    r20,0,0
 .*:    (7e 8a e4 cc|cc e4 8a 7e)       ldat    r20,r10,28
 .*:    (7e a0 04 8c|8c 04 a0 7e)       lwat    r21,0,0
 .*:    (7c 00 f6 e4|e4 f6 00 7c)       rmieg   r30
 .*:    (7d 40 7a 6a|6a 7a 40 7d)       ldmx    r10,0,r15
 .*:    (7d 43 7a 6a|6a 7a 43 7d)       ldmx    r10,r3,r15
-.*:    (7d 60 83 6a|6a 83 60 7d)       lwzmx   r11,0,r16
-.*:    (7d 63 83 6a|6a 83 63 7d)       lwzmx   r11,r3,r16
 .*:    (4c 00 02 e4|e4 02 00 4c)       stop
 .*:    (7c 00 00 3c|3c 00 00 7c)       wait    
 .*:    (7c 00 00 3c|3c 00 00 7c)       wait    
 .*:    (7d 6c 69 54|54 69 6c 7d)       addex   r11,r12,r13,0
 .*:    (7d 6c 6b 54|54 6b 6c 7d)       addex   r11,r12,r13,1
 .*:    (7d 6c 6d 54|54 6d 6c 7d)       addex   r11,r12,r13,2
-.*:    (7e b6 b9 55|55 b9 b6 7e)       addex\.  r21,r22,r23,0
-.*:    (7e b6 bb 55|55 bb b6 7e)       addex\.  r21,r22,r23,1
-.*:    (7e b6 bd 55|55 bd b6 7e)       addex\.  r21,r22,r23,2
 .*:    (ff 20 04 8e|8e 04 20 ff)       mffs    f25
 .*:    (ff 20 04 8f|8f 04 20 ff)       mffs\.   f25
 .*:    (ff 41 04 8e|8e 04 41 ff)       mffsce  f26
 .*:    (ff d7 04 8e|8e 04 d7 ff)       mffscrni f30,0
 .*:    (ff d7 1c 8e|8e 1c d7 ff)       mffscrni f30,3
 .*:    (ff f8 04 8e|8e 04 f8 ff)       mffsl   f31
-.*:    (7e 8a 01 76|76 01 8a 7e)       brd     r10,r20
-.*:    (7e ab 01 b6|b6 01 ab 7e)       brh     r11,r21
-.*:    (7e cc 01 36|36 01 cc 7e)       brw     r12,r22
-.*:    (11 6a 63 77|77 63 6a 11)       nandxor r10,r11,r12,r13
-.*:    (12 b4 b5 f6|f6 b5 b4 12)       xor3    r20,r21,r22,r23
-.*:    (11 6a 60 34|34 60 6a 11)       rldixor r10,r11,0,r12
-.*:    (11 6a 66 f4|f4 66 6a 11)       rldixor r10,r11,27,r12
-.*:    (11 6a 67 f5|f5 67 6a 11)       rldixor r10,r11,63,r12
 #pass
 
 {"machhwu.",   XO (4,  12,0,1), XO_MASK,    MULHW,     0,              {RT, RA, RB}},
 {"ps_muls1",   A  (4,  13,0),  AFRB_MASK,   PPCPS,     0,              {FRT, FRA, FRC}},
 {"ps_muls1.",  A  (4,  13,1),  AFRB_MASK,   PPCPS,     0,              {FRT, FRA, FRC}},
-{"rldixor",    VXASH(4,26),    VXASH_MASK,  POWER9,    0,              {RA, RS, SH6, RB}},
 {"ps_madds0",  A  (4,  14,0),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"ps_madds0.", A  (4,  14,1),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"ps_madds1",  A  (4,  15,0),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"ps_msub.",   A  (4,  28,1),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"ps_madd",    A  (4,  29,0),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"ps_madd.",   A  (4,  29,1),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
-{"xor3",       VXA(4,  54),    VXA_MASK,    POWER9,    0,              {RA, RS, RB, RC}},
-{"nandxor",    VXA(4,  55),    VXA_MASK,    POWER9,    0,              {RA, RS, RB, RC}},
 {"vpermr",     VXA(4,  59),    VXA_MASK,    PPCVEC3,   0,              {VD, VA, VB, VC}},
 {"ps_nmsub",   A  (4,  30,0),  A_MASK,      PPCPS,     0,              {FRT, FRA, FRC, FRB}},
 {"vaddeuqm",   VXA(4,  60),    VXA_MASK,    PPCVEC2,   0,              {VD, VA, VB, VC}},
 
 {"dcbfep",     XRT(31,127,0),  XRT_MASK, E500MC|PPCA2, 0,              {RA0, RB}},
 
-{"setb",       VX(31,256),  VXVB_MASK|(3<<16), POWER9, 0,              {RT, BFA}},
-{"setbool",    VX(31,257),  VXVB_MASK,         POWER9, 0,              {RT, BA}},
+{"setb",       X(31,128),      XRB_MASK|(3<<16), POWER9, 0,            {RT, BFA}},
 
 {"wrtee",      X(31,131), XRARB_MASK, PPC403|BOOKE|PPCA2|PPC476, 0,    {RS}},
 
 
 {"prtyw",      X(31,154),    XRB_MASK, POWER6|PPCA2|PPC476, 0,         {RA, RS}},
 
-{"brw",                X(31,155),      XRB_MASK,    POWER9,    0,              {RA, RS}},
-
 {"stdepx",     X(31,157),      X_MASK,   E500MC|PPCA2, 0,              {RS, RA0, RB}},
 
 {"stwepx",     X(31,159),      X_MASK,   E500MC|PPCA2, 0,              {RS, RA0, RB}},
 {"sthfcmx",    APU(31,167,0),  APU_MASK,    PPC405,    0,              {FCRT, RA, RB}},
 
 {"addex",      ZRC(31,170,0),  Z2_MASK,     POWER9,    0,              {RT, RA, RB, CY}},
-{"addex.",     ZRC(31,170,1),  Z2_MASK,     POWER9,    0,              {RT, RA, RB, CY}},
 
 {"msgclrp",    XRTRA(31,174,0,0), XRTRA_MASK, POWER8,  0,              {RB}},
 {"dcbtlse",    X(31,174),      X_MASK,      PPCCHLK,   E500MC,         {CT, RA0, RB}},
 
 {"prtyd",      X(31,186),      XRB_MASK, POWER6|PPCA2, 0,              {RA, RS}},
 
-{"brd",                X(31,187),      XRB_MASK,    POWER9,    0,              {RA, RS}},
-
 {"cmprb",      X(31,192),      XCMP_MASK,   POWER9,    0,              {BF, L, RA, RB}},
 
 {"icblq.",     XRC(31,198,1),  X_MASK,      E6500,     0,              {CT, RA0, RB}},
 {"sleq",       XRC(31,217,0),  X_MASK,      M601,      0,              {RA, RS, RB}},
 {"sleq.",      XRC(31,217,1),  X_MASK,      M601,      0,              {RA, RS, RB}},
 
-{"brh",                X(31,219),      XRB_MASK,    POWER9,    0,              {RA, RS}},
-
 {"stbepx",     X(31,223),      X_MASK,   E500MC|PPCA2, 0,              {RS, RA0, RB}},
 
 {"cmpeqb",     X(31,224),      XCMPL_MASK,  POWER9,    0,              {BF, RA, RB}},
 
 {"mtvsrdd",    X(31,435),      XX1_MASK,    PPCVSX3,   0,              {XT6, RA0, RB}},
 
-{"lwzmx",      X(31,437),      X_MASK,      POWER9,    0,              {RT, RA0, RB}},
-
 {"ecowx",      X(31,438),      X_MASK,      PPC,       E500|TITAN,     {RT, RA0, RB}},
 
 {"sthux",      X(31,439),      X_MASK,      COM,       0,              {RS, RAS, RB}},
 {"hwsync",     XSYNC(31,598,0), 0xffffffff, POWER4,    BOOKE|PPC476,   {0}},
 {"lwsync",     XSYNC(31,598,1), 0xffffffff, PPC,       E500,           {0}},
 {"ptesync",    XSYNC(31,598,2), 0xffffffff, PPC64,     0,              {0}},
-{"sync",       X(31,598),     XSYNCLE_MASK, POWER9|E6500, 0,           {LS, ESYNC}},
-{"sync",       X(31,598),     XSYNC_MASK, PPCCOM, BOOKE|PPC476|POWER9, {LS}},
+{"sync",       X(31,598),     XSYNCLE_MASK, E6500,     0,              {LS, ESYNC}},
+{"sync",       X(31,598),     XSYNC_MASK,   PPCCOM,    BOOKE|PPC476,   {LS}},
 {"msync",      X(31,598),     0xffffffff, BOOKE|PPCA2|PPC476, 0,       {0}},
 {"sync",       X(31,598),     0xffffffff,   BOOKE|PPC476, E6500,       {0}},
 {"lwsync",     X(31,598),     0xffffffff,   E500,      0,              {0}},
 
 {"lvsm",       X(31,773),      X_MASK,      PPCVEC2,   0,              {VD, RA0, RB}},
 
-{"copy_first", XOPL(31,774,1), XRT_MASK,    POWER9,    0,              {RA0, RB}},
-{"copy",       X(31,774),      XLRT_MASK,   POWER9,    0,              {RA0, RB, L}},
+{"copy",       XOPL(31,774,1), XRT_MASK,    POWER9,    0,              {RA0, RB}},
 
 {"stvepxl",    X(31,775),      X_MASK,      PPCVEC2,   0,              {VS, RA0, RB}},
 {"lvlxl",      X(31,775),      X_MASK,      CELL,      0,              {VD, RA0, RB}},
 
 {"lvtlxl",     X(31,837),      X_MASK,      PPCVEC2,   0,              {VD, RA0, RB}},
 
-{"cp_abort",   X(31,838),      XRTRARB_MASK,POWER9,    0,              {0}},
+{"cpabort",    X(31,838),      XRTRARB_MASK,POWER9,    0,              {0}},
 
 {"divo",       XO(31,331,1,0), XO_MASK,     M601,      0,              {RT, RA, RB}},
 {"divo.",      XO(31,331,1,1), XO_MASK,     M601,      0,              {RT, RA, RB}},
 
 {"tlbsrx.",    XRC(31,850,1),  XRT_MASK,    PPCA2,     0,              {RA0, RB}},
 
+{"slbiag",     X(31,850),      XRARB_MASK,  POWER9,    0,              {RS}},
 {"slbmfev",    X(31,851),      XRLA_MASK,   POWER9,    0,              {RT, RB, A_L}},
 {"slbmfev",    X(31,851),      XRA_MASK,    PPC64,     POWER9,         {RT, RB}},
 
 {"extswsli",   XS(31,445,0),   XS_MASK,     POWER9,    0,              {RA, RS, SH6}},
 {"extswsli.",  XS(31,445,1),   XS_MASK,     POWER9,    0,              {RA, RS, SH6}},
 
-{"paste",      XRC(31,902,0),  XLRT_MASK,   POWER9,    0,              {RA0, RB, L0}},
-{"paste_last", XRCL(31,902,1,1),XRT_MASK,   POWER9,    0,              {RA0, RB}},
-{"paste.",     XRC(31,902,1),  XLRT_MASK,   POWER9,    0,              {RA0, RB, L1}},
+{"paste.",     XRCL(31,902,1,1),XRT_MASK,   POWER9,    0,              {RA0, RB}},
 
 {"stvlxl",     X(31,903),      X_MASK,      CELL,      0,              {VS, RA0, RB}},
 {"stdfcmux",   APU(31,903,0),  APU_MASK,    PPC405,    0,              {FCRT, RA, RB}},