instruction-selection

There are 0 repository under instruction-selection topic.

• / Hydride

  A retargetable and extensible synthesis-based compiler for modern hardware architectures

  compiler-constructioncompilersprogram-synthesisisa-semanticsretargetabilitydslhalidehigh-performancellvmmlirinstruction-selectionvectorizationautomlirformal-semanticsformal-verification
  Language:LLVM 1

• / burg

  The source code of the paper: BURG - fast optimal instruction selection and tree parsing, with some minor modifications.

  code-generatorcompilerinstruction-selection
  Language:C