blob: e946b9787289c831898d3700251ffd7c23f738a1 [file] [log] [blame]
{ Shifting by L_bits_width results in all bits being zero. }
begin assert (short short 16rffff SHR short_short_bits_width = short short 16r0);
assert (short 16rffff SHR short_bits_width = short 16r0);
assert (16rffff SHR bits_width = 16r0);
assert (long 16rffff SHR long_bits_width = long 16r0);
assert (long long 16rffff SHR long_long_bits_width = long long 16r0);
assert (short short 16rffff SHR -short_short_bits_width = short short 16r0);
assert (short 16rffff SHR -short_bits_width = short 16r0);
assert (16rffff SHR -bits_width = 16r0);
assert (long 16rffff SHR -long_bits_width = long 16r0);
assert (long long 16rffff SHR -long_long_bits_width = long long 16r0);
assert (short short 16rffff SHL short_short_bits_width = short short 16r0);
assert (short 16rffff SHL short_bits_width = short 16r0);
assert (16rffff SHL bits_width = 16r0);
assert (long 16rffff SHL long_bits_width = long 16r0);
assert (long long 16rffff SHL long_long_bits_width = long long 16r0);
assert (short short 16rffff SHL -short_short_bits_width = short short 16r0);
assert (short 16rffff SHL -short_bits_width = short 16r0);
assert (16rffff SHL -bits_width = 16r0);
assert (long 16rffff SHL -long_bits_width = long 16r0);
assert (long long 16rffff SHL -long_long_bits_width = long long 16r0)
end