[huge change] rewrite wasm

Author: zurl

README.md

@@ -167,12 +167,10 @@ of WebAssembly.
 - [X] function pointer
 - [X] array initial list
 - [X] multi-dim array
-- [ ] #if #elif
 - [ ] bit field of struct
+- [ ] #if #elif
 - [ ] #line __line__ __file__
-- [ ] remove Long.js
 - [X] debuginfo
-- [ ] repeative param name detect
 ## C++ Language
 - [X] default parameter
 - [X] default constructor
@@ -212,24 +210,39 @@ of WebAssembly.
 
 ## TODO LIST
     High
+- [X] repeative param name detect
 - [ ] cast overload， like if(object) { ... }
-- [ ] const/override/virtual member function
 - [ ] warning
-- [ ] class specialization
+- [X] class specialization
 - [ ] using template
 - [ ] A a[50] decons
 - [ ] subclass B A::a => set children?
-- [ ] explicit class ins
-- [ ] C std lib
+- [X] explicit class ins
+- [ ] placement new
+- [X] C std lib
 - [ ] C++ std lib
+- [ ] iostream∂
+- [ ] string
+- [ ] vector
+- [ ] map
+- [ ] queue/stack
+- [ ] priority_queue
+- [ ] algorithm
+- [ ] id could not be keyword => special judge
+- [X] operator []
+- [x] operator ()
+- [ ] static_cast / dynamic_cast / reinterpret_cast
+- [ ] const left value reference
+====== the upper is all plan of web-cpp in 2019
 
     Other
+- [ ] const/override member function
+- [ ] real const
+- [ ] real override
+- [ ] real accessControl
 - [ ] seperate define class function
 - [ ] seperate delaration => to be test
-- [ ] operator new/ placement new
-- [ ] id could not be keyword => special judge
 - [ ] typeinfo
-- [ ] static_cast / dynamic_cast / reinterpret_cast
 - [ ] virtual inheriant
 ## ide
 - [X] multi-language

ide/index.html

@@ -135,7 +135,7 @@
                                     <span class="mdl-switch__label" id="ui-expert-switch"></span>
                                 </label>
                             </div>
-                            <div id="expert-content" class="right-card-content">
+                            <div id="expert-content" class="right-card-content" style="padding:0 20px">
                                 <button
                                         id="ui-expert-pre-btn"
                                         onclick="showDebugInfo('pre')"

ide/js/inspector.js

@@ -16,7 +16,9 @@ export function updateInspector(runtime){
         const item = stack[i];
         result += `<tr><td colspan="3">==>${escapeHTML(item.fn.displayName)} #${i}</td></tr>`;
         for(const subitem of runtime.getScopeInfo(item.fn.scope, item)){
-            result += `<tr><td>${escapeHTML(subitem.name)}</td><td>${escapeHTML(subitem.type)}</td><td>${escapeHTML(subitem.value)}</td></tr>`;
+            if(subitem.name.charAt(0) !== "$") {
+                result += `<tr><td>${escapeHTML(subitem.name)}</td><td>${escapeHTML(subitem.type)}</td><td>${escapeHTML(subitem.value)}</td></tr>`;
+            }
         }
     }
     result += `<tr><td colspan="3">==>global</td></tr>`;

ide/js/ui_text.js

@@ -23,7 +23,7 @@ const UI_TEXT = {
     "message":["message", "消息"],
     "download_message":[
         "downloading compiler",
-        "程序运行已经结束"
+        "正在下载编译器"
     ],
     "save_message":[
         "code have been saved",
@@ -76,10 +76,10 @@ const UI_TEXT = {
         "简体中文", "简体中文"
     ],
     "setting-expert-left":[
-        "normal mode", "普通模式"
+        "Normal mode", "普通模式"
     ],
     "setting-expert-right":[
-        "expert mode", "专家模式"
+        "Expert mode", "专家模式"
     ],
     "menu":[
         "Menu", "菜单"

resource/grammar/lex.grammar

@@ -9,7 +9,7 @@ SingleIdentifier
     } {
         return id;
     }
-    / 'operator' ope:OverloadOperator {
+    / 'operator' _ ope:OverloadOperator {
         return new AST.SingleIdentifier(getLocation(), "#" + ope, AST.IDType.ID, []);
     }
     / '~' name:TypeIdentifier {

resource/grammar/template.grammar

@@ -63,8 +63,14 @@ TemplateArgument
 
 ExplicitInstantiation
     = FunctionTemplateInstantiation
+    / ClassTemplateInstantiation
 
 FunctionTemplateInstantiation
     = 'template' _ specifiers:DeclarationSpecifiers _ declarator:Declarator _ ';'{
         return new AST.FunctionTemplateInstantiation(getLocation(), specifiers, declarator);
+    }
+
+ClassTemplateInstantiation
+    = 'template' _ spec:ClassSpecifier _ ';'{
+        return new AST.ClassTemplateInstantiation(getLocation(), spec);
     }

src/codegen/address.ts

@@ -9,12 +9,18 @@ import {AddressType} from "../common/symbol";
 import {Type} from "../type";
 import {ClassType} from "../type/class_type";
 import {ArrayType} from "../type/compound_type";
-import {I32Binary, WBinaryOperation, WConst, WLoad, WStore, WType} from "../wasm";
-import {getNativeType} from "../wasm/constant";
-import {Emitter} from "../wasm/emitter";
-import {WGetAddress, WGetGlobal, WGetLocal, WMemoryLocation} from "../wasm/expression";
-import {WExpression, WStatement} from "../wasm/node";
-import {WSetGlobal, WSetLocal} from "../wasm/statement";
+import {
+    Emitter,
+    getNativeType,
+    I32Binary,
+    WBinaryOperation,
+    WConst, WExpression, WGetAddress, WGetGlobal, WGetLocal,
+    WLoad,
+    WMemoryLocation,
+    WSetGlobal, WSetLocal, WStatement,
+    WStore,
+    WType,
+} from "../wasm";
 import {CompileContext} from "./context";
 
 export class WAddressHolder extends WExpression {
@@ -275,7 +281,7 @@ export class WAddressHolder extends WExpression {
                 result = new WBinaryOperation(
                     I32Binary.add,
                     new WGetLocal(WType.i32, ctx.currentFuncContext.currentFunction.$sp, this.location),
-                    new WConst(WType.i32, (this.place as number + this.offset).toString()),
+                    new WConst(WType.i32, (this.place as number + this.offset).toString(), this.location),
                     this.location,
                 );
                 break;
@@ -286,7 +292,7 @@ export class WAddressHolder extends WExpression {
                 result = new WBinaryOperation(
                     I32Binary.add,
                     new WGetGlobal(WType.i32, "$sp", this.location),
-                    new WConst(WType.i32, (this.place as number + this.offset).toString()),
+                    new WConst(WType.i32, (this.place as number + this.offset).toString(), this.location),
                     this.location,
                 );
                 break;
@@ -321,24 +327,8 @@ export class WAddressHolder extends WExpression {
         throw new EmitError(`WAddressHolder()`);
     }
 
-    public emitJSON(e: Emitter): void {
-        throw new EmitError(`WAddressHolder()`);
-    }
-
-    public fold(): WExpression {
-        return this;
-    }
-
-    public length(e: Emitter): number {
-        throw new EmitError(`WAddressHolder()`);
-    }
-
     public isPure(): boolean {
         return true;
     }
 
-    public dump(e: Emitter): void {
-        e.dump("===ADDRESS HOLDER===", this.location);
-    }
-
 }

src/codegen/class/class_specifier.ts

@@ -4,7 +4,7 @@ import {AddressType} from "../../common/symbol";
 import {getAccessControlFromString} from "../../type";
 import {ClassType, Inheritance} from "../../type/class_type";
 import {PrimitiveTypes} from "../../type/primitive_type";
-import {WGetAddress, WGetFunctionAddress, WMemoryLocation} from "../../wasm/expression";
+import {WGetAddress, WGetFunctionAddress, WMemoryLocation} from "../../wasm";
 import {WAddressHolder} from "../address";
 import {CompileContext} from "../context";
 import {Declaration} from "../declaration/declaration";

src/codegen/class/constructor_declaration.ts

@@ -6,7 +6,6 @@ import {ClassType} from "../../type/class_type";
 import {PointerType} from "../../type/compound_type";
 import {CppFunctionType, FunctionType} from "../../type/function_type";
 import {PrimitiveTypes} from "../../type/primitive_type";
-import {WGetAddress, WMemoryLocation} from "../../wasm/expression";
 import {CompileContext} from "../context";
 import {ObjectInitializer} from "../declaration/object_initializer";
 import {AnonymousCastExpression, AnonymousExpression} from "../expression/anonymous_expression";
@@ -25,6 +24,7 @@ import {CompoundStatement} from "../statement/compound_statement";
 import {ExpressionStatement} from "../statement/expression_statement";
 import {Statement} from "../statement/statement";
 import {MemberExpression} from "./member_expression";
+import {WGetAddress, WMemoryLocation} from "../../wasm";
 
 export class ConstructorDeclaration extends ClassDirective {
     public name: Identifier;
@@ -75,8 +75,9 @@ export class ConstructorDeclaration extends ClassDirective {
         const functionConfig = this.getFunctionConfig(ctx, classType, AccessControl.Unknown);
         if (this.body) {
             const body: Directive[] = [...this.generateStatements(ctx, functionConfig), ...this.body.body];
-            const oldItem = ctx.scopeManager.getOldOverloadSymbol(functionConfig.name
-                + "@" + functionConfig.functionType.toMangledName());
+            const oldItem = ctx.scopeManager.getOldOverloadSymbol(
+                ctx.scopeManager.currentContext.scope.fullName + "::" +
+                functionConfig.name + "@" + functionConfig.functionType.toMangledName());
             const activeScopes = (oldItem && oldItem instanceof FunctionEntity)
                 ? oldItem.declareActiveScopes : [];
             defineFunction(ctx, functionConfig, body, activeScopes, this);

src/codegen/class/member_expression.ts

@@ -72,7 +72,7 @@ export class MemberExpression extends Expression {
             }
             return {
                 type: new UnresolvedFunctionOverloadType(item),
-                expr: new WConst(WType.any, "0"),
+                expr: new WConst(WType.any, "0", this.location),
                 isLeft: false,
             };
         } else {