embecosm / gso2Links
GNU Superoptimizer Version 2
☆26Updated 4 years ago
Alternatives and similar repositories for gso2
Users that are interested in gso2 are comparing it to the libraries listed below
Sorting:
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Updated 6 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- ☆33Updated last year
- Performance Counter Measurements at the cycle granularity☆18Updated 4 years ago
- CCG is a random C Code Generator☆44Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆34Updated 7 years ago
- COATCheck☆13Updated 6 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- Fork of LLVM adding CHERI support☆57Updated 2 weeks ago
- Develop toolchain based on llvm to for Cpu0 processor☆49Updated 2 weeks ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
- Efficient Path Profiling using LLVM☆18Updated 7 years ago
- CPU Ultimate Latency Test.☆111Updated last month
- Liveness-driven random C code generator☆42Updated 2 months ago
- custom type systems for Clang☆96Updated 10 years ago
- firrtlator is a FIRRTL C++ library☆23Updated 8 years ago
- rmem public repo☆48Updated 5 months ago
- Reviving the old comp-arch.net wiki?☆18Updated 2 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆134Updated 5 years ago
- ☆40Updated 3 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago