facebookarchive / clangir

Related projects ⓘ

Alternatives and complementary repositories for clangir

• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆386Updated this week
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆31Updated 3 years ago
• llvm / llvm-test-suite
  ☆162Updated this week
• trailofbits / vast
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆397Updated this week
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 4 months ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆125Updated 3 weeks ago
• llvm / vscode-mlir
  ☆51Updated 6 months ago
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆213Updated 4 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆134Updated 2 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆22Updated this week
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆162Updated 5 months ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆89Updated 4 months ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆375Updated this week
• intel / yarpgen
  Yet Another Random Program Generator
  ☆491Updated 3 months ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆246Updated 5 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆73Updated last week
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆52Updated 5 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆51Updated 2 years ago
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆26Updated 5 years ago
• nsumner / llvm-dataflow-analysis
  ☆62Updated 5 years ago
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆490Updated last month
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• lac-dcc / llvm-course
  Code examples used for the LAC LLVM course
  ☆123Updated 2 weeks ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆154Updated 3 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 3 weeks ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆17Updated this week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆98Updated 3 months ago
• PacktPublishing / LLVM-Techniques-Tips-and-Best-Practices-Clang-and-Middle-End-Libraries
  LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt
  ☆175Updated last year
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆123Updated 2 months ago