| /arkcompiler/runtime_core/tests/regression/ |
| D | allocate-252-params.pa | 14 …i8 a0, i8 a1, i8 a2, i8 a3, i8 a4, i8 a5, i8 a6, i8 a7, i8 a8, i8 a9, i8 a10, i8 a11, i8 a12, i8 a…
|
| /arkcompiler/ets_runtime/ecmascript/compiler/tests/ |
| D | satepoint_GC_0.ll | 16 %tmp1 = call i8 addrspace(0)* @malloc(i64 8)
17 %tmp2 = call i8 addrspace(0)* @malloc(i64 8)
18 %tmp3 = call i8 addrspace(0)* @malloc(i64 8)
19 %tmp4 = call i8 addrspace(0)* @malloc(i64 8)
20 %tmp5 = call i8 addrspace(0)* @malloc(i64 8)
21 %tmp6 = call i8 addrspace(0)* @malloc(i64 8)
22 %tmp7 = call i8 addrspace(0)* @malloc(i64 8)
23 %tmp8 = call i8 addrspace(0)* @malloc(i64 8)
24 %tmp9 = call i8 addrspace(1)* @_Znam(i64 8)
26 %value1 = bitcast i8 addrspace(0)* %tmp1 to i64 addrspace(0)*
[all …]
|
| /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>
|
| D | overloading.pa | 18 .function void f(u1 a0, i8 a1) {}
23 call f:(u1, i8), v1, v1
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | type_system.md | 36 - `i8`
42 - `i8()`
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 | 26 - Types are denoted by sort literal and parameters in parenthesis. For instance: `Array(~i8())`.
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/verification/ |
| D | verification.yaml | 59 - i8
115 i8:
142 sign: i8
271 - i8
277 i8:
281 - i8
296 - i8
307 - i8
323 - i8
333 - i8
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | ldarr.8.yaml | 41 - sig: ldarr.8 v:in:i8[]
54 - values: ['i8[]']
64 - sig: ldarr.8 v:in:i8[]
79 - values: ['i8[]']
89 - sig: ldarr.8 v:in:i8[]
98 .array arr_i8 i8 1 { 1 }
127 - values: [i8]
143 - sig: ldarr.8 v:in:i8[]
152 .array arr_i8 i8 1 { 1 }
178 - values: [i8]
[all …]
|
| D | ldstatic.yaml | 24 i8 fi8 <static>
46 i8 fi8 <static>
81 i8 fi8
302 # i8
303 - values: [0, 'i8', 0, 'i8']
304 - values: [0x000000ff, 'i8', 0xffffffff, 'i8']
305 - values: [0x000000a5, 'i8', 0xffffffa5, 'i8']
306 - values: [0x0000005a, 'i8', 0x0000005a, 'i8']
375 # i8
376 - values: [0, 'i8', 0, 'i8']
[all …]
|
| D | starr.8.yaml | 40 - sig: starr.8 v1:in:i8[], v2:in:i32
41 acc: in:i8
49 - sig: starr.8 v1:in:i8[], v2:in:i32
50 acc: in:i8
69 .function i32 f1(i8[] a0, i32 a1) {
84 - sig: starr.8 v1:in:i8[], v2:in:i32
85 acc: in:i8
122 - sig: starr.8 v1:in:i8[], v2:in:i32
123 acc: in:i8
130 .function void f1(i8[] a0, i32 a1) {
[all …]
|
| D | ldobj.yaml | 29 i8 fi8
62 i8 fi8
466 # i8
467 - values: [0, 'i8', 0, 'i8']
468 - values: [0x000000ff, 'i8', 0xffffffff, 'i8']
469 - values: [0x000000a5, 'i8', 0xffffffa5, 'i8']
470 - values: [0x0000005a, 'i8', 0x0000005a, 'i8']
|
| D | ldobj.v.yaml | 29 i8 fi8
62 i8 fi8
467 # i8
468 - values: [0, 'i8', 0, 'i8']
469 - values: [0x000000ff, 'i8', 0xffffffff, 'i8']
470 - values: [0x000000a5, 'i8', 0xffffffa5, 'i8']
471 - values: [0x0000005a, 'i8', 0x0000005a, 'i8']
|
| D | u32toi8.yaml | 29 acc: inout:u32->i8
62 acc: inout:u32->i8
114 acc: inout:u32->i8
|
| D | return.obj.yaml | 364 - values: [i8]
640 - values: ['i8[]', 'i8[]', 'i8[]', 'i8[]']
730 - values: ['i8[]', 'i8[]', 'i8[]', 'i8[]']
822 - values: ['i8[]', 'i8[]', 'i8[]', 'i8[]']
|
| D | i32toi8.yaml | 29 acc: inout:i32->i8
62 acc: inout:i32->i8
114 acc: inout:i32->i8
|
| /arkcompiler/runtime_core/verification/type/tests/ |
| D | type_system_test.cpp | 48 auto i8 = paramType("i8")(); in TEST_F() local
63 auto method1 = method(-i8 >> -i8 >> +i64); in TEST_F()
71 EXPECT_TRUE(bot <= i8); in TEST_F()
74 EXPECT_TRUE(i8 <= top); in TEST_F()
77 i8 << (i16 | i32) << i64; in TEST_F()
80 EXPECT_TRUE(i8 <= i64); in TEST_F()
119 auto i8 = paramType("i8")(); in TEST_F() local
134 auto method1 = method(-i8 >> -i8 >> +i64); in TEST_F()
142 i8 << (i16 | i32) << i64; in TEST_F()
|
| /arkcompiler/runtime_core/runtime/templates/ |
| D | intrinsics.rb | 22 'i8' => 'I8',
44 'i8',
65 'i8' => 'B',
|
| /arkcompiler/runtime_core/verification/value/tests/ |
| D | abstract_typed_value_test.cpp | 36 auto i8 = type_system.Parametric(sort["i8"])(); in TEST_F() local
41 i8 << i16 << i32 << i64; in TEST_F()
|
| /arkcompiler/runtime_core/verification/absint/tests/ |
| D | reg_context_test.cpp | 37 auto i8 = type_system.Parametric(sort["i8"])(); in TEST_F() local
42 i8 << i16 << i32 << i64; in TEST_F()
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | instructions.rb | 22 INT8 = 'i8'
66 "int" => %w[bool i8 i16 i32 i64 u8 u16 u32 u64],
68 "number" => %w[bool i8 i16 i32 i64 u8 u16 u32 u64 f32 f64],
69 "real" => %w[bool i8 i16 i32 i64 u8 u16 u32 u64 f32 f64 ref ptr]
224 'i8' => 'DataType::INT8',
|
| /arkcompiler/runtime_core/disassembler/tests/ |
| D | instructions_test.cpp.in | 236 …EXPECT_TRUE(body_g.find("\tcall.virt B.Bhandler_long:(B,i8,i16,i32), v4, v0, v1, v2") != std::stri…
237 …EXPECT_TRUE(body_g.find("\tcall.virt.range B.Bhandler_range:(B,i8,i16,i32,i8,i16,i32), v4") != std…
242 EXPECT_TRUE(body_g.find("\tcall handler_long:(i8,i16,i32), v0, v1, v2") != std::string::npos);
243 …EXPECT_TRUE(body_g.find("\tcall handler_long2:(i8,i16,i32,f64), v0, v1, v2, v3") != std::string::n…
244 …EXPECT_TRUE(body_g.find("\tcall.range handler_range:(i8,i16,i32,i8,i16,i32), v0") != std::string::…
249 …EXPECT_TRUE(body_g.find("\tinitobj B.Bhandler_long:(B,i8,i16,i32), v0, v1, v2") != std::string::np…
250 …EXPECT_TRUE(body_g.find("\tinitobj B.Bhandler_long2:(B,i8,i16,i32,i64), v0, v1, v2, v3") != std::s…
251 …EXPECT_TRUE(body_g.find("\tinitobj.range B.Bhandler_range:(B,i8,i16,i32,i8,i16,i32), v0") != std::…
257 …ss.str().find(".function u16 long_function(i8 a0, i16 a1, i32 a2, i8 a3, i16 a4, i32 a5, i64 a6, f…
293 EXPECT_TRUE(body_g.find("\tnewarr v0, a0, i8[]") != std::string::npos);
|
| D | functions_test.cpp.in | 46 ASSERT_NE(ss.str().find(".function void f(u1 a0, i8 a1) <static> {\n}"), std::string::npos);
50 "call.short f:(u1,i8), v1, v1"),
|
| /arkcompiler/runtime_core/assembler/ |
| D | define.h | 29 _("i8", I8) \
|
| /arkcompiler/runtime_core/runtime/core/ |
| D | core_class_linker_extension.cpp | 92 InitializePrimitiveClassRoot(ClassRoot::I8, Type::TypeId::I8, "B"); in InitializeImpl()
105 InitializeArrayClassRoot(ClassRoot::ARRAY_I8, ClassRoot::I8, "[B"); in InitializeImpl()
150 case ClassRoot::I8: in GetClassVTableSize()
195 case ClassRoot::I8: in GetClassIMTSize()
240 case ClassRoot::I8: in GetClassSize()
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | panda_types.cpp | 149 if (type == I8()) { in TypeIdOf()
150 return TypeId::I8; in TypeIdOf()
301 case TypeId::I8: in TypeOf()
302 type = I8(); in TypeOf()
353 I8_ {TypeForName("i8")},
405 I8() << I16() << I32();
408 TypeSet(U1(), I8(), U8()) << Integral8Type();
|