6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-07-21 18:29:45 +00:00
Code Issues Projects Releases Wiki Activity

[SystemZ] Add RISBLG and RISBHG instruction definitions

Browse Source 
The next patch will make use of RISBLG for codegen.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187490 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Richard Sandiford 2013-07-31 11:17:35 +00:00
parent 5b62bb0af1
commit f3068d02e5
8 changed files with 143 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Target/SystemZ/SystemZInstrInfo.td
View File

@ -867,6 +867,13 @@ let Defs = [CC] in {
def RISBG : RotateSelectRIEf<"risbg", 0xEC55, GR64, GR64>; def RISBG : RotateSelectRIEf<"risbg", 0xEC55, GR64, GR64>;
} }
// Forms of RISBG that only affect one word of the destination register.
// They do not set CC.
def RISBHG : RotateSelectRIEf<"risbhg", 0xEC5D, GR64, GR64>,
Requires<[FeatureHighWord]>;
def RISBLG : RotateSelectRIEf<"risblg", 0xEC51, GR64, GR64>,
Requires<[FeatureHighWord]>;
// Rotate second operand left and perform a logical operation with selected // Rotate second operand left and perform a logical operation with selected
// bits of the first operand. // bits of the first operand.
let Defs = [CC] in { let Defs = [CC] in {

9
lib/Target/SystemZ/SystemZProcessors.td
View File

@ -26,8 +26,13 @@ def FeatureLoadStoreOnCond : SystemZFeature<
"Assume that the load/store-on-condition facility is installed" "Assume that the load/store-on-condition facility is installed"
>; >;
def FeatureHighWord : SystemZFeature<
"high-word", "HighWord",
"Assume that the high-word facility is installed"
>;
def : Processor<"z10", NoItineraries, []>; def : Processor<"z10", NoItineraries, []>;
def : Processor<"z196", NoItineraries, def : Processor<"z196", NoItineraries,
[FeatureDistinctOps, FeatureLoadStoreOnCond]>; [FeatureDistinctOps, FeatureLoadStoreOnCond, FeatureHighWord]>;
def : Processor<"zEC12", NoItineraries, def : Processor<"zEC12", NoItineraries,
[FeatureDistinctOps, FeatureLoadStoreOnCond]>; [FeatureDistinctOps, FeatureLoadStoreOnCond, FeatureHighWord]>;

2
lib/Target/SystemZ/SystemZSubtarget.cpp
View File

@ -21,7 +21,7 @@ SystemZSubtarget::SystemZSubtarget(const std::string &TT,
const std::string &CPU, const std::string &CPU,
const std::string &FS) const std::string &FS)
: SystemZGenSubtargetInfo(TT, CPU, FS), HasDistinctOps(false), : SystemZGenSubtargetInfo(TT, CPU, FS), HasDistinctOps(false),
HasLoadStoreOnCond(false), TargetTriple(TT) { HasLoadStoreOnCond(false), HasHighWord(false), TargetTriple(TT) {
std::string CPUName = CPU; std::string CPUName = CPU;
if (CPUName.empty()) if (CPUName.empty())
CPUName = "z10"; CPUName = "z10";

4
lib/Target/SystemZ/SystemZSubtarget.h
View File

@ -29,6 +29,7 @@ class SystemZSubtarget : public SystemZGenSubtargetInfo {
protected: protected:
bool HasDistinctOps; bool HasDistinctOps;
bool HasLoadStoreOnCond; bool HasLoadStoreOnCond;
bool HasHighWord;
private: private:
Triple TargetTriple; Triple TargetTriple;
@ -46,6 +47,9 @@ public:
// Return true if the target has the load/store-on-condition facility. // Return true if the target has the load/store-on-condition facility.
bool hasLoadStoreOnCond() const { return HasLoadStoreOnCond; } bool hasLoadStoreOnCond() const { return HasLoadStoreOnCond; }
// Return true if the target has the high-word facility.
bool hasHighWord() const { return HasHighWord; }
// Return true if GV can be accessed using LARL for reloc model RM // Return true if GV can be accessed using LARL for reloc model RM
// and code model CM. // and code model CM.
bool isPC32DBLSymbol(const GlobalValue *GV, Reloc::Model RM, bool isPC32DBLSymbol(const GlobalValue *GV, Reloc::Model RM,

42
test/MC/Disassembler/SystemZ/insns.txt
View File

@ -4957,6 +4957,48 @@
# CHECK: risbg %r4, %r5, 6, 7, 8 # CHECK: risbg %r4, %r5, 6, 7, 8
0xec 0x45 0x06 0x07 0x08 0x55 0xec 0x45 0x06 0x07 0x08 0x55
# CHECK: risbhg %r0, %r0, 0, 0, 0
0xec 0x00 0x00 0x00 0x00 0x5d
# CHECK: risbhg %r0, %r0, 0, 0, 63
0xec 0x00 0x00 0x00 0x3f 0x5d
# CHECK: risbhg %r0, %r0, 0, 255, 0
0xec 0x00 0x00 0xff 0x00 0x5d
# CHECK: risbhg %r0, %r0, 255, 0, 0
0xec 0x00 0xff 0x00 0x00 0x5d
# CHECK: risbhg %r0, %r15, 0, 0, 0
0xec 0x0f 0x00 0x00 0x00 0x5d
# CHECK: risbhg %r15, %r0, 0, 0, 0
0xec 0xf0 0x00 0x00 0x00 0x5d
# CHECK: risbhg %r4, %r5, 6, 7, 8
0xec 0x45 0x06 0x07 0x08 0x5d
# CHECK: risblg %r0, %r0, 0, 0, 0
0xec 0x00 0x00 0x00 0x00 0x51
# CHECK: risblg %r0, %r0, 0, 0, 63
0xec 0x00 0x00 0x00 0x3f 0x51
# CHECK: risblg %r0, %r0, 0, 255, 0
0xec 0x00 0x00 0xff 0x00 0x51
# CHECK: risblg %r0, %r0, 255, 0, 0
0xec 0x00 0xff 0x00 0x00 0x51
# CHECK: risblg %r0, %r15, 0, 0, 0
0xec 0x0f 0x00 0x00 0x00 0x51
# CHECK: risblg %r15, %r0, 0, 0, 0
0xec 0xf0 0x00 0x00 0x00 0x51
# CHECK: risblg %r4, %r5, 6, 7, 8
0xec 0x45 0x06 0x07 0x08 0x51
# CHECK: rnsbg %r0, %r0, 0, 0, 0 # CHECK: rnsbg %r0, %r0, 0, 0, 0
0xec 0x00 0x00 0x00 0x00 0x54 0xec 0x00 0x00 0x00 0x00 0x54

40
test/MC/SystemZ/insn-bad-z196.s
View File

@ -74,6 +74,46 @@
locr %r0,%r0,-1 locr %r0,%r0,-1
locr %r0,%r0,16 locr %r0,%r0,16
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,0,0,-1
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,0,0,64
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,0,-1,0
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,0,256,0
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,-1,0,0
#CHECK: error: invalid operand
#CHECK: risbhg %r0,%r0,256,0,0
risbhg %r0,%r0,0,0,-1
risbhg %r0,%r0,0,0,64
risbhg %r0,%r0,0,-1,0
risbhg %r0,%r0,0,256,0
risbhg %r0,%r0,-1,0,0
risbhg %r0,%r0,256,0,0
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,0,0,-1
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,0,0,64
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,0,-1,0
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,0,256,0
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,-1,0,0
#CHECK: error: invalid operand
#CHECK: risblg %r0,%r0,256,0,0
risblg %r0,%r0,0,0,-1
risblg %r0,%r0,0,0,64
risblg %r0,%r0,0,-1,0
risblg %r0,%r0,0,256,0
risblg %r0,%r0,-1,0,0
risblg %r0,%r0,256,0,0
#CHECK: error: invalid operand #CHECK: error: invalid operand
#CHECK: sllk %r0,%r0,-524289 #CHECK: sllk %r0,%r0,-524289
#CHECK: error: invalid operand #CHECK: error: invalid operand

10
test/MC/SystemZ/insn-bad.s
View File

@ -2176,6 +2176,16 @@
risbg %r0,%r0,-1,0,0 risbg %r0,%r0,-1,0,0
risbg %r0,%r0,256,0,0 risbg %r0,%r0,256,0,0
#CHECK: error: {{(instruction requires: high-word)?}}
#CHECK: risbhg %r1, %r2, 0, 0, 0
risbhg %r1, %r2, 0, 0, 0
#CHECK: error: {{(instruction requires: high-word)?}}
#CHECK: risblg %r1, %r2, 0, 0, 0
risblg %r1, %r2, 0, 0, 0
#CHECK: error: invalid operand #CHECK: error: invalid operand
#CHECK: rnsbg %r0,%r0,0,0,-1 #CHECK: rnsbg %r0,%r0,0,0,-1
#CHECK: error: invalid operand #CHECK: error: invalid operand

32
test/MC/SystemZ/insn-good-z196.s
View File

@ -337,6 +337,38 @@
ork %r15,%r0,%r0 ork %r15,%r0,%r0
ork %r7,%r8,%r9 ork %r7,%r8,%r9
#CHECK: risbhg %r0, %r0, 0, 0, 0 # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
#CHECK: risbhg %r0, %r0, 0, 0, 63 # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
#CHECK: risbhg %r0, %r0, 0, 255, 0 # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
#CHECK: risbhg %r0, %r0, 255, 0, 0 # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
#CHECK: risbhg %r0, %r15, 0, 0, 0 # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
#CHECK: risbhg %r15, %r0, 0, 0, 0 # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
#CHECK: risbhg %r4, %r5, 6, 7, 8 # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
risbhg %r0,%r0,0,0,0
risbhg %r0,%r0,0,0,63
risbhg %r0,%r0,0,255,0
risbhg %r0,%r0,255,0,0
risbhg %r0,%r15,0,0,0
risbhg %r15,%r0,0,0,0
risbhg %r4,%r5,6,7,8
#CHECK: risblg %r0, %r0, 0, 0, 0 # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
#CHECK: risblg %r0, %r0, 0, 0, 63 # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
#CHECK: risblg %r0, %r0, 0, 255, 0 # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
#CHECK: risblg %r0, %r0, 255, 0, 0 # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
#CHECK: risblg %r0, %r15, 0, 0, 0 # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
#CHECK: risblg %r15, %r0, 0, 0, 0 # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
#CHECK: risblg %r4, %r5, 6, 7, 8 # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
risblg %r0,%r0,0,0,0
risblg %r0,%r0,0,0,63
risblg %r0,%r0,0,255,0
risblg %r0,%r0,255,0,0
risblg %r0,%r15,0,0,0
risblg %r15,%r0,0,0,0
risblg %r4,%r5,6,7,8
#CHECK: sgrk %r0, %r0, %r0 # encoding: [0xb9,0xe9,0x00,0x00] #CHECK: sgrk %r0, %r0, %r0 # encoding: [0xb9,0xe9,0x00,0x00]
#CHECK: sgrk %r0, %r0, %r15 # encoding: [0xb9,0xe9,0xf0,0x00] #CHECK: sgrk %r0, %r0, %r15 # encoding: [0xb9,0xe9,0xf0,0x00]
#CHECK: sgrk %r0, %r15, %r0 # encoding: [0xb9,0xe9,0x00,0x0f] #CHECK: sgrk %r0, %r15, %r0 # encoding: [0xb9,0xe9,0x00,0x0f]