Commit ed3f33f9 authored by Stefan Pintile's avatar Stefan Pintile Committed by Tom Stellard
Browse files

[PowerPC] Implementing overflow version for XO-Form instructions 

The Overflow version of XO-Form instruction uses the SO, OV and
OV32 special registers.

This changes modifies existing multiclasses and instruction
definitions to allow for the use of the XER register to record
the various types if overflow from possible add, subtract and
multiply instructions. It then modifies the existing instructions
as to use these multiclasses as needed.

Patch By: Kamau Bridgeman

Differential Revision: https://reviews.llvm.org/D66902

(cherry picked from commit fdf3d176)
parent 0a64fe56

llvm/lib/Target/PowerPC/P9InstrResources.td

+28 −14
Original line number Diff line number Diff line
@@ -128,14 +128,14 @@ def : InstRW<[P9_ALU_2C, IP_EXEC_1C, DISP_1C], 
    (instregex "MTVSRW(A|Z)$"),

    (instregex "CMP(WI|LWI|W|LW)(8)?$"),

    (instregex "CMP(L)?D(I)?$"),

    (instregex "SUBF(I)?C(8)?$"),

    (instregex "SUBF(I)?C(8)?(O)?$"),

    (instregex "ANDI(S)?o(8)?$"),

    (instregex "ADDC(8)?$"),

    (instregex "ADDC(8)?(O)?$"),

    (instregex "ADDIC(8)?(o)?$"),

    (instregex "ADD(8|4)(o)?$"),

    (instregex "ADD(E|ME|ZE)(8)?(o)?$"),

    (instregex "SUBF(E|ME|ZE)?(8)?(o)?$"),

    (instregex "NEG(8)?(o)?$"),

    (instregex "ADD(8|4)(O)?(o)?$"),

    (instregex "ADD(E|ME|ZE)(8)?(O)?(o)?$"),

    (instregex "SUBF(E|ME|ZE)?(8)?(O)?(o)?$"),

    (instregex "NEG(8)?(O)?(o)?$"),

    (instregex "POPCNTB$"),

    (instregex "ADD(I|IS)?(8)?$"),

    (instregex "LI(S)?(8)?$"),
@@ -147,7 +147,7 @@ def : InstRW<[P9_ALU_2C, IP_EXEC_1C, DISP_1C], 
    (instregex "EQV(8)?(o)?$"),

    (instregex "EXTS(B|H|W)(8)?(_32)?(_64)?(o)?$"),

    (instregex "ADD(4|8)(TLS)?(_)?$"),

    (instregex "NEG(8)?$"),

    (instregex "NEG(8)?(O)?$"),

    (instregex "ADDI(S)?toc(HA|L)$"),

    COPY,

    MCRF,
@@ -397,7 +397,7 @@ def : InstRW<[P9_DPE_7C, P9_DPO_7C, IP_EXECE_1C, IP_EXECO_1C, DISP_1C], 
def : InstRW<[P9_DP_5C, IP_EXEC_1C, DISP_3SLOTS_1C],

      (instrs

    (instregex "MADD(HD|HDU|LD|LD8)$"),

    (instregex "MUL(HD|HW|LD|LI|LI8|LW)(U)?$")

    (instregex "MUL(HD|HW|LD|LI|LI8|LW)(U)?(O)?$")

)>;



// 7 cycle Restricted DP operation. One DP unit, one EXEC pipeline and all three
@@ -456,7 +456,7 @@ def : InstRW<[P9_DP_7C, P9_ALU_3C, IP_EXEC_1C, IP_EXEC_1C, 
def : InstRW<[P9_DPOpAndALUOp_7C, IP_EXEC_1C, IP_EXEC_1C,

              DISP_3SLOTS_1C, DISP_1C],

      (instrs

    (instregex "MUL(H|L)(D|W)(U)?o$")

    (instregex "MUL(H|L)(D|W)(U)?(O)?o$")

)>;



// 7 cycle Restricted DP operation and one 3 cycle ALU operation.
@@ -944,7 +944,9 @@ def : InstRW<[P9_DIV_12C, IP_EXECE_1C, IP_EXECO_1C, DISP_EVEN_1C], 
def : InstRW<[P9_DIV_16C_8, IP_EXECO_1C, IP_EXECE_1C, DISP_EVEN_1C],

      (instrs

    DIVW,

    DIVWO,

    DIVWU,

    DIVWUO,

    MODSW

)>;
@@ -954,9 +956,13 @@ def : InstRW<[P9_DIV_16C_8, IP_EXECO_1C, IP_EXECE_1C, DISP_EVEN_1C], 
def : InstRW<[P9_DIV_24C_8, IP_EXECO_1C, IP_EXECE_1C, DISP_EVEN_1C],

      (instrs

    DIVWE,

    DIVWEO,

    DIVD,

    DIVDO,

    DIVWEU,

    DIVWEUO,

    DIVDU,

    DIVDUO,

    MODSD,

    MODUD,

    MODUW
@@ -968,7 +974,9 @@ def : InstRW<[P9_DIV_24C_8, IP_EXECO_1C, IP_EXECE_1C, DISP_EVEN_1C], 
def : InstRW<[P9_DIV_40C_8, IP_EXECO_1C, IP_EXECE_1C, DISP_EVEN_1C],

      (instrs

    DIVDE,

    DIVDEU

    DIVDEO,

    DIVDEU,

    DIVDEUO

)>;



// Cracked DIV and ALU operation. Requires one full slice for the ALU operation
@@ -987,9 +995,13 @@ def : InstRW<[P9_IntDivAndALUOp_26C_8, IP_EXECE_1C, IP_EXECO_1C, IP_EXEC_1C, 
              DISP_EVEN_1C, DISP_1C],

      (instrs

    DIVDo,

    DIVDOo,

    DIVDUo,

    DIVDUOo,

    DIVWEo,

    DIVWEUo

    DIVWEOo,

    DIVWEUo,

    DIVWEUOo

)>;



// Cracked DIV and ALU operation. Requires one full slice for the ALU operation
@@ -999,7 +1011,9 @@ def : InstRW<[P9_IntDivAndALUOp_42C_8, IP_EXECE_1C, IP_EXECO_1C, IP_EXEC_1C, 
              DISP_EVEN_1C, DISP_1C],

      (instrs

    DIVDEo,

    DIVDEUo

    DIVDEOo,

    DIVDEUo,

    DIVDEUOo

)>;



// CR access instructions in _BrMCR, IIC_BrMCRX.
@@ -1024,8 +1038,8 @@ def : InstRW<[P9_ALU_2C, P9_ALU_2C, IP_EXEC_1C, IP_EXEC_1C, 
def : InstRW<[P9_ALU_2C, P9_ALU_2C, IP_EXEC_1C, IP_EXEC_1C,

              DISP_1C, DISP_1C],

      (instrs

    (instregex "ADDC(8)?o$"),

    (instregex "SUBFC(8)?o$")

    (instregex "ADDC(8)?(O)?o$"),

    (instregex "SUBFC(8)?(O)?o$")

)>;



// Cracked ALU operations.

llvm/lib/Target/PowerPC/PPCInstr64Bit.td

+17 −27
Original line number Diff line number Diff line
@@ -497,7 +497,7 @@ def XORIS8 : DForm_4<27, (outs g8rc:$dst), (ins g8rc:$src1, u16imm64:$src2), 
                   [(set i64:$dst, (xor i64:$src1, imm16ShiftedZExt:$src2))]>;



let isCommutable = 1 in

defm ADD8  : XOForm_1r<31, 266, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

defm ADD8  : XOForm_1rx<31, 266, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                        "add", "$rT, $rA, $rB", IIC_IntSimple,

                        [(set i64:$rT, (add i64:$rA, i64:$rB))]>;

// ADD8 has a special form: reg = ADD8(reg, sym@tls) for use by the
@@ -576,7 +576,7 @@ defm SUBFC8 : XOForm_1rc<31, 8, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB), 
                        "subfc", "$rT, $rA, $rB", IIC_IntGeneral,

                        [(set i64:$rT, (subc i64:$rB, i64:$rA))]>,

                        PPC970_DGroup_Cracked;

defm SUBF8 : XOForm_1r<31, 40, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

defm SUBF8 : XOForm_1rx<31, 40, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                        "subf", "$rT, $rA, $rB", IIC_IntGeneral,

                        [(set i64:$rT, (sub i64:$rB, i64:$rA))]>;

defm NEG8    : XOForm_3r<31, 104, 0, (outs g8rc:$rT), (ins g8rc:$rA),
@@ -777,8 +777,8 @@ defm DIVD : XOForm_1rcr<31, 489, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB), 
defm DIVDU : XOForm_1rcr<31, 457, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                          "divdu", "$rT, $rA, $rB", IIC_IntDivD,

                          [(set i64:$rT, (udiv i64:$rA, i64:$rB))]>, isPPC64;

def DIVDE : XOForm_1<31, 425, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                     "divde $rT, $rA, $rB", IIC_IntDivD,

defm DIVDE : XOForm_1rcr<31, 425, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                         "divde", "$rT, $rA, $rB", IIC_IntDivD,

                         [(set i64:$rT, (int_ppc_divde g8rc:$rA, g8rc:$rB))]>,

                         isPPC64, Requires<[HasExtDiv]>;
@@ -815,22 +815,12 @@ def MODUD : XForm_8<31, 265, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB), 
                        [(set i64:$rT, (urem i64:$rA, i64:$rB))]>;

}



let Defs = [CR0] in

def DIVDEo : XOForm_1<31, 425, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                      "divde. $rT, $rA, $rB", IIC_IntDivD,

                      []>, isDOT, PPC970_DGroup_Cracked, PPC970_DGroup_First,

                      isPPC64, Requires<[HasExtDiv]>;

def DIVDEU : XOForm_1<31, 393, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                      "divdeu $rT, $rA, $rB", IIC_IntDivD,

defm DIVDEU : XOForm_1rcr<31, 393, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                          "divdeu", "$rT, $rA, $rB", IIC_IntDivD,

                          [(set i64:$rT, (int_ppc_divdeu g8rc:$rA, g8rc:$rB))]>,

                          isPPC64, Requires<[HasExtDiv]>;

let Defs = [CR0] in

def DIVDEUo : XOForm_1<31, 393, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                       "divdeu. $rT, $rA, $rB", IIC_IntDivD,

                       []>, isDOT, PPC970_DGroup_Cracked, PPC970_DGroup_First,

                        isPPC64, Requires<[HasExtDiv]>;

let isCommutable = 1 in

defm MULLD : XOForm_1r<31, 233, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

defm MULLD : XOForm_1rx<31, 233, 0, (outs g8rc:$rT), (ins g8rc:$rA, g8rc:$rB),

                        "mulld", "$rT, $rA, $rB", IIC_IntMulHD,

                        [(set i64:$rT, (mul i64:$rA, i64:$rB))]>, isPPC64;

let Interpretation64Bit = 1, isCodeGenOnly = 1 in

llvm/lib/Target/PowerPC/PPCInstrInfo.td

+83 −27
Original line number Diff line number Diff line
@@ -1023,6 +1023,32 @@ multiclass XOForm_1r<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, 
  }

}



// Multiclass for instructions which have a record overflow form as well

// as a record form but no carry (i.e. mulld, mulldo, subf, subfo, etc.)

multiclass XOForm_1rx<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL,

                      string asmbase, string asmstr, InstrItinClass itin,

                      list<dag> pattern> {

  let BaseName = asmbase in {

    def NAME : XOForm_1<opcode, xo, 0, OOL, IOL,

                        !strconcat(asmbase, !strconcat(" ", asmstr)), itin,

                        pattern>, RecFormRel;

    let Defs = [CR0] in

    def o    : XOForm_1<opcode, xo, 0, OOL, IOL,

                        !strconcat(asmbase, !strconcat(". ", asmstr)), itin,

                        []>, isDOT, RecFormRel;

  }

  let BaseName = !strconcat(asmbase, "O") in {

    let Defs = [XER] in

    def O    : XOForm_1<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o ", asmstr)), itin,

                        []>, RecFormRel;

    let Defs = [XER, CR0] in

    def Oo    : XOForm_1<opcode, xo, 1, OOL, IOL,

                         !strconcat(asmbase, !strconcat("o. ", asmstr)), itin,

                         []>, isDOT, RecFormRel;

  }

}



// Multiclass for instructions for which the non record form is not cracked

// and the record form is cracked (i.e. divw, mullw, etc.)

multiclass XOForm_1rcr<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL,
@@ -1038,6 +1064,16 @@ multiclass XOForm_1rcr<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, 
                       []>, isDOT, RecFormRel, PPC970_DGroup_First,

                       PPC970_DGroup_Cracked;

  }

  let BaseName = !strconcat(asmbase, "O") in {

    let Defs = [XER] in

    def O    : XOForm_1<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o ", asmstr)), itin,

                        []>, RecFormRel;

    let Defs = [XER, CR0] in

    def Oo   : XOForm_1<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o. ", asmstr)), itin,

                        []>, isDOT, RecFormRel;

  }

}



multiclass XOForm_1rc<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL,
@@ -1053,6 +1089,16 @@ multiclass XOForm_1rc<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, 
                       !strconcat(asmbase, !strconcat(". ", asmstr)), itin,

                       []>, isDOT, RecFormRel;

  }

  let BaseName = !strconcat(asmbase, "O") in {

    let Defs = [CARRY, XER] in

    def O    : XOForm_1<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o ", asmstr)), itin,

                        []>, RecFormRel;

    let Defs = [CARRY, XER, CR0] in

    def Oo   : XOForm_1<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o. ", asmstr)), itin,

                        []>, isDOT, RecFormRel;

  }

}



multiclass XOForm_3r<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL,
@@ -1067,6 +1113,16 @@ multiclass XOForm_3r<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, 
                       !strconcat(asmbase, !strconcat(". ", asmstr)), itin,

                       []>, isDOT, RecFormRel;

  }

  let BaseName = !strconcat(asmbase, "O") in {

    let Defs = [XER] in

    def O    : XOForm_3<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o ", asmstr)), itin,

                        []>, RecFormRel;

    let Defs = [XER, CR0] in

    def Oo   : XOForm_3<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o. ", asmstr)), itin,

                        []>, isDOT, RecFormRel;

  }

}



multiclass XOForm_3rc<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL,
@@ -1082,6 +1138,16 @@ multiclass XOForm_3rc<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, 
                       !strconcat(asmbase, !strconcat(". ", asmstr)), itin,

                       []>, isDOT, RecFormRel;

  }

  let BaseName = !strconcat(asmbase, "O") in {

    let Defs = [CARRY, XER] in

    def O    : XOForm_3<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o ", asmstr)), itin,

                        []>, RecFormRel;

    let Defs = [CARRY, XER, CR0] in

    def Oo   : XOForm_3<opcode, xo, 1, OOL, IOL,

                        !strconcat(asmbase, !strconcat("o. ", asmstr)), itin,

                        []>, isDOT, RecFormRel;

  }

}



multiclass MForm_2r<bits<6> opcode, dag OOL, dag IOL,
@@ -2776,7 +2842,7 @@ def MODUW : XForm_8<31, 267, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB), 
let PPC970_Unit = 1, hasSideEffects = 0 in {  // FXU Operations.

// XO-Form instructions.  Arithmetic instructions that can set overflow bit

let isCommutable = 1 in

defm ADD4  : XOForm_1r<31, 266, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

defm ADD4  : XOForm_1rx<31, 266, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                        "add", "$rT, $rA, $rB", IIC_IntSimple,

                        [(set i32:$rT, (add i32:$rA, i32:$rB))]>;

let isCodeGenOnly = 1 in
@@ -2795,24 +2861,14 @@ defm DIVW : XOForm_1rcr<31, 491, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB), 
defm DIVWU : XOForm_1rcr<31, 459, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                          "divwu", "$rT, $rA, $rB", IIC_IntDivW,

                          [(set i32:$rT, (udiv i32:$rA, i32:$rB))]>;

def DIVWE : XOForm_1<31, 427, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                     "divwe $rT, $rA, $rB", IIC_IntDivW,

defm DIVWE : XOForm_1rcr<31, 427, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                         "divwe", "$rT, $rA, $rB", IIC_IntDivW,

                         [(set i32:$rT, (int_ppc_divwe gprc:$rA, gprc:$rB))]>,

                         Requires<[HasExtDiv]>;

let Defs = [CR0] in

def DIVWEo : XOForm_1<31, 427, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                      "divwe. $rT, $rA, $rB", IIC_IntDivW,

                      []>, isDOT, PPC970_DGroup_Cracked, PPC970_DGroup_First,

                      Requires<[HasExtDiv]>;

def DIVWEU : XOForm_1<31, 395, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                      "divweu $rT, $rA, $rB", IIC_IntDivW,

defm DIVWEU : XOForm_1rcr<31, 395, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                          "divweu", "$rT, $rA, $rB", IIC_IntDivW,

                          [(set i32:$rT, (int_ppc_divweu gprc:$rA, gprc:$rB))]>,

                          Requires<[HasExtDiv]>;

let Defs = [CR0] in

def DIVWEUo : XOForm_1<31, 395, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                       "divweu. $rT, $rA, $rB", IIC_IntDivW,

                       []>, isDOT, PPC970_DGroup_Cracked, PPC970_DGroup_First,

                       Requires<[HasExtDiv]>;

let isCommutable = 1 in {

defm MULHW : XOForm_1r<31, 75, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                       "mulhw", "$rT, $rA, $rB", IIC_IntMulHW,
@@ -2820,11 +2876,11 @@ defm MULHW : XOForm_1r<31, 75, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB), 
defm MULHWU : XOForm_1r<31, 11, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                       "mulhwu", "$rT, $rA, $rB", IIC_IntMulHWU,

                       [(set i32:$rT, (mulhu i32:$rA, i32:$rB))]>;

defm MULLW : XOForm_1r<31, 235, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

defm MULLW : XOForm_1rx<31, 235, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                        "mullw", "$rT, $rA, $rB", IIC_IntMulHW,

                        [(set i32:$rT, (mul i32:$rA, i32:$rB))]>;

} // isCommutable

defm SUBF  : XOForm_1r<31, 40, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

defm SUBF  : XOForm_1rx<31, 40, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

                        "subf", "$rT, $rA, $rB", IIC_IntGeneral,

                        [(set i32:$rT, (sub i32:$rB, i32:$rA))]>;

defm SUBFC : XOForm_1rc<31, 8, 0, (outs gprc:$rT), (ins gprc:$rA, gprc:$rB),

llvm/test/MC/Disassembler/PowerPC/ppc64-encoding.txt

+126 −0
Original line number Diff line number Diff line
@@ -238,12 +238,24 @@ 
# CHECK: add. 2, 3, 4                    

0x7c 0x43 0x22 0x15



# CHECK: addo 2, 3, 4

0x7c 0x43 0x26 0x14



# CHECK: addo. 2, 3, 4

0x7c 0x43 0x26 0x15



# CHECK: subf 2, 3, 4                    

0x7c 0x43 0x20 0x50



# CHECK: subf. 2, 3, 4                   

0x7c 0x43 0x20 0x51



# CHECK: subfo 2, 3, 4

0x7c 0x43 0x24 0x50



# CHECK: subfo. 2, 3, 4

0x7c 0x43 0x24 0x51



# CHECK: addic 2, 3, 128                 

0x30 0x43 0x00 0x80
@@ -259,54 +271,108 @@ 
# CHECK: addc. 2, 3, 4                   

0x7c 0x43 0x20 0x15



# CHECK: addco 2, 3, 4

0x7c 0x43 0x24 0x14



# CHECK: addco. 2, 3, 4

0x7c 0x43 0x24 0x15



# CHECK: subfc 2, 3, 4                   

0x7c 0x43 0x20 0x10



# CHECK: subfc 2, 3, 4                   

0x7c 0x43 0x20 0x10



# CHECK: subfco 2, 3, 4

0x7c 0x43 0x24 0x10



# CHECK: subfco. 2, 3, 4

0x7c 0x43 0x24 0x11



# CHECK: adde 2, 3, 4                    

0x7c 0x43 0x21 0x14



# CHECK: adde. 2, 3, 4                   

0x7c 0x43 0x21 0x15



# CHECK: addeo 2, 3, 4

0x7c 0x43 0x25 0x14



# CHECK: addeo. 2, 3, 4

0x7c 0x43 0x25 0x15



# CHECK: subfe 2, 3, 4                   

0x7c 0x43 0x21 0x10



# CHECK: subfe. 2, 3, 4                  

0x7c 0x43 0x21 0x11



# CHECK: subfeo 2, 3, 4

0x7c 0x43 0x25 0x10



# CHECKE: subfeo. 2, 3, 4

0x7c 0x43 0x25 0x11



# CHECK: addme 2, 3                      

0x7c 0x43 0x01 0xd4



# CHECK: addme. 2, 3                     

0x7c 0x43 0x01 0xd5



# CHECK: addmeo 2, 3

0x7c 0x43 0x05 0xd4



# CHECK: addmeo. 2, 3

0x7c 0x43 0x05 0xd5



# CHECK: subfme 2, 3                     

0x7c 0x43 0x01 0xd0



# CHECK: subfme. 2, 3                    

0x7c 0x43 0x01 0xd1



# CHECK: subfmeo 2, 3

0x7c 0x43 0x05 0xd0



# CHECK: subfmeo. 2, 3

0x7c 0x43 0x05 0xd1



# CHECK: addze 2, 3                      

0x7c 0x43 0x01 0x94



# CHECK: addze. 2, 3                     

0x7c 0x43 0x01 0x95



# CHECK: addzeo 2, 3

0x7c 0x43 0x05 0x94



# CHECK: addzeo. 2, 3

0x7c 0x43 0x05 0x95



# CHECK: subfze 2, 3                     

0x7c 0x43 0x01 0x90



# CHECK: subfze. 2, 3                    

0x7c 0x43 0x01 0x91



# CHECK: subfzeo 2, 3

0x7c 0x43 0x05 0x90



# CHECK: subfzeo. 2, 3

0x7c 0x43 0x05 0x91



# CHECK: neg 2, 3                        

0x7c 0x43 0x00 0xd0



# CHECK: neg. 2, 3                       

0x7c 0x43 0x00 0xd1



# CHECK: nego 2, 3

0x7c 0x43 0x04 0xd0



# CHECK: nego. 2, 3

0x7c 0x43 0x04 0xd1



# CHECK: mulli 2, 3, 128                 

0x1c 0x43 0x00 0x80
@@ -322,6 +388,12 @@ 
# CHECK: mullw. 2, 3, 4                  

0x7c 0x43 0x21 0xd7



# CHECK: mullwo 2, 3, 4

0x7c 0x43 0x25 0xd6



# CHECK: mullwo. 2, 3, 4

0x7c 0x43 0x25 0xd7



# CHECK: mulhwu 2, 3, 4                  

0x7c 0x43 0x20 0x16
@@ -355,24 +427,48 @@ 
# CHECK: divw. 2, 3, 4                   

0x7c 0x43 0x23 0xd7



# CHECK: divwo 2, 3, 4

0x7c 0x43 0x27 0xd6



# CHECK: divwo. 2, 3, 4

0x7c 0x43 0x27 0xd7



# CHECK: divwu 2, 3, 4                   

0x7c 0x43 0x23 0x96



# CHECK: divwu. 2, 3, 4                  

0x7c 0x43 0x23 0x97



# CHECK: divwuo 2, 3, 4

0x7c 0x43 0x27 0x96



# CHECK: divwuo. 2, 3, 4

0x7c 0x43 0x27 0x97



# CHECK: divwe 2, 3, 4

0x7c 0x43 0x23 0x56



# CHECK: divwe. 2, 3, 4

0x7c 0x43 0x23 0x57



# CHECK: divweo 2, 3, 4

0x7c 0x43 0x27 0x56



# CHECK: divweo. 2, 3, 4

0x7c 0x43 0x27 0x57



# CHECK: divweu 2, 3, 4

0x7c 0x43 0x23 0x16



# CHECK: divweu. 2, 3, 4

0x7c 0x43 0x23 0x17



# CHECK: divweuo 2, 3, 4

0x7c 0x43 0x27 0x16



# CHECK: divweuo. 2, 3, 4

0x7c 0x43 0x27 0x17



# CHECK: modsw 2, 3, 4

0x7c 0x43 0x26 0x16
@@ -391,6 +487,12 @@ 
# CHECK: mulld. 2, 3, 4                  

0x7c 0x43 0x21 0xd3



# CHECK: mulldo 2, 3, 4

0x7c 0x43 0x25 0xd2



# CHECK: mulldo. 2, 3, 4

0x7c 0x43 0x25 0xd3



# CHECK: mulhd 2, 3, 4                   

0x7c 0x43 0x20 0x92
@@ -409,24 +511,48 @@ 
# CHECK: divd. 2, 3, 4                   

0x7c 0x43 0x23 0xd3



# CHECK: divdo 2, 3, 4

0x7c 0x43 0x27 0xd2



# CHECK: divdo. 2, 3, 4

0x7c 0x43 0x27 0xd3



# CHECK: divdu 2, 3, 4                   

0x7c 0x43 0x23 0x92



# CHECK: divdu. 2, 3, 4                  

0x7c 0x43 0x23 0x93



# CHECK: divduo 2, 3, 4

0x7c 0x43 0x27 0x92



# CHECK: divduo. 2, 3, 4

0x7c 0x43 0x27 0x93



# CHECK: divde 2, 3, 4

0x7c 0x43 0x23 0x52



# CHECK: divde. 2, 3, 4

0x7c 0x43 0x23 0x53



# CHECK: divdeo 2, 3, 4

0x7c 0x43 0x27 0x52



# CHECK: divdeo. 2, 3, 4

0x7c 0x43 0x27 0x53



# CHECK: divdeu 2, 3, 4

0x7c 0x43 0x23 0x12



# CHECK: divdeu. 2, 3, 4

0x7c 0x43 0x23 0x13



# CHECK: divdeuo 2, 3, 4

0x7c 0x43 0x27 0x12



# CHECK: divdeuo. 2, 3, 4

0x7c 0x43 0x27 0x13



# CHECK: cmpdi 2, 3, 128                 

0x2d 0x23 0x00 0x80

llvm/test/MC/Disassembler/PowerPC/ppc64le-encoding.txt

+126 −0
Original line number Diff line number Diff line
@@ -235,12 +235,24 @@ 
# CHECK: add. 2, 3, 4

0x15 0x22 0x43 0x7c



# CHECK: addo 2, 3, 4

0x14 0x26 0x43 0x7c



# CHECK: addo. 2, 3, 4

0x15 0x26 0x43 0x7c



# CHECK: subf 2, 3, 4

0x50 0x20 0x43 0x7c



# CHECK: subf. 2, 3, 4

0x51 0x20 0x43 0x7c



# CHECK: subfo 2, 3, 4

0x50 0x24 0x43 0x7c



# CHECK: subfo. 2, 3, 4

0x51 0x24 0x43 0x7c



# CHECK: addic 2, 3, 128

0x80 0x00 0x43 0x30
@@ -256,54 +268,108 @@ 
# CHECK: addc. 2, 3, 4

0x15 0x20 0x43 0x7c



# CHECK: addco 2, 3, 4

0x14 0x24 0x43 0x7c



# CHECK: addco. 2, 3, 4

0x15 0x24 0x43 0x7c



# CHECK: subfc 2, 3, 4

0x10 0x20 0x43 0x7c



# CHECK: subfc 2, 3, 4

0x10 0x20 0x43 0x7c



# CHECK: subfco 2, 3, 4

0x10 0x24 0x43 0x7c



# CHECK: subfco. 2, 3, 4

0x11 0x24 0x43 0x7c



# CHECK: adde 2, 3, 4

0x14 0x21 0x43 0x7c



# CHECK: adde. 2, 3, 4

0x15 0x21 0x43 0x7c



# CHECK: addeo 2, 3, 4

0x14 0x25 0x43 0x7c



# CHECK: addeo. 2, 3, 4

0x15 0x25 0x43 0x7c



# CHECK: subfe 2, 3, 4

0x10 0x21 0x43 0x7c



# CHECK: subfe. 2, 3, 4

0x11 0x21 0x43 0x7c



# CHECK: subfeo 2, 3, 4

0x10 0x25 0x43 0x7c



# CHECKE: subfeo. 2, 3, 4

0x11 0x25 0x43 0x7c



# CHECK: addme 2, 3

0xd4 0x01 0x43 0x7c



# CHECK: addme. 2, 3

0xd5 0x01 0x43 0x7c



# CHECK: addmeo 2, 3

0xd4 0x05 0x43 0x7c



# CHECK: addmeo. 2, 3

0xd5 0x05 0x43 0x7c



# CHECK: subfme 2, 3

0xd0 0x01 0x43 0x7c



# CHECK: subfme. 2, 3

0xd1 0x01 0x43 0x7c



# CHECK: subfmeo 2, 3

0xd0 0x05 0x43 0x7c



# CHECK: subfmeo. 2, 3

0xd1 0x05 0x43 0x7c



# CHECK: addze 2, 3

0x94 0x01 0x43 0x7c



# CHECK: addze. 2, 3

0x95 0x01 0x43 0x7c



# CHECK: addzeo 2, 3

0x94 0x05 0x43 0x7c



# CHECK: addzeo. 2, 3

0x95 0x05 0x43 0x7c



# CHECK: subfze 2, 3

0x90 0x01 0x43 0x7c



# CHECK: subfze. 2, 3

0x91 0x01 0x43 0x7c



# CHECK: subfzeo 2, 3

0x90 0x05 0x43 0x7c



# CHECK: subfzeo. 2, 3

0x91 0x05 0x43 0x7c



# CHECK: neg 2, 3

0xd0 0x00 0x43 0x7c



# CHECK: neg. 2, 3

0xd1 0x00 0x43 0x7c



# CHECK: nego 2, 3

0xd0 0x04 0x43 0x7c



# CHECK: nego. 2, 3

0xd1 0x04 0x43 0x7c



# CHECK: mulli 2, 3, 128

0x80 0x00 0x43 0x1c
@@ -319,6 +385,12 @@ 
# CHECK: mullw. 2, 3, 4

0xd7 0x21 0x43 0x7c



# CHECK: mullwo 2, 3, 4

0xd6 0x25 0x43 0x7c



# CHECK: mullwo. 2, 3, 4

0xd7 0x25 0x43 0x7c



# CHECK: mulhwu 2, 3, 4

0x16 0x20 0x43 0x7c
@@ -331,24 +403,48 @@ 
# CHECK: divw. 2, 3, 4

0xd7 0x23 0x43 0x7c



# CHECK: divwo 2, 3, 4

0xd6 0x27 0x43 0x7c



# CHECK: divwo. 2, 3, 4

0xd7 0x27 0x43 0x7c



# CHECK: divwu 2, 3, 4

0x96 0x23 0x43 0x7c



# CHECK: divwu. 2, 3, 4

0x97 0x23 0x43 0x7c



# CHECK: divwuo 2, 3, 4

0x96 0x27 0x43 0x7c



# CHECK: divwuo. 2, 3, 4

0x97 0x27 0x43 0x7c



# CHECK: divwe 2, 3, 4

0x56 0x23 0x43 0x7c



# CHECK: divwe. 2, 3, 4

0x57 0x23 0x43 0x7c



# CHECK: divweo 2, 3, 4

0x56 0x27 0x43 0x7c



# CHECK: divweo. 2, 3, 4

0x57 0x27 0x43 0x7c



# CHECK: divweu 2, 3, 4

0x16 0x23 0x43 0x7c



# CHECK: divweu. 2, 3, 4

0x17 0x23 0x43 0x7c



# CHECK: divweuo 2, 3, 4

0x16 0x27 0x43 0x7c



# CHECK: divweuo. 2, 3, 4

0x17 0x27 0x43 0x7c



# CHECK: modsw 2, 3, 4

0x16 0x26 0x43 0x7c
@@ -367,6 +463,12 @@ 
# CHECK: mulld. 2, 3, 4

0xd3 0x21 0x43 0x7c



# CHECK: mulldo 2, 3, 4

0xd2 0x25 0x43 0x7c



# CHECK: mulldo. 2, 3, 4

0xd3 0x25 0x43 0x7c



# CHECK: mulhd 2, 3, 4

0x92 0x20 0x43 0x7c
@@ -385,24 +487,48 @@ 
# CHECK: divd. 2, 3, 4

0xd3 0x23 0x43 0x7c



# CHECK: divdo 2, 3, 4

0xd2 0x27 0x43 0x7c



# CHECK: divdo. 2, 3, 4

0xd3 0x27 0x43 0x7c



# CHECK: divdu 2, 3, 4

0x92 0x23 0x43 0x7c



# CHECK: divdu. 2, 3, 4

0x93 0x23 0x43 0x7c



# CHECK: divduo 2, 3, 4

0x92 0x27 0x43 0x7c



# CHECK: divduo. 2, 3, 4

0x93 0x27 0x43 0x7c



# CHECK: divde 2, 3, 4

0x52 0x23 0x43 0x7c



# CHECK: divde. 2, 3, 4

0x53 0x23 0x43 0x7c



# CHECK: divdeo 2, 3, 4

0x52 0x27 0x43 0x7c



# CHECK: divdeo. 2, 3, 4

0x53 0x27 0x43 0x7c



# CHECK: divdeu 2, 3, 4

0x12 0x23 0x43 0x7c



# CHECK: divdeu. 2, 3, 4

0x13 0x23 0x43 0x7c



# CHECK: divdeuo 2, 3, 4

0x12 0x27 0x43 0x7c



# CHECK: divdeuo. 2, 3, 4

0x13 0x27 0x43 0x7c



# CHECK: cmpdi 2, 3, 128

0x80 0x00 0x23 0x2d