blob: 8fad9d38c9fb97f2cf68c9a99845697d57516d13 [file] [log] [blame]
begin (short short bits a = short short 16rf;
assert (a CLEAR (short_short_bits_width + 1) = a);
assert (a CLEAR -1 = a);
assert (a CLEAR short_short_bits_width = a);
assert (a CLEAR (short_short_bits_width-1) = short short 16rf);
assert (a CLEAR 0 CLEAR 1 = BIN short short 12));
(short bits a = short 16rf;
assert (a CLEAR (short_bits_width + 1) = a);
assert (a CLEAR -1 = a);
assert (a CLEAR short_bits_width = a);
assert (a CLEAR (short_bits_width-1) = short 16rf);
assert (a CLEAR 0 CLEAR 1 = BIN short 12));
(bits a = 16rf;
assert (a CLEAR (bits_width + 1) = a);
assert (a CLEAR -1 = a);
assert (a CLEAR bits_width = a);
assert (a CLEAR (bits_width-1) = 16rf);
assert (a CLEAR 0 CLEAR 1 = BIN 12));
(long bits a = long 16rf;
assert (a CLEAR (long_bits_width + 1) = a);
assert (a CLEAR -1 = a);
assert (a CLEAR long_bits_width = a);
assert (a CLEAR (long_bits_width-1) = long 16rf);
assert (a CLEAR 0 CLEAR 1 = BIN long 12));
(long long bits a = long long 16rf;
assert (a CLEAR (long_long_bits_width + 1) = a);
assert (a CLEAR -1 = a);
assert (a CLEAR long_long_bits_width = a);
assert (a CLEAR (long_long_bits_width-1) = long long 16rf);
assert (a CLEAR 0 CLEAR 1 = BIN long long 12))
end