template <typename Visitor> void enumerateFields_gen(InstMod obj, Visitor & vis) { vis(obj.opcode(),"opcode"); vis(obj.type(),"type"); for (unsigned i=0;i<5;i++) { vis(obj.operand(i),"operands", i); } enumerateFields(obj.modifier(), vis); vis(obj.pack(),"pack"); }
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 }
template <typename Visitor> void enumerateFields_gen(InstMod obj, Visitor & vis) { enumerateFields_gen(Inst(obj), vis); enumerateFields(obj.modifier(), vis); vis(obj.round(),"round"); vis(obj.pack(),"pack"); }
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; } }