template <typename Visitor> void enumerateFields_gen(InstMem obj, Visitor & vis) {
enumerateFields_gen(Inst(obj), vis);
vis(obj.segment(),"segment");
vis(obj.align(),"align");
vis(obj.equivClass(),"equivClass");
vis(obj.width(),"width");
enumerateFields(obj.modifier(), vis);
}
Inst parseMnemoGcnMem(unsigned opCode, Scanner& scanner, Brigantine& bw, int* vx)
{
OptionalU const vector = scanner.tryEatToken(EMVector);
string const segment = scanner.scan().text();
if (segment != AMD_GCN_SEGMENT_SUFF) scanner.syntaxError("missing or invalid segment name");
int vx2 = -1;
InstMem res = parseMnemoMem(opCode, scanner, bw, &vx2);
if (res.segment() != BRIG_SEGMENT_FLAT) scanner.syntaxError("invalid segment");
if (vx2 != 1) scanner.syntaxError("invalid vX suffix");
res.segment() = BRIG_SEGMENT_AMD_GCN;
if (vx) *vx = vector.isInitialized() ? vector.value() : 1;
return res;
}
template <typename Visitor> void enumerateFields_gen(InstMem obj, Visitor & vis) {
vis(obj.opcode(),"opcode");
vis(obj.type(),"type");
for (unsigned i=0;i<5;i++) {
vis(obj.operand(i),"operands", i);
}
vis(obj.segment(),"segment");
enumerateFields(obj.modifier(), vis);
vis(obj.equivClass(),"equivClass");
vis(obj.width(),"width");
}
bool ValidatorImpl::ValidateBrigInstFields(Inst item) const
{
unsigned kind = item.kind();
switch (kind)
{
case BRIG_KIND_INST_ADDR:
{
InstAddr it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstAddr", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstAddr", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstAddr", "operands");
validate_BrigSegment(item, it.brig()->segment, "InstAddr", "segment");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstAddr", "reserved");
}
}
break;
case BRIG_KIND_INST_ATOMIC:
{
InstAtomic it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstAtomic", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstAtomic", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstAtomic", "operands");
validate_BrigSegment(item, it.brig()->segment, "InstAtomic", "segment");
validate_BrigMemoryOrder(item, it.brig()->memoryOrder, "InstAtomic", "memoryOrder");
validate_BrigMemoryScope(item, it.brig()->memoryScope, "InstAtomic", "memoryScope");
validate_BrigAtomicOperation(item, it.brig()->atomicOperation, "InstAtomic", "atomicOperation");
validate_fld_EquivClass(item, it.brig()->equivClass, "InstAtomic", "equivClass");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstAtomic", "reserved");
}
}
break;
case BRIG_KIND_INST_BASIC:
{
InstBasic it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstBasic", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstBasic", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstBasic", "operands");
}
break;
case BRIG_KIND_INST_BR:
{
InstBr it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstBr", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstBr", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstBr", "operands");
validate_BrigWidth(item, it.brig()->width, "InstBr", "width");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstBr", "reserved");
}
}
break;
case BRIG_KIND_INST_CMP:
{
InstCmp it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstCmp", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstCmp", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstCmp", "operands");
validate_BrigType(item, it.brig()->sourceType, "InstCmp", "sourceType");
validate_BrigAluModifier(item, it.brig()->modifier, "InstCmp", "modifier");
validate_BrigCompareOperation(item, it.brig()->compare, "InstCmp", "compare");
validate_BrigPack(item, it.brig()->pack, "InstCmp", "pack");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstCmp", "reserved");
}
}
break;
case BRIG_KIND_INST_CVT:
{
InstCvt it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstCvt", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstCvt", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstCvt", "operands");
validate_BrigType(item, it.brig()->sourceType, "InstCvt", "sourceType");
validate_BrigAluModifier(item, it.brig()->modifier, "InstCvt", "modifier");
validate_BrigRound(item, it.brig()->round, "InstCvt", "round");
}
break;
case BRIG_KIND_INST_IMAGE:
{
InstImage it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstImage", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstImage", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstImage", "operands");
validate_BrigType(item, it.brig()->imageType, "InstImage", "imageType");
validate_BrigType(item, it.brig()->coordType, "InstImage", "coordType");
validate_BrigImageGeometry(item, it.brig()->geometry, "InstImage", "geometry");
validate_fld_EquivClass(item, it.brig()->equivClass, "InstImage", "equivClass");
validate_fld_Reserved(item, it.brig()->reserved, "InstImage", "reserved");
}
break;
case BRIG_KIND_INST_LANE:
{
InstLane it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstLane", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstLane", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstLane", "operands");
validate_BrigType(item, it.brig()->sourceType, "InstLane", "sourceType");
validate_BrigWidth(item, it.brig()->width, "InstLane", "width");
validate_fld_Reserved(item, it.brig()->reserved, "InstLane", "reserved");
}
break;
case BRIG_KIND_INST_MEM:
{
InstMem it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstMem", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstMem", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstMem", "operands");
validate_BrigSegment(item, it.brig()->segment, "InstMem", "segment");
validate_BrigAlignment(item, it.brig()->align, "InstMem", "align");
validate_fld_EquivClass(item, it.brig()->equivClass, "InstMem", "equivClass");
validate_BrigWidth(item, it.brig()->width, "InstMem", "width");
validate_BrigMemoryModifier(item, it.brig()->modifier, "InstMem", "modifier");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstMem", "reserved");
}
}
break;
case BRIG_KIND_INST_MEM_FENCE:
{
InstMemFence it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstMemFence", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstMemFence", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstMemFence", "operands");
validate_BrigMemoryOrder(item, it.brig()->memoryOrder, "InstMemFence", "memoryOrder");
validate_BrigMemoryScope(item, it.brig()->globalSegmentMemoryScope, "InstMemFence", "globalSegmentMemoryScope");
validate_BrigMemoryScope(item, it.brig()->groupSegmentMemoryScope, "InstMemFence", "groupSegmentMemoryScope");
validate_BrigMemoryScope(item, it.brig()->imageSegmentMemoryScope, "InstMemFence", "imageSegmentMemoryScope");
}
break;
case BRIG_KIND_INST_MOD:
{
InstMod it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstMod", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstMod", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstMod", "operands");
validate_BrigAluModifier(item, it.brig()->modifier, "InstMod", "modifier");
validate_BrigRound(item, it.brig()->round, "InstMod", "round");
validate_BrigPack(item, it.brig()->pack, "InstMod", "pack");
validate_fld_Reserved(item, it.brig()->reserved, "InstMod", "reserved");
}
break;
case BRIG_KIND_INST_QUERY_IMAGE:
{
InstQueryImage it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstQueryImage", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstQueryImage", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstQueryImage", "operands");
validate_BrigType(item, it.brig()->imageType, "InstQueryImage", "imageType");
validate_BrigImageGeometry(item, it.brig()->geometry, "InstQueryImage", "geometry");
validate_BrigImageQuery(item, it.brig()->imageQuery, "InstQueryImage", "imageQuery");
}
break;
case BRIG_KIND_INST_QUERY_SAMPLER:
{
InstQuerySampler it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstQuerySampler", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstQuerySampler", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstQuerySampler", "operands");
validate_BrigSamplerQuery(item, it.brig()->samplerQuery, "InstQuerySampler", "samplerQuery");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstQuerySampler", "reserved");
}
}
break;
case BRIG_KIND_INST_QUEUE:
{
InstQueue it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstQueue", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstQueue", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstQueue", "operands");
validate_BrigSegment(item, it.brig()->segment, "InstQueue", "segment");
validate_BrigMemoryOrder(item, it.brig()->memoryOrder, "InstQueue", "memoryOrder");
validate_fld_Reserved(item, it.brig()->reserved, "InstQueue", "reserved");
}
break;
case BRIG_KIND_INST_SEG:
{
InstSeg it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstSeg", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstSeg", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstSeg", "operands");
validate_BrigSegment(item, it.brig()->segment, "InstSeg", "segment");
for (unsigned i = 0; i < 3; i++) {
validate_fld_Reserved(item, it.brig()->reserved[i], "InstSeg", "reserved");
}
}
break;
case BRIG_KIND_INST_SEG_CVT:
{
InstSegCvt it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstSegCvt", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstSegCvt", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstSegCvt", "operands");
validate_BrigType(item, it.brig()->sourceType, "InstSegCvt", "sourceType");
validate_BrigSegment(item, it.brig()->segment, "InstSegCvt", "segment");
validate_BrigSegCvtModifier(item, it.brig()->modifier, "InstSegCvt", "modifier");
}
break;
case BRIG_KIND_INST_SIGNAL:
{
InstSignal it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstSignal", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstSignal", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstSignal", "operands");
validate_BrigType(item, it.brig()->signalType, "InstSignal", "signalType");
validate_BrigMemoryOrder(item, it.brig()->memoryOrder, "InstSignal", "memoryOrder");
validate_BrigAtomicOperation(item, it.brig()->signalOperation, "InstSignal", "signalOperation");
}
break;
case BRIG_KIND_INST_SOURCE_TYPE:
{
InstSourceType it = item;
validate_BrigOpcode(item, it.brig()->base.opcode, "InstSourceType", "opcode");
validate_BrigType(item, it.brig()->base.type, "InstSourceType", "type");
validate_BrigDataOffsetOperandList(item, it.brig()->base.operands, "InstSourceType", "operands");
validate_BrigType(item, it.brig()->sourceType, "InstSourceType", "sourceType");
validate_fld_Reserved(item, it.brig()->reserved, "InstSourceType", "reserved");
}
break;
default:
return false; // not found
} // switch
return true; // found and validated
}
void setBrigProp(Inst inst, unsigned propId, unsigned val, bool ignoreErrors)
{
using namespace HSAIL_PROPS;
switch(inst.kind())
{
case BRIG_KIND_INST_ADDR:
{
InstAddr it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_ATOMIC:
{
InstAtomic it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
case PROP_MEMORYORDER: it.memoryOrder() = val; break;
case PROP_MEMORYSCOPE: it.memoryScope() = val; break;
case PROP_ATOMICOPERATION: it.atomicOperation() = val; break;
case PROP_EQUIVCLASS: it.equivClass() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_BASIC:
{
InstBasic it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_BR:
{
InstBr it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_WIDTH: it.width() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_CMP:
{
InstCmp it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SOURCETYPE: it.sourceType() = val; break;
case PROP_FTZ: it.modifier().ftz() = (val != 0); break;
case PROP_COMPARE: it.compare() = val; break;
case PROP_PACK: it.pack() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_CVT:
{
InstCvt it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SOURCETYPE: it.sourceType() = val; break;
case PROP_FTZ: it.modifier().ftz() = (val != 0); break;
case PROP_ROUND: it.round() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_IMAGE:
{
InstImage it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_IMAGETYPE: it.imageType() = val; break;
case PROP_COORDTYPE: it.coordType() = val; break;
case PROP_GEOMETRY: it.geometry() = val; break;
case PROP_EQUIVCLASS: it.equivClass() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_LANE:
{
InstLane it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SOURCETYPE: it.sourceType() = val; break;
case PROP_WIDTH: it.width() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_MEM:
{
InstMem it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
case PROP_ALIGN: it.align() = val; break;
case PROP_EQUIVCLASS: it.equivClass() = val; break;
case PROP_WIDTH: it.width() = val; break;
case PROP_ISCONST: it.modifier().isConst() = (val != 0); break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_MEM_FENCE:
{
InstMemFence it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_MEMORYORDER: it.memoryOrder() = val; break;
case PROP_GLOBALSEGMENTMEMORYSCOPE: it.globalSegmentMemoryScope() = val; break;
case PROP_GROUPSEGMENTMEMORYSCOPE: it.groupSegmentMemoryScope() = val; break;
case PROP_IMAGESEGMENTMEMORYSCOPE: it.imageSegmentMemoryScope() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_MOD:
{
InstMod it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_FTZ: it.modifier().ftz() = (val != 0); break;
case PROP_ROUND: it.round() = val; break;
case PROP_PACK: it.pack() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_QUERY_IMAGE:
{
InstQueryImage it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_IMAGETYPE: it.imageType() = val; break;
case PROP_GEOMETRY: it.geometry() = val; break;
case PROP_IMAGEQUERY: it.imageQuery() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_QUERY_SAMPLER:
{
InstQuerySampler it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SAMPLERQUERY: it.samplerQuery() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_QUEUE:
{
InstQueue it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
case PROP_MEMORYORDER: it.memoryOrder() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_SEG:
{
InstSeg it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_SEG_CVT:
{
InstSegCvt it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SOURCETYPE: it.sourceType() = val; break;
case PROP_SEGMENT: it.segment() = val; break;
case PROP_ISNONULL: it.modifier().isNoNull() = (val != 0); break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_SIGNAL:
{
InstSignal it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SIGNALTYPE: it.signalType() = val; break;
case PROP_MEMORYORDER: it.memoryOrder() = val; break;
case PROP_SIGNALOPERATION: it.signalOperation() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
case BRIG_KIND_INST_SOURCE_TYPE:
{
InstSourceType it = inst;
switch(propId)
{
case PROP_OPCODE: it.opcode() = val; break;
case PROP_TYPE: it.type() = val; break;
case PROP_SOURCETYPE: it.sourceType() = val; break;
default:
assert(ignoreErrors);
break;
}
}
break;
default:
assert(false); // Invalid format
break;
}
}