Compiler Design Lab - Saarland University

rv

RV: A Unified Region Vectorizer for LLVM

axtor

AST - Extractor for LLVM

pmevo-artifact

PLDI'20 Research Artifact for the PMEvo Project

pmtestbench

Code development and artifact for our port mapping inference approaches

AnICA

Analyzing Inconsistencies of Code Analyzers

CGO17_ArtifactEvaluation

Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization

iwho

Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.

MemInstrument

A framework to make C memory safe

PolyhedralExpressionPropagation

Polyhedral Expression Propagation as described by the Compiler Consturction (CC) paper 2018.

MemInstrument-Runtime

C runtime component for MemInstrument

vplan-rv

AnICA-Artifact

Vagrant VM config for the AnICA aritfact eval

AnICA-UI

A user interface to work with the results of AnICA.

llvm-aurora-dev

llvm cloned from https://github.com/llvm-mirror/llvm and modified for VE

llvm-vp

Vector Predication extension for LLVM

llvm_demystified

Material for "LLVM Demystified: A Hands-On Workshop for HPC Developers"

uniana

uniana-artifact

POPL'21 Research Artifact

llvm_dsl

Material for "Build your own DSL using LLVM: A Hands-on Workshop"

noise

sleef

RV-adjusted version of the "SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT"

spolly

vellvm

The Vellvm (Verified LLVM) coq development.