23 #ifndef __CLRX_ASMDEFS_H__ 24 #define __CLRX_ASMDEFS_H__ 31 #include <unordered_map> 61 enum : AsmExprTargetType
81 GCNTGT_SMEMOFFSETVEGA,
183 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
184 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
185 regRange(false), value(0), size(0), expression(nullptr)
189 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
190 onceDefined(_onceDefined), resolving(false), base(_base),
191 snapshot(false), regRange(false), value(0), size(0), expression(expr)
195 refCount(1), sectionId(_sectionId), info(0), other(0), hasValue(true),
196 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
197 regRange(false), value(_value), size(0), expression(nullptr)
204 { occurrencesInExprs.push_back({expr, argIndex, opIndex}); }
206 void removeOccurrenceInExpr(
AsmExpression* expr,
size_t argIndex,
size_t opIndex);
208 void clearOccurrencesInExpr();
213 {
return hasValue || expression!=
nullptr; }
241 : type(_type), sectionId(_sectionId), offset(_offset)
292 class TempSymbolSnapshotMap;
297 bool relativeSymOccurs;
300 std::unique_ptr<LineCol[]> messagePositions;
301 std::unique_ptr<AsmExprArg[]> args;
306 pos.
lineNo = messagePositions[msgPosIndex].lineNo;
307 pos.
colNo = messagePositions[msgPosIndex].colNo;
311 static bool makeSymbolSnapshot(
Assembler& assembler,
312 TempSymbolSnapshotMap* snapshotMap,
const AsmSymbolEntry& symEntry,
313 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* topParentSourcePos);
316 void setParams(
size_t symOccursNum,
bool relativeSymOccurs,
317 size_t _opsNum,
const AsmExprOp* ops,
size_t opPosNum,
const LineCol* opPos,
318 size_t argsNum,
const AsmExprArg* args,
bool baseExpr =
false);
322 size_t opsNum,
size_t opPosNum,
size_t argsNum,
bool baseExpr =
false);
325 size_t opsNum,
const AsmExprOp* ops,
size_t opPosNum,
327 bool baseExpr =
false);
333 {
return ops.empty(); }
340 { target = _target; }
350 {
return evaluate(assembler, 0, ops.size(), value, sectionId); }
361 bool evaluate(
Assembler& assembler,
size_t opStart,
size_t opEnd,
362 uint64_t& value,
cxuint& sectionId)
const;
373 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
384 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
388 {
return (AsmExprOp::FIRST_ARG <= op && op <= AsmExprOp::LAST_ARG); }
400 {
return symOccursNum; }
403 {
return relativeSymOccurs; }
406 {
return --symOccursNum!=0; }
416 {
return args.get(); }
419 {
return sourcePos; }
422 size_t toTop(
size_t opIndex)
const;
425 static bool makeSymbolSnapshot(
Assembler& assembler,
const AsmSymbolEntry& symEntry,
426 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* parentExprSourcePos);
431 if (base)
delete expression;
432 clearOccurrencesInExpr();
447 uint64_t value,
cxuint sectionId)
450 args[occurrence.
argIndex].relValue.value = value;
451 args[occurrence.
argIndex].relValue.sectionId = sectionId;
453 relativeSymOccurs =
true;
468 GCNFIELD_SMRD_SOFFSET,
481 GCNFIELD_VINTRP_VSRC0,
482 GCNFIELD_VINTRP_VDST,
490 GCNFIELD_M_VDATALAST,
501 GCNFIELD_FLAT_VDSTLAST,
502 GCNFIELD_DPPSDWA_SRC0,
503 GCNFIELD_DPPSDWA_SSRC0,
524 {
return regVar == r2.
regVar && index == r2.
index; }
527 {
return regVar == r2.
regVar && index == r2.
index; }
603 typedef std::unordered_map<CString, RefPtr<const AsmMacro> >
AsmMacroMap;
608 typedef std::unordered_map<CString, AsmScope*>
AsmScopeMap;
621 std::unordered_map<AsmScope*, std::list<AsmScope*>::iterator>
usedScopesSet;
625 bool _temporary =
false)
626 : parent(_parent), symbolMap(_symbolMap), temporary(_temporary)
630 : parent(_parent), temporary(_temporary)
636 void startUsingScope(
AsmScope* scope);
638 void stopUsingScope(
AsmScope* scope);
643 usedScopesSet.clear();
646 void deleteSymbolsRecursively();
669 Flags _flags, uint64_t _alignment, uint64_t _size = 0)
670 : name(_name), kernelId(_kernelId), type(_type), flags(_flags),
671 alignment(_alignment), size(_size)
681 { codeFlow.push_back(entry); }
685 {
return ((flags&ASMSECT_WRITEABLE) != 0) ? content.size() : size; }
696 void openCodeRegion(
size_t offset);
698 void closeCodeRegion(
size_t offset);
708 struct hash<
CLRX::AsmSingleVReg>
716 std::hash<const CLRX::AsmRegVar*> h1;
717 std::hash<uint16_t> h2;
AsmRegVarMap regVarMap
regvar map
Definition: AsmDefs.h:615
common definitions for assembler and disassembler
size_t target
target jump addreses
Definition: AsmDefs.h:598
main class of assembler
Definition: Assembler.h:403
AsmExprTargetType type
type of target
Definition: AsmDefs.h:224
non copyable and non movable base structure (class)
Definition: Utilities.h:43
assembler expression class
Definition: AsmDefs.h:289
AsmSymbolEntry * symbol
symbol
Definition: AsmDefs.h:282
AsmSymbol(bool _onceDefined=false)
empty constructor
Definition: AsmDefs.h:182
kernel entry structure
Definition: AsmDefs.h:689
uint32_t Flags
type for declaring various flags
Definition: Utilities.h:97
std::unordered_map< CString, AsmRegVar > AsmRegVarMap
regvar map
Definition: AsmDefs.h:531
AsmExpression * expression
expression of symbol (if not resolved)
Definition: AsmDefs.h:174
bool operator==(const AsmExprSymbolOccurrence &b) const
comparison operator
Definition: AsmDefs.h:151
cxuint kernelId
kernel id (optional)
Definition: AsmDefs.h:655
AsmRegVarMap::value_type AsmRegVarEntry
regvar entry
Definition: AsmDefs.h:533
target is 32-bit word
Definition: AsmDefs.h:66
target is 64-bit word
Definition: AsmDefs.h:67
AsmSymbolEntry * symbol
symbol entry (if ASMXTGT_SYMBOL)
Definition: AsmDefs.h:227
target for assembler expression
Definition: AsmDefs.h:222
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:564
~AsmSymbol()
destructor
Definition: AsmDefs.h:429
size_t operator()(const CLRX::AsmSingleVReg &r1) const
a calling operator
Definition: AsmDefs.h:714
AsmExprOp
assembler expression operator
Definition: AsmDefs.h:92
assembler section
Definition: AsmDefs.h:652
AsmExprTarget()
empty constructor
Definition: AsmDefs.h:237
for internal usage
Definition: AsmDefs.h:541
size_t offset
offset in section
Definition: AsmDefs.h:547
code flow entry
Definition: AsmDefs.h:68
static AsmExprTarget symbolTarget(AsmSymbolEntry *entry)
make symbol target for expression
Definition: AsmDefs.h:245
assembler scope for symbol, macros, regvars
Definition: AsmDefs.h:611
Regvar info structure.
Definition: AsmDefs.h:510
cxbyte info
ELF symbol info.
Definition: AsmDefs.h:163
cxuint type
scalar/vector/other
Definition: AsmDefs.h:512
std::vector< AsmCodeFlowEntry > codeFlow
code flow info
Definition: AsmDefs.h:663
const AsmExprTarget & getTarget() const
get targer of expression
Definition: AsmDefs.h:396
uint16_t rstart
register start
Definition: AsmDefs.h:561
signed (arithmetic) shift right
void addCodeFlowEntry(const AsmCodeFlowEntry &entry)
add code flow entry to this section
Definition: AsmDefs.h:680
static bool isUnaryOp(AsmExprOp op)
return true if is unary op
Definition: AsmDefs.h:390
uint16_t index
index of regvar array
Definition: AsmDefs.h:520
AsmSourcePos sourcePos
source position of definition
Definition: AsmDefs.h:692
size_t getSymOccursNum() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:399
std::list< AsmScope * > usedScopes
list of used scope in this scope
Definition: AsmDefs.h:618
assembler symbol occurrence in expression
Definition: AsmDefs.h:144
regvar usage (internal)
Definition: AsmDefs.h:558
std::unordered_map< CString, AsmScope * > AsmScopeMap
type definition of scope's map
Definition: AsmDefs.h:605
cxuint sectionId
section id
Definition: AsmDefs.h:162
void addOccurrenceInExpr(AsmExpression *expr, size_t argIndex, size_t opIndex)
adds occurrence in expression
Definition: AsmDefs.h:203
ColNo colNo
column number
Definition: AsmSource.h:157
AsmSymbol(cxuint _sectionId, uint64_t _value, bool _onceDefined=false)
constructor with value and section id
Definition: AsmDefs.h:194
void stopUsingScopes()
remove all usings
Definition: AsmDefs.h:640
cxuint RelocType
relocation type
Definition: Commons.h:33
void setTarget(AsmExprTarget _target)
set target of expression
Definition: AsmDefs.h:339
for internal usage
Definition: AsmDefs.h:540
std::unordered_map< AsmScope *, std::list< AsmScope * >::iterator > usedScopesSet
set of used scopes in this scope
Definition: AsmDefs.h:621
size_t cflowId
cflow index of destination
Definition: AsmDefs.h:232
return from procedure
Definition: AsmDefs.h:589
AsmScope * parent
parent scope
Definition: AsmDefs.h:613
line and column
Definition: AsmSource.h:44
bool isEmpty() const
return true if expression is empty
Definition: AsmDefs.h:332
std::unordered_map< CString, AsmSymbol > AsmSymbolMap
assembler symbol map
Definition: AsmDefs.h:217
AsmScope(AsmScope *_parent, const AsmSymbolMap &_symbolMap, bool _temporary=false)
constructor
Definition: AsmDefs.h:624
cxuint sectionId
sectionId
Definition: AsmDefs.h:442
LineNo lineNo
line number of top-most source
Definition: AsmSource.h:156
size_t offset
offset of relocation
Definition: AsmDefs.h:279
AsmRegField regField
place in instruction
Definition: AsmDefs.h:563
absolute section id
Definition: AsmFormats.h:81
uint64_t value
value of symbol
Definition: AsmDefs.h:171
AsmExprTarget(AsmExprTargetType _type, cxuint _sectionId, size_t _offset)
constructor to create custom target
Definition: AsmDefs.h:240
single regvar id
Definition: AsmDefs.h:517
cxbyte rwFlags
1 - read, 2 - write, other flags
Definition: AsmDefs.h:572
uint16_t rend
register end
Definition: AsmDefs.h:562
assembler relocation
Definition: AsmDefs.h:276
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:552
bool temporary
true if temporary
Definition: AsmDefs.h:617
AsmException()=default
empty constructor
size_t opIndex
operator index
Definition: AsmDefs.h:148
const char * name
name of kernel
Definition: AsmDefs.h:691
AsmSectionType
assembler section type
Definition: AsmFormats.h:46
unsigned char cxbyte
unsigned byte
Definition: Config.h:215
cxbyte rwFlags
rw flags and others
Definition: AsmDefs.h:580
internal structure for regusage
Definition: AsmDefs.h:576
std::unordered_map< CString, RefPtr< const AsmMacro > > AsmMacroMap
assembler macro map
Definition: AsmDefs.h:603
main namespace
Definition: AsmDefs.h:38
AsmSymbolEntry * symbol
if symbol
Definition: AsmDefs.h:438
absolute symbol without defined value
void substituteOccurrence(AsmExprSymbolOccurrence occurrence, uint64_t value, cxuint sectionId=ASMSECT_ABS)
substitute occurrence in expression by value
Definition: AsmDefs.h:446
const AsmRegVar * regVar
regvar
Definition: AsmDefs.h:519
uint16_t rstart
register start
Definition: AsmDefs.h:578
static bool isArg(AsmExprOp op)
return true if is argument op
Definition: AsmDefs.h:387
bool unrefSymOccursNum()
unreference symbol occurrences in expression (used internally)
Definition: AsmDefs.h:405
unsigned int cxuint
unsigned int
Definition: Config.h:223
bool operator!=(const AsmSingleVReg &r2) const
not equal operator
Definition: AsmDefs.h:526
internal structure for regusage
Definition: AsmDefs.h:569
static bool isBinaryOp(AsmExprOp op)
return true if is binary op
Definition: AsmDefs.h:393
code end
Definition: AsmDefs.h:591
target is byte
Definition: AsmDefs.h:64
uint64_t size
size of symbol
Definition: AsmDefs.h:172
size_t getSize() const
get section's size
Definition: AsmDefs.h:684
AsmScope(AsmScope *_parent=nullptr, bool _temporary=false)
constructor
Definition: AsmDefs.h:629
cxbyte AsmExprTargetType
expression target type (one byte)
Definition: AsmDefs.h:59
AsmCodeFlowType type
type of code flow entry
Definition: AsmDefs.h:599
uint16_t rend
register end
Definition: AsmDefs.h:550
uint64_t size
section size
Definition: AsmDefs.h:659
std::vector< AsmExprSymbolOccurrence > occurrencesInExprs
Definition: AsmDefs.h:179
target is 16-bit word
Definition: AsmDefs.h:65
std::vector< cxbyte > content
content of section
Definition: AsmDefs.h:660
AsmSymbolMap::value_type AsmSymbolEntry
assembler symbol entry
Definition: AsmDefs.h:219
Flags flags
section flags
Definition: AsmDefs.h:657
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:560
target is symbol
Definition: AsmDefs.h:63
uint64_t value
value
Definition: AsmDefs.h:439
AsmRegField regField
place in instruction
Definition: AsmDefs.h:571
cxuint refCount
reference counter (for internal use only)
Definition: AsmDefs.h:161
uint16_t rend
register end
Definition: AsmDefs.h:579
size_t offset
offset of destination
Definition: AsmDefs.h:231
uint16_t size
in regs
Definition: AsmDefs.h:513
size_t offset
offset where is this entry
Definition: AsmDefs.h:597
size_t argIndex
argument index
Definition: AsmDefs.h:147
cxuint sectionId
section id where relocation is present
Definition: AsmDefs.h:278
cxuint sectionId
section id of destination
Definition: AsmDefs.h:229
utilities for other libraries and programs
const Array< AsmExprOp > & getOps() const
get operators list
Definition: AsmDefs.h:412
std::unique_ptr< ISAUsageHandler > usageHandler
usage handler
Definition: AsmDefs.h:662
AsmSection(const char *_name, cxuint _kernelId, AsmSectionType _type, Flags _flags, uint64_t _alignment, uint64_t _size=0)
constructor
Definition: AsmDefs.h:668
RelocType type
relocation type
Definition: AsmDefs.h:280
uint64_t alignment
section alignment
Definition: AsmDefs.h:658
static AsmExprTarget dataTarget(cxuint sectionId, size_t offset)
make n-bit word target for expression
Definition: AsmDefs.h:264
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:548
std::string message
message
Definition: Utilities.h:61
exception class
Definition: Utilities.h:58
AsmSymbolMap symbolMap
symbol map
Definition: AsmDefs.h:614
AsmScopeMap scopeMap
scope map
Definition: AsmDefs.h:616
code start
Definition: AsmDefs.h:590
AsmSectionType type
type of section
Definition: AsmDefs.h:656
regvar usage in code
Definition: AsmDefs.h:545
uint16_t rstart
register start
Definition: AsmDefs.h:549
call of procedure
Definition: AsmDefs.h:588
AsmSymbol(AsmExpression *expr, bool _onceDefined=false, bool _base=false)
constructor with expression
Definition: AsmDefs.h:188
for internal usage (regtype)
Definition: AsmDefs.h:539
static AsmExprTarget codeFlowTarget(cxuint sectionId, size_t cflowIndex)
make code flow target for expression
Definition: AsmDefs.h:253
register will be read
Definition: AsmDefs.h:536
cxbyte align
register alignment
Definition: AsmDefs.h:565
code flow entry
Definition: AsmDefs.h:595
cxbyte other
ELF symbol other.
Definition: AsmDefs.h:164
jump
Definition: AsmDefs.h:586
std::vector< std::pair< size_t, size_t > > codeRegions
code regions
Definition: AsmDefs.h:693
const char * name
section name
Definition: AsmDefs.h:654
an assembler sources handling
virtual ~AsmException() noexcept=default
destructor
AsmCodeFlowType
code flow type
Definition: AsmDefs.h:584
Assembler exception class.
Definition: AsmDefs.h:42
cxuint relSectionId
section for which relocation is defined
Definition: AsmDefs.h:283
assembler symbol structure
Definition: AsmDefs.h:159
bool useRegMode
if RVU from useReg pseudo-ops
Definition: AsmDefs.h:554
bool isDefined() const
return true if symbol defined (have value or expression)
Definition: AsmDefs.h:212
register will be written
Definition: AsmDefs.h:537
cxbyte AsmRegField
type of register field
Definition: AsmDefs.h:457
const AsmExprArg * getArgs() const
get argument list
Definition: AsmDefs.h:415
ISA (register and regvar) Usage handler.
Definition: Assembler.h:64
size_t hasRelativeSymOccurs() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:402
AsmRegField regField
place in instruction
Definition: AsmDefs.h:551
uint64_t addend
addend
Definition: AsmDefs.h:285
conditional jump
Definition: AsmDefs.h:587
AsmExpression * expression
target expression pointer
Definition: AsmDefs.h:146
bool evaluate(Assembler &assembler, uint64_t &value, cxuint §ionId) const
try to evaluate expression
Definition: AsmDefs.h:349
assembler expression argument
Definition: AsmDefs.h:436
access mask
Definition: AsmDefs.h:538
cxbyte align
register alignment
Definition: AsmDefs.h:553
bool operator==(const AsmSingleVReg &r2) const
equal operator
Definition: AsmDefs.h:523
CLRX::AsmSingleVReg argument_type
argument type
Definition: AsmDefs.h:710
const AsmSourcePos & getSourcePos() const
get source position
Definition: AsmDefs.h:418
assembler source position
Definition: AsmSource.h:152
std::size_t result_type
result type
Definition: AsmDefs.h:711