SPARC.CodeGen.Sanity
checkBlock