Skip to content

Commit

Permalink
CSE Machine: Avoid pushing unnecessary env instructions (exhaustive v…
Browse files Browse the repository at this point in the history 
…ersion) (#1706)

* check if env instruction is necessary

* Add test cases

* Implement helper functions

* Fix format

* Cache isEnvDependent results

* Delete unnecessary comments

* Speed up env dependent checking, approach 2

* merge

* Implement exhaustive environment depedent logic 1

* Modify test cases

* resolve conflict

* fix format

* remove obsolete test cases

* Fix equality check

* Clean up and add a test case

* remove incompatible instr checks

* Double checked the logic

* Fix format

* Remove unused logic and update test cases

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
  • Loading branch information
@DiligentPenguinn @martin-henz
DiligentPenguinn and martin-henz authored Sep 11, 2024
1 parent d3c1191 commit 56d8d6b
Show file tree
Hide file tree
Showing 8 changed files with 3,109 additions and 3,035 deletions.
2 changes: 1 addition & 1 deletion src/alt-langs/scheme/scm-slang
Submodule scm-slang updated 29 files
+0 −2 .prettierignore
+0 −24 .prettierrc
+15 −9 package.json
+1 −1 src/compile-libs.ts
+5 −5 src/index.ts
+18 −18 src/stdlib/__tests__/base.ts
+6 −6 src/stdlib/__tests__/core-math.ts
+27 −27 src/stdlib/base.ts
+63 −61 src/stdlib/core-math.ts
+9 −9 src/stdlib/old/scheme-base.ts
+13 −13 src/stdlib/old/scheme-list.ts
+1 −1 src/transpiler/index.ts
+4 −4 src/transpiler/lexer/scheme-lexer.ts
+129 −129 src/transpiler/parser/__tests__/scheme-parser.ts
+6 −6 src/transpiler/parser/parser-error.ts
+92 −92 src/transpiler/parser/scheme-parser.ts
+2 −2 src/transpiler/types/location.ts
+9 −9 src/transpiler/types/nodes/scheme-node-types.ts
+1 −1 src/transpiler/types/tokens/__tests__/group.ts
+2 −2 src/transpiler/types/tokens/group.ts
+6 −6 src/transpiler/types/tokens/token.ts
+7 −7 src/transpiler/visitors/printer.ts
+19 −19 src/transpiler/visitors/redefiner.ts
+17 −17 src/transpiler/visitors/simplifier.ts
+37 −37 src/transpiler/visitors/transpiler.ts
+14 −14 src/utils/estree-nodes.ts
+1 −1 src/utils/reverse_parser.ts
+2 −2 tsconfig.json
+605 −986 yarn.lock
12 changes: 6 additions & 6 deletions src/cse-machine/__tests__/__snapshots__/cse-machine-heap.ts.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7467,7 +7467,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down Expand Up @@ -8313,7 +8313,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down Expand Up @@ -9258,7 +9258,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down Expand Up @@ -10222,7 +10222,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down Expand Up @@ -10976,7 +10976,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down Expand Up @@ -11229,7 +11229,7 @@ EnvTree {
"type": "Literal",
"value": [Function],
},
"isEnvDependent": true,
"isEnvDependent": false,
"loc": undefined,
"optional": false,
"type": "CallExpression",
Expand Down
Loading

0 comments on commit 56d8d6b

Please sign in to comment.