The Compiler...

src/compiler/compat-block-utility.js

@@ -1,13 +1,16 @@
+// @ts-check
+
 const BlockUtility = require('../engine/block-utility');
 
 class CompatibilityLayerBlockUtility extends BlockUtility {
     constructor () {
         super();
+        this._stackFrame = {};
         this._startedBranch = null;
     }
 
     get stackFrame () {
-        return this.thread.compatibilityStackFrame;
+        return this.thread?.compatibilityStackFrame;
     }
 
     startBranch (branchNumber, isLoop, onEnd) {

src/compiler/compat-blocks.js

@@ -6,14 +6,6 @@
 // Please keep these lists alphabetical.
 
 const stacked = [
-    // usb to do: compile these when working
-    'camera_movetoxy',
-    'camera_changebyxy',
-    'camera_setx',
-    'camera_changex',
-    'camera_sety',
-    'camera_changey',
-
     'looks_changestretchby',
     'looks_hideallsprites',
     'looks_say',
@@ -26,7 +18,6 @@
     'motion_glidesecstoxy',
     'motion_glideto',
     'motion_goto',
-    'motion_changebyxy',
     'motion_pointtowards',
     'motion_pointtowardsxy',
     'motion_scroll_right',
@@ -41,25 +32,26 @@
     'sound_seteffectto',
     'sound_setvolumeto',
     'sound_stopallsounds'
-];
-
-const inputs = [
+  ];
+  
+  const inputs = [
     'looks_effect',
     'motion_xscroll',
     'motion_yscroll',
     'sensing_loud',
     'sensing_loudness',
     'sensing_userid',
     'sound_volume',
-
+  
     'operator_letter_of',
     'string_item_split',
     'string_convert',
     'string_index_of',
     'string_ternary'
-];
-
-module.exports = {
+  ];
+  
+  module.exports = {
     stacked,
     inputs
-};
+  };
+

src/compiler/compile.js

@@ -1,14 +1,20 @@
+// @ts-check
+
 const {IRGenerator} = require('./irgen');
+const {IROptimizer} = require('./iroptimizer');
 const JSGenerator = require('./jsgen');
 
-const compile = thread => {
+const compile = (/** @type {import("../engine/thread")} */ thread) => {
     const irGenerator = new IRGenerator(thread);
     const ir = irGenerator.generate();
 
+    const irOptimizer = new IROptimizer(ir);
+    irOptimizer.optimize();
+
     const procedures = {};
     const target = thread.target;
 
-    const compileScript = script => {
+    const compileScript = (/** @type {import("./intermediate").IntermediateScript} */ script) => {
         if (script.cachedCompileResult) {
             return script.cachedCompileResult;
         }

src/compiler/enums.js

@@ -0,0 +1,211 @@
+// @ts-check
+
+/**
+ * @fileoverview Common enums shared amongst parts of the compiler.
+ */
+
+
+/**
+ * Enum for the type of the value that is returned by reporter blocks and stored in constants.
+ *
+ * At compile time, often we don't know exactly type a value will be but we can tell it must be one of a
+ * set of types. For this reason, the number value of each type represents a possibility space, where set
+ * bits indicate that their corropoding type *could* be encountered at runtime.
+ * For example, a type of InputType.NUMBER | InputType.STRING means the value will be either a number or
+ * a string at runtime, the compiler can't tell which, but we do know that it's not a boolean or NaN as
+ * those bits are not set.
+ *
+ * @readonly
+ * @enum {number}
+ */
+const InputType = {
+    /** The value Infinity */
+    NUMBER_POS_INF: 0x001,
+    /** Any natural number */
+    NUMBER_POS_INT: 0x002,
+    /** Any positive fractional number, excluding integers. */
+    NUMBER_POS_FRACT: 0x004,
+    /** Any positive number excluding 0 and Infinity. Equal to NUMBER_POS_INT | NUMBER_POS_FRACT */
+    NUMBER_POS_REAL: 0x006,
+    /** The value 0 */
+    NUMBER_ZERO: 0x008,
+    /** The value -0 */
+    NUMBER_NEG_ZERO: 0x010,
+    /** Any negitive integer excluding -0 */
+    NUMBER_NEG_INT: 0x020,
+    /** Any negitive fractional number, excluding integers. */
+    NUMBER_NEG_FRACT: 0x040,
+    /** Any negitive number excluding -0 and -Infinity. Equal to NUMBER_NEG_INT | NUMBER_NEG_FRACT */
+    NUMBER_NEG_REAL: 0x060,
+    /** The value -Infinity */
+    NUMBER_NEG_INF: 0x080,
+
+    /** The value NaN */
+    NUMBER_NAN: 0x100,
+
+    /** Either 0 or -0. Equal to NUMBER_ZERO | NUMBER_NEG_ZERO */
+    NUMBER_ANY_ZERO: 0x018,
+    /** Either Infinity or -Infinity. Equal to NUMBER_POS_INF | NUMBER_NEG_INF */
+    NUMBER_INF: 0x081,
+    /** Any positive number, excluding 0. Equal to NUMBER_POS_REAL | NUMBER_POS_INF */
+    NUMBER_POS: 0x007,
+    /** Any negitive number, excluding -0. Equal to NUMBER_NEG_REAL | NUMBER_NEG_INF */
+    NUMBER_NEG: 0x0E0,
+    /** Any whole number. Equal to NUMBER_POS_INT | NUMBER_ZERO */
+    NUMBER_WHOLE: 0x00A,
+    /** Any integer. Equal to NUMBER_POS_INT | NUMBER_ANY_ZERO | NUMBER_NEG_INT */
+    NUMBER_INT: 0x03A,
+    /** Any number that works as an array index. Equal to NUMBER_INT | NUMBER_INF | NUMBER_NAN */
+    NUMBER_INDEX: 0x1BB,
+    /** Any fractional non-integer numbers. Equal to NUMBER_POS_FRACT | NUMBER_NEG_FRACT */
+    NUMBER_FRACT: 0x44,
+    /** Any real number. Equal to NUMBER_POS_REAL | NUMBER_ANY_ZERO | NUMBER_NEG_REAL */
+    NUMBER_REAL: 0x07E,
+
+    /** Any number, excluding NaN. Equal to NUMBER_REAL | NUMBER_INF */
+    NUMBER: 0x0FF,
+    /** Any number, including NaN. Equal to NUMBER | NUMBER_NAN */
+    NUMBER_OR_NAN: 0x1FF,
+    /** Anything that can be interperated as a number. Equal to NUMBER | STRING_NUM | BOOLEAN */
+    NUMBER_INTERPRETABLE: 0x12FF,
+
+    /** Any string which as a non-NaN neumeric interpretation, excluding ''.  */
+    STRING_NUM: 0x200,
+    /** Any string which has no non-NaN neumeric interpretation, including ''. */
+    STRING_NAN: 0x400,
+    /** Either of the strings 'true' or 'false'. */
+    STRING_BOOLEAN: 0x800,
+
+    /** Any string. Equal to STRING_NUM | STRING_NAN | STRING_BOOLEAN */
+    STRING: 0xE00,
+
+    /** Any boolean. */
+    BOOLEAN: 0x1000,
+    /** Any input that can be interperated as a boolean. Equal to BOOLEAN | STRING_BOOLEAN */
+    BOOLEAN_INTERPRETABLE: 0x1800,
+
+    /** Any value type (a type a scratch variable can hold). Equal to NUMBER_OR_NAN | STRING | BOOLEAN */
+    ANY: 0x1FFF,
+
+    /** An array of values in the form [R, G, B] */
+    COLOR: 0x2000
+  };
+
+  /**
+  * Enum for the opcodes of the stackable blocks used in the IR AST.
+  * @readonly
+  * @enum {string}
+  */
+  const StackOpcode = {
+    NOP: 'noop',
+
+    ADDON_CALL: 'addons.call',
+    DEBUGGER: 'tw.debugger',
+    VISUAL_REPORT: 'visualReport',
+    COMPATIBILITY_LAYER: 'compat',
+
+    HAT_EDGE: 'hat.edge',
+    HAT_PREDICATE: 'hat.predicate',
+
+    CONTROL_IF_ELSE: 'control.if',
+    CONTROL_CLONE_CREATE: 'control.createClone',
+    CONTROL_CLONE_DELETE: 'control.deleteClone',
+    CONTROL_WHILE: 'control.while',
+    CONTROL_FOR: 'control.for',
+    CONTROL_REPEAT: 'control.repeat',
+    CONTROL_STOP_ALL: 'control.stopAll',
+    CONTROL_STOP_OTHERS: 'control.stopOthers',
+    CONTROL_STOP_SCRIPT: 'control.stopScript',
+    CONTROL_WAIT: 'control.wait',
+    CONTROL_WAIT_UNTIL: 'control.waitUntil',
+    CONTROL_CLEAR_COUNTER: 'control.counterClear',
+    CONTORL_INCR_COUNTER: 'control.counterIncr',
+
+    LIST_ADD: 'list.add',
+    LIST_INSERT: 'list.instert',
+    LIST_REPLACE: 'list.replace',
+    LIST_DELETE_ALL: 'list.deleteAll',
+    LIST_DELETE: 'list.delete',
+    LIST_SHOW: 'list.show',
+    LIST_HIDE: 'list.hide',
+
+    VAR_SET: 'var.set',
+    VAR_SHOW: 'var.show',
+    VAR_HIDE: 'var.hide',
+
+    EVENT_BROADCAST: 'event.broadcast',
+    EVENT_BROADCAST_AND_WAIT: 'event.broadcastAndWait',
+
+    LOOKS_EFFECT_SET: 'looks.setEffect',
+    LOOKS_EFFECT_CHANGE: 'looks.changeEffect',
+    LOOKS_EFFECT_CLEAR: 'looks.clearEffects',
+    LOOKS_SIZE_CHANGE: 'looks.changeSize',
+    LOOKS_SIZE_SET: 'looks.setSize',
+    LOOKS_LAYER_FORWARD: 'looks.forwardLayers',
+    LOOKS_LAYER_BACKWARD: 'looks.backwardLayers',
+    LOOKS_LAYER_FRONT: 'looks.goToFront',
+    LOOKS_LAYER_BACK: 'looks.goToBack',
+    LOOKS_HIDE: 'looks.hide',
+    LOOKS_SHOW: 'looks.show',
+    LOOKS_BACKDROP_NEXT: 'looks.nextBackdrop',
+    LOOKS_BACKDROP_SET: 'looks.switchBackdrop',
+    LOOKS_COSTUME_NEXT: 'looks.nextCostume',
+    LOOKS_COSTUME_SET: 'looks.switchCostume',
+
+    MOTION_X_SET: 'motion.setX',
+    MOTION_X_CHANGE: 'motion.changeX',
+    MOTION_Y_SET: 'motion.setY',
+    MOTION_Y_CHANGE: 'motion.changeY',
+    MOTION_XY_SET: 'motion.setXY',
+    MOTION_IF_ON_EDGE_BOUNCE: 'motion.ifOnEdgeBounce',
+    MOTION_STEP: 'motion.step',
+    MOTION_ROTATION_STYLE_SET: 'motion.setRotationStyle',
+    MOTION_DIRECTION_SET: 'motion.setDirection',
+
+    PEN_UP: 'pen.up',
+    PEN_DOWN: 'pen.down',
+    PEN_CLEAR: 'pen.clear',
+    PEN_COLOR_PARAM_SET: 'pen.setParam',
+    PEN_COLOR_PARAM_CHANGE: 'pen.changeParam',
+    PEN_COLOR_HUE_CHANGE_LEGACY: 'pen.legacyChangeHue',
+    PEN_COLOR_HUE_SET_LEGACY: 'pen_setPenHueToNumber',
+    PEN_COLOR_SHADE_CHANGE_LEGACY: 'pen.legacyChangeShade',
+    PEN_COLOR_SHADE_SET_LEGACY: 'pen.legacySetShade',
+    PEN_COLOR_SET: 'pen.setColor',
+    PEN_SIZE_SET: 'pen.setSize',
+    PEN_SIZE_CHANGE: 'pen.changeSize',
+    PEN_STAMP: 'pen.stamp',
+
+    SENSING_TIMER_RESET: 'timer.reset',
+
+    PROCEDURE_RETURN: 'procedures.return',
+    PROCEDURE_CALL: 'procedures.call'
+  };
+
+  /**
+  * Enum for the opcodes of the reporter blocks used in the IR AST.
+  * @readonly
+  * @enum {string}
+  */
+  const InputOpcode = {
+    NOP: 'noop',
+
+    ADDON_CALL: 'addons.call',
+    CONSTANT: 'constant',
+
+    CAST_NUMBER: 'cast.toNumber',
+    CAST_NUMBER_INDEX: 'cast.toInteger',
+    CAST_NUMBER_OR_NAN: 'cast.toNumberOrNaN',
+    CAST_STRING: 'cast.toString',
+    CAST_BOOLEAN: 'cast.toBoolean',
+    CAST_COLOR: 'cast.toColor',
+
+    COMPATIBILITY_LAYER: 'compat',
+  };
+
+  module.exports = {
+    StackOpcode,
+    InputOpcode,
+    InputType
+  };
+

src/compiler/environment.js

@@ -1,3 +1,4 @@
+// @ts-check
 /* eslint-disable no-eval */
 
 /**