Searched full:some (Results 1 – 25 of 203) sorted by relevance
123456789
| /arkcompiler/runtime_core/verification/models/contexts_merge/ |
| D | check_set_intersection_as_lub.als | 26 -- exists some type in set of types,
29 { some t : types | t in (r.type + r.type.^subtypes) & ProperType }
36 -- arg - is some type to be checked for compatibility with context
37 -- like some argument type in call instruction, etc
41 some Class
42 some Interface
43 some Register.type & Interface
44 some disj r1, r2, r3, arg : Register {
46 some comp_types - Top and arg.CorrectSubtyping[comp_types] and {
63 some r1, r2, r3, arg : Register {
[all …]
|
| /arkcompiler/runtime_core/docs/ |
| D | rationale-for-bytecode.md | 5 This document sets up some context about bytecode design principles and provides rationales for
16 directly on the CPU) or _memory_ (some locations in computer's RAM). An important subset of memory
23 that the number and purpose of registers differs, too. Some nuances of working with stack may also
35 Although bytecode represents some abstraction, it mirrors all the mentioned concepts from the
100 by some bytecodes. With this tweak, our example can be rewritten as follows:
112 some "stack-based'ness" into an otherwise register-based instruction set in attempt to make the
139 | virt. reg. 0 | some local variable |
140 | virt. reg. 1 | some local variable |
141 | virt. reg. 2 | some temporary value |
142 | virt. reg. 3 | some temporary value |
[all …]
|
| D | 2022-08-18-isa-changelog.md | 18 6. We adjust the format of some opcodes (about immediate number and accumulator), so that the bytec…
19 7. We change the semantics of some opcodes.
20 8. We add 8-bit or 16-bit imm as inline cache slot for some specific opcodes.
23 As we merge some "define-function" opcodes as one opcode, in function we add one field which record…
|
| D | memory-management.md | 5 Panda Runtime should be scalable onto different devices/OSes. So we need some abstraction level for…
6 For now, all targets suppose interaction with the user, so we have some limitations for the STW pau…
24 - allocators with some average metrics and profile-based configuration(if available)
25 - some baseline GC with profile-based configuration(if available)
249 So, if we can hold JIT memory usage at some reasonable level - Arena Allocator ideally fits JIT req…
257 For example, if we have some callgraph info, we can use it and allocate code for connected methods …
271 Each allocator works over some pool
279 Small objects are joined in "runs"(not individual element for each size, but some "container" with …
316 For the cases when we can get memory shortage we should have some preallocated buffer which allow R…
321 For some systems/languages will be implemented context-scoped allocator.
[all …]
|
| D | glossary.md | 6 development of compilers and interpreters is confusing in some cases. This document describes what
43 * **Card** is a division of memory with some fixed size. Card size usually smaller than a page.
74 GC force to stop execution of code (interpreted,AOTed or JITed) to make exclusively some
|
| D | design-of-interpreter.md | 42 1. There is a dedicated register called accumulator, which is addressed implicitly by some
187 for memory management or some other needs.
188 1. Enforcing a virtual stack to mapped to the host stack faces us with some unpleasant constraints
220 stable interpreter to run their code. At the same time, interpreter developers need some tools
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | absint_checks.md | 31 Some code may exibit behavior of permanently throwing of exceptions, like always throwing NPE.
45 These checks help in some cases detect out-of-bounds access type of errors in static.
47 ### (todo) Checks for usage of some functions/intrinsics
|
| D | types_n_values.md | 12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
16 Each parameter is a some type accompanied with a variance flag.
22 Some conventions about notation:
24 - Sorts are denoted by some `Literals`. Where `Literal` is a word composed of characters from set `…
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | fdiv2.yaml | 91 # Some FP value, 3.14159265358979323846
95 # Some FP value
148 # Some FP value, 3.1415927
152 # Some FP value
216 # Some FP value, 3.1415927
286 # Some FP value, 3.14159265358979323846
375 # Some FP value,
434 # Some FP value,
509 # Some FP value
579 # Some FP value, 3.1415927
[all …]
|
| D | fdiv2.64.yaml | 91 # Some FP value, 3.14159265358979323846
95 # Some FP value
148 # Some FP value, 3.14159265358979323846
152 # Some FP value
216 # Some FP value, 3.14159265358979323846
286 # Some FP value, 3.14159265358979323846
375 # Some FP value,
434 # Some FP value,
509 # Some FP value
579 # Some FP value, 3.14159265358979323846
[all …]
|
| D | fadd2.yaml | 92 # Some FP value
96 # Some FP value
149 # Some FP value
153 # Some FP value
217 # Some FP value, 3.1415927
294 # Some FP value, 3.1415927
510 # Some FP value, 3.1415927
514 # Some FP value
584 # Some FP value, 3.1415927
588 # Some FP value
|
| D | fadd2.64.yaml | 92 # Some FP value
96 # Some FP value
149 # Some FP value
153 # Some FP value
217 # Some FP value, 3.14159265358979323846
294 # Some FP value, 3.14159265358979323846
510 # Some FP value, 3.14159265358979323846
514 # Some FP value
584 # Some FP value, 3.14159265358979323846
588 # Some FP value
|
| D | call.virt.range.negative.yaml | 134 lda.str "some string"
141 lda.str "some string"
149 lda.str "some string"
157 lda.str "some string"
329 lda.str "some string"
431 lda.str "some string"
569 lda.str "some string"
668 lda.str "some string"
676 lda.str "some string"
682 lda.str "some string"
[all …]
|
| D | call.virt.negative.yaml | 129 lda.str "some string"
136 lda.str "some string"
144 lda.str "some string"
152 lda.str "some string"
331 lda.str "some string"
444 lda.str "some string"
588 lda.str "some string"
687 lda.str "some string"
695 lda.str "some string"
701 lda.str "some string"
[all …]
|
| D | call.range.yaml | 112 lda.str "some string"
120 - ', "some string"'
160 - '"some string"'
259 lda.str "some string"
265 lda.str "some string"
351 - values: ['"some string"']
1122 lda.str "some string 1"
1124 lda.str "some string 2"
1126 lda.str "some string 3"
1128 lda.str "some string 4"
[all …]
|
| /arkcompiler/runtime_core/runtime/mem/ |
| D | freelist.h | 88 // Is this memory block has some padding for alignment.
89 …// If yes, it is some hidden header and we have some extra header where all correct information ha…
110 …// Is this memory block has some padding for alignment and we can get correct object memory addres…
156 …// Is this memory block has some padding for alignment and we have padding header just after this …
307 // This object required special alignment, that's why we created some padding between
310 // A common header for aligned object which required some padding.
313 // A common header for aligned object which required some padding.
|
| /arkcompiler/runtime_core/tests/checked/ |
| D | basics_aot.pa | 14 # This is an auxiliary file with some basics classes that can be used in checked tests with inter-f…
15 # It is written in pure PandaAssembly i.e. some features are not available e.g. inheritance (it is …
|
| D | inline_external.pa | 14 # This is an auxiliary file with some basics classes that can be used in checked tests with inter-f…
15 # It is written in pure PandaAssembly i.e. some features are not available e.g. inheritance (it is …
|
| D | README.md | 4 For example, check some event was raised or some IR instruction is appeared after specific optimiza…
|
| /arkcompiler/runtime_core/verification/models/typesystem/ |
| D | ark_subtyping_closure.als | 82 pred related[t: Time, t1, t2 :Type] { some (t1 -> t2 + t2 -> t1) & TypeSystem.subtyping.t }
141 some t1, t2 : Type { // there are some t1 and t2, such that
142 some (t1 -> t2 + t2 -> t1) & ts // t1 and t2 were related in prev step
144 some common
186 some t1, t2 : Type {
210 some t1, t2 : Type {
216 some TypeSystem.to_be_subtyped.(first.next)
|
| /arkcompiler/runtime_core/docs/diagrams/ |
| D | g1gc-gc-activity.puactivity | 20 :Select and add some old regions to the Collection Set
32 Note: only if occupied by alive objects space in region < some threshold;
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | deoptimize_elimination_doc.md | 45 5. Some condition
62 5. Some condition
|
| D | paoc.md | 20 - A boolean option that allows to continue the compilation if some of the methods are failed to com…
89 # If some of the options are intersecting, the last (in the array) would be applied.
|
| /arkcompiler/ets_frontend/test262/ |
| D | es2015_tests.txt | 2322 built-ins/Array/prototype/some/15.4.4.17-1-1.js
2323 built-ins/Array/prototype/some/15.4.4.17-1-10.js
2324 built-ins/Array/prototype/some/15.4.4.17-1-11.js
2325 built-ins/Array/prototype/some/15.4.4.17-1-12.js
2326 built-ins/Array/prototype/some/15.4.4.17-1-13.js
2327 built-ins/Array/prototype/some/15.4.4.17-1-14.js
2328 built-ins/Array/prototype/some/15.4.4.17-1-15.js
2329 built-ins/Array/prototype/some/15.4.4.17-1-2.js
2330 built-ins/Array/prototype/some/15.4.4.17-1-3.js
2331 built-ins/Array/prototype/some/15.4.4.17-1-4.js
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/generator/ |
| D | parser.rb | 34 # some predefined templates as headers, prefixes, postfixes, etc.
94 LOG.debug "'only:' is defined for some test, process current: #{process}"
|
123456789