/arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
D | comparisonOperatorWithSubtypeObjectOnProperty.ts | 47 let a1: A1; variable 48 AssertType(a1, "A1"); 60 let ra1 = a1 < b1; 62 AssertType(a1 < b1, "boolean"); 63 AssertType(a1, "A1"); 72 let ra3 = b1 < a1; 74 AssertType(b1 < a1, "boolean"); 76 AssertType(a1, "A1"); 85 let rb1 = a1 > b1; 87 AssertType(a1 > b1, "boolean"); [all …]
|
D | circularInferredTypeOfVariable.ts | 24 …] { return []; } let a1: string[] | undefined = []; while (true) { let a2 =… 25 …] { return []; } let a1: string[] | undefined = []; while (true) { let a2 =… 43 let a1: string[] | undefined = []; 44 AssertType(a1, "string[]"); 50 let a2 = foo(a1!); 52 AssertType(foo(a1!), "string[]"); 54 AssertType(a1!, "string[]"); 55 AssertType(a1, "string[]"); 57 a1 = await bar(a2); 58 AssertType(a1 = await bar(a2), "string[]"); [all …]
|
D | parserRegularExpressionDivideAmbiguity6.ts | 21 function c255lsqr8h(a7, a6, a5, a4, a3, a2, a1, a0) { 43 r[1] = (v = ((v / 0x10000) | 0) + 2*a0*a1) & 0xFFFF; 44 AssertType(r[1] = (v = ((v / 0x10000) | 0) + 2*a0*a1) & 0xFFFF, "number"); 48 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a1) & 0xFFFF, "number"); 49 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a1), "number"); 50 AssertType(v = ((v / 0x10000) | 0) + 2*a0*a1, "number"); 52 AssertType(((v / 0x10000) | 0) + 2*a0*a1, "number"); 60 AssertType(2*a0*a1, "number"); 64 AssertType(a1, "any"); 67 r[2] = (v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1) & 0xFFFF; [all …]
|
D | comparisonOperatorWithSubtypeObjectOnIndexSignature.ts | 29 let a1: { [a: string]: string }; variable 30 AssertType(a1, "{ [string]: string; }"); 62 let r1a1 = a1 < b1; 64 AssertType(a1 < b1, "boolean"); 65 AssertType(a1, "{ [string]: string; }"); 86 let r1b1 = b1 < a1; 88 AssertType(b1 < a1, "boolean"); 90 AssertType(a1, "{ [string]: string; }"); 111 let r2a1 = a1 > b1; 113 AssertType(a1 > b1, "boolean"); [all …]
|
D | nullishCoalescingOperator3.ts | 21 declare const a1: 'literal' | undefined | null 22 AssertType(a1, "union"); 48 const aa1 = a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6 ?? 'whatever' 50 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6 ?? 'whatever', "union"); 51 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6, "union"); 52 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5, "union"); 53 AssertType(a1 ?? a2 ?? a3 ?? a4, "union"); 54 AssertType(a1 ?? a2 ?? a3, "union"); 55 AssertType(a1 ?? a2, "union"); 56 AssertType(a1, "union");
|
D | classStaticBlock10targetes5.ts | 21 let a1 = 1; 22 AssertType(a1, "number"); 38 let a1 = 11; 39 AssertType(a1, "number"); 48 let a1 = 111; 49 AssertType(a1, "number"); 69 let a1 = 111; 70 AssertType(a1, "number");
|
D | classStaticBlock10targetes2015.ts | 21 let a1 = 1; 22 AssertType(a1, "number"); 38 let a1 = 11; 39 AssertType(a1, "number"); 48 let a1 = 111; 49 AssertType(a1, "number"); 69 let a1 = 111; 70 AssertType(a1, "number");
|
D | classStaticBlock10targetesnext.ts | 21 let a1 = 1; 22 AssertType(a1, "number"); 38 let a1 = 11; 39 AssertType(a1, "number"); 48 let a1 = 111; 49 AssertType(a1, "number"); 69 let a1 = 111; 70 AssertType(a1, "number");
|
D | classStaticBlock10targetes2022.ts | 21 let a1 = 1; 22 AssertType(a1, "number"); 38 let a1 = 11; 39 AssertType(a1, "number"); 48 let a1 = 111; 49 AssertType(a1, "number"); 69 let a1 = 111; 70 AssertType(a1, "number");
|
D | emptyAssignmentPatterns02_ES6.ts | 24 let x, y, z, a1, a2, a3; 28 AssertType(a1, "any"); 43 ([] = [ a1, a2, a3] = a); 44 AssertType(([] = [ a1, a2, a3] = a), "any"); 45 AssertType([] = [ a1, a2, a3] = a, "any"); 47 AssertType([ a1, a2, a3] = a, "any"); 48 AssertType([ a1, a2, a3], "[any, any, any]"); 49 AssertType(a1, "any");
|
D | emptyAssignmentPatterns02_ES5.ts | 24 let x, y, z, a1, a2, a3; 28 AssertType(a1, "any"); 43 ([] = [ a1, a2, a3] = a); 44 AssertType(([] = [ a1, a2, a3] = a), "any"); 45 AssertType([] = [ a1, a2, a3] = a, "any"); 47 AssertType([ a1, a2, a3] = a, "any"); 48 AssertType([ a1, a2, a3], "[any, any, any]"); 49 AssertType(a1, "any");
|
D | emptyAssignmentPatterns02_ES5iterable.ts | 24 let x, y, z, a1, a2, a3; 28 AssertType(a1, "any"); 43 ([] = [ a1, a2, a3] = a); 44 AssertType(([] = [ a1, a2, a3] = a), "any"); 45 AssertType([] = [ a1, a2, a3] = a, "any"); 47 AssertType([ a1, a2, a3] = a, "any"); 48 AssertType([ a1, a2, a3], "[any, any, any]"); 49 AssertType(a1, "any");
|
D | comparisonOperatorWithSubtypeObjectOnInstantiatedConstructorSignature.ts | 29 let a1: { new <T>(x: T): T }; variable 30 AssertType(a1, "new <T>(T) => T"); 88 let r1a1 = a1 < b1; 90 AssertType(a1 < b1, "boolean"); 91 AssertType(a1, "new <T>(T) => T"); 124 let r1b1 = b1 < a1; 126 AssertType(b1 < a1, "boolean"); 128 AssertType(a1, "new <T>(T) => T"); 161 let r2a1 = a1 > b1; 163 AssertType(a1 > b1, "boolean"); [all …]
|
D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedConstructorSignature.ts | 33 let a1: { new <T>(x: T): T }; variable 34 AssertType(a1, "new <T>(T) => T"); 85 let r1a1 = a1 < b1; 87 AssertType(a1 < b1, "boolean"); 88 AssertType(a1, "new <T>(T) => T"); 121 let r1b1 = b1 < a1; 123 AssertType(b1 < a1, "boolean"); 125 AssertType(a1, "new <T>(T) => T"); 158 let r2a1 = a1 > b1; 160 AssertType(a1 > b1, "boolean"); [all …]
|
D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedCallSignature.ts | 33 let a1: { fn<T>(x: T): T }; variable 34 AssertType(a1, "{ fn<T>(T): T; }"); 97 let r1a1 = a1 < b1; 99 AssertType(a1 < b1, "boolean"); 100 AssertType(a1, "{ fn<T>(T): T; }"); 133 let r1b1 = b1 < a1; 135 AssertType(b1 < a1, "boolean"); 137 AssertType(a1, "{ fn<T>(T): T; }"); 170 let r2a1 = a1 > b1; 172 AssertType(a1 > b1, "boolean"); [all …]
|
/arkcompiler/runtime_core/tests/cts-assembly/ |
D | math-64.pa | 14 # (a0 << 21) | ~a1 15 .function i32 or_not_shl_i32(i32 a0, i32 a1) <static> { 20 lda a1 25 # (a0 >>> 21) | ~a1 26 .function i32 or_not_shr_i32(i32 a0, i32 a1) <static> { 31 lda a1 36 # (a0 >> 21) | ~a1 37 .function i32 or_not_ashr_i32(i32 a0, i32 a1) <static> { 42 lda a1 47 # a1 | ~(a0 << 21) [all …]
|
D | math-63.pa | 14 # (a0 << 21) & ~a1 15 .function i32 and_not_shl_i32(i32 a0, i32 a1) <static> { 20 lda a1 25 # (a0 >>> 21) & ~a1 26 .function i32 and_not_shr_i32(i32 a0, i32 a1) <static> { 31 lda a1 36 # (a0 >> 21) & ~a1 37 .function i32 and_not_ashr_i32(i32 a0, i32 a1) <static> { 42 lda a1 47 # a1 & ~(a0 << 21) [all …]
|
D | math-62.pa | 14 # (a0 << 21) ^ a1 15 .function i32 xor_shl_i32(i32 a0, i32 a1) <static> { 19 xor2 a1 22 # (a0 >>> 21) ^ a1 23 .function i32 xor_shr_i32(i32 a0, i32 a1) <static> { 27 xor2 a1 30 # (a0 >> 21) ^ a1 31 .function i32 xor_ashr_i32(i32 a0, i32 a1) <static> { 35 xor2 a1 38 # a1 ^ (a0 << 21) [all …]
|
D | math-59.pa | 14 # (a0 << 21) - a1 15 .function i32 sub_shl_i32(i32 a0, i32 a1) <static> { 19 sub2 a1 22 # (a0 >>> 21) - a1 23 .function i32 sub_shr_i32(i32 a0, i32 a1) <static> { 27 sub2 a1 30 # (a0 >> 21) - a1 31 .function i32 sub_ashr_i32(i32 a0, i32 a1) <static> { 35 sub2 a1 38 # a1 - (a0 << 21) [all …]
|
D | math-61.pa | 14 # (a0 << 21) | a1 15 .function i32 or_shl_i32(i32 a0, i32 a1) <static> { 19 or2 a1 22 # (a0 >>> 21) | a1 23 .function i32 or_shr_i32(i32 a0, i32 a1) <static> { 27 or2 a1 30 # (a0 >> 21) | a1 31 .function i32 or_ashr_i32(i32 a0, i32 a1) <static> { 35 or2 a1 38 # a1 & (a0 << 21) [all …]
|
D | math-60.pa | 14 # (a0 << 21) & a1 15 .function i32 and_shl_i32(i32 a0, i32 a1) <static> { 19 and2 a1 22 # (a0 >>> 21) & a1 23 .function i32 and_shr_i32(i32 a0, i32 a1) <static> { 27 and2 a1 30 # (a0 >> 21) & a1 31 .function i32 and_ashr_i32(i32 a0, i32 a1) <static> { 35 and2 a1 38 # a1 & (a0 << 21) [all …]
|
D | math-58.pa | 14 # (a0 << 21) + a1 15 .function i32 add_shl_i32(i32 a0, i32 a1) <static> { 19 add2 a1 22 # (a0 >>> 21) + a1 23 .function i32 add_shr_i32(i32 a0, i32 a1) <static> { 27 add2 a1 30 # (a0 >> 21) + a1 31 .function i32 add_ashr_i32(i32 a0, i32 a1) <static> { 35 add2 a1 38 # a1 + (a0 << 21) [all …]
|
D | math-65.pa | 14 # (a0 << 21) ^ ~a1 15 .function i32 xor_not_shl_i32(i32 a0, i32 a1) <static> { 20 lda a1 25 # (a0 >>> 21) ^ ~a1 26 .function i32 xor_not_shr_i32(i32 a0, i32 a1) <static> { 31 lda a1 36 # (a0 >> 21) ^ ~a1 37 .function i32 xor_not_ashr_i32(i32 a0, i32 a1) <static> { 42 lda a1 47 # a1 ^ ~(a0 << 21) [all …]
|
D | math-54.pa | 14 # a2 - a0 * a1 15 .function i32 msub_i32(i32 a0, i32 a1, i32 a2) { 16 mul a0, a1 22 # - (a0 * a1) + a2 23 .function i32 msub_i32_var0(i32 a0, i32 a1, i32 a2) { 24 mul a0, a1 30 # (-a0) * a1 + a2 31 .function i32 msub_i32_var1(i32 a0, i32 a1, i32 a2) { 34 mul2 a1 39 # a2 - a0 * a1 [all …]
|
/arkcompiler/runtime_core/tests/regression/ |
D | irreducible_loop.pa | 15 .function i32 find_even_on_even(i32[] a0, i32 a1) { 17 lda a1 19 jeqz _zero # if a1 is even jump to _zero 21 inci a1, 1 # make a1 even 23 lda a1 24 ldarr a0 # load even index a1 27 inci a1, 1 # increment a1 (now it's odd) 29 lda a1 33 jmp _one # make a1 even 35 inci a1, -1 [all …]
|