Documentation ¶
Overview ¶
Package ircheck implements a checker for LLVM IR, that goes a bit further than the regular LLVM IR verifier. Note that it checks different things, so this is not a replacement for the LLVM verifier but does catch things that the LLVM verifier doesn't catch.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.