CIR Playground

// @bf() macro that uses CirQ/CirAQ quote-antiquote library
#include <cir.h>
#include <cirq.h>
#include <stdio.h>

static CirCodeId
bf(const char *code)
{
  return @CirQ(({
    char mem[3000];
    char *ptr = mem;
    memset(mem, 0, 3000);

@CirAQ(({
      CirStmtId jumpStack[100];
      unsigned jumpStackLen = 0;
      CirCodeId outCodeId = CirCode_ofExpr(NULL);

while (*code) {
        char c = *code;
        int count;
        if (c == '>') {
          for (count = 0; *code == '>'; count = count + 1, code = code + 1);
          CirCode_append(outCodeId, @CirQ(ptr = ptr + @CirAQ(count)));
        } else if (c == '<') {
          for (count = 0; *code == '<'; count = count + 1, code = code + 1);
          CirCode_append(outCodeId, @CirQ(ptr = ptr - @CirAQ(count)));
        } else if (c == '+') {
          for (count = 0; *code == '+'; count = count + 1, code = code + 1);
          CirCode_append(outCodeId, @CirQ(*ptr = *ptr + @CirAQ(count)));
        } else if (c == '-') {
          for (count = 0; *code == '-'; count = count + 1, code = code + 1);
          CirCode_append(outCodeId, @CirQ(*ptr = *ptr - @CirAQ(count)));
        } else if (c == '.') {
          CirCode_append(outCodeId, @CirQ(putchar(*ptr)));
          code = code + 1;
        } else if (c == ',') {
          CirCode_append(outCodeId, @CirQ(*ptr = getchar()));
          code = code + 1;
        } else if (c == '[') {
          // Cmp (we don't know jump target yet)
          CirStmtId stmtId = CirCode_appendNewStmt(outCodeId);
          CirStmt_toCmp(stmtId, CIR_CONDOP_EQ, @CirM_value(*ptr), @CirM_value(0), 0);
          jumpStack[jumpStackLen++] = stmtId;
          ++code;
        } else if (c == ']') {
          // Backpatch
          CirStmtId targetJump = jumpStack[--jumpStackLen];
          CirStmtId stmtId = CirCode_appendNewStmt(outCodeId);
          CirStmt_toGoto(stmtId, targetJump);
          stmtId = CirCode_appendNewStmt(outCodeId);
          CirStmt_setJumpTarget(targetJump, stmtId);
          ++code;
        } else {
          ++code;
        }
      }

outCodeId;
    }));
  }));
}

int main(void) {
  // Hello World
  @bf("++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++.");
  return 0;
}