- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for addBranchRestrictions (0.6 sec)
-
src/cmd/compile/internal/ssa/prove.go
addRestrictions(b, ft, d, iv.ind, iv.max, lt) } else { addRestrictions(b, ft, d, iv.ind, iv.max, lt|eq) } } // addBranchRestrictions updates the factsTables ft with the facts learned when // branching from Block b in direction br. func addBranchRestrictions(ft *factsTable, b *Block, br branch) { c := b.Controls[0] switch { case br == negative: addRestrictions(b, ft, boolean, nil, c, eq)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Mar 04 17:30:21 UTC 2024 - 48.9K bytes - Viewed (0)