Feat compiler option verboseScope (for debug)

deleterium · Feb 17, 2024 · 156e0c1 · 156e0c1
1 parent 8f105c4
commit 156e0c1
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 3 deletions.
diff --git a/src/codeGenerator/codeGenerator.ts b/src/codeGenerator/codeGenerator.ts
@@ -51,7 +51,7 @@ export default function codeGenerator (Program: CONTRACT) {
         },
         startScope: function (scopeName: string) {
             this.scopedRegisters.push(scopeName)
-            if (Program.Config.verboseAssembly) {
+            if (Program.Config.verboseScope) {
                 this.printFreeRegisters()
             }
         },
@@ -68,7 +68,7 @@ export default function codeGenerator (Program: CONTRACT) {
                     motherMemory.asmName = ''
                 }
             } while (liberationNeeded !== scopeName)
-            if (Program.Config.verboseAssembly) {
+            if (Program.Config.verboseScope) {
                 this.printFreeRegisters()
             }
         }

diff --git a/src/shaper/shaper.ts b/src/shaper/shaper.ts
@@ -235,6 +235,9 @@ export default function shaper (Program: CONTRACT, tokenAST: TOKEN[]): void {
         case 'verboseAssembly':
             Program.Config.verboseAssembly = bool
             return true
+        case 'verboseScope':
+            Program.Config.verboseScope = bool
+            return true
         default:
             throw new Error(`At line: ${MacroToken.line}.` +
             ` Unknow macro property: '#${MacroToken.type} ${MacroToken.property}'.` +
@@ -531,6 +534,10 @@ export default function shaper (Program: CONTRACT, tokenAST: TOKEN[]): void {
             default:
                 if (CurrMem.toBeRegister) {
                     // do not allocate variables modified as register
+                    if (Program.Config.verboseAssembly) {
+                        // It will be needed by Simulator
+                        Program.Config.verboseScope = true
+                    }
                     return
                 }
                 CurrMem.address = memoryAddress

diff --git a/src/smartc.ts b/src/smartc.ts
@@ -66,7 +66,8 @@ export class SmartC {
             PUserStackPages: 0,
             PCodeStackPages: 0,
             PCodeHashId: '',
-            verboseAssembly: false
+            verboseAssembly: false,
+            verboseScope: false
         },
         warnings: []
     }

diff --git a/src/typings/contractTypes.ts b/src/typings/contractTypes.ts
@@ -33,6 +33,8 @@ export type SC_CONFIG = {
     PCodeHashId: string,
     /** Adds a comment in generated assembly code with source code line number and content */
     verboseAssembly: boolean,
+    /** Adds a comment when new scope start/ends with the free registers, and warns when one register is locked  */
+    verboseScope: boolean,
 }
 
 export type SC_MACRO = {