/arkcompiler/runtime_core/docs/ |
D | design-of-interpreter.md | 20 This section outlines common requirements that should be considered while designing the interpreter 23 1. The platform should scale from microcontrollers to hi-end mobile phones: 24 1. It should fit into 50Kb of ROM. 25 1. It should be able to run consuming 64Kb of RAM. 26 1. Program execution via bytecode interpretation should be enabled on all targets. 27 1. The platform should support multiple programming languages 33 1. Bytecode should allow the interpreter to run no slower than state of the art interpreters. 34 1. Bytecode should be compact in size to avoid bloating application code. 35 1. Bytecode description should have a single entry point to simplify maintenance 73 1. All entities in the executable file should be encoded and stored compactly to avoid bloating [all …]
|
/arkcompiler/runtime_core/isa/ |
D | asserts.rb | 35 assert('Non-prefixed instruction opcodes and prefixes should fit one byte') do 47 assert('All instructions for a prefix should fit one byte') do 53 assert('Prefixed instruction should have some prefix specified') do 59 assert('Prefix should be defined') do 67 assert('All prefixes should have unique name') do 71 assert('There should be non-zero gap between non-prefixed and prefixes') do 75 assert('There should be non-zero gap between public and private prefixes') do 113 assert('Dtype should be none when bytecode doesn\'t write into accumulator or registers') do 121 assert('Instruction::float? should play well with operand types') do 127 assert('Conditionals should be jumps') do # At least currently [all …]
|
/arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
D | collisionSuperAndParameter.ts | 26 …mber) => { // No Error return x => this; // New scope. So should inject new _this c… 31 return x => this; // New scope. So should inject new _this capture 37 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 42 return x => this; // New scope. So should inject new _this capture 53 AssertType((_super: number) => { // Error return x => this; // New scope. So should … 58 return x => this; // New scope. So should inject new _this capture 64 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 69 return x => this; // New scope. So should inject new _this capture 78 doStuff: (_super: number) => { // should be error 81 constructor(_super: number) { // should be error [all …]
|
D | collisionThisExpressionAndPropertyNameAsConstuctorParameter.ts | 25 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 30 return x => this; // New scope. So should inject new _this capture 39 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 44 return x => this; // New scope. So should inject new _this capture 55 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 60 return x => this; // New scope. So should inject new _this capture 71 AssertType(() => { return x => this; // New scope. So should inject new _this capture… 76 return x => this; // New scope. So should inject new _this capture
|
D | targetTypeObjectLiteralToAny.ts | 29 … result.push({text:keyword, type:"keyword"}); // this should not cause a crash - push should be… 31 … result.push({text:keyword, type:"keyword"}); // this should not cause a crash - push should be… 34 …result.push({text:keyword, type:"keyword"}); // this should not cause a crash - push should be typ…
|
D | contextuallyTypedFunctionExpressionsAndReturnAnnotations.ts | 26 AssertType((y): (y2: number) => void => { let z = y.charAt(0); // Should be string return nul… 29 AssertType(foo((y): (y2: number) => void => { let z = y.charAt(0); // Should be string return… 31 let z = y.charAt(0); // Should be string 44 AssertType((y: string) => { return y2 => { let z = y2.toFixed(); // Should be string … 46 AssertType(foo((y: string) => { return y2 => { let z = y2.toFixed(); // Should be string … 48 AssertType(y2 => { let z = y2.toFixed(); // Should be string return 0; }, "(number… 52 let z = y2.toFixed(); // Should be string
|
D | collisionSuperAndLocalFunctionInAccessors.ts | 39 function _super() { // Should be error 46 function _super() { // Should be error 55 AssertType(() => { function _super() { // Should be error } }, "() => … 57 function _super() { // Should be error 67 AssertType(() => { function _super() { // Should be error } }, "() => … 69 function _super() { // Should be error
|
D | collisionSuperAndLocalVarInAccessors.ts | 42 let _super = 10; // Should be error 50 let _super = 10; // Should be error 59 AssertType(() => { let _super = 10; // Should be error }, "() => void"); 61 let _super = 10; // Should be error 71 AssertType(() => { let _super = 10; // Should be error }, "() => void"); 73 let _super = 10; // Should be error
|
D | duplicateAnonymousInners1.ts | 29 // Inner should show up in intellisense 37 // Should not be an error 42 // Inner should not show up in intellisense 43 // Outer should show up in intellisense
|
D | switchCaseNarrowsMatchingClausesEvenWhenNonMatchingClausesExist.ts | 46 …tring) => { switch (str) { case 'abc': { // inferred type should be `abc` re… 54 // inferred type should be `abc` 75 …: { // inferred type should be `abc` return str; } case someNumber: { … 83 // inferred type should be `abc` 90 // inferred type should be `number`
|
D | genericInference2.ts | 48 let x_v = o.name().length; // should be 'number' 52 let age_v = o.age(); // should be 'number' 57 let name_v = o.name("Robert"); // should be 'any' 63 let zz_v = o.name.N; // should be 'number' 67 let yy_v = o.name.g; // should be 'boolean' 71 let rr_v = o.name.r; // should be 'string'
|
D | taggedTemplateStringsWithUnicodeEscapes.ts | 24 f `'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`; 25 AssertType(f `'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`, "void"); 27 AssertType(`'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`, "string"); 28 AssertType(" should be converted to ", "string");
|
D | taggedTemplateStringsWithUnicodeEscapesES6.ts | 24 f `'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`; 25 AssertType(f `'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`, "void"); 27 AssertType(`'\u{1f4a9}'${ " should be converted to " }'\uD83D\uDCA9'`, "string"); 28 AssertType(" should be converted to ", "string");
|
D | excessPropertyCheckWithNestedArrayIntersection.ts | 37 AssertType({ dataType: { fields: [{ key: 'bla', // should be OK: Not excess value: nu… 41 AssertType({ fields: [{ key: 'bla', // should be OK: Not excess value: null, }], }… 45 AssertType([{ key: 'bla', // should be OK: Not excess value: null, }], "{ key: string;… 46 AssertType({ key: 'bla', // should be OK: Not excess value: null, }, "{ key: string; v… 48 key: 'bla', // should be OK: Not excess
|
D | declarationEmitNameConflicts2.ts | 32 export let f = X.Y.base.f; // Should be base.f 33 export let C = X.Y.base.C; // Should be base.C 34 export let M = X.Y.base.M; // Should be base.M 35 export let E = X.Y.base.E; // Should be base.E
|
D | voidFunctionAssignmentCompat.ts | 30 fa = function() { } // should not work 46 return 0; } // should work 57 execAny(function () {}); // should work 75 return 0;}); // should work 82 return function () {}; } // should work 90 return function () { return 0; } } // should work 101 return function (v:string) {return v;}; })() // should work 111 return function () { return 0; } })() // should work
|
D | specializedSignatureOverloadReturnTypeWithIndexers.ts | 24 f(p: "spec"): { [p: string]: any; } // Should be ok 28 f(p: "spec"): { [p: string]: any; } // Should be ok 32 f(p: "spec"): { [p: number]: any; } // Should be ok 36 f(p: "spec"): { [p: number]: any; } // Should be error
|
D | mergeThreeInterfaces.ts | 21 // interfaces with the same root module should merge 96 let r2 = a.bar; // any, should be number 98 let r3 = a.baz; // any, should be boolean 115 let r5 = b.bar; // any, should be number 117 let r6 = b.baz; // any, should be boolean
|
D | collisionSuperAndPropertyNameAsConstuctorParameter.ts | 25 constructor(_super: number) { // should be error 33 constructor(private _super: number) { // should be error 43 constructor(_super: any) { // should be error 53 constructor(private _super: any) { // should be error
|
D | typeArgumentsInFunctionExpressions.ts | 21 let obj = function f<T>(a: T) { // should not error 25 AssertType(function f<T>(a: T) { // should not error let x: T; return a;}, "<T>(T) => T"); 35 let obj2 = function f<T>(a: T): T { // should not error 39 AssertType(function f<T>(a: T): T { // should not error let x: T; return a;}, "<T>(T) => T");
|
D | augmentedTypeBracketNamedPropertyAccess.ts | 35 let r1 = o['data']; // Should be number 41 let r2 = o['functionData']; // Should be any (no property found) 47 let r3 = f['functionData']; // Should be string 53 let r4 = f['data']; // Should be number
|
/arkcompiler/ets_runtime/test/typeinfer/automatedcases/privacyClassImplementsClauseDeclFile/ |
D | privacyClassImplementsClauseDeclFile_externalModule.ts | 35 …assImplementingPrivateInterfaceInModule implements privateInterfaceInPublicModule { // Should error 40 …romPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error 43 …nterface implements privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error 83 export class publicClassImplementingPrivateInterface implements privateInterface { // Should error 88 …romPrivateModuleInterface implements privateModule.publicInterfaceInPrivateModule { // Should error
|
/arkcompiler/ets_runtime/test/typeinfer/automatedcases/privacyInterfaceExtendsClauseDeclFile/ |
D | privacyInterfaceExtendsClauseDeclFile_externalModule.ts | 35 …erfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicModule { // Should error 40 …ngFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error 43 …icInterface extends privateInterfaceInPublicModule, publicInterfaceInPublicModule { // Should error 83 export interface publicInterfaceImplementingPrivateInterface extends privateInterface { // Should e… 88 …ngFromPrivateModuleInterface extends privateModule.publicInterfaceInPrivateModule { // Should error
|
/arkcompiler/runtime_core/libpandabase/mem/ |
D | base_mem_stats.cpp | 65 …quire order reason: data race with allocated_ with dependecies on reads after the load which should in GetAllocated() 72 …quire order reason: data race with allocated_ with dependecies on reads after the load which should in GetFreed() 84 // which should become visible in GetAllocatedHeap() 98 // which should become visible in GetFreedHeap() 113 …quire order reason: data race with allocated_ with dependecies on reads after the load which should in GetFootprint() 119 // should become visible in GetFootprint() 123 // should become visible in GetFootprint() 125 …quire order reason: data race with allocated_ with dependecies on reads after the load which should in GetFootprint()
|
/arkcompiler/ets_frontend/arkguard/ |
D | README.md | 45 To enable obfuscation, the following conditions should be satisfied: 124 …If you want to obfuscate these string literal property names, you should addtionally use the optio… 154 obfuscation in the future (for example, hot fix), then you should use this option and keep the resu… 160 the cache. Other names will receive new random short names. This option should be used in increment… 179 **What property names should be kept?** 187 console.log(obj['x' + i]); // x0, x1, x2 should be kept 190 Object.defineProperty(obj, 'y', {}); // y should be kept 195 console.log(obj[key]); // s should be kept 216 **What global names should be kept?** 219 you access a global variable as a property, then the global name should be kept. [all …]
|