| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | comparisonOperatorWithSubtypeObjectOnProperty.ts | 50 let a2: A2; variable
51 AssertType(a2, "A2");
66 let ra2 = a2 < b2;
68 AssertType(a2 < b2, "boolean");
69 AssertType(a2, "A2");
78 let ra4 = b2 < a2;
80 AssertType(b2 < a2, "boolean");
82 AssertType(a2, "A2");
91 let rb2 = a2 > b2;
93 AssertType(a2 > b2, "boolean");
[all …]
|
| D | assignmentCompatWithObjectMembersNumericNames.ts | 56 let a2 = { 1.0: '' }; variable
57 AssertType(a2, "{ 1: string; }");
83 s = a2;
84 AssertType(s = a2, "{ 1: string; }");
86 AssertType(a2, "{ 1: string; }");
108 s2 = a2;
109 AssertType(s2 = a2, "{ 1: string; }");
111 AssertType(a2, "{ 1: string; }");
133 a = a2;
134 AssertType(a = a2, "{ 1: string; }");
[all …]
|
| D | assignmentCompatWithObjectMembers.ts | 39 let a2 = { foo: '' };
45 s = a2;
51 s2 = a2;
57 a = a2;
59 a2 = b2;
60 b2 = a2;
61 a2 = b;
62 a2 = t2;
63 a2 = t;
80 let a2 = { foo: a2 }; variable
[all …]
|
| D | assignmentCompatWithObjectMembers3.ts | 56 let a2: S2 = { foo: '' }; variable
57 AssertType(a2, "S2");
83 s = a2;
84 AssertType(s = a2, "S2");
86 AssertType(a2, "S2");
108 s2 = a2;
109 AssertType(s2 = a2, "S2");
111 AssertType(a2, "S2");
133 a = a2;
134 AssertType(a = a2, "S2");
[all …]
|
| D | assignmentCompatWithObjectMembers2.ts | 56 let a2 = { foo: '' }; variable
57 AssertType(a2, "{ foo: string; }");
83 s = a2;
84 AssertType(s = a2, "{ foo: string; }");
86 AssertType(a2, "{ foo: string; }");
108 s2 = a2;
109 AssertType(s2 = a2, "{ foo: string; }");
111 AssertType(a2, "{ foo: string; }");
133 a = a2;
134 AssertType(a = a2, "{ foo: string; }");
[all …]
|
| D | subtypingWithCallSignatures3.ts | 31 declare function foo2(a2: (x: number) => string[]): typeof a2;
32 declare function foo2(a2: any): any;
34 declare function foo7(a2: (x: (arg: Base) => Derived) => (r: Base) => Derived2): typeof a2;
35 declare function foo7(a2: any): any;
37 …declare function foo8(a2: (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => …
38 declare function foo8(a2: any): any;
40 declare function foo10(a2: (...x: Base[]) => Base): typeof a2;
41 declare function foo10(a2: any): any;
43 …declare function foo11(a2: (x: { foo: string }, y: { foo: string; bar: string }) => Base): typeof …
44 declare function foo11(a2: any): any;
[all …]
|
| D | subtypingWithConstructSignatures3.ts | 31 declare function foo2(a2: new (x: number) => string[]): typeof a2;
32 declare function foo2(a2: any): any;
34 …declare function foo7(a2: new (x: new (arg: Base) => Derived) => new (r: Base) => Derived2): typeo…
35 declare function foo7(a2: any): any;
37 …eclare function foo8(a2: new (x: new (arg: Base) => Derived, y: new (arg2: Base) => Derived) => ne…
38 declare function foo8(a2: any): any;
40 declare function foo10(a2: new (...x: Base[]) => Base): typeof a2;
41 declare function foo10(a2: any): any;
43 …declare function foo11(a2: new (x: { foo: string }, y: { foo: string; bar: string }) => Base): typ…
44 declare function foo11(a2: any): any;
[all …]
|
| D | circularInferredTypeOfVariable.ts | 24 … string[] | undefined = []; while (true) { let a2 = foo(a1!); a1 = await bar(a2);…
25 … string[] | undefined = []; while (true) { let a2 = foo(a1!); a1 = await bar(a2);…
50 let a2 = foo(a1!);
51 AssertType(a2, "string[]");
57 a1 = await bar(a2);
58 AssertType(a1 = await bar(a2), "string[]");
60 AssertType(await bar(a2), "string[]");
61 AssertType(bar(a2), "string[]");
63 AssertType(a2, "string[]");
|
| D | comparisonOperatorWithSubtypeObjectOnIndexSignature.ts | 37 let a2: { [index: string]: Base }; variable
38 AssertType(a2, "{ [string]: Base; }");
68 let r1a1 = a2 < b2;
70 AssertType(a2 < b2, "boolean");
71 AssertType(a2, "{ [string]: Base; }");
92 let r1b1 = b2 < a2;
94 AssertType(b2 < a2, "boolean");
96 AssertType(a2, "{ [string]: Base; }");
117 let r2a1 = a2 > b2;
119 AssertType(a2 > b2, "boolean");
[all …]
|
| D | parserRegularExpressionDivideAmbiguity6.ts | 21 function c255lsqr8h(a7, a6, a5, a4, a3, a2, a1, a0) {
67 r[2] = (v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1) & 0xFFFF;
68 AssertType(r[2] = (v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1) & 0xFFFF, "number");
72 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1) & 0xFFFF, "number");
73 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1), "number");
74 AssertType(v = ((v / 0x10000) | 0) + 2*a0*a2 + a1*a1, "number");
76 AssertType(((v / 0x10000) | 0) + 2*a0*a2 + a1*a1, "number");
77 AssertType(((v / 0x10000) | 0) + 2*a0*a2, "number");
85 AssertType(2*a0*a2, "number");
89 AssertType(a2, "any");
[all …]
|
| D | nullishCoalescingOperator3.ts | 25 declare const a2: '' | undefined | null
26 AssertType(a2, "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");
57 AssertType(a2, "union");
|
| D | emptyAssignmentPatterns02_ES6.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "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]");
50 AssertType(a2, "any");
|
| D | emptyAssignmentPatterns02_ES5.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "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]");
50 AssertType(a2, "any");
|
| D | emptyAssignmentPatterns02_ES5iterable.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "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]");
50 AssertType(a2, "any");
|
| D | comparisonOperatorWithSubtypeObjectOnInstantiatedConstructorSignature.ts | 37 let a2: { new <T>(x: T): T }; variable
38 AssertType(a2, "new <T>(T) => T");
94 let r1a2 = a2 < b2;
96 AssertType(a2 < b2, "boolean");
97 AssertType(a2, "new <T>(T) => T");
130 let r1b2 = b2 < a2;
132 AssertType(b2 < a2, "boolean");
134 AssertType(a2, "new <T>(T) => T");
167 let r2a2 = a2 > b2;
169 AssertType(a2 > b2, "boolean");
[all …]
|
| D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedConstructorSignature.ts | 40 let a2: { new <T>(x: T): T }; variable
41 AssertType(a2, "new <T>(T) => T");
91 let r1a2 = a2 < b2;
93 AssertType(a2 < b2, "boolean");
94 AssertType(a2, "new <T>(T) => T");
127 let r1b2 = b2 < a2;
129 AssertType(b2 < a2, "boolean");
131 AssertType(a2, "new <T>(T) => T");
164 let r2a2 = a2 > b2;
166 AssertType(a2 > b2, "boolean");
[all …]
|
| D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedCallSignature.ts | 42 let a2: { fn<T>(x: T): T }; variable
43 AssertType(a2, "{ fn<T>(T): T; }");
103 let r1a2 = a2 < b2;
105 AssertType(a2 < b2, "boolean");
106 AssertType(a2, "{ fn<T>(T): T; }");
139 let r1b2 = b2 < a2;
141 AssertType(b2 < a2, "boolean");
143 AssertType(a2, "{ fn<T>(T): T; }");
176 let r2a2 = a2 > b2;
178 AssertType(a2 > b2, "boolean");
[all …]
|
| D | typeParameterCompatibilityAccrossDeclarations.ts | 36 let a2 = { variable
37 AssertType(a2, "{ x: (any) => any; }");
74 a2 = i2; // no error
75 AssertType(a2 = i2, "I2");
76 AssertType(a2, "{ x: (any) => any; }");
79 i2 = a2; // no error
80 AssertType(i2 = a2, "{ x: (any) => any; }");
82 AssertType(a2, "{ x: (any) => any; }");
|
| D | comparisonOperatorWithSubtypeObjectOnInstantiatedCallSignature.ts | 39 let a2: { fn<T>(x: T): T }; variable
40 AssertType(a2, "{ fn<T>(T): T; }");
107 let r1a2 = a2 < b2;
109 AssertType(a2 < b2, "boolean");
110 AssertType(a2, "{ fn<T>(T): T; }");
143 let r1b2 = b2 < a2;
145 AssertType(b2 < a2, "boolean");
147 AssertType(a2, "{ fn<T>(T): T; }");
180 let r2a2 = a2 > b2;
182 AssertType(a2 > b2, "boolean");
[all …]
|
| D | emptyAssignmentPatterns04_ES5iterable.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
48 AssertType(a2, "any");
|
| D | emptyAssignmentPatterns04_ES5.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
48 AssertType(a2, "any");
|
| D | emptyAssignmentPatterns04_ES6.ts | 24 let x, y, z, a1, a2, a3;
29 AssertType(a2, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
48 AssertType(a2, "any");
|
| /arkcompiler/runtime_core/tests/cts-assembly/ |
| D | math-54.pa | 14 # a2 - a0 * a1
15 .function i32 msub_i32(i32 a0, i32 a1, i32 a2) {
18 sub a2, v1
22 # - (a0 * a1) + a2
23 .function i32 msub_i32_var0(i32 a0, i32 a1, i32 a2) {
26 add2 a2
30 # (-a0) * a1 + a2
31 .function i32 msub_i32_var1(i32 a0, i32 a1, i32 a2) {
35 add2 a2
39 # a2 - a0 * a1
[all …]
|
| /arkcompiler/ets_runtime/test/typeinfer/ldsuperproperty/ |
| D | ldsuperproperty.ts | 20 a2 : string;
24 this.a2 = "abc";
30 return this.a2;
33 return this.a2;
46 let d2 = super.a2;
60 let a2 = super[a]();
61 AssertType(a2, "number")
|
| /arkcompiler/ets_runtime/test/aottest/ts_inline/ |
| D | ts_inline.ts | 38 let a2 = arg1 * arg2;
39 if (a2 > 0) {
40 a2 = a2 / 2;
42 a2++;
44 let a3 = a1 + a2;
|