├── .github └── workflows │ ├── build.yml │ ├── llvm-quick-fuzz.yml │ └── nix-ci.yml ├── .gitignore ├── .gitmodules ├── CHANGELOG.md ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── disasm-test ├── .gitignore ├── Instances.hs ├── Main.hs ├── README.md ├── bc_src_tests │ ├── README.md │ ├── apple-llvm.bc │ ├── apple-llvm.ll │ ├── fn-data-layout.bc │ ├── fn-data-layout.ll │ ├── hello-world.bc │ └── hello-world.ll ├── cpp │ ├── .gitignore │ ├── README.md │ ├── atomicrmw.cpp │ ├── atomicrmw.ll │ ├── atomicrmw.nix │ ├── generate.sh │ ├── iostream.cpp │ ├── iostream.ll │ ├── libcxxbc.nix │ ├── merge.ll │ ├── return0.cpp │ ├── return0.ll │ ├── templates.cpp │ ├── templates.h │ └── templates.ll ├── failing │ ├── global.ll │ └── metadata.ll ├── known_bugs │ ├── README.md │ └── pr247 ├── llvm-tests │ ├── .gitignore │ ├── LICENSE │ ├── README.md │ ├── cfi-eof-prologue.new.ll │ ├── cfi-eof-prologue.old.ll │ └── mdnodes-distinct-nodes-first.ll └── tests │ ├── T189.c │ ├── T189.ll │ ├── T258.c │ ├── T258.ll │ ├── T258.pre-llvm17.ll │ ├── T266-constant-icmp.ll │ ├── T266-constant-icmp.pre-llvm15.ll │ ├── T266-constant-icmp.pre-llvm19.ll │ ├── anon-forward-ref.ll │ ├── atomicrmw-faddsub.ll │ ├── atomicrmw-faddsub.pre-llvm9.ll │ ├── atomicrmw-fmaxmin.ll │ ├── atomicrmw-fmaxmin.pre-llvm15.ll │ ├── atomicrmw-uincdecwrap.ll │ ├── atomicrmw-uincdecwrap.pre-llvm16.ll │ ├── atomicrmw.ll │ ├── btf-tag-dicompositetype.ll │ ├── btf-tag-dicompositetype.pre-llvm14.ll │ ├── btf-tag-diderivedtype.ll │ ├── btf-tag-diderivedtype.pre-llvm14.ll │ ├── btf-tag-diglobalvariable.ll │ ├── btf-tag-diglobalvariable.pre-llvm14.ll │ ├── btf-tag-dilocalvariable.ll │ ├── btf-tag-dilocalvariable.pre-llvm14.ll │ ├── btf-tag-disubprogram.ll │ ├── btf-tag-disubprogram.pre-llvm14.ll │ ├── callbr.c │ ├── callbr.ll │ ├── callbr.pre-llvm15.ll │ ├── cmpxchg.c │ ├── cmpxchg.ll │ ├── derivedtype.c │ ├── derivedtype.ll │ ├── di-arg-list.c │ ├── di-arg-list.ll │ ├── di-arg-list.pre-llvm13.ll │ ├── diderivedtype-address-space.at-least-llvm14.ll │ ├── dilocalvariable.ll │ ├── dilocalvariable.pre-llvm14.ll │ ├── factorial2.ll │ ├── fcmp-fast-math.ll │ ├── fn-metadata.ll │ ├── fneg.ll │ ├── fun-attrs.ll │ ├── global-array.ll │ ├── global-var-extern.c │ ├── global-var-extern.ll │ ├── global-var.c │ ├── global-var.ll │ ├── half-float.ll │ ├── hello-world.ll │ ├── icmp-samesign.ll │ ├── icmp-samesign.pre-llvm20.ll │ ├── inrange_arg.post-llvm18.ll │ ├── inrange_arg.pre-llvm19.ll │ ├── insertelt.ll │ ├── instrmd.ll │ ├── localstatic.c │ ├── localstatic.ll │ ├── mutual-struct-rec.ll │ ├── opaque-atomicrmw-uincdecwrap.ll │ ├── opaque-atomicrmw-uincdecwrap.pre-llvm16.ll │ ├── opaque-atomicrmw.ll │ ├── opaque-atomicrmw.pre-llvm15.ll │ ├── opaque-call.ll │ ├── opaque-call.pre-llvm15.ll │ ├── opaque-constant-getelementptr.ll │ ├── opaque-constant-getelementptr.pre-llvm15.ll │ ├── opaque-getelementptr.ll │ ├── opaque-getelementptr.pre-llvm15.ll │ ├── p0.c │ ├── p0.ll │ ├── phi-anon.ll │ ├── poison.ll │ ├── poison.pre-llvm12.ll │ ├── simple-metadata.ll │ ├── simple-res.ll │ ├── smallprog.c │ ├── smallprog.ll │ ├── struct-initializer.ll │ ├── switch-big-value.ll │ ├── switch-same-target.ll │ ├── switch-simple.ll │ ├── switch.ll │ ├── trunc-nuw-nsw.ll │ ├── trunc-nuw-nsw.pre-llvm20.ll │ ├── uitofp-nneg.ll │ ├── uitofp-nneg.pre-llvm19.ll │ ├── zext-nneg.ll │ └── zext-nneg.pre-llvm18.ll ├── doc └── developing.md ├── examples ├── .gitignore ├── Factorial.hs ├── Makefile └── test.c ├── flake.lock ├── flake.nix ├── fuzzing ├── .gitignore ├── Dockerfile ├── Main.hs ├── README.md ├── fuzz-docker.sh ├── fuzz.sh ├── reduce.sh └── shell.nix ├── llvm-disasm └── LLVMDis.hs ├── llvm-pretty-bc-parser.cabal ├── regression-test ├── Main.hs └── README.md ├── src └── Data │ └── LLVM │ ├── BitCode.hs │ ├── BitCode │ ├── Assert.hs │ ├── BitString.hs │ ├── Bitstream.hs │ ├── GetBits.hs │ ├── IR.hs │ ├── IR │ │ ├── Attrs.hs │ │ ├── Blocks.hs │ │ ├── Constants.hs │ │ ├── Function.hs │ │ ├── Globals.hs │ │ ├── Metadata.hs │ │ ├── Module.hs │ │ ├── Types.hs │ │ └── Values.hs │ ├── Match.hs │ ├── Parse.hs │ └── Record.hs │ ├── CFG.hs │ └── Internal.hs └── unit-test ├── Main.hs └── Tests ├── ExpressionInstances.hs ├── FuncDataInstances.hs ├── Instances.hs ├── Metadata.hs ├── PrimInstances.hs ├── StmtInstances.hs └── TripleInstances.hs /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/llvm-quick-fuzz.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/.github/workflows/llvm-quick-fuzz.yml -------------------------------------------------------------------------------- /.github/workflows/nix-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/.github/workflows/nix-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/.gitmodules -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/cabal.project -------------------------------------------------------------------------------- /disasm-test/.gitignore: -------------------------------------------------------------------------------- 1 | ghc 2 | runtest 3 | -------------------------------------------------------------------------------- /disasm-test/Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/Instances.hs -------------------------------------------------------------------------------- /disasm-test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/Main.hs -------------------------------------------------------------------------------- /disasm-test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/README.md -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/README.md -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/apple-llvm.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/apple-llvm.bc -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/apple-llvm.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/apple-llvm.ll -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/fn-data-layout.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/fn-data-layout.bc -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/fn-data-layout.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/fn-data-layout.ll -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/hello-world.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/hello-world.bc -------------------------------------------------------------------------------- /disasm-test/bc_src_tests/hello-world.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/bc_src_tests/hello-world.ll -------------------------------------------------------------------------------- /disasm-test/cpp/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.xml -------------------------------------------------------------------------------- /disasm-test/cpp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/README.md -------------------------------------------------------------------------------- /disasm-test/cpp/atomicrmw.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/atomicrmw.cpp -------------------------------------------------------------------------------- /disasm-test/cpp/atomicrmw.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/atomicrmw.ll -------------------------------------------------------------------------------- /disasm-test/cpp/atomicrmw.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/atomicrmw.nix -------------------------------------------------------------------------------- /disasm-test/cpp/generate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/generate.sh -------------------------------------------------------------------------------- /disasm-test/cpp/iostream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/iostream.cpp -------------------------------------------------------------------------------- /disasm-test/cpp/iostream.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/iostream.ll -------------------------------------------------------------------------------- /disasm-test/cpp/libcxxbc.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/libcxxbc.nix -------------------------------------------------------------------------------- /disasm-test/cpp/merge.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/merge.ll -------------------------------------------------------------------------------- /disasm-test/cpp/return0.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/return0.cpp -------------------------------------------------------------------------------- /disasm-test/cpp/return0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/return0.ll -------------------------------------------------------------------------------- /disasm-test/cpp/templates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/templates.cpp -------------------------------------------------------------------------------- /disasm-test/cpp/templates.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/templates.h -------------------------------------------------------------------------------- /disasm-test/cpp/templates.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/cpp/templates.ll -------------------------------------------------------------------------------- /disasm-test/failing/global.ll: -------------------------------------------------------------------------------- 1 | @value = global i32 10 2 | -------------------------------------------------------------------------------- /disasm-test/failing/metadata.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/failing/metadata.ll -------------------------------------------------------------------------------- /disasm-test/known_bugs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/known_bugs/README.md -------------------------------------------------------------------------------- /disasm-test/known_bugs/pr247: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/known_bugs/pr247 -------------------------------------------------------------------------------- /disasm-test/llvm-tests/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc -------------------------------------------------------------------------------- /disasm-test/llvm-tests/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/llvm-tests/LICENSE -------------------------------------------------------------------------------- /disasm-test/llvm-tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/llvm-tests/README.md -------------------------------------------------------------------------------- /disasm-test/llvm-tests/cfi-eof-prologue.new.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/llvm-tests/cfi-eof-prologue.new.ll -------------------------------------------------------------------------------- /disasm-test/llvm-tests/cfi-eof-prologue.old.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/llvm-tests/cfi-eof-prologue.old.ll -------------------------------------------------------------------------------- /disasm-test/llvm-tests/mdnodes-distinct-nodes-first.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/llvm-tests/mdnodes-distinct-nodes-first.ll -------------------------------------------------------------------------------- /disasm-test/tests/T189.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T189.c -------------------------------------------------------------------------------- /disasm-test/tests/T189.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T189.ll -------------------------------------------------------------------------------- /disasm-test/tests/T258.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T258.c -------------------------------------------------------------------------------- /disasm-test/tests/T258.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T258.ll -------------------------------------------------------------------------------- /disasm-test/tests/T258.pre-llvm17.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T258.pre-llvm17.ll -------------------------------------------------------------------------------- /disasm-test/tests/T266-constant-icmp.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST icmp constexprs are no longer supported as of llvm-19 2 | -------------------------------------------------------------------------------- /disasm-test/tests/T266-constant-icmp.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T266-constant-icmp.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/T266-constant-icmp.pre-llvm19.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/T266-constant-icmp.pre-llvm19.ll -------------------------------------------------------------------------------- /disasm-test/tests/anon-forward-ref.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/anon-forward-ref.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-faddsub.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-faddsub.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-faddsub.pre-llvm9.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-faddsub.pre-llvm9.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-fmaxmin.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-fmaxmin.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-fmaxmin.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-fmaxmin.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-uincdecwrap.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-uincdecwrap.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw-uincdecwrap.pre-llvm16.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw-uincdecwrap.pre-llvm16.ll -------------------------------------------------------------------------------- /disasm-test/tests/atomicrmw.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/atomicrmw.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-dicompositetype.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/btf-tag-dicompositetype.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-dicompositetype.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-diderivedtype.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/btf-tag-diderivedtype.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-diderivedtype.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-diglobalvariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/btf-tag-diglobalvariable.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-diglobalvariable.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-dilocalvariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/btf-tag-dilocalvariable.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-dilocalvariable.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-disubprogram.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/btf-tag-disubprogram.ll -------------------------------------------------------------------------------- /disasm-test/tests/btf-tag-disubprogram.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/callbr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/callbr.c -------------------------------------------------------------------------------- /disasm-test/tests/callbr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/callbr.ll -------------------------------------------------------------------------------- /disasm-test/tests/callbr.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/callbr.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/cmpxchg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/cmpxchg.c -------------------------------------------------------------------------------- /disasm-test/tests/cmpxchg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/cmpxchg.ll -------------------------------------------------------------------------------- /disasm-test/tests/derivedtype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/derivedtype.c -------------------------------------------------------------------------------- /disasm-test/tests/derivedtype.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/derivedtype.ll -------------------------------------------------------------------------------- /disasm-test/tests/di-arg-list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/di-arg-list.c -------------------------------------------------------------------------------- /disasm-test/tests/di-arg-list.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/di-arg-list.ll -------------------------------------------------------------------------------- /disasm-test/tests/di-arg-list.pre-llvm13.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/diderivedtype-address-space.at-least-llvm14.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/diderivedtype-address-space.at-least-llvm14.ll -------------------------------------------------------------------------------- /disasm-test/tests/dilocalvariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/dilocalvariable.ll -------------------------------------------------------------------------------- /disasm-test/tests/dilocalvariable.pre-llvm14.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/factorial2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/factorial2.ll -------------------------------------------------------------------------------- /disasm-test/tests/fcmp-fast-math.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/fcmp-fast-math.ll -------------------------------------------------------------------------------- /disasm-test/tests/fn-metadata.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/fn-metadata.ll -------------------------------------------------------------------------------- /disasm-test/tests/fneg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/fneg.ll -------------------------------------------------------------------------------- /disasm-test/tests/fun-attrs.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/fun-attrs.ll -------------------------------------------------------------------------------- /disasm-test/tests/global-array.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/global-array.ll -------------------------------------------------------------------------------- /disasm-test/tests/global-var-extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/global-var-extern.c -------------------------------------------------------------------------------- /disasm-test/tests/global-var-extern.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/global-var-extern.ll -------------------------------------------------------------------------------- /disasm-test/tests/global-var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/global-var.c -------------------------------------------------------------------------------- /disasm-test/tests/global-var.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/global-var.ll -------------------------------------------------------------------------------- /disasm-test/tests/half-float.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/half-float.ll -------------------------------------------------------------------------------- /disasm-test/tests/hello-world.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/hello-world.ll -------------------------------------------------------------------------------- /disasm-test/tests/icmp-samesign.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/icmp-samesign.ll -------------------------------------------------------------------------------- /disasm-test/tests/icmp-samesign.pre-llvm20.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/icmp-samesign.pre-llvm20.ll -------------------------------------------------------------------------------- /disasm-test/tests/inrange_arg.post-llvm18.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/inrange_arg.post-llvm18.ll -------------------------------------------------------------------------------- /disasm-test/tests/inrange_arg.pre-llvm19.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/inrange_arg.pre-llvm19.ll -------------------------------------------------------------------------------- /disasm-test/tests/insertelt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/insertelt.ll -------------------------------------------------------------------------------- /disasm-test/tests/instrmd.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/instrmd.ll -------------------------------------------------------------------------------- /disasm-test/tests/localstatic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/localstatic.c -------------------------------------------------------------------------------- /disasm-test/tests/localstatic.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/localstatic.ll -------------------------------------------------------------------------------- /disasm-test/tests/mutual-struct-rec.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/mutual-struct-rec.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-atomicrmw-uincdecwrap.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-atomicrmw-uincdecwrap.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-atomicrmw-uincdecwrap.pre-llvm16.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-atomicrmw-uincdecwrap.pre-llvm16.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-atomicrmw.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-atomicrmw.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-atomicrmw.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-atomicrmw.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-call.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-call.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-call.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-call.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-constant-getelementptr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-constant-getelementptr.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-constant-getelementptr.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-constant-getelementptr.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-getelementptr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-getelementptr.ll -------------------------------------------------------------------------------- /disasm-test/tests/opaque-getelementptr.pre-llvm15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/opaque-getelementptr.pre-llvm15.ll -------------------------------------------------------------------------------- /disasm-test/tests/p0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/p0.c -------------------------------------------------------------------------------- /disasm-test/tests/p0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/p0.ll -------------------------------------------------------------------------------- /disasm-test/tests/phi-anon.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/phi-anon.ll -------------------------------------------------------------------------------- /disasm-test/tests/poison.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/poison.ll -------------------------------------------------------------------------------- /disasm-test/tests/poison.pre-llvm12.ll: -------------------------------------------------------------------------------- 1 | SKIP_TEST 2 | -------------------------------------------------------------------------------- /disasm-test/tests/simple-metadata.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/simple-metadata.ll -------------------------------------------------------------------------------- /disasm-test/tests/simple-res.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/simple-res.ll -------------------------------------------------------------------------------- /disasm-test/tests/smallprog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/smallprog.c -------------------------------------------------------------------------------- /disasm-test/tests/smallprog.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/smallprog.ll -------------------------------------------------------------------------------- /disasm-test/tests/struct-initializer.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/struct-initializer.ll -------------------------------------------------------------------------------- /disasm-test/tests/switch-big-value.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/switch-big-value.ll -------------------------------------------------------------------------------- /disasm-test/tests/switch-same-target.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/switch-same-target.ll -------------------------------------------------------------------------------- /disasm-test/tests/switch-simple.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/switch-simple.ll -------------------------------------------------------------------------------- /disasm-test/tests/switch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/switch.ll -------------------------------------------------------------------------------- /disasm-test/tests/trunc-nuw-nsw.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/trunc-nuw-nsw.ll -------------------------------------------------------------------------------- /disasm-test/tests/trunc-nuw-nsw.pre-llvm20.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/trunc-nuw-nsw.pre-llvm20.ll -------------------------------------------------------------------------------- /disasm-test/tests/uitofp-nneg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/uitofp-nneg.ll -------------------------------------------------------------------------------- /disasm-test/tests/uitofp-nneg.pre-llvm19.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/uitofp-nneg.pre-llvm19.ll -------------------------------------------------------------------------------- /disasm-test/tests/zext-nneg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/zext-nneg.ll -------------------------------------------------------------------------------- /disasm-test/tests/zext-nneg.pre-llvm18.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/disasm-test/tests/zext-nneg.pre-llvm18.ll -------------------------------------------------------------------------------- /doc/developing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/doc/developing.md -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | *.ll 3 | *.bc 4 | -------------------------------------------------------------------------------- /examples/Factorial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/examples/Factorial.hs -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/examples/test.c -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/flake.nix -------------------------------------------------------------------------------- /fuzzing/.gitignore: -------------------------------------------------------------------------------- 1 | fuzz-results/ -------------------------------------------------------------------------------- /fuzzing/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/Dockerfile -------------------------------------------------------------------------------- /fuzzing/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/Main.hs -------------------------------------------------------------------------------- /fuzzing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/README.md -------------------------------------------------------------------------------- /fuzzing/fuzz-docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/fuzz-docker.sh -------------------------------------------------------------------------------- /fuzzing/fuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/fuzz.sh -------------------------------------------------------------------------------- /fuzzing/reduce.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/reduce.sh -------------------------------------------------------------------------------- /fuzzing/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/fuzzing/shell.nix -------------------------------------------------------------------------------- /llvm-disasm/LLVMDis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/llvm-disasm/LLVMDis.hs -------------------------------------------------------------------------------- /llvm-pretty-bc-parser.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/llvm-pretty-bc-parser.cabal -------------------------------------------------------------------------------- /regression-test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/regression-test/Main.hs -------------------------------------------------------------------------------- /regression-test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/regression-test/README.md -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/Assert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/Assert.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/BitString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/BitString.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/Bitstream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/Bitstream.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/GetBits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/GetBits.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Attrs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Attrs.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Blocks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Blocks.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Constants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Constants.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Function.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Globals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Globals.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Metadata.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Module.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Types.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/IR/Values.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/IR/Values.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/Match.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/Match.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/Parse.hs -------------------------------------------------------------------------------- /src/Data/LLVM/BitCode/Record.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/BitCode/Record.hs -------------------------------------------------------------------------------- /src/Data/LLVM/CFG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/CFG.hs -------------------------------------------------------------------------------- /src/Data/LLVM/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/src/Data/LLVM/Internal.hs -------------------------------------------------------------------------------- /unit-test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Main.hs -------------------------------------------------------------------------------- /unit-test/Tests/ExpressionInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/ExpressionInstances.hs -------------------------------------------------------------------------------- /unit-test/Tests/FuncDataInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/FuncDataInstances.hs -------------------------------------------------------------------------------- /unit-test/Tests/Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/Instances.hs -------------------------------------------------------------------------------- /unit-test/Tests/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/Metadata.hs -------------------------------------------------------------------------------- /unit-test/Tests/PrimInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/PrimInstances.hs -------------------------------------------------------------------------------- /unit-test/Tests/StmtInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/StmtInstances.hs -------------------------------------------------------------------------------- /unit-test/Tests/TripleInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/llvm-pretty-bc-parser/HEAD/unit-test/Tests/TripleInstances.hs --------------------------------------------------------------------------------