Geof23 / Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
☆33Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Gklee
- CERE: Codelet Extractor and REplayer☆41Updated last year
- ☆31Updated last year
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆135Updated 3 years ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- ☆19Updated 5 months ago
- Interprocedural Basic Block Code Layout Optimization☆18Updated 5 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated 9 months ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆23Updated 2 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 9 years ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆94Updated 6 months ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆25Updated 5 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- ☆62Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- ☆27Updated last year
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆100Updated 2 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆98Updated last year
- ☆35Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆42Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernels☆58Updated 2 years ago
- A CUDA compiler fuzzer☆22Updated last year
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- ☆34Updated 2 years ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆15Updated last year
- ☆15Updated 5 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆46Updated 10 months ago
- ☆48Updated 2 years ago