23 #ifndef __CLRX_ASMDEFS_H__ 24 #define __CLRX_ASMDEFS_H__ 31 #include <unordered_map> 61 enum : AsmExprTargetType
81 GCNTGT_SMEMOFFSETVEGA,
182 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
183 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
184 regRange(false), value(0), size(0), expression(nullptr)
188 refCount(1), sectionId(
ASMSECT_ABS), info(0), other(0), hasValue(false),
189 onceDefined(_onceDefined), resolving(false), base(_base),
190 snapshot(false), regRange(false), value(0), size(0), expression(expr)
194 refCount(1), sectionId(_sectionId), info(0), other(0), hasValue(true),
195 onceDefined(_onceDefined), resolving(false), base(false), snapshot(false),
196 regRange(false), value(_value), size(0), expression(nullptr)
203 { occurrencesInExprs.push_back({expr, argIndex, opIndex}); }
205 void removeOccurrenceInExpr(
AsmExpression* expr,
size_t argIndex,
size_t opIndex);
207 void clearOccurrencesInExpr();
212 {
return hasValue || expression!=
nullptr; }
240 : type(_type), sectionId(_sectionId), offset(_offset)
291 class TempSymbolSnapshotMap;
296 bool relativeSymOccurs;
299 std::unique_ptr<LineCol[]> messagePositions;
300 std::unique_ptr<AsmExprArg[]> args;
305 pos.
lineNo = messagePositions[msgPosIndex].lineNo;
306 pos.
colNo = messagePositions[msgPosIndex].colNo;
310 static bool makeSymbolSnapshot(
Assembler& assembler,
311 TempSymbolSnapshotMap* snapshotMap,
const AsmSymbolEntry& symEntry,
312 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* topParentSourcePos);
315 void setParams(
size_t symOccursNum,
bool relativeSymOccurs,
316 size_t _opsNum,
const AsmExprOp* ops,
size_t opPosNum,
const LineCol* opPos,
317 size_t argsNum,
const AsmExprArg* args,
bool baseExpr =
false);
321 size_t opsNum,
size_t opPosNum,
size_t argsNum,
bool baseExpr =
false);
324 size_t opsNum,
const AsmExprOp* ops,
size_t opPosNum,
326 bool baseExpr =
false);
332 {
return ops.empty(); }
339 { target = _target; }
349 {
return evaluate(assembler, 0, ops.size(), value, sectionId); }
360 bool evaluate(
Assembler& assembler,
size_t opStart,
size_t opEnd,
361 uint64_t& value,
cxuint& sectionId)
const;
372 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
383 bool makeBase =
false,
bool dontResolveSymbolsLater =
false);
387 {
return (AsmExprOp::FIRST_ARG <= op && op <= AsmExprOp::LAST_ARG); }
399 {
return symOccursNum; }
402 {
return relativeSymOccurs; }
405 {
return --symOccursNum!=0; }
415 {
return args.get(); }
418 {
return sourcePos; }
421 size_t toTop(
size_t opIndex)
const;
424 static bool makeSymbolSnapshot(
Assembler& assembler,
const AsmSymbolEntry& symEntry,
425 AsmSymbolEntry*& outSymEntry,
const AsmSourcePos* parentExprSourcePos);
430 if (base)
delete expression;
431 clearOccurrencesInExpr();
446 uint64_t value,
cxuint sectionId)
449 args[occurrence.
argIndex].relValue.value = value;
450 args[occurrence.
argIndex].relValue.sectionId = sectionId;
452 relativeSymOccurs =
true;
467 GCNFIELD_SMRD_SOFFSET,
480 GCNFIELD_VINTRP_VSRC0,
481 GCNFIELD_VINTRP_VDST,
489 GCNFIELD_M_VDATALAST,
500 GCNFIELD_FLAT_VDSTLAST,
501 GCNFIELD_DPPSDWA_SRC0,
502 GCNFIELD_DPPSDWA_SSRC0,
523 {
return regVar == r2.
regVar && index == r2.
index; }
526 {
return regVar == r2.
regVar && index == r2.
index; }
602 typedef std::unordered_map<CString, RefPtr<const AsmMacro> >
AsmMacroMap;
607 typedef std::unordered_map<CString, AsmScope*>
AsmScopeMap;
620 std::unordered_map<AsmScope*, std::list<AsmScope*>::iterator>
usedScopesSet;
624 bool _temporary =
false)
625 : parent(_parent), symbolMap(_symbolMap), temporary(_temporary)
629 : parent(_parent), temporary(_temporary)
635 void startUsingScope(
AsmScope* scope);
637 void stopUsingScope(
AsmScope* scope);
642 usedScopesSet.clear();
645 void deleteSymbolsRecursively();
668 Flags _flags, uint64_t _alignment, uint64_t _size = 0)
669 : name(_name), kernelId(_kernelId), type(_type), flags(_flags),
670 alignment(_alignment), size(_size)
680 { codeFlow.push_back(entry); }
684 {
return ((flags&ASMSECT_WRITEABLE) != 0) ? content.size() : size; }
695 void openCodeRegion(
size_t offset);
697 void closeCodeRegion(
size_t offset);
707 struct hash<
CLRX::AsmSingleVReg>
715 std::hash<const CLRX::AsmRegVar*> h1;
716 std::hash<uint16_t> h2;
AsmRegVarMap regVarMap
regvar map
Definition: AsmDefs.h:614
common definitions for assembler and disassembler
size_t target
target jump addreses
Definition: AsmDefs.h:597
main class of assembler
Definition: Assembler.h:403
AsmExprTargetType type
type of target
Definition: AsmDefs.h:223
non copyable and non movable base structure (class)
Definition: Utilities.h:43
assembler expression class
Definition: AsmDefs.h:288
AsmSymbolEntry * symbol
symbol
Definition: AsmDefs.h:281
AsmSymbol(bool _onceDefined=false)
empty constructor
Definition: AsmDefs.h:181
kernel entry structure
Definition: AsmDefs.h:688
uint32_t Flags
type for declaring various flags
Definition: Utilities.h:97
std::unordered_map< CString, AsmRegVar > AsmRegVarMap
regvar map
Definition: AsmDefs.h:530
AsmExpression * expression
expression of symbol (if not resolved)
Definition: AsmDefs.h:173
bool operator==(const AsmExprSymbolOccurrence &b) const
comparison operator
Definition: AsmDefs.h:150
cxuint kernelId
kernel id (optional)
Definition: AsmDefs.h:654
AsmRegVarMap::value_type AsmRegVarEntry
regvar entry
Definition: AsmDefs.h:532
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:226
target for assembler expression
Definition: AsmDefs.h:221
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:563
~AsmSymbol()
destructor
Definition: AsmDefs.h:428
size_t operator()(const CLRX::AsmSingleVReg &r1) const
a calling operator
Definition: AsmDefs.h:713
AsmExprOp
assembler expression operator
Definition: AsmDefs.h:91
assembler section
Definition: AsmDefs.h:651
AsmExprTarget()
empty constructor
Definition: AsmDefs.h:236
for internal usage
Definition: AsmDefs.h:540
size_t offset
offset in section
Definition: AsmDefs.h:546
code flow entry
Definition: AsmDefs.h:68
static AsmExprTarget symbolTarget(AsmSymbolEntry *entry)
make symbol target for expression
Definition: AsmDefs.h:244
assembler scope for symbol, macros, regvars
Definition: AsmDefs.h:610
Regvar info structure.
Definition: AsmDefs.h:509
cxbyte info
ELF symbol info.
Definition: AsmDefs.h:162
cxuint type
scalar/vector/other
Definition: AsmDefs.h:511
std::vector< AsmCodeFlowEntry > codeFlow
code flow info
Definition: AsmDefs.h:662
const AsmExprTarget & getTarget() const
get targer of expression
Definition: AsmDefs.h:395
uint16_t rstart
register start
Definition: AsmDefs.h:560
signed (arithmetic) shift right
void addCodeFlowEntry(const AsmCodeFlowEntry &entry)
add code flow entry to this section
Definition: AsmDefs.h:679
static bool isUnaryOp(AsmExprOp op)
return true if is unary op
Definition: AsmDefs.h:389
uint16_t index
index of regvar array
Definition: AsmDefs.h:519
AsmSourcePos sourcePos
source position of definition
Definition: AsmDefs.h:691
size_t getSymOccursNum() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:398
std::list< AsmScope * > usedScopes
list of used scope in this scope
Definition: AsmDefs.h:617
assembler symbol occurrence in expression
Definition: AsmDefs.h:143
regvar usage (internal)
Definition: AsmDefs.h:557
std::unordered_map< CString, AsmScope * > AsmScopeMap
type definition of scope's map
Definition: AsmDefs.h:604
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:202
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:193
void stopUsingScopes()
remove all usings
Definition: AsmDefs.h:639
cxuint RelocType
relocation type
Definition: Commons.h:33
void setTarget(AsmExprTarget _target)
set target of expression
Definition: AsmDefs.h:338
for internal usage
Definition: AsmDefs.h:539
std::unordered_map< AsmScope *, std::list< AsmScope * >::iterator > usedScopesSet
set of used scopes in this scope
Definition: AsmDefs.h:620
size_t cflowId
cflow index of destination
Definition: AsmDefs.h:231
return from procedure
Definition: AsmDefs.h:588
AsmScope * parent
parent scope
Definition: AsmDefs.h:612
line and column
Definition: AsmSource.h:44
bool isEmpty() const
return true if expression is empty
Definition: AsmDefs.h:331
std::unordered_map< CString, AsmSymbol > AsmSymbolMap
assembler symbol map
Definition: AsmDefs.h:216
AsmScope(AsmScope *_parent, const AsmSymbolMap &_symbolMap, bool _temporary=false)
constructor
Definition: AsmDefs.h:623
cxuint sectionId
sectionId
Definition: AsmDefs.h:441
LineNo lineNo
line number of top-most source
Definition: AsmSource.h:156
size_t offset
offset of relocation
Definition: AsmDefs.h:278
AsmRegField regField
place in instruction
Definition: AsmDefs.h:562
absolute section id
Definition: AsmFormats.h:81
uint64_t value
value of symbol
Definition: AsmDefs.h:170
AsmExprTarget(AsmExprTargetType _type, cxuint _sectionId, size_t _offset)
constructor to create custom target
Definition: AsmDefs.h:239
single regvar id
Definition: AsmDefs.h:516
cxbyte rwFlags
1 - read, 2 - write, other flags
Definition: AsmDefs.h:571
uint16_t rend
register end
Definition: AsmDefs.h:561
assembler relocation
Definition: AsmDefs.h:275
cxbyte rwFlags
1 - read, 2 - write
Definition: AsmDefs.h:551
bool temporary
true if temporary
Definition: AsmDefs.h:616
AsmException()=default
empty constructor
size_t opIndex
operator index
Definition: AsmDefs.h:147
const char * name
name of kernel
Definition: AsmDefs.h:690
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:579
internal structure for regusage
Definition: AsmDefs.h:575
std::unordered_map< CString, RefPtr< const AsmMacro > > AsmMacroMap
assembler macro map
Definition: AsmDefs.h:602
main namespace
Definition: AsmDefs.h:38
AsmSymbolEntry * symbol
if symbol
Definition: AsmDefs.h:437
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:445
const AsmRegVar * regVar
regvar
Definition: AsmDefs.h:518
uint16_t rstart
register start
Definition: AsmDefs.h:577
static bool isArg(AsmExprOp op)
return true if is argument op
Definition: AsmDefs.h:386
bool unrefSymOccursNum()
unreference symbol occurrences in expression (used internally)
Definition: AsmDefs.h:404
unsigned int cxuint
unsigned int
Definition: Config.h:223
bool operator!=(const AsmSingleVReg &r2) const
not equal operator
Definition: AsmDefs.h:525
internal structure for regusage
Definition: AsmDefs.h:568
static bool isBinaryOp(AsmExprOp op)
return true if is binary op
Definition: AsmDefs.h:392
code end
Definition: AsmDefs.h:590
target is byte
Definition: AsmDefs.h:64
uint64_t size
size of symbol
Definition: AsmDefs.h:171
size_t getSize() const
get section's size
Definition: AsmDefs.h:683
AsmScope(AsmScope *_parent=nullptr, bool _temporary=false)
constructor
Definition: AsmDefs.h:628
cxbyte AsmExprTargetType
expression target type (one byte)
Definition: AsmDefs.h:59
AsmCodeFlowType type
type of code flow entry
Definition: AsmDefs.h:598
uint16_t rend
register end
Definition: AsmDefs.h:549
uint64_t size
section size
Definition: AsmDefs.h:658
std::vector< AsmExprSymbolOccurrence > occurrencesInExprs
Definition: AsmDefs.h:178
target is 16-bit word
Definition: AsmDefs.h:65
std::vector< cxbyte > content
content of section
Definition: AsmDefs.h:659
AsmSymbolMap::value_type AsmSymbolEntry
assembler symbol entry
Definition: AsmDefs.h:218
Flags flags
section flags
Definition: AsmDefs.h:656
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:559
target is symbol
Definition: AsmDefs.h:63
uint64_t value
value
Definition: AsmDefs.h:438
AsmRegField regField
place in instruction
Definition: AsmDefs.h:570
cxuint refCount
reference counter (for internal use only)
Definition: AsmDefs.h:160
uint16_t rend
register end
Definition: AsmDefs.h:578
size_t offset
offset of destination
Definition: AsmDefs.h:230
uint16_t size
in regs
Definition: AsmDefs.h:512
size_t offset
offset where is this entry
Definition: AsmDefs.h:596
size_t argIndex
argument index
Definition: AsmDefs.h:146
cxuint sectionId
section id where relocation is present
Definition: AsmDefs.h:277
cxuint sectionId
section id of destination
Definition: AsmDefs.h:228
utilities for other libraries and programs
const Array< AsmExprOp > & getOps() const
get operators list
Definition: AsmDefs.h:411
std::unique_ptr< ISAUsageHandler > usageHandler
usage handler
Definition: AsmDefs.h:661
AsmSection(const char *_name, cxuint _kernelId, AsmSectionType _type, Flags _flags, uint64_t _alignment, uint64_t _size=0)
constructor
Definition: AsmDefs.h:667
RelocType type
relocation type
Definition: AsmDefs.h:279
uint64_t alignment
section alignment
Definition: AsmDefs.h:657
static AsmExprTarget dataTarget(cxuint sectionId, size_t offset)
make n-bit word target for expression
Definition: AsmDefs.h:263
const AsmRegVar * regVar
if null, then usage of called register
Definition: AsmDefs.h:547
std::string message
message
Definition: Utilities.h:61
exception class
Definition: Utilities.h:58
AsmSymbolMap symbolMap
symbol map
Definition: AsmDefs.h:613
AsmScopeMap scopeMap
scope map
Definition: AsmDefs.h:615
code start
Definition: AsmDefs.h:589
AsmSectionType type
type of section
Definition: AsmDefs.h:655
regvar usage in code
Definition: AsmDefs.h:544
uint16_t rstart
register start
Definition: AsmDefs.h:548
call of procedure
Definition: AsmDefs.h:587
AsmSymbol(AsmExpression *expr, bool _onceDefined=false, bool _base=false)
constructor with expression
Definition: AsmDefs.h:187
for internal usage (regtype)
Definition: AsmDefs.h:538
static AsmExprTarget codeFlowTarget(cxuint sectionId, size_t cflowIndex)
make code flow target for expression
Definition: AsmDefs.h:252
register will be read
Definition: AsmDefs.h:535
cxbyte align
register alignment
Definition: AsmDefs.h:564
code flow entry
Definition: AsmDefs.h:594
cxbyte other
ELF symbol other.
Definition: AsmDefs.h:163
jump
Definition: AsmDefs.h:585
std::vector< std::pair< size_t, size_t > > codeRegions
code regions
Definition: AsmDefs.h:692
const char * name
section name
Definition: AsmDefs.h:653
an assembler sources handling
virtual ~AsmException() noexcept=default
destructor
AsmCodeFlowType
code flow type
Definition: AsmDefs.h:583
Assembler exception class.
Definition: AsmDefs.h:42
cxuint relSectionId
section for which relocation is defined
Definition: AsmDefs.h:282
assembler symbol structure
Definition: AsmDefs.h:158
bool useRegMode
if RVU from useReg pseudo-ops
Definition: AsmDefs.h:553
bool isDefined() const
return true if symbol defined (have value or expression)
Definition: AsmDefs.h:211
register will be written
Definition: AsmDefs.h:536
cxbyte AsmRegField
type of register field
Definition: AsmDefs.h:456
const AsmExprArg * getArgs() const
get argument list
Definition: AsmDefs.h:414
ISA (register and regvar) Usage handler.
Definition: Assembler.h:64
size_t hasRelativeSymOccurs() const
get number of symbol occurrences in expression
Definition: AsmDefs.h:401
AsmRegField regField
place in instruction
Definition: AsmDefs.h:550
uint64_t addend
addend
Definition: AsmDefs.h:284
conditional jump
Definition: AsmDefs.h:586
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:348
assembler expression argument
Definition: AsmDefs.h:435
access mask
Definition: AsmDefs.h:537
cxbyte align
register alignment
Definition: AsmDefs.h:552
bool operator==(const AsmSingleVReg &r2) const
equal operator
Definition: AsmDefs.h:522
CLRX::AsmSingleVReg argument_type
argument type
Definition: AsmDefs.h:709
const AsmSourcePos & getSourcePos() const
get source position
Definition: AsmDefs.h:417
assembler source position
Definition: AsmSource.h:152
std::size_t result_type
result type
Definition: AsmDefs.h:710