1131 Commits (fb75c2fb1147a2474f87c56dbdb88e5b8707c461)

Author SHA1 Message Date
Josh Berdine 3e5b4c8183 [sledge] Make tracing more explicit by including module names
4 years ago
Josh Berdine 8f3cda4b1a [sledge] Remove NS.Either, use Either now in Stdlib
4 years ago
Josh Berdine 6ad7bbe7f1 [sledge] Simplify ppx_trace using Stdlib.__FUNCTION__
4 years ago
Josh Berdine 673c944fc3 [opam] Move the opam files to an opam directory at repo root
4 years ago
Josh Berdine cd9b64bd41 [sledge][llvm] Fix a possible crash in llvm_struct_name
4 years ago
Josh Berdine 200668b3b6 [sledge][llvm] Resolve const and unsigned compilation warnings
4 years ago
Josh Berdine 68c15476c3 [sledge][llvm] Simplify llvm_global_initializer using ptr_to_option
4 years ago
Josh Berdine 6375450211 [sledge] Add checking formatting to CI job
4 years ago
Josh Berdine 55af83de03 [sledge] Add convenience links to executables
4 years ago
Josh Berdine c777325185 [sledge] Suppress newly flagged no-cmx-file warning
4 years ago
Josh Berdine f322d92cba [sledge] Add nonsupport for preallocated operand bundles
4 years ago
Josh Berdine 94395d9bec [sledge] Add support for ScalableVector type
4 years ago
Josh Berdine 55813164dc [sledge] Add support for Freeze instruction
4 years ago
Josh Berdine 6095771e57 [sledge] Add support for BFloat type
4 years ago
Josh Berdine 5316e64230 [sledge] Add nonsupport for CallBr instruction
4 years ago
Josh Berdine de0b4e764c [sledge] Add support for FNeg instruction
4 years ago
Josh Berdine aeca13145a [sledge] Update operand index of Invoke callee
4 years ago
Josh Berdine 38eb6aa8d0 [sledge] Add memtrace support
4 years ago
Josh Berdine fb95eee214 [sledge] Update build to use vendored package for LLVM 11
4 years ago
Josh Berdine 8d1743bf27 [sledge] Make reading config file more robust
4 years ago
Josh Berdine 4689a2881d [sledge][llvm] Add LLVMInternalizePredicateBindings
4 years ago
Josh Berdine b5974020b8 [sledge][llvm] Handle nullptr in Llvm.global_initializer
4 years ago
Josh Berdine fc348d0ac4 [sledge][llvm] Add missing TypeKinds, Opcode, and AtomicRMWBinOps
4 years ago
Josh Berdine 637b566726 [sledge][llvm] Add OCaml APIs to access DebugLoc info
4 years ago
Josh Berdine 823cd76f3c [sledge][llvm] Vendor LLVM OCaml bindings
4 years ago
Josh Berdine b3b6e0e48a [sledge][llvm-dune] Vendor llvm-dune
4 years ago
Josh Berdine 1fa2e6e430 [sledge] Update build of sledge models to use vendored cxxabi
4 years ago
Josh Berdine bafea13b08 [sledge][cxxabi] Vendor LLVM cxxabi project
4 years ago
Josh Berdine a68e184e92 [sledge] Add vendor dir
4 years ago
Josh Berdine 585237aec1 [sledge] Remove functionality depending on Llvm_linker.link_in
4 years ago
Josh Berdine 26014ecd4d [sledge] Distinguish LLVM assertion violations from general aborts
4 years ago
Josh Berdine 6b9b16b077 [sledge] Drop calls to llvm.dbg.label
4 years ago
Josh Berdine 45c155fdf1 [sledge] Combine multiple passes in Llair.Func.mk, fix termination bug
4 years ago
Josh Berdine c531096f97 [sledge] Make name arg of Var.identified non-optional
4 years ago
Josh Berdine 018c738499 [sledge] Make type arg of Exp.conditional non-optional
4 years ago
Josh Berdine eb4a01ce8d [sledge] Change args of Loc.mk from optional to explicit options
4 years ago
Josh Berdine 9ee705bb88 [sledge] Resolve match-on-mutable-state-prevent-uncurry warnings
4 years ago
Josh Berdine 65f8b48aac [sledge] Check type of arg of Resume the same as param of LandingPad
4 years ago
Josh Berdine 40fe8a8bc3 [sledge] Avoid calling Llvm.is_declaration on formal parameters
4 years ago
Josh Berdine 5a81118e14 [sledge] Fix bug in translation of ExtractElement InsertElement instructions
4 years ago
Josh Berdine e32f5ef6bd [sledge] Fix assert when Fpath.v passed empty string
4 years ago
Josh Berdine 37d68c654e [sledge] Add script to link bitcode using gllvm
4 years ago
Josh Berdine 86298e078f [sledge] Print only function name when warning of ignored variadic arguments
4 years ago
Josh Berdine b708c1e3db [sledge] Change test report to use speedup ratio instead of percentage change
4 years ago
Josh Berdine 96b8558b08 [sledge] Simplify Var by combining `program` and `identified` variables
4 years ago
Josh Berdine e33c7f6ce0 [sledge] Change encoding of program var ids to preserve original order
4 years ago
Josh Berdine 3af760ee40 [sledge] Minor improvement to Frontend.cleanup
4 years ago
Josh Berdine 6fb29dac90 [sledge] Add Theory.oriented_equality type for code readability
4 years ago
Josh Berdine 5cdd3cd781 [sledge] Minor Map interface simplifications
4 years ago
Josh Berdine bba67169ec [sledge] Combine normalization and carrier extension when adding equalities
4 years ago