- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for OrderedOrEqual (0.24 sec)
-
src/cmd/compile/internal/ssa/poset.go
if !f1 || !f2 { return false } return i1 != i2 && po.reaches(i1, i2, true) } // OrderedOrEqual reports whether n1<=n2. It returns false either when it is // certain that n1<=n2 is false, or if there is not enough information // to tell. // Complexity is O(n). func (po *poset) OrderedOrEqual(n1, n2 *Value) bool { if debugPoset { defer po.CheckIntegrity() } if n1.ID == n2.ID {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Sep 04 17:23:05 UTC 2023 - 37.2K bytes - Viewed (0) -
src/cmd/compile/internal/ssa/prove.go
if isCleanExt(v) && ft.isNonNegative(v.Args[0]) { return true } // Check if the signed poset can prove that the value is >= 0 return ft.orderS.OrderedOrEqual(ft.zero, v) } // checkpoint saves the current state of known relations. // Called when descending on a branch. func (ft *factsTable) checkpoint() { if ft.unsat { ft.unsatDepth++ }
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Mar 04 17:30:21 UTC 2024 - 48.9K bytes - Viewed (0)