https://github.com/khaki3/acc-saturator
Equality Saturation Framework for Directive-Based GPU Code
https://github.com/khaki3/acc-saturator
compiler-optimization equality-saturation openacc openmp
Last synced: 10 months ago
JSON representation
Equality Saturation Framework for Directive-Based GPU Code
- Host: GitHub
- URL: https://github.com/khaki3/acc-saturator
- Owner: khaki3
- License: mit
- Created: 2023-04-16T23:47:08.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2024-09-11T14:01:52.000Z (over 1 year ago)
- Last Synced: 2024-09-11T22:56:51.289Z (over 1 year ago)
- Topics: compiler-optimization, equality-saturation, openacc, openmp
- Language: C
- Homepage:
- Size: 214 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## acc-saturator
Equality saturation for OpenACC/OpenMP in C.
## Requirements
* Racket (>= 8.4)
* Omni Compiler (>= 20220511)
* Rust (>= 1.60)
* COIN-OR Cbc (= 2.10.0)
Recent versions of Cbc do not provide `libCbcSolver.so`, which is required by egg. Only the version 2.10.0 is tested.
Also,
```
% raco pkg install sxml
```
## Usage
Wrap as below:
```
% accsat nvc ..
```