A retargetable and extensible synthesis-based compiler for modern hardware architectures
dsl high-performance llvm formal-semantics program-synthesis halide compilers vectorization formal-verification compiler-construction mlir isa-semantics retargetability instruction-selection automlir
-
Updated
Jan 6, 2025 - LLVM