Home
last modified time | relevance | path

Searched full:in (Results 1 – 25 of 7661) sorted by relevance

12345678910>>...307

/arkcompiler/ets_runtime/ecmascript/
Decma_isa.yaml3 # 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/ets_runtime/test/typeinfer/automatedcases/
DkeyofAndForIn.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
23 function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
24 const b = k in obj;
26 AssertType(k in obj, "boolean");
28 AssertType(obj, "{ [P in K]: T; }");
33 for (k1 in obj) {
35 AssertType(obj, "{ [P in K]: T; }");
38 AssertType(x1, "{ [P in K]: T; }[K]");
39 AssertType(obj[k1], "{ [P in K]: T; }[K]");
[all …]
DmappedTypes1.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
23 type T00 = { [P in "x" | "y"]: number };
24 type T01 = { [P in "x" | "y"]: P };
25 type T02 = { [P in "a" | "b"]: Item[P]; }
26 type T03 = { [P in keyof Item]: Date };
28 type T10 = { [P in keyof Item]: Item[P] };
29 type T11 = { [P in keyof Item]?: Item[P] };
30 type T12 = { readonly [P in keyof Item]: Item[P] };
31 type T13 = { readonly [P in keyof Item]?: Item[P] };
[all …]
DtypeGuardOfFromPropNameInUnionType.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
27 if ("a" in x) {
28 AssertType("a" in x, "boolean");
46 if ("a" in x) {
47 AssertType("a" in x, "boolean");
63 if ("a" in x) {
64 AssertType("a" in x, "boolean");
83 if ("a" in x) {
84 AssertType("a" in x, "boolean");
[all …]
DforInBreakStatements.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
21 for(let x in {}) {
26 for(let x in {}) {
33 for(let x in {}) {
39 for(let x in {}) {
43 for(let x in {}) {
52 for(let x in {}) {
56 for(let x in {}) break SIX;
63 for (let x in {}) for (let x in {}) for (let x in {}) break SEVEN;
[all …]
DforInContinueStatements.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
21 for(let x in {}) {
26 for(let x in {}) {
33 for(let x in {}) {
39 for(let x in {}) {
43 for(let x in {}) {
52 for(let x in {}) {
56 for(let x in {}) continue SIX;
63 for (let x in {}) for (let x in {}) for (let x in {}) continue SEVEN;
[all …]
DdestructuredMaappedTypeIsNotImplicitlyAny.ts5 * you may not use this file except in compliance with the License.
10 * Unless required by applicable law or agreed to in writing, software
21 function foo<T extends string>(key: T, obj: { [_ in T]: number }) {
22 …const { [key]: bar } = obj; // Element implicitly has an 'any' type because type '{ [_ in T]: numb…
24 AssertType(bar, "{ [_ in T]: number; }[T]");
25 AssertType(obj, "{ [_ in T]: number; }");
28 AssertType(bar, "{ [_ in T]: number; }[T]");
32 AssertType(lorem, "{ [_ in T]: number; }[T]");
33 AssertType(obj[key], "{ [_ in T]: number; }[T]");
34 AssertType(obj, "{ [_ in T]: number; }");
/arkcompiler/runtime_core/isa/
Disa.yaml3 # 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/
DREADME.md6 # 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 …]
DOAT.xml5 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/
Dnon_testable.yaml3 # 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/compiler/docs/
Dreg_alloc_graph_coloring_doc.md18in 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 …]
Dplt.md3 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/ets_frontend/ts2panda/scripts/
DdiagnosticMessages.json10 "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/runtime_core/tests/cts-generator/cts-template/
Dcall.yaml3 # 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_runtime/tools/circuit_viewer/examples/
Dlog_loop.txt4 [compiler] Total number of methods in file: a.abc is: 1
16 [compiler] < 0: LDAI_IMM32, In=[], Out=[acc,] >
17 [compiler] < 1: STA_V8, In=[acc,], Out=[0,] >
18 [compiler] < 2: LDAI_IMM32, In=[], Out=[acc,] >
19 [compiler] < 3: STA_V8, In=[acc,], Out=[1,] >
29 [compiler] < 4: LDA_V8, In=[0,], Out=[acc,] >
30 [compiler] < 5: LESS_IMM8_V8, In=[acc,1,], Out=[acc,] >
31 [compiler] < 6: ISFALSE, In=[acc,], Out=[acc,] >
32 [compiler] < 7: JNEZ_IMM8, In=[acc,], Out=[] >
42 [compiler] < 8: TRYLDGLOBALBYNAME_IMM8_ID16, In=[], Out=[acc,] >
[all …]
/arkcompiler/runtime_core/docs/
Dcfi_directives.md5 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…
Dir_format.md12 In the development process, it is very important to have auxiliary functionality for various code t…
13 Also in the compilation process, the order of execution of optimizations and analyses is very impor…
45 …ious or do need profiling information to implement them. We will have them in mind, but will make …
55 We will try to make it possible to pass optimizations in an arbitrary order. Some restrictions will…
62 * Independence from Runtime(all profile and runtime information will be contained in a special clas…
71 Panda bytecode has more than 200 instructions. We need to convert all Bytecode instructions in IR i…
72 The specifics and properties of instructions should be taken into account in optimizations and code…
81 In the first step, Panda bytecode is converted to high level instruction and architecturally indepe…
88 …hould apply this optimization only if the benefit from it exceeds the increase in overhead costs.
90 In Ahead-Of-Time(AOT) mode the overhead is less critical for us, so we can do more optimizations.
[all …]
Dfile_format.md3 This document describes Panda binary file format with the following goals in mind:
13 doesn't fit in 16-bit unsigned integer. It leads to application developer have to create several
18 To achieve this, all references in the binary file are 4 bytes long. It allows to have 4Gb for
24 But to achieve more compactness 16-bit indexes are used to refer classes, methods and fields in
37 Foreign classes, fields and methods are declared in other files, with references from the
38 current binary file. Local classes, fields and methods are declared in the current file.
42 Runtime can easily check type of an offset by checking it is in the foreign region
44 Depending on the result runtime can search the entity in other files (for foreign entities)
53 An offset cannot contain values in the range *\[0; 32)*, except for specially mentioned cases.
65 The version field in the header is 4 bytes long and is encoded as byte array to
[all …]
Drationale-for-bytecode.md6 bytecode design in Panda Runtime.
14 somewhere in memory and executes corresponding _operations_ on operation's arguments,
16 directly on the CPU) or _memory_ (some locations in computer's RAM). An important subset of memory
17 operands are _stack operands_ that reside in a special data structure called _stack_. The program
18 must maintain the stack in the correct state during runtime because exactly this data structure
21 In real world, different CPU manufacturers provide different sets of commands for their devices –
22 or, in other words, different CPUs have different _instruction set architectures_. This means
30 making interpretation slower than _native code execution_. In return, we get the ability to
37 In case there is a chance for ambiguity, the terms "virtual registers" and "virtual stack" are used
47 In _stack-based_ approach, operands are implicitly encoded in the operation, which results in
[all …]
/arkcompiler/ets_frontend/
DOAT.xml4 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 1.If the project don't have "LICENSE" in root dir, please define all the license files in this proj…
23 …ojects under this task, this field is required and the specified policy must defined in policylist.
24 …nder this task, this field is required and the specified filefilter must defined in filefilterlist.
33 "compatibility" is used to check license compatibility in the specified path;
34 "license" is used to check source license header in the specified path;
35 "copyright" is used to check source copyright header in the specified path;
36 … "import" is used to check source dependency in the specified path, such as import ... ,include ...
37 … "filetype" is used to check file type in the specified path, supported file types: archive, binary
[all …]
/arkcompiler/ets_frontend/es2panda/test/parser/ts/
Dtest-ts-mapped-type.ts4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
17 type Type1<T1> = { -readonly [prop in keyof T1]-?: boolean; };
18 type Type2<T2> = { +readonly [prop in keyof T2]+?: boolean; };
19 type Type3<T3> = { readonly [prop in keyof T3]?: boolean; };
20 type Type4<T4> = { [prop in keyof T4]: boolean; };
21 type Type5<T5> = { [prop in keyof T5]: boolean };
22 type Type6<T6> = { [prop in keyof T6]; };
23 type Type7<T7> = { [prop in keyof T7] };
/arkcompiler/toolchain/
DOAT.xml5 you may not use this file except in compliance with the License.
10 Unless required by applicable law or agreed to in writing, software
19 1.If the project don't have "LICENSE" in root dir, please define all the license files in this proj…
24 …ojects under this task, this field is required and the specified policy must defined in policylist.
25 …nder this task, this field is required and the specified filefilter must defined in filefilterlist.
34 "compatibility" is used to check license compatibility in the specified path;
35 "license" is used to check source license header in the specified path;
36 "copyright" is used to check source copyright header in the specified path;
37 … "import" is used to check source dependency in the specified path, such as import ... ,include ...
38 … "filetype" is used to check file type in the specified path, supported file types: archive, binary
[all …]
/arkcompiler/runtime_core/
DOAT.xml5 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/libpandabase/tests/
Dutf_test.cpp4 * you may not use this file except in compliance with the License.
9 * Unless required by applicable law or agreed to in writing, software
30 const std::vector<uint8_t> in {0xc0, 0x80, 0x00}; variable
33 ConvertMUtf8ToUtf16(in.data(), utf::Mutf8Size(in.data()), out.data());
39 const std::vector<uint8_t> in {0x7f, 0x00}; variable
42 ConvertMUtf8ToUtf16(in.data(), utf::Mutf8Size(in.data()), out.data());
48 const std::vector<uint8_t> in {0xc2, 0xa7, 0x33, 0x00}; variable
51 ConvertMUtf8ToUtf16(in.data(), utf::Mutf8Size(in.data()), out.data());
57 const std::vector<uint8_t> in {0xef, 0xbf, 0x83, 0x33, 0x00}; variable
60 ConvertMUtf8ToUtf16(in.data(), utf::Mutf8Size(in.data()), out.data());
[all …]

12345678910>>...307