23 #ifndef __CLRX_ASMDEFS_H__ 24 #define __CLRX_ASMDEFS_H__ 31 #include <unordered_map> 61 enum : AsmExprTargetType
81 GCNTGT_SMEMOFFSETVEGA,
184 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
185 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
186 regRange(false), detached(false), withUnevalExpr(false),
187 value(0), size(0), expression(nullptr)
191 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
192 onceDefined(_onceDefined), resolving(false), base(_base),
193 snapshot(false), regRange(false), detached(false), withUnevalExpr(false),
194 value(0), size(0), expression(expr)
198 refCount(1), sectionId(_sectionId), info(0), other(0), hasValue(true),
199 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
200 regRange(false), detached(false), withUnevalExpr(false),
201 value(_value), size(0), expression(nullptr)
208 { occurrencesInExprs.push_back({expr, argIndex, opIndex}); }
210 void removeOccurrenceInExpr(
AsmExpression* expr,
size_t argIndex,
size_t opIndex);
212 void clearOccurrencesInExpr();
217 {
return hasValue || expression!=
nullptr; }
245 : type(_type), sectionId(_sectionId), offset(_offset)
304 class TempSymbolSnapshotMap;
309 bool relativeSymOccurs;
312 std::unique_ptr<LineCol[]> messagePositions;
313 std::unique_ptr<AsmExprArg[]> args;
318 pos.
lineNo = messagePositions[msgPosIndex].lineNo;
319 pos.
colNo = messagePositions[msgPosIndex].colNo;
323 static bool makeSymbolSnapshot(
Assembler& assembler,
324 TempSymbolSnapshotMap* snapshotMap,
const AsmSymbolEntry& symEntry,
325 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* topParentSourcePos);
328 void setParams(
size_t symOccursNum,
bool relativeSymOccurs,
329 size_t _opsNum,
const AsmExprOp* ops,
size_t opPosNum,
const LineCol* opPos,
330 size_t argsNum,
const AsmExprArg* args,
bool baseExpr =
false);
334 size_t opsNum,
size_t opPosNum,
size_t argsNum,
bool baseExpr =
false);
337 size_t opsNum,
const AsmExprOp* ops,
size_t opPosNum,
339 bool baseExpr =
false);
345 {
return ops.empty(); }
352 { target = _target; }
365 uint64_t& value,
cxuint& sectionId,
bool withSectionDiffs =
false)
const;
376 bool withSectionDiffs =
false)
const 377 {
return tryEvaluate(assembler, 0, ops.size(), value, sectionId, withSectionDiffs); }
387 {
return tryEvaluate(assembler, 0, ops.size(), value, sectionId) !=
400 uint64_t& value,
cxuint& sectionId)
const 401 {
return tryEvaluate(assembler, opStart, opEnd, value, sectionId) !=
413 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
424 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
428 {
return (AsmExprOp::FIRST_ARG <= op && op <= AsmExprOp::LAST_ARG); }
440 {
return symOccursNum; }
443 {
return relativeSymOccurs; }
446 {
return --symOccursNum!=0; }
453 AsmSymbolEntry* newSymEntry);
459 {
return args.get(); }
462 {
return sourcePos; }
465 size_t toTop(
size_t opIndex)
const;
471 static bool makeSymbolSnapshot(
Assembler& assembler,
const AsmSymbolEntry& symEntry,
472 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* parentExprSourcePos);
475 static bool fastExprEvaluate(
Assembler& assembler,
const char*& linePtr,
477 static bool fastExprEvaluate(
Assembler& assembler,
size_t& linePos,
483 if (base)
delete expression;
484 clearOccurrencesInExpr();
499 uint64_t value,
cxuint sectionId)
502 args[occurrence.
argIndex].relValue.value = value;
503 args[occurrence.
argIndex].relValue.sectionId = sectionId;
505 relativeSymOccurs =
true;
509 AsmSymbolEntry* newSymEntry)
511 args[occurrence.
argIndex].symbol = newSymEntry;
526 GCNFIELD_SMRD_SOFFSET,
539 GCNFIELD_VINTRP_VSRC0,
540 GCNFIELD_VINTRP_VDST,
548 GCNFIELD_M_VDATALAST,
559 GCNFIELD_FLAT_VDSTLAST,
560 GCNFIELD_DPPSDWA_SRC0,
561 GCNFIELD_DPPSDWA_SSRC0,
583 {
return regVar == r2.
regVar && index == r2.
index; }
586 {
return regVar == r2.
regVar && index == r2.
index; }
662 typedef std::unordered_map<CString, RefPtr<const AsmMacro> >
AsmMacroMap;
667 typedef std::unordered_map<CString, AsmScope*>
AsmScopeMap;
680 std::unordered_map<AsmScope*, std::list<AsmScope*>::iterator>
usedScopesSet;
684 bool _temporary =
false)
685 : parent(_parent), symbolMap(_symbolMap), temporary(_temporary)
689 : parent(_parent), temporary(_temporary)
695 void startUsingScope(
AsmScope* scope);
697 void stopUsingScope(
AsmScope* scope);
702 usedScopesSet.clear();
705 void deleteSymbolsRecursively();
730 uint64_t _alignment, uint64_t _size = 0,
cxuint _relSpace = UINT_MAX,
731 uint64_t _relAddress = UINT64_MAX)
732 : name(_name), kernelId(_kernelId), type(_type), flags(_flags),
733 alignment(_alignment), size(_size), relSpace(_relSpace),
734 relAddress(_relAddress)
744 { codeFlow.push_back(entry); }
748 {
return ((flags&ASMSECT_WRITEABLE) != 0) ? content.size() : size; }
759 void openCodeRegion(
size_t offset);
761 void closeCodeRegion(
size_t offset);
771 struct hash<
CLRX::AsmSingleVReg>
779 std::hash<const CLRX::AsmRegVar*> h1;
780 std::hash<uint16_t> h2;
AsmRegVarMap regVarMap
regvar map
Definition: AsmDefs.h:674
common definitions for assembler and disassembler
size_t target
target jump addreses
Definition: AsmDefs.h:657
main class of assembler
Definition: Assembler.h:404
AsmExprTargetType type
type of target
Definition: AsmDefs.h:228
non copyable and non movable base structure (class)
Definition: Utilities.h:43
assembler expression class
Definition: AsmDefs.h:301
AsmSymbolEntry * symbol
symbol
Definition: AsmDefs.h:286
AsmSymbol(bool _onceDefined=false)
empty constructor
Definition: AsmDefs.h:183
kernel entry structure
Definition: AsmDefs.h:752
uint32_t Flags
type for declaring various flags
Definition: Utilities.h:97
std::unordered_map< CString, AsmRegVar > AsmRegVarMap
regvar map
Definition: AsmDefs.h:590
AsmExpression * expression
expression of symbol (if not resolved)
Definition: AsmDefs.h:175
bool operator==(const AsmExprSymbolOccurrence &b) const
comparison operator
Definition: AsmDefs.h:150
cxuint kernelId
kernel id (optional)
Definition: AsmDefs.h:714
AsmRegVarMap::value_type AsmRegVarEntry
regvar entry
Definition: AsmDefs.h:592
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:231
target for assembler expression
Definition: AsmDefs.h:226
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:623
~AsmSymbol()
destructor
Definition: AsmDefs.h:481
size_t operator()(const CLRX::AsmSingleVReg &r1) const
a calling operator
Definition: AsmDefs.h:777
AsmExprOp
assembler expression operator
Definition: AsmDefs.h:91
assembler section
Definition: AsmDefs.h:711
AsmExprTarget()
empty constructor
Definition: AsmDefs.h:241
for internal usage
Definition: AsmDefs.h:600
size_t offset
offset in section
Definition: AsmDefs.h:606
code flow entry
Definition: AsmDefs.h:68
static AsmExprTarget symbolTarget(AsmSymbolEntry *entry)
make symbol target for expression
Definition: AsmDefs.h:249
assembler scope for symbol, macros, regvars
Definition: AsmDefs.h:670
Regvar info structure.
Definition: AsmDefs.h:569
cxbyte info
ELF symbol info.
Definition: AsmDefs.h:162
cxuint type
scalar/vector/other
Definition: AsmDefs.h:571
std::vector< AsmCodeFlowEntry > codeFlow
code flow info
Definition: AsmDefs.h:724
const AsmExprTarget & getTarget() const
get targer of expression
Definition: AsmDefs.h:436
uint16_t rstart
register start
Definition: AsmDefs.h:620
signed (arithmetic) shift right
void addCodeFlowEntry(const AsmCodeFlowEntry &entry)
add code flow entry to this section
Definition: AsmDefs.h:743
static bool isUnaryOp(AsmExprOp op)
return true if is unary op
Definition: AsmDefs.h:430
uint16_t index
index of regvar array
Definition: AsmDefs.h:579
AsmSourcePos sourcePos
source position of definition
Definition: AsmDefs.h:755
size_t getSymOccursNum() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:439
std::list< AsmScope * > usedScopes
list of used scope in this scope
Definition: AsmDefs.h:677
assembler symbol occurrence in expression
Definition: AsmDefs.h:143
regvar usage (internal)
Definition: AsmDefs.h:617
bool evaluate(Assembler &assembler, size_t opStart, size_t opEnd, uint64_t &value, cxuint §ionId) const
try to evaluate expression
Definition: AsmDefs.h:399
std::unordered_map< CString, AsmScope * > AsmScopeMap
type definition of scope's map
Definition: AsmDefs.h:664
cxuint sectionId
section id
Definition: AsmDefs.h:161
void addOccurrenceInExpr(AsmExpression *expr, size_t argIndex, size_t opIndex)
adds occurrence in expression
Definition: AsmDefs.h:207
ColNo colNo
column number
Definition: AsmSource.h:158
AsmSymbol(cxuint _sectionId, uint64_t _value, bool _onceDefined=false)
constructor with value and section id
Definition: AsmDefs.h:197
void stopUsingScopes()
remove all usings
Definition: AsmDefs.h:699
cxuint RelocType
relocation type
Definition: Commons.h:33
AsmTryStatus
class of return value for a trying routines
Definition: AsmDefs.h:293
void setTarget(AsmExprTarget _target)
set target of expression
Definition: AsmDefs.h:351
for internal usage
Definition: AsmDefs.h:599
std::unordered_map< AsmScope *, std::list< AsmScope * >::iterator > usedScopesSet
set of used scopes in this scope
Definition: AsmDefs.h:680
size_t cflowId
cflow index of destination
Definition: AsmDefs.h:236
return from procedure
Definition: AsmDefs.h:648
AsmScope * parent
parent scope
Definition: AsmDefs.h:672
line and column
Definition: AsmSource.h:45
bool isEmpty() const
return true if expression is empty
Definition: AsmDefs.h:344
std::unordered_map< CString, AsmSymbol > AsmSymbolMap
assembler symbol map
Definition: AsmDefs.h:221
AsmScope(AsmScope *_parent, const AsmSymbolMap &_symbolMap, bool _temporary=false)
constructor
Definition: AsmDefs.h:683
cxuint sectionId
sectionId
Definition: AsmDefs.h:494
LineNo lineNo
line number of top-most source
Definition: AsmSource.h:157
size_t offset
offset of relocation
Definition: AsmDefs.h:283
AsmRegField regField
place in instruction
Definition: AsmDefs.h:622
absolute section id
Definition: AsmFormats.h:85
uint64_t value
value of symbol
Definition: AsmDefs.h:172
AsmExprTarget(AsmExprTargetType _type, cxuint _sectionId, size_t _offset)
constructor to create custom target
Definition: AsmDefs.h:244
single regvar id
Definition: AsmDefs.h:576
cxbyte rwFlags
1 - read, 2 - write, other flags
Definition: AsmDefs.h:631
uint16_t rend
register end
Definition: AsmDefs.h:621
assembler relocation
Definition: AsmDefs.h:280
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:611
bool temporary
true if temporary
Definition: AsmDefs.h:676
AsmException()=default
empty constructor
void replaceOccurrenceSymbol(AsmExprSymbolOccurrence occurrence, AsmSymbolEntry *newSymEntry)
replace symbol in expression
Definition: AsmDefs.h:508
size_t opIndex
operator index
Definition: AsmDefs.h:147
if failed now, no later trial
const char * name
name of kernel
Definition: AsmDefs.h:754
AsmSectionType
assembler section type
Definition: AsmFormats.h:47
unsigned char cxbyte
unsigned byte
Definition: Config.h:215
cxbyte rwFlags
rw flags and others
Definition: AsmDefs.h:639
internal structure for regusage
Definition: AsmDefs.h:635
std::unordered_map< CString, RefPtr< const AsmMacro > > AsmMacroMap
assembler macro map
Definition: AsmDefs.h:662
main namespace
Definition: AsmDefs.h:38
AsmSymbolEntry * symbol
if symbol
Definition: AsmDefs.h:490
symbol without defined value
void substituteOccurrence(AsmExprSymbolOccurrence occurrence, uint64_t value, cxuint sectionId=ASMSECT_ABS)
substitute occurrence in expression by value
Definition: AsmDefs.h:498
const AsmRegVar * regVar
regvar
Definition: AsmDefs.h:578
uint16_t rstart
register start
Definition: AsmDefs.h:637
static bool isArg(AsmExprOp op)
return true if is argument op
Definition: AsmDefs.h:427
bool unrefSymOccursNum()
unreference symbol occurrences in expression (used internally)
Definition: AsmDefs.h:445
unsigned int cxuint
unsigned int
Definition: Config.h:223
bool operator!=(const AsmSingleVReg &r2) const
not equal operator
Definition: AsmDefs.h:585
internal structure for regusage
Definition: AsmDefs.h:628
static bool isBinaryOp(AsmExprOp op)
return true if is binary op
Definition: AsmDefs.h:433
code end
Definition: AsmDefs.h:650
target is byte
Definition: AsmDefs.h:64
uint64_t size
size of symbol
Definition: AsmDefs.h:173
size_t getSize() const
get section's size
Definition: AsmDefs.h:747
cxuint relSpace
relative space where is section
Definition: AsmDefs.h:719
AsmScope(AsmScope *_parent=nullptr, bool _temporary=false)
constructor
Definition: AsmDefs.h:688
uint64_t relAddress
relative address
Definition: AsmDefs.h:720
cxbyte AsmExprTargetType
expression target type (one byte)
Definition: AsmDefs.h:59
AsmCodeFlowType type
type of code flow entry
Definition: AsmDefs.h:658
uint16_t rend
register end
Definition: AsmDefs.h:609
uint64_t size
section size
Definition: AsmDefs.h:718
std::vector< AsmExprSymbolOccurrence > occurrencesInExprs
Definition: AsmDefs.h:180
target is 16-bit word
Definition: AsmDefs.h:65
std::vector< cxbyte > content
content of section
Definition: AsmDefs.h:721
AsmSymbolMap::value_type AsmSymbolEntry
assembler symbol entry
Definition: AsmDefs.h:223
Flags flags
section flags
Definition: AsmDefs.h:716
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:619
target is symbol
Definition: AsmDefs.h:63
uint64_t value
value
Definition: AsmDefs.h:491
AsmRegField regField
place in instruction
Definition: AsmDefs.h:630
cxuint refCount
reference counter (for internal use only)
Definition: AsmDefs.h:160
uint16_t rend
register end
Definition: AsmDefs.h:638
size_t offset
offset of destination
Definition: AsmDefs.h:235
uint16_t size
in regs
Definition: AsmDefs.h:572
size_t offset
offset where is this entry
Definition: AsmDefs.h:656
size_t argIndex
argument index
Definition: AsmDefs.h:146
cxuint sectionId
section id where relocation is present
Definition: AsmDefs.h:282
cxuint sectionId
section id of destination
Definition: AsmDefs.h:233
utilities for other libraries and programs
const Array< AsmExprOp > & getOps() const
get operators list
Definition: AsmDefs.h:455
std::unique_ptr< ISAUsageHandler > usageHandler
usage handler
Definition: AsmDefs.h:723
RelocType type
relocation type
Definition: AsmDefs.h:284
uint64_t alignment
section alignment
Definition: AsmDefs.h:717
static AsmExprTarget dataTarget(cxuint sectionId, size_t offset)
make n-bit word target for expression
Definition: AsmDefs.h:268
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:607
std::string message
message
Definition: Utilities.h:61
AsmTryStatus tryEvaluate(Assembler &assembler, uint64_t &value, cxuint §ionId, bool withSectionDiffs=false) const
try to evaluate expression with/without section differences
Definition: AsmDefs.h:375
exception class
Definition: Utilities.h:58
AsmSymbolMap symbolMap
symbol map
Definition: AsmDefs.h:673
AsmScopeMap scopeMap
scope map
Definition: AsmDefs.h:675
code start
Definition: AsmDefs.h:649
AsmSectionType type
type of section
Definition: AsmDefs.h:715
regvar usage in code
Definition: AsmDefs.h:604
uint16_t rstart
register start
Definition: AsmDefs.h:608
call of procedure
Definition: AsmDefs.h:647
AsmSymbol(AsmExpression *expr, bool _onceDefined=false, bool _base=false)
constructor with expression
Definition: AsmDefs.h:190
for internal usage (regtype)
Definition: AsmDefs.h:598
static AsmExprTarget codeFlowTarget(cxuint sectionId, size_t cflowIndex)
make code flow target for expression
Definition: AsmDefs.h:257
register will be read
Definition: AsmDefs.h:595
cxbyte align
register alignment
Definition: AsmDefs.h:624
code flow entry
Definition: AsmDefs.h:654
cxbyte other
ELF symbol other.
Definition: AsmDefs.h:163
jump
Definition: AsmDefs.h:645
std::vector< std::pair< size_t, size_t > > codeRegions
code regions
Definition: AsmDefs.h:756
const char * name
section name
Definition: AsmDefs.h:713
an assembler sources handling
virtual ~AsmException() noexcept=default
destructor
AsmCodeFlowType
code flow type
Definition: AsmDefs.h:643
Assembler exception class.
Definition: AsmDefs.h:42
cxuint relSectionId
section for which relocation is defined
Definition: AsmDefs.h:287
assembler symbol structure
Definition: AsmDefs.h:158
bool useRegMode
if RVU from useReg pseudo-ops
Definition: AsmDefs.h:613
bool isDefined() const
return true if symbol defined (have value or expression)
Definition: AsmDefs.h:216
register will be written
Definition: AsmDefs.h:596
cxbyte AsmRegField
type of register field
Definition: AsmDefs.h:515
const AsmExprArg * getArgs() const
get argument list
Definition: AsmDefs.h:458
ISA (register and regvar) Usage handler.
Definition: Assembler.h:65
size_t hasRelativeSymOccurs() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:442
AsmRegField regField
place in instruction
Definition: AsmDefs.h:610
AsmSection(const char *_name, cxuint _kernelId, AsmSectionType _type, Flags _flags, uint64_t _alignment, uint64_t _size=0, cxuint _relSpace=UINT_MAX, uint64_t _relAddress=UINT64_MAX)
constructor
Definition: AsmDefs.h:729
uint64_t addend
addend
Definition: AsmDefs.h:289
conditional jump
Definition: AsmDefs.h:646
AsmExpression * expression
target expression pointer
Definition: AsmDefs.h:145
bool evaluate(Assembler &assembler, uint64_t &value, cxuint §ionId) const
try to evaluate expression
Definition: AsmDefs.h:386
assembler expression argument
Definition: AsmDefs.h:488
access mask
Definition: AsmDefs.h:597
cxbyte align
register alignment
Definition: AsmDefs.h:612
bool operator==(const AsmSingleVReg &r2) const
equal operator
Definition: AsmDefs.h:582
CLRX::AsmSingleVReg argument_type
argument type
Definition: AsmDefs.h:773
const AsmSourcePos & getSourcePos() const
get source position
Definition: AsmDefs.h:461
assembler source position
Definition: AsmSource.h:153
std::size_t result_type
result type
Definition: AsmDefs.h:774