02-03_inequalitties_among_logic_and_arithmetic_test.go

package hd_test

import (
	"testing"

	hd "github.com/nikolaydubina/go-hackers-delight"
)

func FuzzInequalitiesAmongLogicAndArithmetic(f *testing.F) {
	for _, x := range fuzzUint32 {
		for _, y := range fuzzUint32 {
			f.Add(x, y)
		}
	}
	f.Fuzz(func(t *testing.T, x, y uint32) {
		v := []bool{
			(x ^ y) <= (x | y),
			(x | y) >= max(x, y),
			(x & y) <= min(x, y),
			hd.AbsDiff(x, y) <= (x ^ y),
		}
		for i, q := range v {
			if !q {
				t.Error(i, x, y)
			}
		}

		if isAddOverflow := hd.IsMostSignificantSet(hd.IsAddOverflowUnsigned(x, y)); isAddOverflow {
			if (x | y) <= (x + y) {
				t.Error(x, y)
			}
		} else {
			if (x | y) > (x + y) {
				t.Error(x, y)
			}
		}
	})
}