Searched refs:getLatticeCell (Results 1 – 1 of 1) sorted by relevance
225 func (t *worklist) getLatticeCell(val *Value) lattice { func302 lt := t.getLatticeCell(val.Args[i])375 oldLt := t.getLatticeCell(val)378 newLt := t.getLatticeCell(val)394 t.latticeCells[val] = t.getLatticeCell(val.Args[0])422 lt1 := t.getLatticeCell(val.Args[0])468 lt1 := t.getLatticeCell(val.Args[0])469 lt2 := t.getLatticeCell(val.Args[1])503 condLattice := t.getLatticeCell(cond)