irsem Usage import ( "github.com/llir/llvm/ir" "github.com/llir/irsem" ) mod := ir.NewModule() // mod ... irsem.Verify(mod)
