blob: 35182f88307324d250fe3339e141b234325f190d [file]
begin
if word_bits_width = 64
then
word bits address = word 16rfff0ffff;
assert ((NOT address AND word 16rffffffff) = word 16r000f0000);
assert ((~address AND word 16rffffffff) = word 16r000f0000)
elif word_bits_width = 32
then word bits address = word 16rfff0ffff;
assert (NOT address = word 16r000f0000);
assert (~address = word 16r000f0000)
elif word_bits_width = 16
then word bits address = word 16r0fff;
assert (NOT address = word 16rf000);
assert (~address = word 16rf000)
else
assert(false)
fi
end