| //===- SparcV9.td - Target Description for Sparc V9 Target ----------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file was developed by the LLVM research group and is distributed under |
| // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // TODO: Need a description here. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| include "../Target.td" |
| |
| include "SparcV9_Reg.td" |
| |
| //===----------------------------------------------------------------------===// |
| // Instructions |
| //===----------------------------------------------------------------------===// |
| |
| class InstV9 : Instruction { // Sparc instruction baseline |
| field bits<32> Inst; |
| |
| let Namespace = "V9"; |
| |
| bits<2> op; |
| let Inst{31-30} = op; // Top two bits are the 'op' field |
| |
| // Bit attributes specific to Sparc instructions |
| bit isPasi = 0; // Does this instruction affect an alternate addr space? |
| bit isDeprecated = 0; // Is this instruction deprecated? |
| bit isPrivileged = 0; // Is this a privileged instruction? |
| } |
| |
| include "SparcV9_F2.td" |
| include "SparcV9_F3.td" |
| include "SparcV9_F4.td" |
| |
| //===----------------------------------------------------------------------===// |
| // Instruction list... |
| // |
| |
| // Section A.2: Add - p137 |
| def ADDr : F3_1<2, 0b000000, "add">; // add rs1, rs2, rd |
| def ADDi : F3_2<2, 0b000000, "add">; // add rs1, imm, rd |
| def ADDccr : F3_1<2, 0b010000, "addcc">; // addcc rs1, rs2, rd |
| def ADDcci : F3_2<2, 0b010000, "addcc">; // addcc rs1, imm, rd |
| def ADDCr : F3_1<2, 0b001000, "addC">; // addC rs1, rs2, rd |
| def ADDCi : F3_2<2, 0b001000, "addC">; // addC rs1, imm, rd |
| def ADDCccr : F3_1<2, 0b011000, "addCcc">; // addCcc rs1, rs2, rd |
| def ADDCcci : F3_2<2, 0b011000, "addCcc">; // addCcc rs1, imm, rd |
| |
| // Section A.3: Branch on Integer Register with Prediction - p138 |
| let op2 = 0b011 in { |
| def BRZ : F2_4<0b001, "brz">; // Branch on rs1 == 0 |
| def BRLEZ : F2_4<0b010, "brlez">; // Branch on rs1 <= 0 |
| def BRLZ : F2_4<0b011, "brlz">; // Branch on rs1 < 0 |
| def BRNZ : F2_4<0b101, "brnz">; // Branch on rs1 != 0 |
| def BRGZ : F2_4<0b110, "brgz">; // Branch on rs1 > 0 |
| def BRGEZ : F2_4<0b111, "brgez">; // Branch on rs1 >= 0 |
| } |
| |
| // Section A.4: Branch on Floating-Point Condition Codes (FBfcc) p140 |
| // The following deprecated instructions don't seem to play nice on Sparc |
| /* |
| let isDeprecated = 1 in { |
| let op2 = 0b110 in { |
| def FBA : F2_2<0b1000, "fba">; // Branch always |
| def FBN : F2_2<0b0000, "fbn">; // Branch never |
| def FBU : F2_2<0b0111, "fbu">; // Branch on unordered |
| def FBG : F2_2<0b0110, "fbg">; // Branch > |
| def FBUG : F2_2<0b0101, "fbug">; // Branch on unordered or > |
| def FBL : F2_2<0b0100, "fbl">; // Branch < |
| def FBUL : F2_2<0b0011, "fbul">; // Branch on unordered or < |
| def FBLG : F2_2<0b0010, "fblg">; // Branch < or > |
| def FBNE : F2_2<0b0001, "fbne">; // Branch != |
| def FBE : F2_2<0b1001, "fbe">; // Branch == |
| def FBUE : F2_2<0b1010, "fbue">; // Branch on unordered or == |
| def FBGE : F2_2<0b1011, "fbge">; // Branch > or == |
| def FBUGE : F2_2<0b1100, "fbuge">; // Branch unord or > or == |
| def FBLE : F2_2<0b1101, "fble">; // Branch < or == |
| def FBULE : F2_2<0b1110, "fbule">; // Branch unord or < or == |
| def FBO : F2_2<0b1111, "fbo">; // Branch on ordered |
| } |
| } |
| */ |
| |
| // We now make these same opcodes represent the FBPfcc instructions |
| let op2 = 0b101 in { |
| def FBA : F2_3<0b1000, "fba">; // Branch always |
| def FBN : F2_3<0b0000, "fbn">; // Branch never |
| def FBU : F2_3<0b0111, "fbu">; // Branch on unordered |
| def FBG : F2_3<0b0110, "fbg">; // Branch > |
| def FBUG : F2_3<0b0101, "fbug">; // Branch on unordered or > |
| def FBL : F2_3<0b0100, "fbl">; // Branch < |
| def FBUL : F2_3<0b0011, "fbul">; // Branch on unordered or < |
| def FBLG : F2_3<0b0010, "fblg">; // Branch < or > |
| def FBNE : F2_3<0b0001, "fbne">; // Branch != |
| def FBE : F2_3<0b1001, "fbe">; // Branch == |
| def FBUE : F2_3<0b1010, "fbue">; // Branch on unordered or == |
| def FBGE : F2_3<0b1011, "fbge">; // Branch > or == |
| def FBUGE : F2_3<0b1100, "fbuge">; // Branch unord or > or == |
| def FBLE : F2_3<0b1101, "fble">; // Branch < or == |
| def FBULE : F2_3<0b1110, "fbule">; // Branch unord or < or == |
| def FBO : F2_3<0b1111, "fbo">; // Branch on ordered |
| } |
| |
| // Section A.5: Branch on FP condition codes with prediction - p143 |
| // Not used in the Sparc backend (directly) |
| /* |
| let op2 = 0b101 in { |
| def FBPA : F2_3<0b1000, "fba">; // Branch always |
| def FBPN : F2_3<0b0000, "fbn">; // Branch never |
| def FBPU : F2_3<0b0111, "fbu">; // Branch on unordered |
| def FBPG : F2_3<0b0110, "fbg">; // Branch > |
| def FBPUG : F2_3<0b0101, "fbug">; // Branch on unordered or > |
| def FBPL : F2_3<0b0100, "fbl">; // Branch < |
| def FBPUL : F2_3<0b0011, "fbul">; // Branch on unordered or < |
| def FBPLG : F2_3<0b0010, "fblg">; // Branch < or > |
| def FBPNE : F2_3<0b0001, "fbne">; // Branch != |
| def FBPE : F2_3<0b1001, "fbe">; // Branch == |
| def FBPUE : F2_3<0b1010, "fbue">; // Branch on unordered or == |
| def FBPGE : F2_3<0b1011, "fbge">; // Branch > or == |
| def FBPUGE : F2_3<0b1100, "fbuge">; // Branch unord or > or == |
| def FBPLE : F2_3<0b1101, "fble">; // Branch < or == |
| def FBPULE : F2_3<0b1110, "fbule">; // Branch unord or < or == |
| def FBPO : F2_3<0b1111, "fbo">; // Branch on ordered |
| } |
| */ |
| |
| // Section A.6: Branch on Integer condition codes (Bicc) - p146 |
| /* |
| let isDeprecated = 1 in { |
| let op2 = 0b010 in { |
| def BA : F2_2<0b1000, "ba">; // Branch always |
| def BN : F2_2<0b0000, "bn">; // Branch never |
| def BNE : F2_2<0b1001, "bne">; // Branch != |
| def BE : F2_2<0b0001, "be">; // Branch == |
| def BG : F2_2<0b1010, "bg">; // Branch > |
| def BLE : F2_2<0b0010, "ble">; // Branch <= |
| def BGE : F2_2<0b1011, "bge">; // Branch >= |
| def BL : F2_2<0b0011, "bl">; // Branch < |
| def BGU : F2_2<0b1100, "bgu">; // Branch unsigned > |
| def BLEU : F2_2<0b0100, "bleu">; // Branch unsigned <= |
| def BCC : F2_2<0b1101, "bcc">; // Branch unsigned >= |
| def BCS : F2_2<0b0101, "bcs">; // Branch unsigned <= |
| def BPOS : F2_2<0b1110, "bpos">; // Branch on positive |
| def BNEG : F2_2<0b0110, "bneg">; // Branch on negative |
| def BVC : F2_2<0b1111, "bvc">; // Branch on overflow clear |
| def BVS : F2_2<0b0111, "bvs">; // Branch on overflow set |
| } |
| } |
| */ |
| |
| // Using the format of A.7 instructions... |
| let op2 = 0b001 in { |
| let cc = 0 in { // BA and BN don't read condition codes |
| def BA : F2_3<0b1000, "ba">; // Branch always |
| def BN : F2_3<0b0000, "bn">; // Branch never |
| } |
| def BNE : F2_3<0b1001, "bne">; // Branch != |
| def BE : F2_3<0b0001, "be">; // Branch == |
| def BG : F2_3<0b1010, "bg">; // Branch > |
| def BLE : F2_3<0b0010, "ble">; // Branch <= |
| def BGE : F2_3<0b1011, "bge">; // Branch >= |
| def BL : F2_3<0b0011, "bl">; // Branch < |
| def BGU : F2_3<0b1100, "bgu">; // Branch unsigned > |
| def BLEU : F2_3<0b0100, "bleu">; // Branch unsigned <= |
| def BCC : F2_3<0b1101, "bcc">; // Branch unsigned >= |
| def BCS : F2_3<0b0101, "bcs">; // Branch unsigned <= |
| def BPOS : F2_3<0b1110, "bpos">; // Branch on positive |
| def BNEG : F2_3<0b0110, "bneg">; // Branch on negative |
| def BVC : F2_3<0b1111, "bvc">; // Branch on overflow clear |
| def BVS : F2_3<0b0111, "bvs">; // Branch on overflow set |
| } |
| |
| // Section A.7: Branch on integer condition codes with prediction - p148 |
| // Not used in the Sparc backend |
| /* |
| let op2 = 0b001 in { |
| def BPA : F2_3<0b1000, "bpa">; // Branch always |
| def BPN : F2_3<0b0000, "bpn">; // Branch never |
| def BPNE : F2_3<0b1001, "bpne">; // Branch != |
| def BPE : F2_3<0b0001, "bpe">; // Branch == |
| def BPG : F2_3<0b1010, "bpg">; // Branch > |
| def BPLE : F2_3<0b0010, "bple">; // Branch <= |
| def BPGE : F2_3<0b1011, "bpge">; // Branch >= |
| def BPL : F2_3<0b0011, "bpl">; // Branch < |
| def BPGU : F2_3<0b1100, "bpgu">; // Branch unsigned > |
| def BPLEU : F2_3<0b0100, "bpleu">; // Branch unsigned <= |
| def BPCC : F2_3<0b1101, "bpcc">; // Branch unsigned >= |
| def BPCS : F2_3<0b0101, "bpcs">; // Branch unsigned <= |
| def BPPOS : F2_3<0b1110, "bppos">; // Branch on positive |
| def BPNEG : F2_3<0b0110, "bpneg">; // Branch on negative |
| def BPVC : F2_3<0b1111, "bpvc">; // Branch on overflow clear |
| def BPVS : F2_3<0b0111, "bpvs">; // Branch on overflow set |
| } |
| */ |
| |
| // Section A.8: CALL - p151, the only Format #1 instruction |
| def CALL : InstV9 { |
| bits<30> disp; |
| let op = 1; |
| let Inst{29-0} = disp; |
| let Name = "call"; |
| let isCall = 1; |
| } |
| |
| // Section A.9: Compare and Swap - p176 |
| // CASA/CASXA: are for alternate address spaces! Ignore them |
| |
| |
| // Section A.10: Divide (64-bit / 32-bit) - p178 |
| // Not used in the Sparc backend |
| /* |
| let isDeprecated = 1 in { |
| def UDIVr : F3_1<2, 0b001110, "udiv">; // udiv r, r, r |
| def UDIVi : F3_2<2, 0b001110, "udiv">; // udiv r, r, i |
| def SDIVr : F3_1<2, 0b001111, "sdiv">; // sdiv r, r, r |
| def SDIVi : F3_2<2, 0b001111, "sdiv">; // sdiv r, r, i |
| def UDIVCCr : F3_1<2, 0b011110, "udivcc">; // udivcc r, r, r |
| def UDIVCCi : F3_2<2, 0b011110, "udivcc">; // udivcc r, r, i |
| def SDIVCCr : F3_1<2, 0b011111, "sdivcc">; // sdivcc r, r, r |
| def SDIVCCi : F3_2<2, 0b011111, "sdivcc">; // sdivcc r, r, i |
| } |
| */ |
| |
| // Section A.11: DONE and RETRY - p181 |
| // Not used in the Sparc backend |
| /* |
| let isPrivileged = 1 in { |
| def DONE : F3_18<0, "done">; // done |
| def RETRY : F3_18<1, "retry">; // retry |
| } |
| */ |
| |
| // Section A.12: Floating-Point Add and Subtract - p156 |
| def FADDS : F3_16<2, 0b110100, 0x41, "fadds">; // fadds frs1, frs2, frd |
| def FADDD : F3_16<2, 0b110100, 0x42, "faddd">; // faddd frs1, frs2, frd |
| def FADDQ : F3_16<2, 0b110100, 0x43, "faddq">; // faddq frs1, frs2, frd |
| def FSUBS : F3_16<2, 0b110100, 0x45, "fsubs">; // fsubs frs1, frs2, frd |
| def FSUBD : F3_16<2, 0b110100, 0x46, "fsubd">; // fsubd frs1, frs2, frd |
| def FSUBQ : F3_16<2, 0b110100, 0x47, "fsubq">; // fsubq frs1, frs2, frd |
| |
| // Section A.13: Floating-point compare - p159 |
| def FCMPS : F3_15<2, 0b110101, 0b001010001, "fcmps">; // fcmps %fcc, r1, r2 |
| def FCMPD : F3_15<2, 0b110101, 0b001010010, "fcmpd">; // fcmpd %fcc, r1, r2 |
| def FCMPQ : F3_15<2, 0b110101, 0b001010011, "fcmpq">; // fcmpq %fcc, r1, r2 |
| // Currently unused in the Sparc backend |
| /* |
| def FCMPES : F3_15<2, 0b110101, 0b001010101, "fcmpes">; // fcmpes %fcc, r1, r2 |
| def FCMPED : F3_15<2, 0b110101, 0b001010110, "fcmped">; // fcmped %fcc, r1, r2 |
| def FCMPEQ : F3_15<2, 0b110101, 0b001010111, "fcmpeq">; // fcmpeq %fcc, r1, r2 |
| */ |
| |
| // Section A.14: Convert floating-point to integer - p161 |
| def FSTOX : F3_14<2, 0b110100, 0b010000001, "fstox">; // fstox rs2, rd |
| def FDTOX : F3_14<2, 0b110100, 0b010000010, "fstox">; // fstox rs2, rd |
| def FQTOX : F3_14<2, 0b110100, 0b010000011, "fstox">; // fstox rs2, rd |
| def FSTOI : F3_14<2, 0b110100, 0b011010001, "fstoi">; // fstoi rs2, rd |
| def FDTOI : F3_14<2, 0b110100, 0b011010010, "fdtoi">; // fdtoi rs2, rd |
| def FQTOI : F3_14<2, 0b110100, 0b011010011, "fqtoi">; // fqtoi rs2, rd |
| |
| // Section A.15: Convert between floating-point formats - p162 |
| def FSTOD : F3_14<2, 0b110100, 0b011001001, "fstod">; // fstod rs2, rd |
| def FSTOQ : F3_14<2, 0b110100, 0b011001101, "fstoq">; // fstoq rs2, rd |
| def FDTOS : F3_14<2, 0b110100, 0b011000110, "fstos">; // fstos rs2, rd |
| def FDTOQ : F3_14<2, 0b110100, 0b011001110, "fdtoq">; // fdtoq rs2, rd |
| def FQTOS : F3_14<2, 0b110100, 0b011000111, "fqtos">; // fqtos rs2, rd |
| def FQTOD : F3_14<2, 0b110100, 0b011001011, "fqtod">; // fqtod rs2, rd |
| |
| // Section A.16: Convert integer to floating-point - p163 |
| def FXTOS : F3_14<2, 0b110100, 0b010000100, "fxtos">; // fxtos rs2, rd |
| def FXTOD : F3_14<2, 0b110100, 0b010001000, "fxtod">; // fxtod rs2, rd |
| def FXTOQ : F3_14<2, 0b110100, 0b010001100, "fxtoq">; // fxtoq rs2, rd |
| def FITOS : F3_14<2, 0b110100, 0b011000100, "fitos">; // fitos rs2, rd |
| def FITOD : F3_14<2, 0b110100, 0b011001000, "fitod">; // fitod rs2, rd |
| def FITOQ : F3_14<2, 0b110100, 0b011001100, "fitoq">; // fitoq rs2, rd |
| |
| // Section A.17: Floating-Point Move - p164 |
| def FMOVS : F3_14<2, 0b110100, 0b000000001, "fmovs">; // fmovs r, r |
| def FMOVD : F3_14<2, 0b110100, 0b000000010, "fmovs">; // fmovd r, r |
| //def FMOVQ : F3_14<2, 0b110100, 0b000000011, "fmovs">; // fmovq r, r |
| def FNEGS : F3_14<2, 0b110100, 0b000000101, "fnegs">; // fnegs r, r |
| def FNEGD : F3_14<2, 0b110100, 0b000000110, "fnegs">; // fnegs r, r |
| //def FNEGQ : F3_14<2, 0b110100, 0b000000111, "fnegs">; // fnegs r, r |
| def FABSS : F3_14<2, 0b110100, 0b000001001, "fabss">; // fabss r, r |
| def FABSD : F3_14<2, 0b110100, 0b000001010, "fabss">; // fabss r, r |
| //def FABSQ : F3_14<2, 0b110100, 0b000001011, "fabss">; // fabss r, r |
| |
| // Section A.18: Floating-Point Multiply and Divide - p165 |
| def FMULS : F3_16<2, 0b110100, 0b001001001, "fmuls">; // fmuls r, r, r |
| def FMULD : F3_16<2, 0b110100, 0b001001010, "fmuld">; // fmuld r, r, r |
| def FMULQ : F3_16<2, 0b110100, 0b001001011, "fmulq">; // fmulq r, r, r |
| def FSMULD : F3_16<2, 0b110100, 0b001101001, "fsmuld">; // fsmuls r, r, r |
| def FDMULQ : F3_16<2, 0b110100, 0b001101110, "fdmulq">; // fdmuls r, r, r |
| def FDIVS : F3_16<2, 0b110100, 0b001001101, "fdivs">; // fdivs r, r, r |
| def FDIVD : F3_16<2, 0b110100, 0b001001110, "fdivs">; // fdivd r, r, r |
| def FDIVQ : F3_16<2, 0b110100, 0b001001111, "fdivs">; // fdivq r, r, r |
| |
| // Section A.19: Floating-Point Square Root - p166 |
| def FSQRTS : F3_14<2, 0b110100, 0b000101001, "fsqrts">; // fsqrts r, r |
| def FSQRTD : F3_14<2, 0b110100, 0b000101010, "fsqrts">; // fsqrts r, r |
| def FSQRTQ : F3_14<2, 0b110100, 0b000101011, "fsqrts">; // fsqrts r, r |
| |
| // A.20: Flush Instruction Memory - p167 |
| // Not currently used |
| |
| // A.21: Flush Register Windows - p169 |
| // Not currently used |
| |
| // A.22: Illegal instruction Trap - p170 |
| // Not currently used |
| |
| // A.23: Implementation-Dependent Instructions - p171 |
| // Not currently used |
| |
| // Section A.24: Jump and Link - p172 |
| // Mimicking the Sparc's instr def... |
| def JMPLCALLr : F3_1<2, 0b111000, "jmpl">; // jmpl [rs1+rs2], rd |
| def JMPLCALLi : F3_2<2, 0b111000, "jmpl">; // jmpl [rs1+imm], rd |
| def JMPLRETr : F3_1<2, 0b111000, "jmpl">; // jmpl [rs1+rs2], rd |
| def JMPLRETi : F3_2<2, 0b111000, "jmpl">; // jmpl [rs1+imm], rd |
| |
| // Section A.25: Load Floating-Point - p173 |
| def LDFr : F3_1<3, 0b100000, "ld">; // ld [rs1+rs2], rd |
| def LDFi : F3_2<3, 0b100000, "ld">; // ld [rs1+imm], rd |
| def LDDFr : F3_1<3, 0b100011, "ldd">; // ldd [rs1+rs2], rd |
| def LDDFi : F3_2<3, 0b100011, "ldd">; // ldd [rs1+imm], rd |
| def LDQFr : F3_1<3, 0b100010, "ldq">; // ldq [rs1+rs2], rd |
| def LDQFi : F3_2<3, 0b100010, "ldq">; // ldq [rs1+imm], rd |
| let isDeprecated = 1 in { |
| let rd = 0 in { |
| def LDFSRr : F3_1<3, 0b100001, "ld">; // ld [rs1+rs2], rd |
| def LDFSRi : F3_2<3, 0b100001, "ld">; // ld [rs1+imm], rd |
| } |
| } |
| let rd = 1 in { |
| def LDXFSRr : F3_1<3, 0b100001, "ldx">; // ldx [rs1+rs2], rd |
| def LDXFSRi : F3_2<3, 0b100001, "ldx">; // ldx [rs1+imm], rd |
| } |
| |
| // Section A.27: Load Integer - p178 |
| def LDSBr : F3_1<3, 0b001001, "ldsb">; // ldsb [rs1+rs2], rd |
| def LDSBi : F3_2<3, 0b001001, "ldsb">; // ldsb [rs1+imm], rd |
| def LDSHr : F3_1<3, 0b001010, "ldsh">; // ldsh [rs1+rs2], rd |
| def LDSHi : F3_2<3, 0b001010, "ldsh">; // ldsh [rs1+imm], rd |
| def LDSWr : F3_1<3, 0b001000, "ldsw">; // ldsh [rs1+rs2], rd |
| def LDSWi : F3_2<3, 0b001000, "ldsw">; // ldsh [rs1+imm], rd |
| def LDUBr : F3_1<3, 0b000001, "ldub">; // ldub [rs1+rs2], rd |
| def LDUBi : F3_2<3, 0b000001, "ldub">; // ldub [rs1+imm], rd |
| def LDUHr : F3_1<3, 0b000010, "lduh">; // lduh [rs1+rs2], rd |
| def LDUHi : F3_2<3, 0b000010, "lduh">; // lduh [rs1+imm], rd |
| // synonym: LD |
| def LDUWr : F3_1<3, 0b000000, "lduw">; // lduw [rs1+rs2], rd |
| def LDUWi : F3_2<3, 0b000000, "lduw">; // lduw [rs1+imm], rd |
| def LDXr : F3_1<3, 0b001011, "ldx">; // ldx [rs1+rs2], rd |
| def LDXi : F3_2<3, 0b001011, "ldx">; // ldx [rs1+imm], rd |
| /* |
| let isDeprecated = 1 in { |
| def LDDr : F3_1<3, 0b000011, "ldd">; // ldd [rs1+rs2], rd |
| def LDDi : F3_2<3, 0b000011, "ldd">; // ldd [rs1+imm], rd |
| } |
| */ |
| |
| // Section A.31: Logical operations |
| def ANDr : F3_1<2, 0b000001, "and">; // and rs1, rs2, rd |
| def ANDi : F3_2<2, 0b000001, "and">; // and rs1, imm, rd |
| def ANDccr : F3_1<2, 0b010001, "andcc">; // andcc rs1, rs2, rd |
| def ANDcci : F3_2<2, 0b010001, "andcc">; // andcc rs1, imm, rd |
| def ANDNr : F3_1<2, 0b000101, "andn">; // andn rs1, rs2, rd |
| def ANDNi : F3_2<2, 0b000101, "andn">; // andn rs1, imm, rd |
| def ANDNccr : F3_1<2, 0b010101, "andncc">; // andncc rs1, rs2, rd |
| def ANDNcci : F3_2<2, 0b010101, "andncc">; // andncc rs1, imm, rd |
| |
| def ORr : F3_1<2, 0b000010, "or">; // or rs1, rs2, rd |
| def ORi : F3_2<2, 0b000010, "or">; // or rs1, imm, rd |
| def ORccr : F3_1<2, 0b010010, "orcc">; // orcc rs1, rs2, rd |
| def ORcci : F3_2<2, 0b010010, "orcc">; // orcc rs1, imm, rd |
| def ORNr : F3_1<2, 0b000110, "orn">; // orn rs1, rs2, rd |
| def ORNi : F3_2<2, 0b000110, "orn">; // orn rs1, imm, rd |
| def ORNccr : F3_1<2, 0b010110, "orncc">; // orncc rs1, rs2, rd |
| def ORNcci : F3_2<2, 0b010110, "orncc">; // orncc rs1, imm, rd |
| |
| def XORr : F3_1<2, 0b000011, "xor">; // xor rs1, rs2, rd |
| def XORi : F3_2<2, 0b000011, "xor">; // xor rs1, imm, rd |
| def XORccr : F3_1<2, 0b010011, "xorcc">; // xorcc rs1, rs2, rd |
| def XORcci : F3_2<2, 0b010011, "xorcc">; // xorcc rs1, imm, rd |
| def XNORr : F3_1<2, 0b000111, "xnor">; // xnor rs1, rs2, rd |
| def XNORi : F3_2<2, 0b000111, "xnor">; // xnor rs1, imm, rd |
| def XNORccr : F3_1<2, 0b010111, "xnorcc">; // xnorcc rs1, rs2, rd |
| def XNORcci : F3_2<2, 0b010111, "xnorcc">; // xnorcc rs1, imm, rd |
| |
| // Section A.32: Memory Barrier - p186 |
| // Not currently used in the Sparc backend |
| |
| // Section A.33: Move Floating-Point Register on Condition (FMOVcc) |
| // ======================= Single Floating Point ====================== |
| // For integer condition codes |
| def FMOVSA : F4_7<2, 0b110101, 0b1000, 0b000001, "fmovsa">; // fmovsa cc, r, r |
| def FMOVSN : F4_7<2, 0b110101, 0b0000, 0b000001, "fmovsn">; // fmovsn cc, r, r |
| def FMOVSNE : F4_7<2, 0b110101, 0b1001, 0b000001, "fmovsne">; // fmovsne cc, r, r |
| def FMOVSE : F4_7<2, 0b110101, 0b0000, 0b000001, "fmovse">; // fmovse cc, r, r |
| def FMOVSG : F4_7<2, 0b110101, 0b1010, 0b000001, "fmovsg">; // fmovsg cc, r, r |
| def FMOVSLE : F4_7<2, 0b110101, 0b0000, 0b000001, "fmovsle">; // fmovsle cc, r, r |
| def FMOVSGE : F4_7<2, 0b110101, 0b1011, 0b000001, "fmovsge">; // fmovsge cc, r, r |
| def FMOVSL : F4_7<2, 0b110101, 0b0011, 0b000001, "fmovsl">; // fmovsl cc, r, r |
| def FMOVSGU : F4_7<2, 0b110101, 0b1100, 0b000001, "fmovsgu">; // fmovsgu cc, r, r |
| def FMOVSLEU : F4_7<2, 0b110101, 0b0100, 0b000001, "fmovsleu">; // fmovsleu cc, r, r |
| def FMOVSCC : F4_7<2, 0b110101, 0b1101, 0b000001, "fmovscc">; // fmovscc cc, r, r |
| def FMOVSCS : F4_7<2, 0b110101, 0b0101, 0b000001, "fmovscs">; // fmovscs cc, r, r |
| def FMOVSPOS : F4_7<2, 0b110101, 0b1110, 0b000001, "fmovspos">; // fmovspos cc, r, r |
| def FMOVSNEG : F4_7<2, 0b110101, 0b0110, 0b000001, "fmovsneg">; // fmovsneg cc, r, r |
| def FMOVSVC : F4_7<2, 0b110101, 0b1111, 0b000001, "fmovsvc">; // fmovsvc cc, r, r |
| def FMOVSVS : F4_7<2, 0b110101, 0b0111, 0b000001, "fmovsvs">; // fmovsvs cc, r, r |
| |
| // For floating-point condition codes |
| def FMOVSFA : F4_7<2, 0b110101, 0b0100, 0b000001, "fmovsfa">; // fmovsfa cc,r,r |
| def FMOVSFN : F4_7<2, 0b110101, 0b0000, 0b000001, "fmovsfn">; // fmovsfa cc,r,r |
| def FMOVSFU : F4_7<2, 0b110101, 0b0111, 0b000001, "fmovsfu">; // fmovsfu cc,r,r |
| def FMOVSFG : F4_7<2, 0b110101, 0b0110, 0b000001, "fmovsfg">; // fmovsfg cc,r,r |
| def FMOVSFUG : F4_7<2, 0b110101, 0b0101, 0b000001, "fmovsfug">; // fmovsfug cc,r,r |
| def FMOVSFL : F4_7<2, 0b110101, 0b0100, 0b000001, "fmovsfl">; // fmovsfl cc,r,r |
| def FMOVSFUL : F4_7<2, 0b110101, 0b0011, 0b000001, "fmovsful">; // fmovsful cc,r,r |
| def FMOVSFLG : F4_7<2, 0b110101, 0b0010, 0b000001, "fmovsflg">; // fmovsflg cc,r,r |
| def FMOVSFNE : F4_7<2, 0b110101, 0b0001, 0b000001, "fmovsfne">; // fmovsfne cc,r,r |
| def FMOVSFE : F4_7<2, 0b110101, 0b1001, 0b000001, "fmovsfe">; // fmovsfe cc,r,r |
| def FMOVSFUE : F4_7<2, 0b110101, 0b1010, 0b000001, "fmovsfue">; // fmovsfue cc,r,r |
| def FMOVSFGE : F4_7<2, 0b110101, 0b1011, 0b000001, "fmovsge">; // fmovsge cc,r,r |
| def FMOVSFUGE : F4_7<2, 0b110101, 0b1100, 0b000001, "fmovsfuge">;// fmovsfuge cc,r,r |
| def FMOVSFLE : F4_7<2, 0b110101, 0b1101, 0b000001, "fmovsfle">; // fmovsfle cc,r,r |
| def FMOVSFULE : F4_7<2, 0b110101, 0b1110, 0b000001, "fmovsfule">;// fmovsfule cc,r,r |
| def FMOVSFO : F4_7<2, 0b110101, 0b1111, 0b000001, "fmovsfo">; // fmovsfo cc,r,r |
| |
| // ======================= Double Floating Point ====================== |
| // For integer condition codes |
| def FMOVDA : F4_7<2, 0b110101, 0b1000, 0b000010, "fmovda">; // fmovda cc, r, r |
| def FMOVDN : F4_7<2, 0b110101, 0b0000, 0b000010, "fmovdn">; // fmovdn cc, r, r |
| def FMOVDNE : F4_7<2, 0b110101, 0b1001, 0b000010, "fmovdne">; // fmovdne cc, r, r |
| def FMOVDE : F4_7<2, 0b110101, 0b0000, 0b000010, "fmovde">; // fmovde cc, r, r |
| def FMOVDG : F4_7<2, 0b110101, 0b1010, 0b000010, "fmovdg">; // fmovdg cc, r, r |
| def FMOVDLE : F4_7<2, 0b110101, 0b0000, 0b000010, "fmovdle">; // fmovdle cc, r, r |
| def FMOVDGE : F4_7<2, 0b110101, 0b1011, 0b000010, "fmovdge">; // fmovdge cc, r, r |
| def FMOVDL : F4_7<2, 0b110101, 0b0011, 0b000010, "fmovdl">; // fmovdl cc, r, r |
| def FMOVDGU : F4_7<2, 0b110101, 0b1100, 0b000010, "fmovdgu">; // fmovdgu cc, r, r |
| def FMOVDLEU : F4_7<2, 0b110101, 0b0100, 0b000010, "fmovdleu">; // fmovdleu cc, r, r |
| def FMOVDCC : F4_7<2, 0b110101, 0b1101, 0b000010, "fmovdcc">; // fmovdcc cc, r, r |
| def FMOVDCS : F4_7<2, 0b110101, 0b0101, 0b000010, "fmovdcs">; // fmovdcs cc, r, r |
| def FMOVDPOS : F4_7<2, 0b110101, 0b1110, 0b000010, "fmovdpos">; // fmovdpos cc, r, r |
| def FMOVDNEG : F4_7<2, 0b110101, 0b0110, 0b000010, "fmovdneg">; // fmovdneg cc, r, r |
| def FMOVDVC : F4_7<2, 0b110101, 0b1111, 0b000010, "fmovdvc">; // fmovdvc cc, r, r |
| def FMOVDVS : F4_7<2, 0b110101, 0b0111, 0b000010, "fmovdvs">; // fmovdvs cc, r, r |
| |
| // For floating-point condition codes |
| def FMOVDFA : F4_7<2, 0b110101, 0b0100, 0b000010, "fmovdfa">; // fmovdfa cc,r,r |
| def FMOVDFN : F4_7<2, 0b110101, 0b0000, 0b000010, "fmovdfn">; // fmovdfa cc,r,r |
| def FMOVDFU : F4_7<2, 0b110101, 0b0111, 0b000010, "fmovdfu">; // fmovdfu cc,r,r |
| def FMOVDFG : F4_7<2, 0b110101, 0b0110, 0b000010, "fmovdfg">; // fmovdfg cc,r,r |
| def FMOVDFUG : F4_7<2, 0b110101, 0b0101, 0b000010, "fmovdfug">; // fmovdfug cc,r,r |
| def FMOVDFL : F4_7<2, 0b110101, 0b0100, 0b000010, "fmovdfl">; // fmovdfl cc,r,r |
| def FMOVDFUL : F4_7<2, 0b110101, 0b0011, 0b000010, "fmovdful">; // fmovdful cc,r,r |
| def FMOVDFLG : F4_7<2, 0b110101, 0b0010, 0b000010, "fmovdflg">; // fmovdflg cc,r,r |
| def FMOVDFNE : F4_7<2, 0b110101, 0b0001, 0b000010, "fmovdfne">; // fmovdfne cc,r,r |
| def FMOVDFE : F4_7<2, 0b110101, 0b1001, 0b000010, "fmovdfe">; // fmovdfe cc,r,r |
| def FMOVDFUE : F4_7<2, 0b110101, 0b1010, 0b000010, "fmovdfue">; // fmovdfue cc,r,r |
| def FMOVDFGE : F4_7<2, 0b110101, 0b1011, 0b000010, "fmovdge">; // fmovdge cc,r,r |
| def FMOVDFUGE : F4_7<2, 0b110101, 0b1100, 0b000010, "fmovdfuge">;// fmovdfuge cc,r,r |
| def FMOVDFLE : F4_7<2, 0b110101, 0b1101, 0b000010, "fmovdfle">; // fmovdfle cc,r,r |
| def FMOVDFULE : F4_7<2, 0b110101, 0b1110, 0b000010, "fmovdfule">;// fmovdfule cc,r,r |
| def FMOVDFO : F4_7<2, 0b110101, 0b1111, 0b000010, "fmovdfo">; // fmovdfo cc,r,r |
| |
| // ======================= Quad Floating Point ====================== |
| // For integer condition codes |
| def FMOVQA : F4_7<2, 0b110101, 0b1000, 0b000011, "fmovqa">; // fmovqa cc, r, r |
| def FMOVQN : F4_7<2, 0b110101, 0b0000, 0b000011, "fmovqn">; // fmovqn cc, r, r |
| def FMOVQNE : F4_7<2, 0b110101, 0b1001, 0b000011, "fmovqne">; // fmovqne cc, r, r |
| def FMOVQE : F4_7<2, 0b110101, 0b0000, 0b000011, "fmovqe">; // fmovqe cc, r, r |
| def FMOVQG : F4_7<2, 0b110101, 0b1010, 0b000011, "fmovqg">; // fmovqg cc, r, r |
| def FMOVQLE : F4_7<2, 0b110101, 0b0000, 0b000011, "fmovqle">; // fmovqle cc, r, r |
| def FMOVQGE : F4_7<2, 0b110101, 0b1011, 0b000011, "fmovqge">; // fmovqge cc, r, r |
| def FMOVQL : F4_7<2, 0b110101, 0b0011, 0b000011, "fmovql">; // fmovql cc, r, r |
| def FMOVQGU : F4_7<2, 0b110101, 0b1100, 0b000011, "fmovqgu">; // fmovqgu cc, r, r |
| def FMOVQLEU : F4_7<2, 0b110101, 0b0100, 0b000011, "fmovqleu">; // fmovqleu cc, r, r |
| def FMOVQCC : F4_7<2, 0b110101, 0b1101, 0b000011, "fmovqcc">; // fmovqcc cc, r, r |
| def FMOVQCS : F4_7<2, 0b110101, 0b0101, 0b000011, "fmovqcs">; // fmovqcs cc, r, r |
| def FMOVQPOS : F4_7<2, 0b110101, 0b1110, 0b000011, "fmovqpos">; // fmovqpos cc, r, r |
| def FMOVQNEG : F4_7<2, 0b110101, 0b0110, 0b000011, "fmovqneg">; // fmovqneg cc, r, r |
| def FMOVQVC : F4_7<2, 0b110101, 0b1111, 0b000011, "fmovqvc">; // fmovqvc cc, r, r |
| def FMOVQVS : F4_7<2, 0b110101, 0b0111, 0b000011, "fmovqvs">; // fmovqvs cc, r, r |
| |
| // For floating-point condition codes |
| def FMOVQFA : F4_7<2, 0b110101, 0b0100, 0b000011, "fmovqfa">; // fmovqfa cc,r,r |
| def FMOVQFN : F4_7<2, 0b110101, 0b0000, 0b000011, "fmovqfn">; // fmovqfa cc,r,r |
| def FMOVQFU : F4_7<2, 0b110101, 0b0111, 0b000011, "fmovqfu">; // fmovqfu cc,r,r |
| def FMOVQFG : F4_7<2, 0b110101, 0b0110, 0b000011, "fmovqfg">; // fmovqfg cc,r,r |
| def FMOVQFUG : F4_7<2, 0b110101, 0b0101, 0b000011, "fmovqfug">; // fmovqfug cc,r,r |
| def FMOVQFL : F4_7<2, 0b110101, 0b0100, 0b000011, "fmovqfl">; // fmovqfl cc,r,r |
| def FMOVQFUL : F4_7<2, 0b110101, 0b0011, 0b000011, "fmovqful">; // fmovqful cc,r,r |
| def FMOVQFLG : F4_7<2, 0b110101, 0b0010, 0b000011, "fmovqflg">; // fmovqflg cc,r,r |
| def FMOVQFNE : F4_7<2, 0b110101, 0b0001, 0b000011, "fmovqfne">; // fmovqfne cc,r,r |
| def FMOVQFE : F4_7<2, 0b110101, 0b1001, 0b000011, "fmovqfe">; // fmovqfe cc,r,r |
| def FMOVQFUE : F4_7<2, 0b110101, 0b1010, 0b000011, "fmovqfue">; // fmovqfue cc,r,r |
| def FMOVQFGE : F4_7<2, 0b110101, 0b1011, 0b000011, "fmovqge">; // fmovqge cc,r,r |
| def FMOVQFUGE : F4_7<2, 0b110101, 0b1100, 0b000011, "fmovqfuge">;// fmovqfuge cc,r,r |
| def FMOVQFLE : F4_7<2, 0b110101, 0b1101, 0b000011, "fmovqfle">; // fmovqfle cc,r,r |
| def FMOVQFULE : F4_7<2, 0b110101, 0b1110, 0b000011, "fmovqfule">;// fmovqfule cc,r,r |
| def FMOVQFO : F4_7<2, 0b110101, 0b1111, 0b000011, "fmovqfo">; // fmovqfo cc,r,r |
| |
| // Section A.34: Move FP Register on Integer Register condition (FMOVr) - p192 |
| def FMOVRSZ : F4_6<2, 0b110101, 0b001, 0b00101, "fmovrsz">; //fmovsrz r,r,rd |
| def FMOVRSLEZ : F4_6<2, 0b110101, 0b010, 0b00101, "fmovrslez">;//fmovsrz r,r,rd |
| def FMOVRSLZ : F4_6<2, 0b110101, 0b011, 0b00101, "fmovrslz">; //fmovsrz r,r,rd |
| def FMOVRSNZ : F4_6<2, 0b110101, 0b101, 0b00101, "fmovrsne">; //fmovsrz r,r,rd |
| def FMOVRSGZ : F4_6<2, 0b110101, 0b110, 0b00101, "fmovrsgz">; //fmovsrz r,r,rd |
| def FMOVRSGEZ : F4_6<2, 0b110101, 0b111, 0b00101, "fmovrsgez">;//fmovsrz r,r,rd |
| |
| def FMOVRDZ : F4_6<2, 0b110101, 0b001, 0b00110, "fmovrdz">; //fmovsrz r,r,rd |
| def FMOVRDLEZ : F4_6<2, 0b110101, 0b010, 0b00110, "fmovrdlez">;//fmovsrz r,r,rd |
| def FMOVRDLZ : F4_6<2, 0b110101, 0b011, 0b00110, "fmovrdlz">; //fmovsrz r,r,rd |
| def FMOVRDNZ : F4_6<2, 0b110101, 0b101, 0b00110, "fmovrdne">; //fmovsrz r,r,rd |
| def FMOVRDGZ : F4_6<2, 0b110101, 0b110, 0b00110, "fmovrdgz">; //fmovsrz r,r,rd |
| def FMOVRDGEZ : F4_6<2, 0b110101, 0b111, 0b00110, "fmovrdgez">;//fmovsrz r,r,rd |
| |
| def FMOVRQZ : F4_6<2, 0b110101, 0b001, 0b00111, "fmovrqz">; //fmovsrz r,r,rd |
| def FMOVRQLEZ : F4_6<2, 0b110101, 0b010, 0b00111, "fmovrqlez">;//fmovsrz r,r,rd |
| def FMOVRQLZ : F4_6<2, 0b110101, 0b011, 0b00111, "fmovrqlz">; //fmovsrz r,r,rd |
| def FMOVRQNZ : F4_6<2, 0b110101, 0b101, 0b00111, "fmovrqne">; //fmovsrz r,r,rd |
| def FMOVRQGZ : F4_6<2, 0b110101, 0b110, 0b00111, "fmovrqgz">; //fmovsrz r,r,rd |
| def FMOVRQGEZ : F4_6<2, 0b110101, 0b111, 0b00111, "fmovrqgez">;//fmovsrz r,r,rd |
| |
| |
| // Section A.35: Move Integer Register on Condition (MOVcc) - p194 |
| // For integer condition codes |
| def MOVAr : F4_3<2, 0b101100, 0b1000, "mova">; // mova i/xcc, rs2, rd |
| def MOVAi : F4_4<2, 0b101100, 0b1000, "mova">; // mova i/xcc, imm, rd |
| def MOVNr : F4_3<2, 0b101100, 0b0000, "movn">; // movn i/xcc, rs2, rd |
| def MOVNi : F4_4<2, 0b101100, 0b0000, "movn">; // movn i/xcc, imm, rd |
| def MOVNEr : F4_3<2, 0b101100, 0b1001, "movne">; // movne i/xcc, rs2, rd |
| def MOVNEi : F4_4<2, 0b101100, 0b1001, "movne">; // movne i/xcc, imm, rd |
| def MOVEr : F4_3<2, 0b101100, 0b0001, "move">; // move i/xcc, rs2, rd |
| def MOVEi : F4_4<2, 0b101100, 0b0001, "move">; // move i/xcc, imm, rd |
| def MOVGr : F4_3<2, 0b101100, 0b1010, "movg">; // movg i/xcc, rs2, rd |
| def MOVGi : F4_4<2, 0b101100, 0b1010, "movg">; // movg i/xcc, imm, rd |
| def MOVLEr : F4_3<2, 0b101100, 0b0010, "movle">; // movle i/xcc, rs2, rd |
| def MOVLEi : F4_4<2, 0b101100, 0b0010, "movle">; // movle i/xcc, imm, rd |
| def MOVGEr : F4_3<2, 0b101100, 0b1011, "movge">; // movge i/xcc, rs2, rd |
| def MOVGEi : F4_4<2, 0b101100, 0b1011, "movge">; // movge i/xcc, imm, rd |
| def MOVLr : F4_3<2, 0b101100, 0b0011, "movl">; // movl i/xcc, rs2, rd |
| def MOVLi : F4_4<2, 0b101100, 0b0011, "movl">; // movl i/xcc, imm, rd |
| def MOVGUr : F4_3<2, 0b101100, 0b1100, "movgu">; // movgu i/xcc, rs2, rd |
| def MOVGUi : F4_4<2, 0b101100, 0b1100, "movgu">; // movgu i/xcc, imm, rd |
| def MOVLEUr : F4_3<2, 0b101100, 0b0100, "movleu">; // movleu i/xcc, rs2, rd |
| def MOVLEUi : F4_4<2, 0b101100, 0b0100, "movleu">; // movleu i/xcc, imm, rd |
| def MOVCCr : F4_3<2, 0b101100, 0b1101, "movcc">; // movcc i/xcc, rs2, rd |
| def MOVCCi : F4_4<2, 0b101100, 0b1101, "movcc">; // movcc i/xcc, imm, rd |
| def MOVCSr : F4_3<2, 0b101100, 0b0101, "movcs">; // movcs i/xcc, rs2, rd |
| def MOVCSi : F4_4<2, 0b101100, 0b0101, "movcs">; // movcs i/xcc, imm, rd |
| def MOVPOSr : F4_3<2, 0b101100, 0b1110, "movpos">; // movpos i/xcc, rs2, rd |
| def MOVPOSi : F4_4<2, 0b101100, 0b1110, "movpos">; // movpos i/xcc, imm, rd |
| def MOVNEGr : F4_3<2, 0b101100, 0b0110, "movneg">; // movneg i/xcc, rs2, rd |
| def MOVNEGi : F4_4<2, 0b101100, 0b0110, "movneg">; // movneg i/xcc, imm, rd |
| def MOVVCr : F4_3<2, 0b101100, 0b1111, "movvc">; // movvc i/xcc, rs2, rd |
| def MOVVCi : F4_4<2, 0b101100, 0b1111, "movvc">; // movvc i/xcc, imm, rd |
| def MOVVSr : F4_3<2, 0b101100, 0b0111, "movvs">; // movvs i/xcc, rs2, rd |
| def MOVVSi : F4_4<2, 0b101100, 0b0111, "movvs">; // movvs i/xcc, imm, rd |
| |
| // For floating-point condition codes |
| def MOVFAr : F4_3<2, 0b101100, 0b1000, "movfa">; // movfa i/xcc, rs2, rd |
| def MOVFAi : F4_4<2, 0b101100, 0b1000, "movfa">; // movfa i/xcc, imm, rd |
| def MOVFNr : F4_3<2, 0b101100, 0b0000, "movfn">; // movfn i/xcc, rs2, rd |
| def MOVFNi : F4_4<2, 0b101100, 0b0000, "movfn">; // movfn i/xcc, imm, rd |
| def MOVFUr : F4_3<2, 0b101100, 0b0111, "movfu">; // movfu i/xcc, rs2, rd |
| def MOVFUi : F4_4<2, 0b101100, 0b0111, "movfu">; // movfu i/xcc, imm, rd |
| def MOVFGr : F4_3<2, 0b101100, 0b0110, "movfg">; // movfg i/xcc, rs2, rd |
| def MOVFGi : F4_4<2, 0b101100, 0b0110, "movfg">; // movfg i/xcc, imm, rd |
| def MOVFUGr : F4_3<2, 0b101100, 0b0101, "movfug">; // movfug i/xcc, rs2, rd |
| def MOVFUGi : F4_4<2, 0b101100, 0b0101, "movfug">; // movfug i/xcc, imm, rd |
| def MOVFLr : F4_3<2, 0b101100, 0b0100, "movfl">; // movfl i/xcc, rs2, rd |
| def MOVFLi : F4_4<2, 0b101100, 0b0100, "movfl">; // movfl i/xcc, imm, rd |
| def MOVFULr : F4_3<2, 0b101100, 0b0011, "movful">; // movful i/xcc, rs2, rd |
| def MOVFULi : F4_4<2, 0b101100, 0b0011, "movful">; // movful i/xcc, imm, rd |
| def MOVFLGr : F4_3<2, 0b101100, 0b0010, "movflg">; // movflg i/xcc, rs2, rd |
| def MOVFLGi : F4_4<2, 0b101100, 0b0010, "movflg">; // movflg i/xcc, imm, rd |
| def MOVFNEr : F4_3<2, 0b101100, 0b0001, "movfne">; // movfne i/xcc, rs2, rd |
| def MOVFNEi : F4_4<2, 0b101100, 0b0001, "movfne">; // movfne i/xcc, imm, rd |
| def MOVFEr : F4_3<2, 0b101100, 0b1001, "movfe">; // movfe i/xcc, rs2, rd |
| def MOVFEi : F4_4<2, 0b101100, 0b1001, "movfe">; // movfe i/xcc, imm, rd |
| def MOVFUEr : F4_3<2, 0b101100, 0b1010, "movfue">; // movfue i/xcc, rs2, rd |
| def MOVFUEi : F4_4<2, 0b101100, 0b1010, "movfue">; // movfue i/xcc, imm, rd |
| def MOVFGEr : F4_3<2, 0b101100, 0b1011, "movfge">; // movfge i/xcc, rs2, rd |
| def MOVFGEi : F4_4<2, 0b101100, 0b1011, "movfge">; // movfge i/xcc, imm, rd |
| def MOVFUGEr : F4_3<2, 0b101100, 0b1100, "movfuge">; // movfuge i/xcc, rs2, rd |
| def MOVFUGEi : F4_4<2, 0b101100, 0b1100, "movfuge">; // movfuge i/xcc, imm, rd |
| def MOVFLEr : F4_3<2, 0b101100, 0b1101, "movfle">; // movfle i/xcc, rs2, rd |
| def MOVFLEi : F4_4<2, 0b101100, 0b1101, "movfle">; // movfle i/xcc, imm, rd |
| def MOVFULEr : F4_3<2, 0b101100, 0b1110, "movfule">; // movfule i/xcc, rs2, rd |
| def MOVFULEi : F4_4<2, 0b101100, 0b1110, "movfule">; // movfule i/xcc, imm, rd |
| def MOVFOr : F4_3<2, 0b101100, 0b1111, "movfo">; // movfo i/xcc, rs2, rd |
| def MOVFOi : F4_4<2, 0b101100, 0b1111, "movfo">; // movfo i/xcc, imm, rd |
| |
| // Section A.36: Move Integer Register on Register Condition (MOVR) - p198 |
| def MOVRZr : F3_5<2, 0b101111, 0b001, "movrz">; // movrz rs1, rs2, rd |
| def MOVRZi : F3_6<2, 0b101111, 0b001, "movrz">; // movrz rs1, imm, rd |
| def MOVRLEZr : F3_5<2, 0b101111, 0b010, "movrlez">; // movrlez rs1, rs2, rd |
| def MOVRLEZi : F3_6<2, 0b101111, 0b010, "movrlez">; // movrlez rs1, imm, rd |
| def MOVRLZr : F3_5<2, 0b101111, 0b011, "movrlz">; // movrlz rs1, rs2, rd |
| def MOVRLZi : F3_6<2, 0b101111, 0b011, "movrlz">; // movrlz rs1, imm, rd |
| def MOVRNZr : F3_5<2, 0b101111, 0b101, "movrnz">; // movrnz rs1, rs2, rd |
| def MOVRNZi : F3_6<2, 0b101111, 0b101, "movrnz">; // movrnz rs1, imm, rd |
| def MOVRGZr : F3_5<2, 0b101111, 0b110, "movrgz">; // movrgz rs1, rs2, rd |
| def MOVRGZi : F3_6<2, 0b101111, 0b110, "movrgz">; // movrgz rs1, imm, rd |
| def MOVRGEZr : F3_5<2, 0b101111, 0b111, "movrgez">; // movrgez rs1, rs2, rd |
| def MOVRGEZi : F3_6<2, 0b101111, 0b111, "movrgez">; // movrgez rs1, imm, rd |
| |
| // Section A.37: Multiply and Divide (64-bit) - p199 |
| def MULXr : F3_1<2, 0b001001, "mulx">; // mulx r, r, r |
| def MULXi : F3_2<2, 0b001001, "mulx">; // mulx r, i, r |
| def SDIVXr : F3_1<2, 0b101101, "sdivx">; // sdivx r, r, r |
| def SDIVXi : F3_2<2, 0b101101, "sdivx">; // sdivx r, i, r |
| def UDIVXr : F3_1<2, 0b001101, "udivx">; // udivx r, r, r |
| def UDIVXi : F3_2<2, 0b001101, "udivx">; // udivx r, i, r |
| |
| // Section A.38: Multiply (32-bit) - p200 |
| // Not used in the Sparc backend |
| /* |
| let Inst{13} = 0 in { |
| def UMULr : F3_1<2, 0b001010, "umul">; // umul r, r, r |
| def SMULr : F3_1<2, 0b001011, "smul">; // smul r, r, r |
| def UMULCCr : F3_1<2, 0b011010, "umulcc">; // mulcc r, r, r |
| def SMULCCr : F3_1<2, 0b011011, "smulcc">; // smulcc r, r, r |
| } |
| let Inst{13} = 1 in { |
| def UMULi : F3_1<2, 0b001010, "umul">; // umul r, i, r |
| def SMULi : F3_1<2, 0b001011, "smul">; // smul r, i, r |
| def UMULCCi : F3_1<2, 0b011010, "umulcc">; // umulcc r, i, r |
| def SMULCCi : F3_1<2, 0b011011, "smulcc">; // smulcc r, i, r |
| } |
| */ |
| |
| // Section A.39: Multiply Step - p202 |
| // Not currently used in the Sparc backend |
| |
| // Section A.40: No operation - p204 |
| // NOP is really a pseudo-instruction (special case of SETHI) |
| let op2 = 0b100 in { |
| let rd = 0 in { |
| let imm = 0 in { |
| def NOP : F2_1<"nop">; // nop |
| } |
| } |
| } |
| |
| // Section A.41: Population Count - p205 |
| // Not currently used in the Sparc backend |
| |
| // Section A.42: Prefetch Data - p206 |
| // Not currently used in the Sparc backend |
| |
| // Section A.43: Read Privileged Register - p211 |
| // Not currently used in the Sparc backend |
| |
| // Section A.44: Read State Register |
| // The only instr from this section currently used is RDCCR |
| let rs1 = 2 in { |
| def RDCCR : F3_17<2, 0b101000, "rd">; // rd %ccr, r |
| } |
| |
| // Section A.45: RETURN - p216 |
| let isReturn = 1 in { |
| def RETURNr : F3_3<2, 0b111001, "return">; // return |
| def RETURNi : F3_4<2, 0b111001, "return">; // return |
| } |
| |
| // Section A.46: SAVE and RESTORE - p217 |
| def SAVEr : F3_1<2, 0b111100, "save">; // save r, r, r |
| def SAVEi : F3_2<2, 0b111100, "save">; // save r, i, r |
| def RESTOREr : F3_1<2, 0b111101, "restore">; // restore r, r, r |
| def RESTOREi : F3_2<2, 0b111101, "restore">; // restore r, i, r |
| |
| // Section A.47: SAVED and RESTORED - p219 |
| // Not currently used in Sparc backend |
| |
| // Section A.48: SETHI - p220 |
| let op2 = 0b100 in { |
| def SETHI : F2_1<"sethi">; // sethi |
| } |
| |
| // Section A.49: Shift - p221 |
| // Not currently used in the Sparc backend |
| /* |
| uses 5 least significant bits of rs2 |
| let x = 0 in { |
| def SLLr5 : F3_11<2, 0b100101, "sll">; // sll r, r, r |
| def SRLr5 : F3_11<2, 0b100110, "srl">; // srl r, r, r |
| def SRAr5 : F3_11<2, 0b100111, "sra">; // sra r, r, r |
| def SLLXr5 : F3_11<2, 0b100101, "sllx">; // sllx r, r, r |
| def SRLXr5 : F3_11<2, 0b100110, "srlx">; // srlx r, r, r |
| def SRAXr5 : F3_11<2, 0b100111, "srax">; // srax r, r, r |
| } |
| */ |
| |
| // uses 6 least significant bits of rs2 |
| let x = 0 in { |
| def SLLr5 : F3_11<2, 0b100101, "sll">; // sll r, r, r |
| def SRLr5 : F3_11<2, 0b100110, "srl">; // srl r, r, r |
| def SRAr5 : F3_11<2, 0b100111, "sra">; // sra r, r, r |
| } |
| let x = 1 in { |
| def SLLXr6 : F3_11<2, 0b100101, "sllx">; // sllx r, r, r |
| def SRLXr6 : F3_11<2, 0b100110, "srlx">; // srlx r, r, r |
| def SRAXr6 : F3_11<2, 0b100111, "srax">; // srax r, r, r |
| } |
| |
| def SLLi5 : F3_12<2, 0b100101, "sll">; // sll r, shcnt32, r |
| def SRLi5 : F3_12<2, 0b100110, "srl">; // srl r, shcnt32, r |
| def SRAi5 : F3_12<2, 0b100111, "sra">; // sra r, shcnt32, r |
| def SLLXi6 : F3_13<2, 0b100101, "sllx">; // sllx r, shcnt64, r |
| def SRLXi6 : F3_13<2, 0b100110, "srlx">; // srlx r, shcnt64, r |
| def SRAXi6 : F3_13<2, 0b100111, "srax">; // srax r, shcnt64, r |
| |
| // Section A.50: Sofware-Initiated Reset - p223 |
| // Not currently used in the Sparc backend |
| |
| // Section A.51: Store Barrier - p224 |
| // Not currently used in the Sparc backend |
| |
| // Section A.52: Store Floating-point - p225 |
| // Store instructions all want their rd register first |
| def STFr : F3_1rd<3, 0b100100, "st">; // st r, [r+r] |
| def STFi : F3_2rd<3, 0b100100, "st">; // st r, [r+i] |
| def STDFr : F3_1rd<3, 0b100111, "std">; // std r, [r+r] |
| def STDFi : F3_2rd<3, 0b100111, "std">; // std r, [r+i] |
| |
| // Not currently used in the Sparc backend |
| /* |
| def STQFr : F3_1rd<3, 0b100110, "stq">; // stq r, [r+r] |
| def STQFi : F3_2rd<3, 0b100110, "stq">; // stq r, [r+i] |
| */ |
| |
| // FIXME: An encoding needs to be chosen here, because STFSRx expect rd=0, |
| // while STXFSRx expect rd=1, but assembly syntax dictates %fsr as first arg. |
| // These are being disabled because they aren't used in the Sparc backend. |
| /* |
| let isDeprecated = 1 in { |
| def STFSRr : F3_1<3, 0b100101, "st">; // st %fsr, [r+r] |
| def STFSRi : F3_2<3, 0b100101, "st">; // st %fsr, [r+i] |
| } |
| */ |
| def STXFSRr : F3_1<3, 0b100101, "stx">; // stx %fsr, [r+r] |
| def STXFSRi : F3_2<3, 0b100101, "stx">; // stx %fsr, [r+i] |
| |
| // Section A.53: Store Floating-Point into Alternate Space - p227 |
| // Not currently used in the Sparc backend |
| |
| // Section A.54: Store Integer - p229 |
| // Store instructions all want their rd register first |
| def STBr : F3_1rd<3, 0b000101, "stb">; // stb r, [r+r] |
| def STBi : F3_2rd<3, 0b000101, "stb">; // stb r, [r+i] |
| def STHr : F3_1rd<3, 0b000110, "sth">; // sth r, [r+r] |
| def STHi : F3_2rd<3, 0b000110, "sth">; // sth r, [r+i] |
| def STWr : F3_1rd<3, 0b000100, "stw">; // stw r, [r+r] |
| def STWi : F3_2rd<3, 0b000100, "stw">; // stw r, [r+i] |
| def STXr : F3_1rd<3, 0b001110, "stx">; // stx r, [r+r] |
| def STXi : F3_2rd<3, 0b001110, "stx">; // stx r, [r+i] |
| |
| // Section A.55: Store Integer into Alternate Space - p231 |
| // Not currently used in the Sparc backend |
| |
| // Section A.56: Subtract - p233 |
| def SUBr : F3_1<2, 0b000100, "sub">; // sub r, r, r |
| def SUBi : F3_2<2, 0b000100, "sub">; // sub r, i, r |
| def SUBccr : F3_1<2, 0b010100, "subcc">; // subcc r, r, r |
| def SUBcci : F3_2<2, 0b010100, "subcc">; // subcc r, i, r |
| def SUBCr : F3_1<2, 0b001100, "subc">; // subc r, r, r |
| def SUBCi : F3_2<2, 0b001100, "subc">; // subc r, i, r |
| def SUBCccr : F3_1<2, 0b011100, "subccc">; // subccc r, r, r |
| def SUBCcci : F3_2<2, 0b011100, "subccc">; // subccc r, i, r |
| |
| // FIXME: More...? |
| |
| // Section A.63: Write State Register - p244 |
| let rd = 2 in { |
| def WRCCRr : F3_1<2, 0b110000, "wr">; // wr r, r, %y/ccr/etc |
| def WRCCRi : F3_2<2, 0b110000, "wr">; // wr r, i, %y/ccr/etc |
| } |