Index: lib/Target/SystemZ/SystemZISelLowering.h =================================================================== --- lib/Target/SystemZ/SystemZISelLowering.h +++ lib/Target/SystemZ/SystemZISelLowering.h @@ -324,6 +324,12 @@ // Operand 2: the type of store (i16, i32, i64) STRV, + // Test Data Class. + // + // Operand 0: the value to test + // Operand 1: the bit mask + TDC, + // Prefetch from the second operand using the 4-bit control code in // the first operand. The code is 1 for a load prefetch and 2 for // a store prefetch. Index: lib/Target/SystemZ/SystemZISelLowering.cpp =================================================================== --- lib/Target/SystemZ/SystemZISelLowering.cpp +++ lib/Target/SystemZ/SystemZISelLowering.cpp @@ -4684,6 +4684,7 @@ OPCODE(ATOMIC_CMP_SWAPW); OPCODE(LRV); OPCODE(STRV); + OPCODE(TDC); OPCODE(PREFETCH); } return nullptr; Index: lib/Target/SystemZ/SystemZInstrFP.td =================================================================== --- lib/Target/SystemZ/SystemZInstrFP.td +++ lib/Target/SystemZ/SystemZInstrFP.td @@ -447,6 +447,13 @@ def CDB : CompareRXE<"cdb", 0xED19, z_fcmp, FP64, load, 8>; } +// Test Data Class. +let Defs = [CC], CCValues = 0xC in { + def TCEB : TestRXE<"tceb", 0xED10, z_tdc, FP32>; + def TCDB : TestRXE<"tcdb", 0xED11, z_tdc, FP64>; + def TCXB : TestRXE<"tcxb", 0xED12, z_tdc, FP128>; +} + //===----------------------------------------------------------------------===// // Peepholes //===----------------------------------------------------------------------===// Index: lib/Target/SystemZ/SystemZInstrFormats.td =================================================================== --- lib/Target/SystemZ/SystemZInstrFormats.td +++ lib/Target/SystemZ/SystemZInstrFormats.td @@ -1001,6 +1001,10 @@ // Compare: // Two input operands and an implicit CC output operand. // +// Test: +// Two input operands and an implicit CC output operand. The second +// input operand is an "address" operand used as a test class mask. +// // Ternary: // One register output operand and three input operands. // @@ -1956,6 +1960,14 @@ let M5 = 0; } +class TestRXE opcode, SDPatternOperator operator, + RegisterOperand cls> + : InstRXE { + let M3 = 0; +} + class TernaryRRD opcode, SDPatternOperator operator, RegisterOperand cls> : InstRRD, SDTCisSameAs<0, 3>, SDTCisVT<4, i32>]>; +def SDT_ZTest : SDTypeProfile<0, 2, [SDTCisVT<1, i64>]>; //===----------------------------------------------------------------------===// // Node definitions @@ -204,6 +205,8 @@ def z_storebswap : SDNode<"SystemZISD::STRV", SDT_ZStoreBSwap, [SDNPHasChain, SDNPMayStore, SDNPMemOperand]>; +def z_tdc : SDNode<"SystemZISD::TDC", SDT_ZTest, [SDNPOutGlue]>; + // Defined because the index is an i32 rather than a pointer. def z_vector_insert : SDNode<"ISD::INSERT_VECTOR_ELT", SDT_ZInsertVectorElt>; Index: test/MC/Disassembler/SystemZ/insns.txt =================================================================== --- test/MC/Disassembler/SystemZ/insns.txt +++ test/MC/Disassembler/SystemZ/insns.txt @@ -9040,6 +9040,69 @@ # CHECK: tbeginc 4095(%r15), 42 0xe5 0x61 0xff 0xff 0x00 0x2a +# CHECK: tcdb %f0, 0 +0xed 0x00 0x00 0x00 0x00 0x11 + +# CHECK: tcdb %f0, 4095 +0xed 0x00 0x0f 0xff 0x00 0x11 + +# CHECK: tcdb %f0, 0(%r1) +0xed 0x00 0x10 0x00 0x00 0x11 + +# CHECK: tcdb %f0, 0(%r15) +0xed 0x00 0xf0 0x00 0x00 0x11 + +# CHECK: tcdb %f0, 4095(%r1,%r15) +0xed 0x01 0xff 0xff 0x00 0x11 + +# CHECK: tcdb %f0, 4095(%r15,%r1) +0xed 0x0f 0x1f 0xff 0x00 0x11 + +# CHECK: tcdb %f15, 0 +0xed 0xf0 0x00 0x00 0x00 0x11 + +# CHECK: tceb %f0, 0 +0xed 0x00 0x00 0x00 0x00 0x10 + +# CHECK: tceb %f0, 4095 +0xed 0x00 0x0f 0xff 0x00 0x10 + +# CHECK: tceb %f0, 0(%r1) +0xed 0x00 0x10 0x00 0x00 0x10 + +# CHECK: tceb %f0, 0(%r15) +0xed 0x00 0xf0 0x00 0x00 0x10 + +# CHECK: tceb %f0, 4095(%r1,%r15) +0xed 0x01 0xff 0xff 0x00 0x10 + +# CHECK: tceb %f0, 4095(%r15,%r1) +0xed 0x0f 0x1f 0xff 0x00 0x10 + +# CHECK: tceb %f15, 0 +0xed 0xf0 0x00 0x00 0x00 0x10 + +# CHECK: tcxb %f0, 0 +0xed 0x00 0x00 0x00 0x00 0x12 + +# CHECK: tcxb %f0, 4095 +0xed 0x00 0x0f 0xff 0x00 0x12 + +# CHECK: tcxb %f0, 0(%r1) +0xed 0x00 0x10 0x00 0x00 0x12 + +# CHECK: tcxb %f0, 0(%r15) +0xed 0x00 0xf0 0x00 0x00 0x12 + +# CHECK: tcxb %f0, 4095(%r1,%r15) +0xed 0x01 0xff 0xff 0x00 0x12 + +# CHECK: tcxb %f0, 4095(%r15,%r1) +0xed 0x0f 0x1f 0xff 0x00 0x12 + +# CHECK: tcxb %f13, 0 +0xed 0xd0 0x00 0x00 0x00 0x12 + # CHECK: tend 0xb2 0xf8 0x00 0x00 Index: test/MC/SystemZ/insn-bad.s =================================================================== --- test/MC/SystemZ/insn-bad.s +++ test/MC/SystemZ/insn-bad.s @@ -3329,6 +3329,30 @@ sy %r0, 524288 #CHECK: error: invalid operand +#CHECK: tcdb %f0, -1 +#CHECK: error: invalid operand +#CHECK: tcdb %f0, 4096 + + tcdb %f0, -1 + tcdb %f0, 4096 + +#CHECK: error: invalid operand +#CHECK: tceb %f0, -1 +#CHECK: error: invalid operand +#CHECK: tceb %f0, 4096 + + tceb %f0, -1 + tceb %f0, 4096 + +#CHECK: error: invalid operand +#CHECK: tcxb %f0, -1 +#CHECK: error: invalid operand +#CHECK: tcxb %f0, 4096 + + tcxb %f0, -1 + tcxb %f0, 4096 + +#CHECK: error: invalid operand #CHECK: tm -1, 0 #CHECK: error: invalid operand #CHECK: tm 4096, 0 Index: test/MC/SystemZ/insn-good.s =================================================================== --- test/MC/SystemZ/insn-good.s +++ test/MC/SystemZ/insn-good.s @@ -9289,6 +9289,54 @@ sy %r0, 524287(%r15,%r1) sy %r15, 0 +#CHECK: tcdb %f0, 0 # encoding: [0xed,0x00,0x00,0x00,0x00,0x11] +#CHECK: tcdb %f0, 4095 # encoding: [0xed,0x00,0x0f,0xff,0x00,0x11] +#CHECK: tcdb %f0, 0(%r1) # encoding: [0xed,0x00,0x10,0x00,0x00,0x11] +#CHECK: tcdb %f0, 0(%r15) # encoding: [0xed,0x00,0xf0,0x00,0x00,0x11] +#CHECK: tcdb %f0, 4095(%r1,%r15) # encoding: [0xed,0x01,0xff,0xff,0x00,0x11] +#CHECK: tcdb %f0, 4095(%r15,%r1) # encoding: [0xed,0x0f,0x1f,0xff,0x00,0x11] +#CHECK: tcdb %f15, 0 # encoding: [0xed,0xf0,0x00,0x00,0x00,0x11] + + tcdb %f0, 0 + tcdb %f0, 4095 + tcdb %f0, 0(%r1) + tcdb %f0, 0(%r15) + tcdb %f0, 4095(%r1,%r15) + tcdb %f0, 4095(%r15,%r1) + tcdb %f15, 0 + +#CHECK: tceb %f0, 0 # encoding: [0xed,0x00,0x00,0x00,0x00,0x10] +#CHECK: tceb %f0, 4095 # encoding: [0xed,0x00,0x0f,0xff,0x00,0x10] +#CHECK: tceb %f0, 0(%r1) # encoding: [0xed,0x00,0x10,0x00,0x00,0x10] +#CHECK: tceb %f0, 0(%r15) # encoding: [0xed,0x00,0xf0,0x00,0x00,0x10] +#CHECK: tceb %f0, 4095(%r1,%r15) # encoding: [0xed,0x01,0xff,0xff,0x00,0x10] +#CHECK: tceb %f0, 4095(%r15,%r1) # encoding: [0xed,0x0f,0x1f,0xff,0x00,0x10] +#CHECK: tceb %f15, 0 # encoding: [0xed,0xf0,0x00,0x00,0x00,0x10] + + tceb %f0, 0 + tceb %f0, 4095 + tceb %f0, 0(%r1) + tceb %f0, 0(%r15) + tceb %f0, 4095(%r1,%r15) + tceb %f0, 4095(%r15,%r1) + tceb %f15, 0 + +#CHECK: tcxb %f0, 0 # encoding: [0xed,0x00,0x00,0x00,0x00,0x12] +#CHECK: tcxb %f0, 4095 # encoding: [0xed,0x00,0x0f,0xff,0x00,0x12] +#CHECK: tcxb %f0, 0(%r1) # encoding: [0xed,0x00,0x10,0x00,0x00,0x12] +#CHECK: tcxb %f0, 0(%r15) # encoding: [0xed,0x00,0xf0,0x00,0x00,0x12] +#CHECK: tcxb %f0, 4095(%r1,%r15) # encoding: [0xed,0x01,0xff,0xff,0x00,0x12] +#CHECK: tcxb %f0, 4095(%r15,%r1) # encoding: [0xed,0x0f,0x1f,0xff,0x00,0x12] +#CHECK: tcxb %f13, 0 # encoding: [0xed,0xd0,0x00,0x00,0x00,0x12] + + tcxb %f0, 0 + tcxb %f0, 4095 + tcxb %f0, 0(%r1) + tcxb %f0, 0(%r15) + tcxb %f0, 4095(%r1,%r15) + tcxb %f0, 4095(%r15,%r1) + tcxb %f13, 0 + #CHECK: tm 0, 0 # encoding: [0x91,0x00,0x00,0x00] #CHECK: tm 4095, 0 # encoding: [0x91,0x00,0x0f,0xff] #CHECK: tm 0, 255 # encoding: [0x91,0xff,0x00,0x00]