| // Copyright 2020 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 netip |
| |
| import ( |
| "testing" |
| ) |
| |
| func TestUint128AddSub(t *testing.T) { |
| const add1 = 1 |
| const sub1 = -1 |
| tests := []struct { |
| in uint128 |
| op int // +1 or -1 to add vs subtract |
| want uint128 |
| }{ |
| {uint128{0, 0}, add1, uint128{0, 1}}, |
| {uint128{0, 1}, add1, uint128{0, 2}}, |
| {uint128{1, 0}, add1, uint128{1, 1}}, |
| {uint128{0, ^uint64(0)}, add1, uint128{1, 0}}, |
| {uint128{^uint64(0), ^uint64(0)}, add1, uint128{0, 0}}, |
| |
| {uint128{0, 0}, sub1, uint128{^uint64(0), ^uint64(0)}}, |
| {uint128{0, 1}, sub1, uint128{0, 0}}, |
| {uint128{0, 2}, sub1, uint128{0, 1}}, |
| {uint128{1, 0}, sub1, uint128{0, ^uint64(0)}}, |
| {uint128{1, 1}, sub1, uint128{1, 0}}, |
| } |
| for _, tt := range tests { |
| var got uint128 |
| switch tt.op { |
| case add1: |
| got = tt.in.addOne() |
| case sub1: |
| got = tt.in.subOne() |
| default: |
| panic("bogus op") |
| } |
| if got != tt.want { |
| t.Errorf("%v add %d = %v; want %v", tt.in, tt.op, got, tt.want) |
| } |
| } |
| } |
| |
| func TestBitsSetFrom(t *testing.T) { |
| tests := []struct { |
| bit uint8 |
| want uint128 |
| }{ |
| {0, uint128{^uint64(0), ^uint64(0)}}, |
| {1, uint128{^uint64(0) >> 1, ^uint64(0)}}, |
| {63, uint128{1, ^uint64(0)}}, |
| {64, uint128{0, ^uint64(0)}}, |
| {65, uint128{0, ^uint64(0) >> 1}}, |
| {127, uint128{0, 1}}, |
| {128, uint128{0, 0}}, |
| } |
| for _, tt := range tests { |
| var zero uint128 |
| got := zero.bitsSetFrom(tt.bit) |
| if got != tt.want { |
| t.Errorf("0.bitsSetFrom(%d) = %064b want %064b", tt.bit, got, tt.want) |
| } |
| } |
| } |
| |
| func TestBitsClearedFrom(t *testing.T) { |
| tests := []struct { |
| bit uint8 |
| want uint128 |
| }{ |
| {0, uint128{0, 0}}, |
| {1, uint128{1 << 63, 0}}, |
| {63, uint128{^uint64(0) &^ 1, 0}}, |
| {64, uint128{^uint64(0), 0}}, |
| {65, uint128{^uint64(0), 1 << 63}}, |
| {127, uint128{^uint64(0), ^uint64(0) &^ 1}}, |
| {128, uint128{^uint64(0), ^uint64(0)}}, |
| } |
| for _, tt := range tests { |
| ones := uint128{^uint64(0), ^uint64(0)} |
| got := ones.bitsClearedFrom(tt.bit) |
| if got != tt.want { |
| t.Errorf("ones.bitsClearedFrom(%d) = %064b want %064b", tt.bit, got, tt.want) |
| } |
| } |
| } |