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
}
