| /arkcompiler/runtime_core/static_core/plugins/ets/tests/napi/bridges/pa/ |
| D | types-short-11.pa | 21 …ion void EtsNapiTests.printShort11(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5, i16 a6, i16 a7,…
|
| D | types-short-10.pa | 21 …unction void EtsNapiTests.printShort10(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5, i16 a6, i16…
|
| D | types-short-09.pa | 21 .function void EtsNapiTests.printShort9(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5, i16 a6, i16…
|
| D | types-short-08.pa | 21 .function void EtsNapiTests.printShort8(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5, i16 a6, i16…
|
| D | types-short-07.pa | 21 .function void EtsNapiTests.printShort7(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5, i16 a6) <na…
|
| D | types-short-06.pa | 21 .function void EtsNapiTests.printShort6(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4, i16 a5) <native>
|
| D | types-short-05.pa | 21 .function void EtsNapiTests.printShort5(i16 a0, i16 a1, i16 a2, i16 a3, i16 a4) <native>
|
| D | types-short-04.pa | 21 .function void EtsNapiTests.printShort4(i16 a0, i16 a1, i16 a2, i16 a3) <native>
|
| D | types-short-03.pa | 21 .function void EtsNapiTests.printShort3(i16 a0, i16 a1, i16 a2) <native>
|
| /arkcompiler/runtime_core/disassembler/tests/sources/ |
| D | calls.pa | 30 .function u16 B.Bhandler_long(B a0, i8 a1, i16 a2, i32 a3) {
34 .function u16 B.Bhandler_long2(B a0, i8 a1, i16 a2, i32 a3, i64 a4) {
38 .function u16 B.Bhandler_range(B a0, i8 a1, i16 a2, i32 a3, i8 a4, i16 a5, i32 a6) {
42 .function u16 long_function(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5, i64 a6, f32 a7) {
60 .function u16 handler_long(i8 a0, i16 a1, i32 a2) {
64 .function u16 handler_long2(i8 a0, i16 a1, i32 a2, f64 a3) {
68 .function u16 handler_range(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5) {
80 .function u16 handler_long_ext(i8 a0, i16 a1, i32 a2) <external>
82 .function u16 handler_long2_ext(i8 a0, i16 a1, i32 a2, f64 a3) <external>
84 .function u16 handler_range_ext(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5) <external>
|
| /arkcompiler/runtime_core/static_core/disassembler/tests/ |
| D | instructions_test.cpp | 36 .function u16 B.Bhandler_long(B a0, i8 a1, i16 a2, i32 a3) {
39 .function u16 B.Bhandler_long2(B a0, i8 a1, i16 a2, i32 a3, i64 a4) {
42 .function u16 B.Bhandler_range(B a0, i8 a1, i16 a2, i32 a3, i8 a4, i16 a5, i32 a6) {
45 .function u16 long_function(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5, i64 a6, f32 a7) {
58 .function u16 handler_long(i8 a0, i16 a1, i32 a2) {
61 .function u16 handler_long2(i8 a0, i16 a1, i32 a2, f64 a3) {
64 .function u16 handler_range(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5) {
71 .function u16 handler_long_ext(i8 a0, i16 a1, i32 a2) <external>
72 .function u16 handler_long2_ext(i8 a0, i16 a1, i32 a2, f64 a3) <external>
73 .function u16 handler_range_ext(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5) <external>
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | type_system.md | 43 - `i16()`
46 - `function(-i32(), -i16(), +i8())`
47 - `function(-function(-i8(), +i16()), +i16())`
51 - `i8() <: i16() <: i32()`
52 - `function(-i32(), -i16(), +i8()) <: function(-i16(), -i8(), +i32())`
53 - `function(-function(-i8(), +i16()), +i16()) <: function(function(-16(), +8()), +i32())`
|
| D | types_n_values.md | 28 Examples: `+i8()`, `+Function(-i8(), +i16())`, etc.
53 Suppose, we have types `T(+i8())` and `T(+i16())` and `i8() <: i16()`, how to relate types `T(...)`?
55 May be relation is `T(+i16()) <: T(+i8())`? Let's see, according to `+` (covariance), relation of t…
56 should be the same as of `T(...)`, i.e. `i16() <: i8()`. And that is obviously wrong, because of th…
57 `i8() <: i16()`. I.e. we have a contradiction here.
59 Let's check `T(+i8()) <: T(+i16())`. So we have `i8() <: i16()` for the first parameters which is i…
60 with initial conditions. So, finally, subtyping relation is `T(+i8()) <: T(+i16())`.
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | type_system.md | 43 - `i16()`
46 - `function(-i32(), -i16(), +i8())`
47 - `function(-function(-i8(), +i16()), +i16())`
51 - `i8() <: i16() <: i32()`
52 - `function(-i32(), -i16(), +i8()) <: function(-i16(), -i8(), +i32())`
53 - `function(-function(-i8(), +i16()), +i16()) <: function(function(-16(), +8()), +i32())`
|
| D | types_n_values.md | 28 Examples: `+i8()`, `+Function(-i8(), +i16())`, etc.
53 Suppose, we have types `T(+i8())` and `T(+i16())` and `i8() <: i16()`, how to relate types `T(...)`?
55 May be relation is `T(+i16()) <: T(+i8())`? Let's see, according to `+` (covariance), relation of t…
56 should be the same as of `T(...)`, i.e. `i16() <: i8()`. And that is obviously wrong, because of th…
57 `i8() <: i16()`. I.e. we have a contradiction here.
59 Let's check `T(+i8()) <: T(+i16())`. So we have `i8() <: i16()` for the first parameters which is i…
60 with initial conditions. So, finally, subtyping relation is `T(+i8()) <: T(+i16())`.
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | verification.yaml | 61 - i16
126 - i16
144 - i16
151 i16:
176 sign: i16
273 - i16
285 - i16
298 - i16
303 i16:
309 - i16
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/checked/ |
| D | ets_static_lookup_16bit.pa | 22 #! INST_COUNT /i16 *StoreObject/, 2
33 #! INST_COUNT /i16 *StoreObject/, 2
44 #! INST_COUNT /i16 *LoadObject/, 3
55 #! INST_COUNT /i16 *LoadObject/, 3
63 i16 bar
64 i16 baz
65 i16 foo
68 .union_field i16 bar
69 .union_field i16 baz
70 .union_field i16 foo
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/lookup_by_name/ |
| D | correct_case_16bit.pa | 19 i16 bar
20 i16 baz
23 i16 foo
26 .function i16 A.baz(A a0) <access.function=public> {
38 .union_field i16 bar
39 .union_field i16 baz
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | ldarr.16.yaml | 41 - sig: ldarr.16 v:in:i16[]
48 newarr v0, v0, i16[]
61 - sig: ldarr.16 v:in:i16[]
69 newarr v0, v0, i16[]
83 - sig: ldarr.16 v:in:i16[]
94 .array arr_i16 i16 1 { 1 }
122 - values: [i16]
135 - sig: ldarr.16 v:in:i16[]
145 .array arr_i16 i16 1 { 1 }
170 - values: [i16]
[all …]
|
| D | ldstatic.yaml | 26 i16 fi16 <static>
48 i16 fi16 <static>
83 i16 fi16
307 # i16
308 - values: [0, 'i16', 0, 'i16']
309 - values: [0x0000ffff, 'i16', 0xffffffff, 'i16']
310 - values: [0x0000a5a5, 'i16', 0xffffa5a5, 'i16']
311 - values: [0x00005a5a, 'i16', 0x00005a5a, 'i16']
380 # i16
381 - values: [0, 'i16', 0, 'i16']
[all …]
|
| D | starr.16.yaml | 40 - sig: starr.16 v1:in:i16[], v2:in:i32
41 acc: in:i16
49 - sig: starr.16 v1:in:i16[], v2:in:i32
50 acc: in:i16
69 .function i32 f1(i16[] a0, i32 a1) {
84 - sig: starr.16 v1:in:i16[], v2:in:i32
85 acc: in:i16
122 - sig: starr.16 v1:in:i16[], v2:in:i32
123 acc: in:i16
130 .function void f1(i16[] a0, i32 a1) {
[all …]
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | starr.16.yaml | 30 - sig: starr.16 v1:in:i16[], v2:in:i32
31 acc: in:i16
37 - sig: starr.16 v1:in:i16[], v2:in:i32
38 acc: in:i16
57 .function i32 f1(i16[] a0, i32 a1) {
71 - sig: starr.16 v1:in:i16[], v2:in:i32
72 acc: in:i16
108 - sig: starr.16 v1:in:i16[], v2:in:i32
109 acc: in:i16
116 .function void f1(i16[] a0, i32 a1) {
[all …]
|
| D | ldarr.16.yaml | 32 - sig: ldarr.16 v:in:i16[]
39 newarr v0, v0, i16[]
52 - sig: ldarr.16 v:in:i16[]
63 .array arr_i16 i16 1 { 1 }
91 - values: [i16]
104 - sig: ldarr.16 v:in:i16[]
115 newarr v1, v0, i16[] # v1 - testable array
150 - sig: ldarr.16 v:in:i16[]
160 newarr v0, v0, i16[] # v0 - testable array
195 - sig: ldarr.16 v:in:i16[]
[all …]
|
| D | ldstatic.yaml | 24 i16 fi16 <static>
59 i16 fi16
251 # i16
252 - values: [0, 'i16', 0, 'i16']
253 - values: [0x0000ffff, 'i16', 0xffffffff, 'i16']
254 - values: [0x0000a5a5, 'i16', 0xffffa5a5, 'i16']
255 - values: [0x00005a5a, 'i16', 0x00005a5a, 'i16']
|
| /arkcompiler/runtime_core/static_core/runtime/templates/ |
| D | intrinsics.rb | 24 'i16' => 'I16',
46 'i16',
67 'i16' => 'S',
|