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

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

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

/arkcompiler/ets_runtime/
D	LICENSE	11 and distribution as defined by Sections 1 through 9 of this document. 16 "Legal Entity" shall mean the union of the acting entity and all 18 control with that entity. For the purposes of this definition, 20 direction or management of such entity, whether by contract or 21 otherwise, or (ii) ownership of fifty percent (50%) or more of the 22 outstanding shares, or (iii) beneficial ownership of such entity. 32 transformation or translation of a Source form, including but 36 "Work" shall mean the work of authorship, whether in Source or 44 represent, as a whole, an original work of authorship. For the purposes 45 of this License, Derivative Works shall not include works that remain [all …]
/arkcompiler/ets_runtime/test/typeinfer/automatedcases/
D	LICENSE.txt	11 …itions for use, reproduction, and distribution as defined by Sections 1 through 9 of this document. 15 …of the acting entity and all other entities that control, are controlled by, or are under common c… 21 "Object" form shall mean any form resulting from mechanical transformation or translation of a Sour… 23 "Work" shall mean the work of authorship, whether in Source or Object form, made available under th… 25 …of authorship. For the purposes of this License, Derivative Works shall not include works that rem… 27 …of authorship, including the original version of the Work and any modifications or additions to th… 29 "Contributor" shall mean Licensor and any individual or Legal Entity on behalf of whom a Contributi… 31 …of Copyright License. Subject to the terms and conditions of this License, each Contributor hereby… 33 …of Patent License. Subject to the terms and conditions of this License, each Contributor hereby gr… 35 4. Redistribution. You may reproduce and distribute copies of the Work or Derivative Works thereof … [all …]
/arkcompiler/toolchain/
D	LICENSE	11 and distribution as defined by Sections 1 through 9 of this document. 16 "Legal Entity" shall mean the union of the acting entity and all 18 control with that entity. For the purposes of this definition, 20 direction or management of such entity, whether by contract or 21 otherwise, or (ii) ownership of fifty percent (50%) or more of the 22 outstanding shares, or (iii) beneficial ownership of such entity. 32 transformation or translation of a Source form, including but 36 "Work" shall mean the work of authorship, whether in Source or 44 represent, as a whole, an original work of authorship. For the purposes 45 of this License, Derivative Works shall not include works that remain [all …]
/arkcompiler/runtime_core/
D	LICENSE	11 and distribution as defined by Sections 1 through 9 of this document. 16 "Legal Entity" shall mean the union of the acting entity and all 18 control with that entity. For the purposes of this definition, 20 direction or management of such entity, whether by contract or 21 otherwise, or (ii) ownership of fifty percent (50%) or more of the 22 outstanding shares, or (iii) beneficial ownership of such entity. 32 transformation or translation of a Source form, including but 36 "Work" shall mean the work of authorship, whether in Source or 44 represent, as a whole, an original work of authorship. For the purposes 45 of this License, Derivative Works shall not include works that remain [all …]
/arkcompiler/runtime_core/docs/bc_verification/
D	absint_checks.md	3 ### Physical compatibility of arguments to instructions and actual parameters to methods 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… 15 Or access to wrong fields of object. 17 ### Checks of subtyping 19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods. 21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc. 23 ### Checks of exception handlers 25 These checks performed to check correctness of context on exception handler entry. 27 They can help to detect usage of inconsistent information in registers in exception handlers. [all …]
D	types_n_values.md	12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters. 18 Variance of the parameter is classic: covariant, contrvariant, invariant. 19 It defines subtyping relation of types in parameters in subtyping relation of parameterized 24 - Sorts are denoted by some `Literals`. Where `Literal` is a word composed of characters from set `… 33 value of the particular type may be used in the place where other type is expected. 35 If two types, say `A()` and `B()` related as `A() <: B()`, i.e. `A()` is the subtype of `B()`, then… 36 place, where a value of type `B()` is expected, value of type `A()` may be safely used. 49 In short `\|` means composition of types (syntactically) in set, and `<:` is distriuted over `\|`. 51 ## How to read notation of type parameters and to determine subtyping relation? 55 … `T(+i16()) <: T(+i8())`? Let's see, according to `+` (covariance), relation of types of parameters [all …]
D	type_system.md	9 - Bot() - subtype of all types, subtyping relation is made implicitly upon type creation. 10 - Top() - supertype of all types, subtyping rel is created implicitly. 22 A sort, acompanied with a list of parameters, becomes a type. 24 Each parameter consists of: a sign of variance for calculating subtyping relation and a type. 29 - `+` covariant, means that suptyping relation of parameter is in direction of subtyping relation o… 30 - `-` contrvariant, direction of suptyping of parameter is in opposite to such of type. 57 After defining base types and initial subtyping realtion, a closure of subtyping relation is comput… 60 Loops in subtyping relation are threated as classes of equivalence, for instance: 61 `a() <: b() <: c() <: a()` leads to indistinguishability of a(), b() and c() in type system.
/arkcompiler/ets_frontend/
D	LICENSE	11 and distribution as defined by Sections 1 through 9 of this document. 16 "Legal Entity" shall mean the union of the acting entity and all 18 control with that entity. For the purposes of this definition, 20 direction or management of such entity, whether by contract or 21 otherwise, or (ii) ownership of fifty percent (50%) or more of the 22 outstanding shares, or (iii) beneficial ownership of such entity. 32 transformation or translation of a Source form, including but 36 "Work" shall mean the work of authorship, whether in Source or 44 represent, as a whole, an original work of authorship. For the purposes 45 of this License, Derivative Works shall not include works that remain [all …]
/arkcompiler/ets_frontend/arkguard/
D	LICENSE	11 and distribution as defined by Sections 1 through 9 of this document. 16 "Legal Entity" shall mean the union of the acting entity and all 18 control with that entity. For the purposes of this definition, 20 direction or management of such entity, whether by contract or 21 otherwise, or (ii) ownership of fifty percent (50%) or more of the 22 outstanding shares, or (iii) beneficial ownership of such entity. 32 transformation or translation of a Source form, including but 36 "Work" shall mean the work of authorship, whether in Source or 44 represent, as a whole, an original work of authorship. For the purposes 45 of this License, Derivative Works shall not include works that remain [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 …of register allocation on Chordal-graphs is described in works of Sebastian Hack and Fernando Pere… 19 In works of Hack ("Register Allocation for Programs in SSA Form") and Pereira ("Register Allocation… 20 … with fixed-intervals (special intervals that are placeholders of convention registers) of call-si… 23 …tervals, algorithm under the hood is the same as in Linear-scan from works of Wimmer ("Linear Scan… 27 …dges of the graph. Affinity edges represent move-relation between values. Currently affinity edges… 28 Output graph will be interference-graph G = {Nodes, IEdges, AEdges} – graph with 2 types of edges: … 31 …of nodes by MCS or LexBFS (that is reverse PEO), one by one is colored by a Greedy coloring algori… 32 PEO on chordal graph always builds a clique, so it always color consequently nodes of the same cliq… 35 This algorithm extends coalescing abilities of original algorithms of Chordal-RA with integrated co… [all …]
D	aot_cha.md	1 # Usage of Class Hierarchy during AOT compilation 8 result the order of files in class path and files themselves are enough to verify the class context… 21 AOT file compiled with class hierarchy requires the complete conformity of class path with runtime.… 24 The example of usage 53 The string of class context for AOT file takes into account `--paoc-location` option. 56 The boot class path now is a part of class context string. When boot image would be implemented the… 59 As boot class path represents the core classes of VM it should not depend on any of application cod… 60 of boot class file the options `--paoc-boot-output` should be used. The class hierarchy verificatio… 61 …formed during Runtime initialization when only boot panda files are loaded. The verification of .an 68 …you are compiling an AOT file for boot panda files, then all other entries of --boot-panda-files t… [all …]
/arkcompiler/runtime_core/docs/
D	design-of-interpreter.md	6 bytecode instruction set, executable file format, etc. Each subsection below consists of following 21 and all related components of the platform: 24 1. It should fit into 50Kb of ROM. 25 1. It should be able to run consuming 64Kb of RAM. 33 1. Bytecode should allow the interpreter to run no slower than state of the art interpreters. 36 across all components of the platform. 41 and most of bytecodes encode virtual registers as operands. 52 is the main form of program representation, information about it is needed in many components of 54 a bunch of C/C++ headers is very fragile and error-prone. At the same time, 57 * In Panda Assembler's back-end, we automatically generate emission of bytecode in the binary form. [all …]
D	file_format.md	12 Many mobile applications use a lot of types, methods and fields. Their number is so large that it 25 the bytecode and some metadata. File can contain multiple indexes each one covers part of the 32 indexes (like sorted list of strings). However, the described binary format supports one index: 33 a sorted list of offsets to classes. This index is compact and allows to find a type definition 42 Runtime can easily check type of an offset by checking it is in the foreign region 52 Unless otherwise specified, all offsets are calculated from the beginning of the file. 57 As practice shows, most of file data is not used by the application. It means memory footprint 58 of a file may be significantly reduced by grouping frequently used data. 92 \| `utf16_length` \| `uleb128` \| `len << 1 \\| is_ascii` where `len` is the length of the stri… 103 …h determines the meaning of the data. Depending on the tag there may be optional data. Runtime mus… [all …]
D	ir_format.md	5 * Support all the features and instructions of Panda bytecode 12 …functionality for various code transformations and analyses. The structure of the IR should be as … 13 Also in the compilation process, the order of execution of optimizations and analyses is very impor… 14 …of the Panda IR to be able to change the order of the passes, add and delete passes(If 2 passes ha… 15 Second, we need to support the transfer of information between optimizations. 17 ### List of the optimizations 45 The benefits of some optimizations are not obvious or do need profiling information to implement th… 51 !NOTE It is possible to write other optimizations based on the specifics of the language and VM 53 ### The order of optimizations 67 Panda IR needs to combine the properties of high and low level IRs. [all …]
D	rationale-for-bytecode.md	10 Before discussing bytecode per se, let's take a look at an over-simplified picture of a real 16 directly on the CPU) or _memory_ (some locations in computer's RAM). An important subset of memory 21 In real world, different CPU manufacturers provide different sets of commands for their devices – 23 that the number and purpose of registers differs, too. Some nuances of working with stack may also 26 Here comes the bytecode. Simply said, it is an attempt to build an abstract CPU on top of real 27 ones. A program written for such abstract CPU can be run on any real hardware with the help of a 28 special program called _interpreter_. The goal of the interpreter is to read our unified _virtual_ 29 commands (or bytecode) and execute them. Of course, this implies additional performance overhead 40 Just as real CPUs can expose different instruction set architectures, there is no universal way of 41 building bytecode. Following sections explain advantages and disadvantages of various approaches. [all …]
D	assembly_format.md	5 …n](isa/isa.yaml) instead. This document does not specify the binary format of executables supporte… 12 …cus on a certain programming paradigm. E.g. we should not enforce concepts of "class", "object", "… 14 * Panda assembler should not impose any limitation of quantity and internal structure of source cod… 15 * Panda assembler should not follow any implicit conventions about the name of the entry point. 32 String literal is a sequence of any characters enclosed in `"` characters. Non-printable characters… 48 A simple identifier is a sequence of ASCII characters. Allowed characters in the sequence are: 60 … metadata annotations, primitive data types, aggregate data types, members of aggregate data types… 64 A prefixed identifier is a sequence of simple identifiers delimited by the `.` char without whitesp… 70 …stated above, current version of Panda assembly does not favor any language as the platform is des… 86 There are keys that indicate that a function must not have an implementation. The absence of these … [all …]
D	aot.md	2 # Ahead Of Time Compilation 4 This document describes Ahead Of Time compilation in Ark VM. 23 - `.text` - Contains compiled native code. Code of each compiled method is placed sequentially into… 25 - `.aot_got` - Contains table of the runtime's entrypoint handlers. Must be placed right before `.t… 30 - `code` - points to the start of `.text` section 31 - `code_end` - points to the end of `.text` section 32 - `aot` - points to the start of `.aot` section 33 - `aot_end` - points to the end of `.aot` section 37 `.aot` section contains combination of the following structures: 63 ; start of entrypoint table [all …]
D	glossary.md	5 During the development of Panda Runtime, we faced the fact that terminology related to the 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 15 See https://en.wikipedia.org/wiki/Ahead-of-time_compilation. 26 execution. In case of Panda Runtime, JIT compilation is used to compile Panda Bytecode into 34 * Panda Binary File or Panda File or PF is a binary representation of Panda Bytecode. 42 * Allocator is a part of the system that servicing allocation and deallocation requests. 43 * Card is a division of memory with some fixed size. Card size usually smaller than a page. 45 improve performance of GC barrier) for one card. [all …]
/arkcompiler/runtime_core/tests/cts-generator/cts-template/
D	isinstance.yaml	4 # You may obtain a copy of the License at 10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 51 …Resolve object type by specified id and if an object in accumulator is an instance of the resolved… 53 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou… 54 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array… 62 description: Check that null object reference is not an instance of any class 65 'null' object is not an instance of any class. 82 description: Check that null object reference is not an instance of any class 85 'null' object is not an instance of any class. 328 …Resolve object type by specified id and if an object in accumulator is an instance of the resolved… [all …]
D	fadd2.yaml	4 # You may obtain a copy of the License at 10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 21 The results of instructions correspond IEEE-754 arithmetic rules. 38 # Sum of any value and NaN is NaN 164 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… 165 The sign of result matches the sign of accumulator value. 166 The sum or the difference of infinity and any finite value is infinity. 167 The sign of result matches the sign of infinity. 174 # Sum of +Inf and value 231 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… [all …]
D	fsub2.yaml	4 # You may obtain a copy of the License at 10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 21 The results of instructions correspond IEEE-754 arithmetic rules. 147 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… 148 The sign of result matches the sign of accumulator value. 149 The sum or the difference of infinity and any finite value is infinity. 150 The sign of result matches the sign of infinity. 157 # Sub of +Inf and value 209 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… 210 The sign of result matches the sign of accumulator value. [all …]
D	fadd2.64.yaml	4 # You may obtain a copy of the License at 10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 21 The results of instructions correspond IEEE-754 arithmetic rules. 38 # Sum of any value and NaN is NaN 164 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… 165 The sign of result matches the sign of accumulator value. 166 The sum or the difference of infinity and any finite value is infinity. 167 The sign of result matches the sign of infinity. 174 # Sum of +Inf and value 231 …The sum of two infinities of the same sign or the difference of two infinities of opposite sign is… [all …]
/arkcompiler/ets_frontend/test262/
D	es2021_tests.txt	147 built-ins/NativeErrors/AggregateError/order-of-args-evaluation.js 195 built-ins/Promise/allSettled/invoke-resolve-on-promises-every-iteration-of-promise.js 197 built-ins/Promise/allSettled/invoke-resolve-on-promises-every-iteration-of-custom.js 200 built-ins/Promise/allSettled/invoke-resolve-on-values-every-iteration-of-promise.js 295 built-ins/Promise/any/invoke-resolve-on-promises-every-iteration-of-promise.js 296 built-ins/Promise/any/invoke-resolve-on-promises-every-iteration-of-custom.js 298 built-ins/Promise/any/invoke-resolve-on-values-every-iteration-of-custom.js 301 built-ins/Promise/any/invoke-resolve-on-values-every-iteration-of-promise.js 478 language/expressions/optional-chaining/iteration-statement-for-await-of.js 481 language/expressions/optional-chaining/iteration-statement-for-of-type-error.js [all …]
D	ts2abc_skip_tests.json	159 "language/expressions/optional-chaining/iteration-statement-for-await-of.js", 162 "language/expressions/optional-chaining/iteration-statement-for-of-type-error.js", 344 …"reason" : "The compilation mode of the file itself is different from that of the dependent files", 595 "language/statements/for-await-of/async-gen-dstr-var-obj-ptrn-id-init-fn-name-gen.js", 596 "language/statements/for-await-of/async-gen-dstr-var-obj-ptrn-id-init-fn-name-class.js", 597 "language/statements/for-await-of/async-gen-dstr-var-obj-ptrn-id-init-fn-name-cover.js", 598 "language/statements/for-await-of/async-gen-dstr-var-obj-ptrn-id-init-fn-name-fn.js", 599 "language/statements/for-await-of/async-gen-dstr-var-obj-ptrn-id-init-fn-name-arrow.js", 600 … "language/statements/for-await-of/async-gen-dstr-var-async-obj-ptrn-id-init-fn-name-gen.js", 601 … "language/statements/for-await-of/async-gen-dstr-var-async-obj-ptrn-id-init-fn-name-cover.js", [all …]
/arkcompiler/runtime_core/docs/diagrams/
D	static-analyzer-gc-func-list-gen.puactivity	`4 ' You may obtain a copy of the License at 10 ' WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 16 title Generation list of GC unsafe functions(can have GC happen during work) 20 :List of functions which can have GC inside; 27 ->Parse bodies of functions and get list of calling functions 28 and put them to list of all functions in project; 31 :List of all functions in project; 33 :Generate list of all functions which can call GC (GC FUNCTION LIST);`

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