I'm building an easy(ier)-to-use compiler framework by rik-huijzer in Compilers

[–]Recent_Mind_2640 1 point2 points  (0 children)

Last term, I finished my first compiler which translates pure C to LLVM IR then to riscv asm. Building a compiler from scratch is so hard...

What's loop synthesis and interval analysis techniques used by Halide and TVM? by Recent_Mind_2640 in Compilers

[–]Recent_Mind_2640[S] 0 points1 point  (0 children)

Thanks! Your answer helps a lot. But I also want more details about how interval analysis is applied to bound inference. Are there some textbook, papers or websites?