In (full) in projects: arkcompiler - OpenGrok search results

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

12 3 4 5 6 7 8 9 10 >>...201

/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/runtime_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 // defined in libgcc_s.so 19 …__aeabi_uldivmod(uint64_t numerator, uint64_t denominator); // NOLINT(misc-definitions-in-headers) 20 …_aeabi_ldivmod(int64_t numerator, int64_t denominator); // NOLINT(misc-definitions-in-headers) 22 …__aeabi_uidivmod(uint32_t numerator, uint32_t denominator); // NOLINT(misc-definitions-in-headers) 23 …_aeabi_idivmod(int32_t numerator, int32_t denominator); // NOLINT(misc-definitions-in-headers) 25 extern "C" float __aeabi_l2f(int64_t data); // NOLINT(misc-definitions-in-headers) 26 extern "C" float __aeabi_ul2f(uint64_t data); // NOLINT(misc-definitions-in-headers) 27 extern "C" double __aeabi_l2d(int64_t data); // NOLINT(misc-definitions-in-headers) [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/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/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/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 …]
D	call.virt.negative.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 37 - sig: call.virt method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top 45 definition in the new frame. 46 … Result (if any) is returned in accumulator (see 'Calling sequence' chapter for more details). 47 Method, its class and the number of argument is resolved by given method_id in runtime 50 Object reference is passed in the first source register, arguments are passed starting from 51 the second source register in the same order as in method signature. 70 - sig: call.virt method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top 253 - sig: call.virt method_id, v1:in:top, v2:in:top, v3:in:top, v4:in:top [all …]
/arkcompiler/toolchain/
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 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/docs/
D	file_format.md	3 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 …]
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…
D	rationale-for-bytecode.md	6 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 …]
D	ir_format.md	12 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… 52 …ious or do need profiling information to implement them. We will have them in mind, but will make … 62 We will try to make it possible to pass optimizations in an arbitrary order. Some restrictions will… 69 * Independence from Runtime(all profile and runtime information will be contained in a special clas… 78 Panda bytecode has more than 200 instructions. We need to convert all Bytecode instructions in IR i… 79 The specifics and properties of instructions should be taken into account in optimizations and code… 88 In the first step, Panda bytecode is converted to high level instruction and architecturally indepe… 95 …hould apply this optimization only if the benefit from it exceeds the increase in overhead costs. 97 In Ahead-Of-Time(AOT) mode the overhead is less critical for us, so we can do more optimizations. [all …]
D	glossary.md	6 development of compilers and interpreters is confusing in some cases. This document describes what 11 * AOT stands for Ahead-Of-Time. In compilers, terms "ahead-of-time compilation" and "AOT 13 execution. In case of Panda Runtime, AOT compilation is used to compile Panda Bytecode into 24 * JIT stands for Just-In-Time. In compilers, terms "just-in-time compilation" and "JIT 26 execution. In case of Panda Runtime, JIT compilation is used to compile Panda Bytecode into 28 See https://en.wikipedia.org/wiki/Just-in-time_compilation. 32 correspondence between the instructions in the language and Panda Bytecode instructions. 44 * Card table used for marking cards. In general, it has one bit or byte (a byte used to 58 * Minor GC in general it is garbage collection worked over Young generation space 60 * Major GC in general it is garbage collection worked over Tenured/Old generation space. [all …]
/arkcompiler/ets_frontend/
D	OAT.xml	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 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/runtime_core/verification/models/contexts_merge/
D	java_typing.als	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 29 ProperType in Object.subtypes 30 no t: ProperType \| t in t.^subtypes 32 all t: ProperType + NullType \| t in Bot.~subtypes and t in Top.subtypes 34 all i: ProperType \| NullType in i.subtypes 35 NullType not in NullType.subtypes 40 sig Instance extends Value {} { type in Class} 44 fact Soundness { all r: Register \| r.holds.type in r.type.subtypes } 46 pred Valid[r: Register] { r.type in ProperType }
/arkcompiler/runtime_core/
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 …]
D	LICENSE	36 "Work" shall mean the work of authorship, whether in Source or 38 copyright notice that is included in or attached to the work 39 (an example is provided in the Appendix below). 41 "Derivative Works" shall mean any work, whether in Source or Object 52 submitted to Licensor for inclusion in the Work by the copyright owner 61 designated in writing by the copyright owner as "Not a Contribution." 72 Work and such Derivative Works in Source or Object form. 77 (except as stated in this section) patent license to make, have made, 84 cross-claim or counterclaim in a lawsuit) alleging that the Work 91 Work or Derivative Works thereof in any medium, with or without [all …]
/arkcompiler/ets_frontend/es2panda/test/parser/ts/
D	test-ts-mapped-type.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 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/runtime_core/libpandabase/tests/
D	utf_test.cpp	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 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 …]
/arkcompiler/ets_runtime/
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 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/verification/models/typesystem/
D	ark_typesystem.als	`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 56 p1 -> p2 in param_subtyping 60 ps1 -> ps2 in params_subtyping 80 // type cannot present in its own parameters 81 all t: Type\| t not in universe.signature[t].elems.type 83 // todo: all params are in signatures 88 // check if params are in subtyping relation 94 p1.type -> p2.type in subtyping and 95 p2.type -> p1.type in subtyping [all …]`
/arkcompiler/runtime_core/docs/bc_verification/
D	absint_checks.md	5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e… 7 From security point of view, this checks guarantee expected ranges of values in code and absence of… 19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods. 27 They can help to detect usage of inconsistent information in registers in exception handlers. 29 ### Checks of exceptions, that can be thrown in runtime 33 This is definitely not normal mode of control-flow in code, so verifier can detect such situations … 45 These checks help in some cases detect out-of-bounds access type of errors in static.
/arkcompiler/ets_runtime/docs/
D	overview.md	3 ArkCompiler is a built-in componentized and configurable multi-language compilation and runtime pla… 5 …r bytecodes. Unless otherwise specified, bytecodes refer to ArkCompiler bytecodes in this document. 37 - Concurrency management: abc file manager in the actor concurrency model 47 - Native support for TS. The common way to process TS in the industry is to convert TS into JS and … 49 …in JS engines in the industry to implement concurrent processing. In this model, executors do not … 51 …In the API implementation, it is common for C/C++ code to access and operate TS objects in OpenHar…

12 3 4 5 6 7 8 9 10 >>...201