| /arkcompiler/runtime_core/docs/ |
| D | doxygen.config | 14 # Values that contain spaces should be placed between quotes (\" \").
21 # that follow. The default is UTF-8 which is also the encoding used for all text
30 # double-quotes, unless you are using Doxywizard) that should identify the
44 # for a project that appears at the top of each page and should give viewer a
49 # With the PROJECT_LOGO tag one can specify a logo or an icon that is included
97 # descriptions after the members that are listed in the file and class
112 # This tag implements a quasi-intelligent brief description abbreviator that is
141 # inherited members of a class in the documentation of that class as if those
150 # shortest path that makes the file name unique will be used
161 # Note that you can specify absolute paths here, but also relative paths, which
[all …]
|
| D | rationale-for-bytecode.md | 13 There is a central processing unit (CPU) that reads commands (or _instructions_) from
17 operands are _stack operands_ that reside in a special data structure called _stack_. The program
23 that the number and purpose of registers differs, too. Some nuances of working with stack may also
79 more _dispatch overhead_. Which means that the stack-based bytecode is slower by nature.
86 interpreter is very important, that's why
117 * Sometimes you might want to write directly into virtual register. e.g. for register moves (that
133 Let's take a closer look at `adda arg1, arg2`. Assume that arguments map to virtual registers on
148 It easy to see that to address virtual registers 4 and 5 we need just 3 bits which allows to encode
157 to the stack-based approach. Of course, if virtual registers have large numbers that do no fit
165 How to make sure that we benefit from the shorter encoding most of the time? An observation shows
[all …]
|
| D | assembly_format.md | 5 …mbler, a dedicated tool that translates them to binary files that can be executed by the Panda vir…
11 …that is (or intended to be) supported by the platform. Instead, Panda assembly can be thought as a…
19 Comments are marked with the `#` character. All characters that follow it (including the `#` charac…
28 …that can be represented with IEEE 754. Hexadecimal floating-point literals are prefixed with `0x`.…
86 There are keys that indicate that a function must not have an implementation. The absence of these …
158 | `java.interface` | Used to specify that the record represents Java interface. |
159 | `java.enum` | Used to specify that the record and its fields represent Java enum. |
160 | `java.annotation` | Used to specify that the record represents Java annotation. |
162 …tion class. Allowed multiple definitions. Value is the name of the record that represent Java anno…
205 | `void` | Type for the result of a function that returns normally, but does not provide a result v…
[all …]
|
| D | 2022-08-18-isa-changelog.md | 14 2. We remove the prefix of ecmascript specific opcodes, such that most of the bytecode opcode can b…
18 6. We adjust the format of some opcodes (about immediate number and accumulator), so that the bytec…
24 such that runtime can distinguish the "define-function" operations of different kinds.
25 We also add header index in function such that runtime can access IndexHeader more efficiently.
34 such that the instructions can get consective indexes for methodId, stringId and literalarrayId.
36 As the method number in a class is not limited, we release the constraint that all methodId,
38 Instead, we only ask that all methodId, stringId and literalarrayId in a method should be put in on…
|
| D | code_metainfo.md | 5 Metainfo is an information that aims to provide reg-to-stack mapping for virtual registers. It is n…
8 When native code calls runtime or another code that can call runtime, we must provide approach to r…
44 First row is a BitTable's header, that describe rows count and columns width.
53 Column width can't be greater than 32 bits, because `BitTableBuilder` class, that aims to build bit…
73 Row size is 25 bits, that is sum of columns width: 2 + 0 + 15 + 8.
74 Column width is determined by maximum value in a table, e.g. for 2th column it is zero row, that ha…
80 Bitmap table is a Bit table with one column, that doesn't have 32-bits limitation for the width.
106 | CALLEE_REG_MASK | Specifies registers mask that is saved in the method |
107 | CALLEE_FP_REG_MASK | Specifies fp registers mask that is saved in the method |
120 | ROOTS_REG_MASK_INDEX | Mask of the CPU registers that hold managed objects |
[all …]
|
| D | glossary.md | 5 During the development of Panda Runtime, we faced the fact that terminology related to the
12 compilation" are used to indicate that the source code or bytecode is compiled before actual
17 * **Compiler** is a tool that performs source code or bytecode translation, optimization and
25 compilation" are used to indicate that the source code or bytecode is compiled during program
29 * **Panda Assembler** is a tool that translates **Panda Assembly Language**
42 * **Allocator** is a part of the system that servicing allocation and deallocation requests.
56 that it can prove will never be used again.
66 It means that all objects which are currently in use are known and we know how to get value
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | arrowFunctionParsingDoesNotConfuseParenthesizedObjectForArrowHead.ts | 30 …that errors will be gone run: () => { //replace arrow function with regular function to see tha…
31 …that errors will be gone run: () => { //replace arrow function with regular function to see tha…
32 …that errors will be gone run: () => { //replace arrow function with regular function to see tha…
35 prop: !value, // remove ! to see that errors will be gone
40 run: () => { //replace arrow function with regular function to see that errors will be gone
42 …unction with regular function to see that errors will be gone // comment next line or remov…
44 // comment next line or remove "()" to see that errors will be gone
|
| D | LICENSE.txt | 13 "Licensor" shall mean the copyright owner or entity authorized by the copyright owner that is grant…
15 …the acting entity and all other entities that control, are controlled by, or are under common cont…
23 …orm, made available under the License, as indicated by a copyright notice that is included in or a…
25 …that is based on (or derived from) the Work and for which the editorial revisions, annotations, el…
27 …that Work or Derivative Works thereof, that is intentionally submitted to Licensor for inclusion i…
33 …that are necessarily infringed by their Contribution(s) alone or by combination of their Contribut…
35 …um, with or without modifications, and in Source or Object form, provided that You meet the follow…
39 You must cause any modified files to carry prominent notices stating that You changed the files; and
41 …Works that You distribute, all copyright, patent, trademark, and attribution notices from the Sour…
43 …that You distribute must include a readable copy of the attribution notices contained within such …
|
| D | privateInstanceVisibility.ts | 31 let that = this;
32 AssertType(that, "this");
38 let num = that.someNumber;
40 AssertType(that.someNumber, "number");
|
| /arkcompiler/ets_runtime/ecmascript/compiler/base/ |
| D | depend_chain_helper.cpp | 20 void DependChains::Merge(DependChains* that) in Merge() argument
23 while (size_ > that->size_) { in Merge()
29 auto rhs = that->head_; in Merge()
30 size_t rhsSize = that->size_; in Merge()
44 bool DependChains::Equals(DependChains* that) in Equals() argument
46 if (that == nullptr) { in Equals()
49 if (size_ != that->size_) { in Equals()
53 auto rhs = that->head_; in Equals()
100 DependChains* that = new (chunk_) DependChains(chunk_); in UpdateNode() local
102 that->head_ = node; in UpdateNode()
[all …]
|
| /arkcompiler/toolchain/ |
| D | LICENSE | 14 the copyright owner that is granting the License.
17 other entities that control, are controlled by, or are under common
18 control with that entity. For the purposes of this definition,
38 copyright notice that is included in or attached to the work
42 form, that is based on (or derived from) the Work and for which the
45 of this License, Derivative Works shall not include works that remain
51 to that Work or Derivative Works thereof, that is intentionally
58 and issue tracking systems that are managed by, or on behalf of, the
60 excluding communication that is conspicuously marked or otherwise
80 by such Contributor that are necessarily infringed by their
[all …]
|
| /arkcompiler/ets_runtime/ |
| D | LICENSE | 14 the copyright owner that is granting the License.
17 other entities that control, are controlled by, or are under common
18 control with that entity. For the purposes of this definition,
38 copyright notice that is included in or attached to the work
42 form, that is based on (or derived from) the Work and for which the
45 of this License, Derivative Works shall not include works that remain
51 to that Work or Derivative Works thereof, that is intentionally
58 and issue tracking systems that are managed by, or on behalf of, the
60 excluding communication that is conspicuously marked or otherwise
80 by such Contributor that are necessarily infringed by their
[all …]
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | reg_alloc_graph_coloring_doc.md | 17 This paper describes register allocation algorithm that is based on ideas of Chordal-graph coloring…
18 …sed on observation that programs in a strict SSA form produce a Chordal interference graphs. Main …
19 …ementation was used alternative algorithm that is LexBFS. It uses little bit more compact data str…
20 …call-site crossing will interfere with fixed-intervals (special intervals that are placeholders of…
23 …ally for nodes is collected number or fixed-intervals intersections that tell us that this interva…
27 Here additionally to the built graph with regular edges that represent interference, it is built af…
31 …s by MCS or LexBFS (that is reverse PEO), one by one is colored by a Greedy coloring algorithm. Gr…
32 …ve situations when different cliques are colored in parallel that at the end collides, that may ca…
36 There are two classes of approaches for coalescing, that is:
37 …that happens before or after coloring respectively. Pre-coalescing is known to potentially can inc…
[all …]
|
| D | aot_resolve_string.md | 4 mode such runtime calls could be replaced with load from a special PLT-slot in AOT file. In that ca…
5 loads a value from a slot associated with a string and checks if that value is valid pointer. If it…
6 application have to perform `ResolveStringAot` runtime call that will return a pointer. That runtim…
20 emits load from that slot, followed by the check that the loaded value is a valid pointer and the s…
22 The slow path performs `ResolveStringAot` runtime call that returns resolved string.
36 …or it reaches `PANDA_32BITS_HEAP_START_ADDRESS - 1` (after that invocations will not increment slo…
51 PLT-slot is referencing to an object in young space. That information allow to significantly reduce…
|
| D | ir_builder.md | 13 We choose a simple algorithm, that is used in many Virtual Machines. It may produce dead phis, but …
16 …he Panda bytecode, IR builder has responsibility to handle various situation that is not common for
22 - if constant is `0` and it is used in instruction that expects object(f.e. `mov.obj`), we need to …
25 Resolving these things requires addition actions in the builder, that, in turn, can require additio…
43 … bytecode instructions and make basic block for all target instructions, i.e. instructions that can
60 `Virtual register map` is a map, where key is virtual register, value is an IR instruction that cur…
66 1. Split constants: for all constants that are used in instructions with different types, split con…
68 2. Fix instructions that can't be fully completed in building process:
71 …- Check all instructions that have no type and fix it. Type is got from instructions with known in…
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | checkcast.yaml | 58 description: Check that null object reference can be cast to any type
71 jnez.obj set_failure # check that acc == null
100 description: Check that null object reference can be cast to any type
116 jnez.obj set_failure # check that acc == null
150 description: Check that null object reference can be cast to any array type
164 jnez.obj set_failure # check that acc == null
193 description: Check that null object reference can be cast to any array type
209 jnez.obj set_failure # check that acc == null
243 description: Check that any object can be cast to the base type
257 jne.obj v1, set_failure # check that acc isn't changed
[all …]
|
| D | throw.yaml | 48 description: Check that compilation fails if register is invalid
78 description: Check that verifier report error when the register is not initialized
101 description: Check that compiler reports error when 'a' register is not initialized
135 description: Check that NullPointerException is thrown when register value is null
167 description: Check that NullPointerException is thrown when register value is null
200 description: "Check that VM thread fails when register contains not a Throwable"
253 description: "Check that VM thread fails when register contains not a Throwable"
307 description: "Check that correct catch block is selected"
309 … register. The current method is searched for the first exception handler that matches the class o…
392 description: "Check that correct catch block is selected"
[all …]
|
| D | ldobj.64.yaml | 98 …description: Check that verifier reports error if source registers are not initialized in Panda co…
125 …description: Check that verifier reports error if source registers are not initialized in PandaAss…
148 … description: Check that NullPointerException is thrown if object ref is null in Panda context.
180 …description: Check that NullPointerException is thrown if object ref is null in PandaAssembly cont…
211 …description: Check that verifier reports an error when the 1st operand is not a ref to an object (…
248 …description: Check that verifier reports an error when the 1st operand is not a ref to an object (…
282 …Check that verifier reports an error when the field doesn't resolve to a non-static valid object f…
337 …Check that verifier reports an error when the field doesn't resolve to a non-static valid object f…
393 …description: Check that verifier reports an error when the field resolves to a field with size or …
435 …description: Check that verifier reports an error when the field resolves to a field with size or …
[all …]
|
| D | ldobj.v.64.yaml | 98 …description: Check that verifier reports error if source registers are not initialized in Panda co…
123 …description: Check that verifier reports error if source registers are not initialized in PandaAss…
146 … description: Check that NullPointerException is thrown if object ref is null in Panda context.
178 …description: Check that NullPointerException is thrown if object ref is null in PandaAssembly cont…
209 …description: Check that verifier reports an error when the 2nd operand is not a ref to an object (…
247 …description: Check that verifier reports an error when the 2nd operand is not a ref to an object (…
282 …Check that verifier reports an error when the field doesn't resolve to a non-static valid object f…
337 …Check that verifier reports an error when the field doesn't resolve to a non-static valid object f…
393 …description: Check that verifier reports an error when the field resolves to a field with size or …
435 …description: Check that verifier reports an error when the field resolves to a field with size or …
[all …]
|
| /arkcompiler/runtime_core/ |
| D | LICENSE | 14 the copyright owner that is granting the License.
17 other entities that control, are controlled by, or are under common
18 control with that entity. For the purposes of this definition,
38 copyright notice that is included in or attached to the work
42 form, that is based on (or derived from) the Work and for which the
45 of this License, Derivative Works shall not include works that remain
51 to that Work or Derivative Works thereof, that is intentionally
58 and issue tracking systems that are managed by, or on behalf of, the
60 excluding communication that is conspicuously marked or otherwise
80 by such Contributor that are necessarily infringed by their
[all …]
|
| /arkcompiler/ets_frontend/arkguard/ |
| D | LICENSE | 14 the copyright owner that is granting the License.
17 other entities that control, are controlled by, or are under common
18 control with that entity. For the purposes of this definition,
38 copyright notice that is included in or attached to the work
42 form, that is based on (or derived from) the Work and for which the
45 of this License, Derivative Works shall not include works that remain
51 to that Work or Derivative Works thereof, that is intentionally
58 and issue tracking systems that are managed by, or on behalf of, the
60 excluding communication that is conspicuously marked or otherwise
80 by such Contributor that are necessarily infringed by their
[all …]
|
| /arkcompiler/ets_frontend/ |
| D | LICENSE | 14 the copyright owner that is granting the License.
17 other entities that control, are controlled by, or are under common
18 control with that entity. For the purposes of this definition,
38 copyright notice that is included in or attached to the work
42 form, that is based on (or derived from) the Work and for which the
45 of this License, Derivative Works shall not include works that remain
51 to that Work or Derivative Works thereof, that is intentionally
58 and issue tracking systems that are managed by, or on behalf of, the
60 excluding communication that is conspicuously marked or otherwise
80 by such Contributor that are necessarily infringed by their
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/ |
| D | early_elimination.cpp | 413 void DependInfoNode::Merge(EarlyElimination* elimination, DependInfoNode* that) in Merge() argument
417 auto rhs = that->head_; in Merge()
445 if (this->frameState_ != that->frameState_) { in Merge()
450 bool DependInfoNode::Equals(DependInfoNode* that) in Equals() argument
452 if (that == nullptr) { in Equals()
455 if (size_ != that->size_ || frameState_ != that->frameState_) { in Equals()
459 auto rhs = that->head_; in Equals()
511 DependInfoNode* that = new (chunk_) DependInfoNode(chunk_); in UpdateNode() local
513 that->head_ = node; in UpdateNode()
514 that->size_ = size_ + 1; in UpdateNode()
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/napi/ |
| D | jsnapi_helper.h | 109 auto that = reinterpret_cast<NativeReferenceHelper*>(ref); in FreeGlobalCallBack() local
110 that->obj_.FreeGlobalHandleAddr(); in FreeGlobalCallBack()
115 auto that = reinterpret_cast<NativeReferenceHelper*>(ref); in NativeFinalizeCallBack() local
116 if (that->callback_ != nullptr) { in NativeFinalizeCallBack()
117 that->callback_(that->vm_); in NativeFinalizeCallBack()
119 that->callback_ = nullptr; in NativeFinalizeCallBack()
|
| /arkcompiler/runtime_core/tests/checked/ |
| D | README.md | 3 Checked tests is the tests that have additional functionality to check result of the test being run.
29 * **METHOD** (name: string) start check of specified method, all following checks that require spec…
31 * **PASS_BEFORE** (pass_name: string) select pass that is right before the specified one
33 * **INST_NOT** (inst: pattern) equal to `NOT INST`, i.e. check that instruction is not exist
38 * **SKIP_IF** (condition) if condition is `true`, skip all commands from that to end of this checker
|