| // Copyright 2013 The Go Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style | |
| // license that can be found in the LICENSE file. | |
| package gc | |
| import ( | |
| "math/bits" | |
| ) | |
| const ( | |
| wordBits = 32 | |
| wordMask = wordBits - 1 | |
| wordShift = 5 | |
| ) | |
| // A bvec is a bit vector. | |
| type bvec struct { | |
| n int32 // number of bits in vector | |
| b []uint32 // words holding bits | |
| } | |
| func bvalloc(n int32) bvec { | |
| nword := (n + wordBits - 1) / wordBits | |
| return bvec{n, make([]uint32, nword)} | |
| } | |
| type bulkBvec struct { | |
| words []uint32 | |
| nbit int32 | |
| nword int32 | |
| } | |
| func bvbulkalloc(nbit int32, count int32) bulkBvec { | |
| nword := (nbit + wordBits - 1) / wordBits | |
| size := int64(nword) * int64(count) | |
| if int64(int32(size*4)) != size*4 { | |
| Fatalf("bvbulkalloc too big: nbit=%d count=%d nword=%d size=%d", nbit, count, nword, size) | |
| } | |
| return bulkBvec{ | |
| words: make([]uint32, size), | |
| nbit: nbit, | |
| nword: nword, | |
| } | |
| } | |
| func (b *bulkBvec) next() bvec { | |
| out := bvec{b.nbit, b.words[:b.nword]} | |
| b.words = b.words[b.nword:] | |
| return out | |
| } | |
| func (bv1 bvec) Eq(bv2 bvec) bool { | |
| if bv1.n != bv2.n { | |
| Fatalf("bvequal: lengths %d and %d are not equal", bv1.n, bv2.n) | |
| } | |
| for i, x := range bv1.b { | |
| if x != bv2.b[i] { | |
| return false | |
| } | |
| } | |
| return true | |
| } | |
| func (dst bvec) Copy(src bvec) { | |
| copy(dst.b, src.b) | |
| } | |
| func (bv bvec) Get(i int32) bool { | |
| if i < 0 || i >= bv.n { | |
| Fatalf("bvget: index %d is out of bounds with length %d\n", i, bv.n) | |
| } | |
| mask := uint32(1 << uint(i%wordBits)) | |
| return bv.b[i>>wordShift]&mask != 0 | |
| } | |
| func (bv bvec) Set(i int32) { | |
| if i < 0 || i >= bv.n { | |
| Fatalf("bvset: index %d is out of bounds with length %d\n", i, bv.n) | |
| } | |
| mask := uint32(1 << uint(i%wordBits)) | |
| bv.b[i/wordBits] |= mask | |
| } | |
| func (bv bvec) Unset(i int32) { | |
| if i < 0 || i >= bv.n { | |
| Fatalf("bvunset: index %d is out of bounds with length %d\n", i, bv.n) | |
| } | |
| mask := uint32(1 << uint(i%wordBits)) | |
| bv.b[i/wordBits] &^= mask | |
| } | |
| // bvnext returns the smallest index >= i for which bvget(bv, i) == 1. | |
| // If there is no such index, bvnext returns -1. | |
| func (bv bvec) Next(i int32) int32 { | |
| if i >= bv.n { | |
| return -1 | |
| } | |
| // Jump i ahead to next word with bits. | |
| if bv.b[i>>wordShift]>>uint(i&wordMask) == 0 { | |
| i &^= wordMask | |
| i += wordBits | |
| for i < bv.n && bv.b[i>>wordShift] == 0 { | |
| i += wordBits | |
| } | |
| } | |
| if i >= bv.n { | |
| return -1 | |
| } | |
| // Find 1 bit. | |
| w := bv.b[i>>wordShift] >> uint(i&wordMask) | |
| i += int32(bits.TrailingZeros32(w)) | |
| return i | |
| } | |
| func (bv bvec) IsEmpty() bool { | |
| for _, x := range bv.b { | |
| if x != 0 { | |
| return false | |
| } | |
| } | |
| return true | |
| } | |
| func (bv bvec) Not() { | |
| for i, x := range bv.b { | |
| bv.b[i] = ^x | |
| } | |
| } | |
| // union | |
| func (dst bvec) Or(src1, src2 bvec) { | |
| if len(src1.b) == 0 { | |
| return | |
| } | |
| _, _ = dst.b[len(src1.b)-1], src2.b[len(src1.b)-1] // hoist bounds checks out of the loop | |
| for i, x := range src1.b { | |
| dst.b[i] = x | src2.b[i] | |
| } | |
| } | |
| // intersection | |
| func (dst bvec) And(src1, src2 bvec) { | |
| if len(src1.b) == 0 { | |
| return | |
| } | |
| _, _ = dst.b[len(src1.b)-1], src2.b[len(src1.b)-1] // hoist bounds checks out of the loop | |
| for i, x := range src1.b { | |
| dst.b[i] = x & src2.b[i] | |
| } | |
| } | |
| // difference | |
| func (dst bvec) AndNot(src1, src2 bvec) { | |
| if len(src1.b) == 0 { | |
| return | |
| } | |
| _, _ = dst.b[len(src1.b)-1], src2.b[len(src1.b)-1] // hoist bounds checks out of the loop | |
| for i, x := range src1.b { | |
| dst.b[i] = x &^ src2.b[i] | |
| } | |
| } | |
| func (bv bvec) String() string { | |
| s := make([]byte, 2+bv.n) | |
| copy(s, "#*") | |
| for i := int32(0); i < bv.n; i++ { | |
| ch := byte('0') | |
| if bv.Get(i) { | |
| ch = '1' | |
| } | |
| s[2+i] = ch | |
| } | |
| return string(s) | |
| } | |
| func (bv bvec) Clear() { | |
| for i := range bv.b { | |
| bv.b[i] = 0 | |
| } | |
| } | |
| // FNV-1 hash function constants. | |
| const ( | |
| H0 = 2166136261 | |
| Hp = 16777619 | |
| ) | |
| func hashbitmap(h uint32, bv bvec) uint32 { | |
| n := int((bv.n + 31) / 32) | |
| for i := 0; i < n; i++ { | |
| w := bv.b[i] | |
| h = (h * Hp) ^ (w & 0xff) | |
| h = (h * Hp) ^ ((w >> 8) & 0xff) | |
| h = (h * Hp) ^ ((w >> 16) & 0xff) | |
| h = (h * Hp) ^ ((w >> 24) & 0xff) | |
| } | |
| return h | |
| } | |
| // bvecSet is a set of bvecs, in initial insertion order. | |
| type bvecSet struct { | |
| index []int // hash -> uniq index. -1 indicates empty slot. | |
| uniq []bvec // unique bvecs, in insertion order | |
| } | |
| func (m *bvecSet) grow() { | |
| // Allocate new index. | |
| n := len(m.index) * 2 | |
| if n == 0 { | |
| n = 32 | |
| } | |
| newIndex := make([]int, n) | |
| for i := range newIndex { | |
| newIndex[i] = -1 | |
| } | |
| // Rehash into newIndex. | |
| for i, bv := range m.uniq { | |
| h := hashbitmap(H0, bv) % uint32(len(newIndex)) | |
| for { | |
| j := newIndex[h] | |
| if j < 0 { | |
| newIndex[h] = i | |
| break | |
| } | |
| h++ | |
| if h == uint32(len(newIndex)) { | |
| h = 0 | |
| } | |
| } | |
| } | |
| m.index = newIndex | |
| } | |
| // add adds bv to the set and returns its index in m.extractUniqe. | |
| // The caller must not modify bv after this. | |
| func (m *bvecSet) add(bv bvec) int { | |
| if len(m.uniq)*4 >= len(m.index) { | |
| m.grow() | |
| } | |
| index := m.index | |
| h := hashbitmap(H0, bv) % uint32(len(index)) | |
| for { | |
| j := index[h] | |
| if j < 0 { | |
| // New bvec. | |
| index[h] = len(m.uniq) | |
| m.uniq = append(m.uniq, bv) | |
| return len(m.uniq) - 1 | |
| } | |
| jlive := m.uniq[j] | |
| if bv.Eq(jlive) { | |
| // Existing bvec. | |
| return j | |
| } | |
| h++ | |
| if h == uint32(len(index)) { | |
| h = 0 | |
| } | |
| } | |
| } | |
| // extractUniqe returns this slice of unique bit vectors in m, as | |
| // indexed by the result of bvecSet.add. | |
| func (m *bvecSet) extractUniqe() []bvec { | |
| return m.uniq | |
| } |