Home
last modified time | relevance | path

Searched full:fact (Results 1 – 13 of 13) sorted by relevance

/arkcompiler/runtime_core/verification/models/contexts_merge/
Djava_typing.als28 fact TypeHierarchy {
44 fact Soundness { all r: Register | r.holds.type in r.type.*subtypes }
Dcheck_set_intersection_as_lub.als19 fact Validity {all r: Register | r.Valid }
/arkcompiler/runtime_core/runtime/arch/aarch64/
Dtlab.S20 // Load tlab start and tlab size from TLAB structure. Relies on fact that tlab start and tlab end a…
/arkcompiler/runtime_core/irtoc/backend/compiler/
Dcodegen_fastpath.h28 …* below the frame, hereby it change SP register. Due to this fact spill/fills aren't supported in …
/arkcompiler/runtime_core/tests/cts-generator/cts-template/
Dfp.yaml464 .function f64 fact(i32 a0) {
523 call fact, v0 # acc = v0!
/arkcompiler/runtime_core/compiler/docs/
Daot_cha.md37 The wrong usage. Some classes were omitted during AOT compilation due to the fact that they are not…
Dreg_alloc_graph_coloring_doc.md20 …apped (to sequential numbering) in order <caller-saved, callee-saved>. In fact because these value…
Dmemory_coalescing_doc.md4 The optimization is based on the fact that some architectures (`AArch64` particularly) support simu…
/arkcompiler/runtime_core/docs/
Dglossary.md5 During the development of Panda Runtime, we faced the fact that terminology related to the
Dfile_format.md223 Constraint: size of header must be > 16 bytes. [FieldType](#fieldType) uses this fact.
304 `FieldType` encoding uses this fact to encode primitive types of the field in the low 4 bits.
/arkcompiler/runtime_core/runtime/
Dmonitor.h189 …// current Monitor::Notify implementation relies on the fact that reference to MTManagedThread is …
/arkcompiler/runtime_core/libpandafile/
Dfile_item_container.h551 // (in fact, bit patterns of corresponding values) to
/arkcompiler/runtime_core/compiler/tools/paoc/
Dpaoc.cpp154 // In fact boot files are preloaded by Runtime in ValidateCompilerOptions()
179 // In fact boot files are preloaded by Runtime in ValidateCompilerOptions()