Alternatives and similar repositories for dominators

Users that are interested in dominators are comparing it to the libraries listed below

• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆46Updated 3 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆38Updated 6 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• eliben / libjit-samples
  Code samples for using libjit
  ☆91Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆18Updated 8 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆145Updated 5 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆166Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆50Updated last week
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 10 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Updated 10 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 years ago