| /arkcompiler/ets_runtime/ecmascript/ |
| D | ecma_isa.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
71 acc: in:top
139 - sig: ecma.add2dyn v:in:top
143 - sig: ecma.sub2dyn v:in:top
147 - sig: ecma.mul2dyn v:in:top
151 - sig: ecma.div2dyn v:in:top
155 - sig: ecma.mod2dyn v:in:top
159 - sig: ecma.eqdyn v:in:top
163 - sig: ecma.noteqdyn v:in:top
[all …]
|
| /arkcompiler/runtime_core/isa/ |
| D | isa.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
27 bits of a register, undefined bits shall not be accessed in verified code.
28 …Register field width in instruction encoding could be 4 (16 addressable registers), 8 (256 registe…
34 …The main goal of using accumulator is to improve encoding density without losing much in performan…
36 …a source from previous instruction result and passing it to the next instruction in its destinatio…
45 …caller frame onto the top of the callee frame such as the last argument is placed in the register …
47 …arguments. Accumulator value is considered as undefined and shall not be read in verified bytecode.
49 …accumulator. Otherwise accumulator content in caller frame is considered as undefined and shall not
50 be read in verified bytecode.
[all …]
|
| /arkcompiler/ets_frontend/arkguard/test/grammar/in_operator/ |
| D | privateNameInInExpressionTransform.ts | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
22 #f in a; // expect F's 'f' WeakMap
23 #fun in a; // expect F's 'instances' WeakSet
24 #staticF in a; // expect F's constructor
25 #staticMethod in a; // expect F's constructor
28 // '==' and '||' have lower precedence than 'in'
29 // 'in' naturally has same precedence as 'in'
30 // '<<' has higher precedence than 'in'
32 a == #f in a || a; // Good precedence: (a == (#f in a)) || a
[all …]
|
| D | privateNameInInExpression.ts | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
23 const a = #f in v;
25 const b = #f in v.p1.p2;
27 const c = #f in (v as {});
29 const d = #f in (v as F);
31 const e = #f in (v as never);
33 for (let f in #f in v as any) { /**/ } // unlikely but valid
37 /*2*/ in/*3*/
|
| /arkcompiler/runtime_core/static_core/isa/ |
| D | isa.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
27 bits of a register, undefined bits shall not be accessed in verified code.
28 …Register field width in instruction encoding could be 4 (16 addressable registers), 8 (256 registe…
34 …The main goal of using accumulator is to improve encoding density without losing much in performan…
36 …a source from previous instruction result and passing it to the next instruction in its destinatio…
45 …caller frame onto the top of the callee frame such as the last argument is placed in the register …
47 …arguments. Accumulator value is considered as undefined and shall not be read in verified bytecode.
49 …accumulator. Otherwise accumulator content in caller frame is considered as undefined and shall not
50 be read in verified bytecode.
[all …]
|
| /arkcompiler/ets_frontend/arkguard/ |
| D | README.md | 6 # Usage in DevEco Studio
7 Arkguard has been integrated into SDK. It is convenient to use Arkguard in DevEco Studio.
8 In DevEco Studio, Arkguard can be enabled only in Stage Model (FA Model is not supported).
9 For now only name obfuscations can be used in DevEco Studio (because other obfuscation
13 * names in global scope
21 When you create a new project, the following config will be generated in `build-profile.json5`.
47 * build in release mode
49 The files in the property `ruleOptions.files` will be applied when you build HAP or HAR.
51 The files in the property `consumerFiles` will be applied when you build the project or library whi…
52 depends on this library. They will also be merged into a file `obfuscation.txt` in the resulting HA…
[all …]
|
| D | OAT.xml | 5 you may not use this file except in compliance with the License.
10 Unless required by applicable law or agreed to in writing, software
17 …All configurations in this file will be merged to OAT-Default.xml, if you have any questions or co…
20 …1.If the project don't have "LICENSE" in root dir, please define all the license files in this pro…
27 "compatibility" is used to check license compatibility in the specified path;
28 "license" is used to check source license header in the specified path;
29 "copyright" is used to check source copyright header in the specified path;
30 … "import" is used to check source dependency in the specified path, such as import ... ,include ...
31 … "filetype" is used to check file type in the specified path, supported file types: archive, binary
32 …"filename" is used to check whether the specified file exists in the specified path(projectroot me…
[all …]
|
| /arkcompiler/runtime_core/tests/cts-coverage-tool/config/ |
| D | non_testable.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
21 description: In dynamically-typed language context load string as 'any' value.
24 description: In dynamically-typed language context accept 'any' values in source
43 - sig: mov.dyn v1:out:any, v2:in:any
56 - sig: lda.dyn v:in:any
70 acc: in:any
94 Return 'any' value in accumulator from method to its caller
101 acc: in:any
110 definition in the new frame.
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/isa/ |
| D | isa.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
35 - sig: ets.launch.short method_id, v1:in:top, v2:in:top
41 - sig: ets.launch method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top
47 - sig: ets.launch.range method_id, v:in:top
53 - sig: ets.launch.virt.short method_id, v1:in:top, v2:in:top
59 - sig: ets.launch.virt method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top
65 - sig: ets.launch.virt.range method_id, v:in:top
102 - sig: ets.ldobj.name v:in:ref, field_id
109 - sig: ets.ldobj.name.64 v:in:ref, field_id
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/cookbook/ |
| D | summary.rst | 4 you may not use this file except in compliance with the License.
7 Unless required by applicable law or agreed to in writing, software
29 |LANG| was designed with the following goals in mind:
40 structures are used in the code. That all types are known before the program
41 actually runs results in the compiler to verify code correctness, thus
44 Therefore, the usage of the type ``any`` in |LANG| is prohibited.
80 in |TS|. According to our measurements, ``any`` is used in approximately 1% of
84 Prohibiting ``any`` results in a strong positive impact on performance at the
89 .. _Changing Object Layout in Runtime Is Prohibited:
91 Changing Object Layout in Runtime Is Prohibited
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/ |
| D | Box.ets | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
42 * Returns the value contained in the box
44 * @returns T - value in the box
51 * Sets the value contained in the box
79 * Returns the value contained in the box
81 * @returns boolean - value in the box
88 * Sets the value contained in the box
116 * Returns the value contained in the box
118 * @returns byte - value in the box
[all …]
|
| /arkcompiler/runtime_core/static_core/scripts/cmake-checker/ |
| D | cmake_checker.py | 5 # you may not use this file except in compliance with the License.
10 # Unless required by applicable law or agreed to in writing, software
43 # don't search in following files and folders
45 ignore_files = [os.path.join(directory, s) for s in ignore_files]
48 # search in following third_party folders
53 # Fetch all cmake files in directory
54 for root, dirs, files in os.walk(directory):
56 for white_path in white_list_paths:
62 for ignore_path in ignore_paths:
63 … if root.startswith(os.path.join(directory, ignore_path)) or "third_party" in root:
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/code_generator/target/aarch32/ |
| D | lib_helpers.inl | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
18 // NOLINTBEGIN(readability-identifier-naming, misc-definitions-in-headers)
20 // defined in libgcc_s.so
37 // NOLINTEND(readability-identifier-naming, misc-definitions-in-headers)
49 // NOLINTNEXTLINE(readability-identifier-naming,misc-definitions-in-headers)
58 // NOLINTNEXTLINE(readability-identifier-naming,misc-definitions-in-headers)
78 // NOLINTNEXTLINE(readability-identifier-naming,misc-definitions-in-headers)
87 // NOLINTNEXTLINE(readability-identifier-naming,misc-definitions-in-headers)
97 // NOLINTNEXTLINE(readability-identifier-naming,misc-definitions-in-headers)
[all …]
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | reg_alloc_graph_coloring_doc.md | 18 …in works of Sebastian Hack and Fernando Pereira. It is based on observation that programs in a str…
19 In works of Hack ("Register Allocation for Programs in SSA Form") and Pereira ("Register Allocation…
20 …rom Architecture and remapped (to sequential numbering) in order <caller-saved, callee-saved>. In …
23 Graph is built by liveness-intervals, algorithm under the hood is the same as in Linear-scan from w…
32 … one. This way we don’t have situations when different cliques are colored in parallel that at the…
37 …d make graph G’ not K-colorable as original graph G. Post coalescing (like in Pereira algorithm) i…
38 - Biasing, is a way when in front of coloring nodes are “hinted” with preferred colors. And on stag…
40 Each affinity edge means connection of two values by move-relation. That means that in worst-case s…
41 … edges of IG form components known as Affinity-components. In best-case scenario all nodes in affi…
42 …h will “hint” all nodes of bias to caller-save register. So if other nodes in bias have intersecti…
[all …]
|
| D | plt.md | 3 AOT compiler mode mainly described in [aot.md](../../docs/aot.md), please read it first.
11 …it's code is much longer than few runtime-call-related instructions mentioned in the section above.
16 … used, as we can cache gathered Method or Class pointer into a slot in GOT table (in `.aot_got` se…
18 or `class Id`. So, in order to reduce code size in AOT mode, more tricky solution with PLT Resolver…
23 consecutive slots are reserved in PLT-GOT table. `FirstSlot` is filled during AOT file creation and…
30 parameters are already in proper registers):
34 ; Somewhere in PLT-GOT table
49 XX+04: ldr x0, [x0] ; Load value stored in ThirdSlot ; (&FirstSlot)-48 ; Method Pointer
56 value in `x0`, so it may load `ldr x1, [x0, #48]` to get `method Id` from `FirstSlot`.
58 having this two values in `x0` and `x1` it just call `GetCalleeMethod` to gather `Method pointer`.
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | reg_alloc_graph_coloring_doc.md | 18 …in works of Sebastian Hack and Fernando Pereira. It is based on observation that programs in a str…
19 In works of Hack ("Register Allocation for Programs in SSA Form") and Pereira ("Register Allocation…
20 …rom Architecture and remapped (to sequential numbering) in order <caller-saved, callee-saved>. In …
23 Graph is built by liveness-intervals, algorithm under the hood is the same as in Linear-scan from w…
32 … one. This way we don’t have situations when different cliques are colored in parallel that at the…
37 …d make graph G’ not K-colorable as original graph G. Post coalescing (like in Pereira algorithm) i…
38 - Biasing, is a way when in front of coloring nodes are “hinted” with preferred colors. And on stag…
40 Each affinity edge means connection of two values by move-relation. That means that in worst-case s…
41 … edges of IG form components known as Affinity-components. In best-case scenario all nodes in affi…
42 …h will “hint” all nodes of bias to caller-save register. So if other nodes in bias have intersecti…
[all …]
|
| D | plt.md | 3 AOT compiler mode mainly described in [aot.md](../../docs/aot.md), please read it first.
11 …it's code is much longer than few runtime-call-related instructions mentioned in the section above.
16 … used, as we can cache gathered Method or Class pointer into a slot in GOT table (in `.aot_got` se…
18 or `class Id`. So, in order to reduce code size in AOT mode, more tricky solution with PLT Resolver…
23 consecutive slots are reserved in PLT-GOT table. `FirstSlot` is filled during AOT file creation and…
30 parameters are already in proper registers):
34 ; Somewhere in PLT-GOT table
49 XX+04: ldr x0, [x0] ; Load value stored in ThirdSlot ; (&FirstSlot)-48 ; Method Pointer
56 value in `x0`, so it may load `ldr x1, [x0, #48]` to get `method Id` from `FirstSlot`.
58 having this two values in `x0` and `x1` it just call `GetCalleeMethod` to gather `Method pointer`.
[all …]
|
| /arkcompiler/runtime_core/static_core/runtime/mem/gc/ |
| D | gc_settings.h | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
57 /// @brief true if explicit GC should be running in concurrent
60 /// @brief true if GC should be running in place
87 /// @brief runs full collection one of N times in GC thread
90 … @brief specify a max number of tenured regions which can be collected at mixed collection in G1GC.
93 …/// @brief minimum percentage of alive bytes in young region to promote it into tenured without mo…
97 …* @brief minimum percentage of not used bytes in tenured region to collect it on full even if we h…
104 …* (i.e. update objects count in memstats and log removed objects) during the G1GC collection or no…
124 * @brief Limit the creation rate of tasks during marking in nanoseconds.
[all …]
|
| /arkcompiler/ets_frontend/ts2panda/scripts/ |
| D | diagnosticMessages.json | 10 "A rest parameter must be last in a parameter list.": {
42 "A 'declare' modifier cannot be used in an already ambient context.": {
46 "'{0}' modifier cannot be used in an ambient context.": {
86 "Only a single variable declaration is allowed in a 'for...in' statement.": {
90 "Invalid use of '{0}' in strict mode.": {
94 "A 'with' statements are not allowed in strict mode.": {
98 "A 'delete' cannot be called on an identifier in strict mode.": {
118 "A 'default' clause cannot appear more than once in a 'switch' statement.": {
134 "An object literal cannot have multiple properties with the same name in strict mode.": {
150 "Octal literals are not allowed in strict mode.": {
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter-4.2/test_extended_features/ |
| D | UI_Decorators_@StorageLink.ets | 4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable low or agreed to in writing, software
18 // set PropA in AppStorage, if the singleton does not exist yet, it will be created on the fly
28 // @StorageLink variable decorator creates two-way link with property "PropA" in AppStorage
29 // initial value will be 47, because set in above code
32 … // @LocalStorageLink variable decorator creates two-way link with property "PropA" in LocalStorage
33 // initial value will be 48, because set in above code
39 // changes will sync with "PropA" in AppStorage, not in LocalStorage
43 // changes will sync with "PropA" in LocalStorage, not in AppStorage
|
| /arkcompiler/runtime_core/static_core/docs/ |
| D | cfi_directives.md | 5 In some situations **hand-written** assembly code is preferred to compiler-generated, i.e. for perf…
6 In case of **compiler-generated** code compilers emit special **debug symbols** in resulting binary…
12 In case you need basics please read related wiki article.
24 In prolog we save `lr`, `fp` and `callee` regs on stack.
26 `Debugger` or `profiler` will use this information in unwinding:
28 - to restore `callees` in previous frame
30 In epilog we read saved `callees` from stack and also `fp`/`lr`. Here we annotate that saved regist…
41 In that case we "say" to `debugger` that we are not going to return to previous frame. So we direct…
|
| /arkcompiler/runtime_core/docs/ |
| D | cfi_directives.md | 5 In some situations **hand-written** assembly code is preferred to compiler-generated, i.e. for perf…
6 In case of **compiler-generated** code compilers emit special **debug symbols** in resulting binary…
12 In case you need basics please read related wiki article.
24 In prolog we save `lr`, `fp` and `callee` regs on stack.
26 `Debugger` or `profiler` will use this information in unwinding:
28 - to restore `callees` in previous frame
30 In epilog we read saved `callees` from stack and also `fp`/`lr`. Here we annotate that saved regist…
41 In that case we "say" to `debugger` that we are not going to return to previous frame. So we direct…
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | call.yaml | 3 # you may not use this file except in compliance with the License.
8 # Unless required by applicable law or agreed to in writing, software
28 definition in the new frame.
29 … Result (if any) is returned in accumulator (see 'Calling sequence' chapter for more details).
30 Method, its class and the number of argument is resolved by given method_id in
32 Arguments are passed in source registers in the same order as in method signature.
44 - sig: call method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top
127 - sig: call method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top
165 - sig: call method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top
190 description: Check if several registers in 'call' is uninitialized.
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter-4.2/test/ |
| D | arkui_decorators.ts.strict.json | 5 "you may not use this file except in compliance with the License.",
10 "Unless required by applicable law or agreed to in writing, software",
147 …"suggest": "Property 'name' has no initializer and is not definitely assigned in the constructor.",
148 … "rule": "Property 'name' has no initializer and is not definitely assigned in the constructor."
154 … "suggest": "Property 'age' has no initializer and is not definitely assigned in the constructor.",
155 … "rule": "Property 'age' has no initializer and is not definitely assigned in the constructor."
161 …": "Property 'localStorage' has no initializer and is not definitely assigned in the constructor.",
162 …"rule": "Property 'localStorage' has no initializer and is not definitely assigned in the construc…
168 …"suggest": "Property 'provide' has no initializer and is not definitely assigned in the constructo…
169 … "rule": "Property 'provide' has no initializer and is not definitely assigned in the constructor."
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | arkui_decorators.ts.strict.json | 5 "you may not use this file except in compliance with the License.",
10 "Unless required by applicable law or agreed to in writing, software",
147 …"suggest": "Property 'name' has no initializer and is not definitely assigned in the constructor.",
148 … "rule": "Property 'name' has no initializer and is not definitely assigned in the constructor."
154 … "suggest": "Property 'age' has no initializer and is not definitely assigned in the constructor.",
155 … "rule": "Property 'age' has no initializer and is not definitely assigned in the constructor."
161 …": "Property 'localStorage' has no initializer and is not definitely assigned in the constructor.",
162 …"rule": "Property 'localStorage' has no initializer and is not definitely assigned in the construc…
168 …"suggest": "Property 'provide' has no initializer and is not definitely assigned in the constructo…
169 … "rule": "Property 'provide' has no initializer and is not definitely assigned in the constructor."
[all …]
|