Lines Matching refs:Func
80 func (l limit) String() string {
107 func newFactsTable() *factsTable {
118 func (ft *factsTable) get(v, w *Value, d domain) relation {
201 func (ft *factsTable) update(parent *Block, v, w *Value, d domain, r relation) {
303 if v.Block.Func.pass.debug > 2 {
304 v.Block.Func.Config.Warnl(parent.Line, "parent=%s, new limits %s %s %s", parent, v, w, lim.String())
310 func (ft *factsTable) isNonNegative(v *Value) bool {
320 func (ft *factsTable) checkpoint() {
328 func (ft *factsTable) restore() {
355 func lessByID(v, w *Value) bool {
457 func prove(f *Func) {
530 func getBranch(sdom SparseTree, p *Block, b *Block) branch {
551 func updateRestrictions(parent *Block, ft *factsTable, t domain, v, w *Value, r relation, branch branch) {
570 func simplifyBlock(ft *factsTable, b *Block) branch {
602 if b.Func.pass.debug > 0 {
603 b.Func.Config.Warnl(v.Line, "Proved slicemask not needed")
616 if b.Func.pass.debug > 0 {
617 if b.Func.pass.debug > 1 {
618 b.Func.Config.Warnl(b.Line, "Proved boolean %s (%s)", b.Control.Op, b.Control)
620 b.Func.Config.Warnl(b.Line, "Proved boolean %s", b.Control.Op)
626 if b.Func.pass.debug > 0 {
627 if b.Func.pass.debug > 1 {
628 b.Func.Config.Warnl(b.Line, "Disproved boolean %s (%s)", b.Control.Op, b.Control)
630 b.Func.Config.Warnl(b.Line, "Disproved boolean %s", b.Control.Op)
657 if b.Func.pass.debug > 0 {
658 if b.Func.pass.debug > 1 {
659 b.Func.Config.Warnl(b.Line, "Proved %s (%s)", c.Op, c)
661 b.Func.Config.Warnl(b.Line, "Proved %s", c.Op)
667 if b.Func.pass.debug > 0 {
668 if b.Func.pass.debug > 1 {
669 b.Func.Config.Warnl(b.Line, "Disproved %s (%s)", c.Op, c)
671 b.Func.Config.Warnl(b.Line, "Disproved %s", c.Op)
686 if b.Func.pass.debug > 0 {
687 if b.Func.pass.debug > 1 {
688 b.Func.Config.Warnl(b.Line, "Proved non-negative bounds %s (%s)", c.Op, c)
690 b.Func.Config.Warnl(b.Line, "Proved non-negative bounds %s", c.Op)
701 func isNonNegative(v *Value) bool {
