isa-semantics

There are 0 repository under isa-semantics topic.

/ Hydride
A retargetable and extensible synthesis-based compiler for modern hardware architectures
compiler-construction compilers program-synthesis isa-semantics retargetability dsl halide high-performance llvm mlir instruction-selection vectorization automlir formal-semantics formal-verification
Language:LLVM 1