go/src/cmd/compile/internal/ssa/check.go

// checkFunc checks invariants of f.
func checkFunc(f *Func) { … }

func memCheck(f *Func) { … }

// domCheck reports whether x dominates y (including x==y).
func domCheck(f *Func, sdom SparseTree, x, y *Block) bool { … }

// isExactFloat32 reports whether x can be exactly represented as a float32.
func isExactFloat32(x float64) bool { … }