embecosm / gso2
GNU Superoptimizer Version 2
☆25Updated 3 years ago
Related projects: ⓘ
- Performance Counter Measurements at the cycle granularity☆17Updated 3 years ago
- The BERI and CHERI processor and hardware platform☆45Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- reverse engineering branch predictors☆17Updated 8 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Updated 5 years ago
- DExTer - Debug Experience Tester☆33Updated 2 years ago
- NOVA userland☆47Updated 10 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆107Updated 5 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆38Updated 7 years ago
- AST - Extractor for LLVM☆17Updated 3 years ago
- Fork of LLVM adding CHERI support☆46Updated last week
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- memTrace, a framework for lightweight memory tracing☆54Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- An x86-64 instruction decoder.☆15Updated 6 months ago
- code for examining determinism of performance counters☆20Updated 3 years ago
- K42 Kernel☆23Updated 12 years ago
- ☆13Updated 5 years ago
- Extensions for Eli Bendersky's pycparser☆82Updated last month
- A minimalistic and high-performance SAT solver☆25Updated last year
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- ALLVM Tools☆55Updated 2 years ago
- ☆23Updated 3 months ago
- Develop toolchain based on llvm to for Cpu0 processor☆47Updated 8 months ago
- Experimental results of the strata project☆9Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- ☆30Updated 2 years ago