irsem

Usage

import (
    "github.com/llir/llvm/ir"
    "github.com/llir/irsem"
)

mod := ir.NewModule()
// mod ...
irsem.Verify(mod)