AOT Compilation, Shape Inference

[hikettei]

• AOT Compilation for Symbolic Ops
• Only enabled when AOT is set to 1 (in default disabled)
  • If the function was called with a backend which is unknown at the compilation time? -> switch to JIT
• AOT Shape Inference
• AVM.dumped (unnecessary information like variables, tensors, etc, is removed)
• Dump aIR (foreshadowing came together for implementing my own IR!)
  • Compiled aIR graph are only composed of number, symbol, and keyword. they can be dumped using make-load-form.
• Writing tests
• cffi objects are really dumped????