!include #1003139 // Assembly Machine

sclass HighLevel {
  Grid g;
  int pc, startAddress;
  new Map<S, Int> vars;
  
  *(Grid *g, int *pc) { startAddress = pc; }
  *(int *pc) { startAddress = pc; g = new Grid; }
  
  void emit(int... blubb) {
    g.set(pc, blubb);
    pc += l(blubb);
  }
  
  int newvar() {
    emit(op_jump_rel, 3);
    int addr = pc;
    emit(0);
    ret addr;
  }
  
  int getvar(S name) {
    Int bla = vars.get(name);
    if (bla == null)
      vars.put(name, bla = newvar());
    ret bla;
  }
  
  // for (; i < to; i++) (to = im value)
  class ForIm {
    int var, loop, patch;
    
    *(int *var, int to) {
      loop = pc;
      emit(op_less_im, var, to);
      patch = patch(op_branchifnot);
    }
  
    void end() {
      emit(op_add_im, var, 1);
      emit(op_jump, loop);
      g.set(patch, pc);
    }
  }
  
  int patch(int opcode) {
    emit(opcode, 0);
    ret pc-1;
  }
  
  int[] getProgram() {
    ret g.getRange(startAddress, g.lastNonZero()+1);
  }
  
  void set(int x, S val) {
    set(str(x), val);
  }
  
  int getaddr() {
  }
  
  void set(S x, S val) {
    if (isInteger(val))
      
        emit(op_set, parseInt(val), if (isInteger(x)) ?parseInt(x));
      else
        emit(op_set, parseInt(val), getvar(x));
    else if (isIdentifier(val))
      if (isInteger(x))
        emit(op_copy, getvar(val), x);
    else
      fail(val);
  }
  
  void swap(S a, S b) {
    assertTrue(isIdentifier(a) && isIdentifier(b));
    set("temp", a);
    set(a, b);
    set(b, "temp");
  }
}