gcc/testsuite/algol68/execute/bits-shift-3.a68

{ Shifting by > L_bits_width results in all bits being zero. }

begin assert (short short 16rffff SHR (short_short_bits_width + 1) = short short 16r0);
      assert (short 16rffff SHR (short_bits_width + 1) = short 16r0);
      assert (16rffff SHR (bits_width + 1) = 16r0);
      assert (long 16rffff SHR (long_bits_width + 1) = long 16r0);
      assert (long long 16rffff SHR (long_long_bits_width + 1) = long long 16r0);

      assert (short short 16rffff SHR -(short_short_bits_width + 1) = short short 16r0);
      assert (short 16rffff SHR -(short_bits_width + 1) = short 16r0);
      assert (16rffff SHR -(bits_width + 1) = 16r0);
      assert (long 16rffff SHR -(long_bits_width + 1) = long 16r0);
      assert (long long 16rffff SHR -(long_long_bits_width + 1) = long long 16r0);

      assert (short short 16rffff SHL (short_short_bits_width + 1) = short short 16r0);
      assert (short 16rffff SHL (short_bits_width + 1) = short 16r0);
      assert (16rffff SHL (bits_width + 1) = 16r0);
      assert (long 16rffff SHL (long_bits_width + 1) = long 16r0);
      assert (long long 16rffff SHL (long_long_bits_width + 1) = long long 16r0);

      assert (short short 16rffff SHL -(short_short_bits_width + 1) = short short 16r0);
      assert (short 16rffff SHL -(short_bits_width + 1) = short 16r0);
      assert (16rffff SHL -(bits_width + 1) = 16r0);
      assert (long 16rffff SHL -(long_bits_width + 1) = long 16r0);
      assert (long long 16rffff SHL -(long_long_bits_width + 1) = long long 16r0)
end