@hackage llvm-pretty-bc-parser0.5.0.0
LLVM bitcode parsing library
Categories
License
BSD-3-Clause
Maintainer
Ryan Scott <rscott@galois.com> , Kevin Quick <kquick@galois.com> , Langston Barrett <langston@galois.com>
Links
Versions
Installation
Dependencies (11)
- array >=0.3
- base >=4.8 && <5
- binary >=0.8
- bytestring >=0.10
- containers >=0.4
- fgl >=5.5 Show all…
Dependents (3)
@hackage/acme-everything, @hackage/crucible-llvm, @hackage/crux-llvm
Package Flags
fuzz
(off by default)
Enable fuzzing harness
regressions
(off by default)
Enable regression testing build
llvm-pretty-bc-parser
A parser for the LLVM bitcode file format, yielding a Module from
the llvm-pretty package.
Compatibility
The following table shows what kinds of tests have been/are being run with which compilers.
- A check in the the randomized tests column indicates that such tests are regularly run in Github Actions.
- A check in the manual tests column indicates that the parser seems to work on some code that was generated by this compiler.
| Compiler | Version | Randomized tests | Manual tests | Notes |
|---|---|---|---|---|
clang |
v3.4 | ✓ | ||
| v3.5 | ✓ | |||
| v3.6 | ✓ | |||
| v3.7 | ✓ | |||
| v3.8 | ✓ | ✓ | ||
| v3.9 | ✓ | |||
| v4.0 | ✓ | |||
| v5.0 | ✓ | |||
| v6.0 | ✓ | ✓ | ||
| v7.0 | ✓ | |||
| v8.0 | ✓ | |||
| v9.0 | ✓ | |||
| v10.0 | ✓ | |||
| v11.0 | ✓ | |||
| v12.0 | ✓ | |||
| v13.0 | ✓ | See issues | ||
| v14.0 | ✓ | See issues | ||
| v15.0 | ✓ | See issues | ||
| v16.0 | ✓ | See issues | ||
clang++ |
v3.4 | |||
| v3.5 | ||||
| v3.6 | ||||
| v3.7 | ||||
| v3.8 | ||||
| v3.9 | ||||
| v4.0 | ||||
| v5.0 | ||||
| v6.0 | ||||
| v7.0 | ✓ | |||
| v8.0 |
If you encounter problems with the output of any compiler, please file an issue.
Documentation
Developers' documentation: doc/developing.md
GHC Support
llvm-pretty-bc-parser endeavors to support three versions of GHC at a time. See the developers' documentation for more details and a rationale: doc/developing.md. Currently supported:
- GHC 9.4.5
- GHC 9.6.2
- GHC 9.8.1