import org.checkerframework.checker.signedness.qual.*;

public class CastedShifts {

    public void CastedIntShifts(@Unsigned int unsigned, @Signed int signed) {
        // Cast to byte.
        @UnknownSignedness byte byteRes;

        // Shifting right by 23, the introduced bits are cast away
        byteRes = (@Unsigned byte) (unsigned >>> 23);
        byteRes = (@Unsigned byte) (unsigned >> 23);
        byteRes = (@Signed byte) (signed >>> 23);
        byteRes = (@Signed byte) (signed >> 23);
        byteRes = (byte) (signed >> 23);

        // Shifting right by 24, the introduced bits are still cast away.
        byteRes = (@Unsigned byte) (unsigned >>> 24);
        byteRes = (@Unsigned byte) (unsigned >> 24);
        byteRes = (@Signed byte) (signed >>> 24);
        byteRes = (@Signed byte) (signed >> 24);

        // Shifting right by 25, now the MSB matters.
        byteRes = (@Unsigned byte) (unsigned >>> 25);

        // :: error: (shift.signed)
        byteRes = (@Unsigned byte) (unsigned >> 25);

        // :: error: (shift.unsigned)
        byteRes = (@Signed byte) (signed >>> 25);
        byteRes = (@Signed byte) (signed >> 25);

        // Shifting right by zero should behave as assignment
        byteRes = (@Unsigned byte) (unsigned >>> 0);
        byteRes = (@Unsigned byte) (unsigned >> 0);
        byteRes = (@Signed byte) (signed >>> 0);
        byteRes = (@Signed byte) (signed >> 0);

        // Cast to char.
        @UnknownSignedness char charRes;

        // Shifting right by 23, the introduced bits are cast away
        charRes = (@Unsigned char) (unsigned >>> 23);
        charRes = (@Unsigned char) (unsigned >> 23);
        charRes = (@Signed char) (signed >>> 23);
        charRes = (@Signed char) (signed >> 23);

        // Shifting right by 24, the introduced bits are still cast away.
        charRes = (@Unsigned char) (unsigned >>> 24);
        charRes = (@Unsigned char) (unsigned >> 24);
        charRes = (@Signed char) (signed >>> 24);
        charRes = (@Signed char) (signed >> 24);

        // Shifting right by 25, now the MSB matters.
        charRes = (@Unsigned char) (unsigned >>> 25);

        // :: error: (shift.signed)
        charRes = (@Unsigned char) (unsigned >> 25);

        // :: error: (shift.unsigned)
        charRes = (@Signed char) (signed >>> 25);
        charRes = (@Signed char) (signed >> 25);

        // Shifting right by zero should behave as assignment
        charRes = (@Unsigned char) (unsigned >>> 0);
        charRes = (@Unsigned char) (unsigned >> 0);
        charRes = (@Signed char) (signed >>> 0);
        charRes = (@Signed char) (signed >> 0);

        // Cast to short.
        @UnknownSignedness short shortRes;

        // Shifting right by 15, the introduced bits are cast away
        shortRes = (@Unsigned short) (unsigned >>> 15);
        shortRes = (@Unsigned short) (unsigned >> 15);
        shortRes = (@Signed short) (signed >>> 15);
        shortRes = (@Signed short) (signed >> 15);

        // Shifting right by 16, the introduced bits are still cast away.
        shortRes = (@Unsigned short) (unsigned >>> 16);
        shortRes = (@Unsigned short) (unsigned >> 16);
        shortRes = (@Signed short) (signed >>> 16);
        shortRes = (@Signed short) (signed >> 16);

        // Shifting right by 17, now the MSB matters.
        shortRes = (@Unsigned short) (unsigned >>> 17);

        // :: error: (shift.signed)
        shortRes = (@Unsigned short) (unsigned >> 17);

        // :: error: (shift.unsigned)
        shortRes = (@Signed short) (signed >>> 17);
        shortRes = (@Signed short) (signed >> 17);

        // Shifting right by zero should behave as assignment
        shortRes = (@Unsigned short) (unsigned >>> 0);
        shortRes = (@Unsigned short) (unsigned >> 0);
        shortRes = (@Signed short) (signed >>> 0);
        shortRes = (@Signed short) (signed >> 0);

        // Cast to int.
        @UnknownSignedness int intRes;

        // Now shift signedness matters again
        intRes = (@Unsigned int) (unsigned >>> 1);

        // :: error: (shift.signed)
        intRes = (@Unsigned int) (unsigned >> 1);

        // :: error: (shift.unsigned)
        intRes = (@Signed int) (signed >>> 1);
        intRes = (@Signed int) (signed >> 1);

        // Shifting right by zero should behave as assignment
        intRes = (@Unsigned int) (unsigned >>> 0);
        intRes = (@Unsigned int) (unsigned >> 0);
        intRes = (@Signed int) (signed >>> 0);
        intRes = (@Signed int) (signed >> 0);

        // Cast to long.
        @UnknownSignedness long longRes;

        // Now shift signedness matters again
        longRes = (@Unsigned long) (unsigned >>> 1);

        // :: error: (shift.signed)
        longRes = (@Unsigned long) (unsigned >> 1);

        // :: error: (shift.unsigned)
        longRes = (@Signed long) (signed >>> 1);
        longRes = (@Signed long) (signed >> 1);

        // Shifting right by zero should behave as assignment
        longRes = (@Unsigned long) (unsigned >>> 0);
        longRes = (@Unsigned long) (unsigned >> 0);
        longRes = (@Signed long) (signed >>> 0);
        longRes = (@Signed long) (signed >> 0);

        // Tests with double parenthesis (only byte and int)

        // Cast to byte.
        // Shifting right by 23, the introduced bits are cast away
        byteRes = (@Unsigned byte) ((unsigned >>> 23));
        byteRes = (@Unsigned byte) ((unsigned >> 23));
        byteRes = (@Signed byte) ((signed >>> 23));
        byteRes = (@Signed byte) ((signed >> 23));

        // Shifting right by 24, the introduced bits are still cast away.
        byteRes = (@Unsigned byte) ((unsigned >>> 24));
        byteRes = (@Unsigned byte) ((unsigned >> 24));
        byteRes = (@Signed byte) ((signed >>> 24));
        byteRes = (@Signed byte) ((signed >> 24));

        // Shifting right by 25, now the MSB matters.
        byteRes = (@Unsigned byte) ((unsigned >>> 25));

        // :: error: (shift.signed)
        byteRes = (@Unsigned byte) ((unsigned >> 25));

        // :: error: (shift.unsigned)
        byteRes = (@Signed byte) ((signed >>> 25));
        byteRes = (@Signed byte) ((signed >> 25));

        // Shifting right by zero should behave as assignment
        byteRes = (@Unsigned byte) ((unsigned >>> 0));
        byteRes = (@Unsigned byte) ((unsigned >> 0));
        byteRes = (@Signed byte) ((signed >>> 0));
        byteRes = (@Signed byte) ((signed >> 0));

        // Cast to int.
        // Now shift signedness matters again
        intRes = (@Unsigned int) ((unsigned >>> 1));

        // :: error: (shift.signed)
        intRes = (@Unsigned int) ((unsigned >> 1));

        // :: error: (shift.unsigned)
        intRes = (@Signed int) ((signed >>> 1));
        intRes = (@Signed int) ((signed >> 1));

        // Shifting right by zero should behave as assignment
        intRes = (@Unsigned int) ((unsigned >>> 0));
        intRes = (@Unsigned int) ((unsigned >> 0));
        intRes = (@Signed int) ((signed >>> 0));
        intRes = (@Signed int) ((signed >> 0));

        // Test outside Java Specification shift ranges
        // Cast to int.
        // Now shift signedness matters again
        intRes = (@Unsigned int) ((unsigned >>> 33));

        // :: error: (shift.signed)
        intRes = (@Unsigned int) ((unsigned >> 33));

        // :: error: (shift.unsigned)
        intRes = (@Signed int) ((signed >>> 33));
        intRes = (@Signed int) ((signed >> 33));

        // Shifting right by zero should behave as assignment
        intRes = (@Unsigned int) ((unsigned >>> 32));
        intRes = (@Unsigned int) ((unsigned >> 32));
        intRes = (@Signed int) ((signed >>> 32));
        intRes = (@Signed int) ((signed >> 32));
    }

    public void CastedLongShifts(@Unsigned long unsigned, @Signed long signed) {
        // Cast to byte.
        @UnknownSignedness byte byteRes;

        // Shifting right by 55, the introduced bits are cast away
        byteRes = (@Unsigned byte) (unsigned >>> 55);
        byteRes = (@Unsigned byte) (unsigned >> 55);
        byteRes = (@Signed byte) (signed >>> 55);
        byteRes = (@Signed byte) (signed >> 55);

        // Shifting right by 56, the introduced bits are still cast away.
        byteRes = (@Unsigned byte) (unsigned >>> 56);
        byteRes = (@Unsigned byte) (unsigned >> 56);
        byteRes = (@Signed byte) (signed >>> 56);
        byteRes = (@Signed byte) (signed >> 56);

        // Shifting right by 57, now the MSB matters.
        byteRes = (@Unsigned byte) (unsigned >>> 57);

        // :: error: (shift.signed)
        byteRes = (@Unsigned byte) (unsigned >> 57);

        // :: error: (shift.unsigned)
        byteRes = (@Signed byte) (signed >>> 57);
        byteRes = (@Signed byte) (signed >> 57);

        // Shifting right by zero should behave as assignment
        byteRes = (@Unsigned byte) (unsigned >>> 0);
        byteRes = (@Unsigned byte) (unsigned >> 0);
        byteRes = (@Signed byte) (signed >>> 0);
        byteRes = (@Signed byte) (signed >> 0);

        // Cast to char.
        @UnknownSignedness char charRes;

        // Shifting right by 55, the introduced bits are cast away
        charRes = (@Unsigned char) (unsigned >>> 55);
        charRes = (@Unsigned char) (unsigned >> 55);
        charRes = (@Signed char) (signed >>> 55);
        charRes = (@Signed char) (signed >> 55);

        // Shifting right by 56, the introduced bits are still cast away.
        charRes = (@Unsigned char) (unsigned >>> 56);
        charRes = (@Unsigned char) (unsigned >> 56);
        charRes = (@Signed char) (signed >>> 56);
        charRes = (@Signed char) (signed >> 56);

        // Shifting right by 57, now the MSB matters.
        charRes = (@Unsigned char) (unsigned >>> 57);

        // :: error: (shift.signed)
        charRes = (@Unsigned char) (unsigned >> 57);

        // :: error: (shift.unsigned)
        charRes = (@Signed char) (signed >>> 57);
        charRes = (@Signed char) (signed >> 57);

        // Shifting right by zero should behave as assignment
        charRes = (@Unsigned char) (unsigned >>> 0);
        charRes = (@Unsigned char) (unsigned >> 0);
        charRes = (@Signed char) (signed >>> 0);
        charRes = (@Signed char) (signed >> 0);

        // Cast to short.
        @UnknownSignedness short shortRes;

        // Shifting right by 47, the introduced bits are cast away
        shortRes = (@Unsigned short) (unsigned >>> 47);
        shortRes = (@Unsigned short) (unsigned >> 47);
        shortRes = (@Signed short) (signed >>> 47);
        shortRes = (@Signed short) (signed >> 47);

        // Shifting right by 48, the introduced bits are still cast away.
        shortRes = (@Unsigned short) (unsigned >>> 48);
        shortRes = (@Unsigned short) (unsigned >> 48);
        shortRes = (@Signed short) (signed >>> 48);
        shortRes = (@Signed short) (signed >> 48);

        // Shifting right by 49, now the MSB matters.
        shortRes = (@Unsigned short) (unsigned >>> 49);

        // :: error: (shift.signed)
        shortRes = (@Unsigned short) (unsigned >> 49);

        // :: error: (shift.unsigned)
        shortRes = (@Signed short) (signed >>> 49);
        shortRes = (@Signed short) (signed >> 49);

        // Shifting right by zero should behave as assignment
        shortRes = (@Unsigned short) (unsigned >>> 0);
        shortRes = (@Unsigned short) (unsigned >> 0);
        shortRes = (@Signed short) (signed >>> 0);
        shortRes = (@Signed short) (signed >> 0);

        // Cast to int.
        @UnknownSignedness int intRes;

        // Shifting right by 31, the introduced bits are cast away
        intRes = (@Unsigned int) (unsigned >>> 31);
        intRes = (@Unsigned int) (unsigned >> 31);
        intRes = (@Signed int) (signed >>> 31);
        intRes = (@Signed int) (signed >> 31);

        // Shifting right by 32, the introduced bits are still cast away.
        intRes = (@Unsigned int) (unsigned >>> 32);
        intRes = (@Unsigned int) (unsigned >> 32);
        intRes = (@Signed int) (signed >>> 32);
        intRes = (@Signed int) (signed >> 32);

        // Shifting right by 33, now the MSB matters.
        intRes = (@Unsigned int) (unsigned >>> 33);

        // :: error: (shift.signed)
        intRes = (@Unsigned int) (unsigned >> 33);

        // :: error: (shift.unsigned)
        intRes = (@Signed int) (signed >>> 33);
        intRes = (@Signed int) (signed >> 33);

        // Shifting right by zero should behave as assignment
        intRes = (@Unsigned int) (unsigned >>> 0);
        intRes = (@Unsigned int) (unsigned >> 0);
        intRes = (@Signed int) (signed >>> 0);
        intRes = (@Signed int) (signed >> 0);

        // Cast to long.
        @UnknownSignedness long longRes;

        // Now shift signedness matters again
        longRes = (@Unsigned long) (unsigned >>> 1);

        // :: error: (shift.signed)
        longRes = (@Unsigned long) (unsigned >> 1);

        // :: error: (shift.unsigned)
        longRes = (@Signed long) (signed >>> 1);
        longRes = (@Signed long) (signed >> 1);

        // Shifting right by zero should behave as assignment
        longRes = (@Unsigned long) (unsigned >>> 0);
        longRes = (@Unsigned long) (unsigned >> 0);
        longRes = (@Signed long) (signed >>> 0);
        longRes = (@Signed long) (signed >> 0);

        // Tests with double parenthesis (only byte and long)

        // Cast to byte.
        // Shifting right by 55, the introduced bits are cast away
        byteRes = (@Unsigned byte) ((unsigned >>> 55));
        byteRes = (@Unsigned byte) ((unsigned >> 55));
        byteRes = (@Signed byte) ((signed >>> 55));
        byteRes = (@Signed byte) ((signed >> 55));

        // Shifting right by 56, the introduced bits are still cast away.
        byteRes = (@Unsigned byte) ((unsigned >>> 56));
        byteRes = (@Unsigned byte) ((unsigned >> 56));
        byteRes = (@Signed byte) ((signed >>> 56));
        byteRes = (@Signed byte) ((signed >> 56));

        // Shifting right by 9, now the MSB matters.
        byteRes = (@Unsigned byte) ((unsigned >>> 57));

        // :: error: (shift.signed)
        byteRes = (@Unsigned byte) ((unsigned >> 57));

        // :: error: (shift.unsigned)
        byteRes = (@Signed byte) ((signed >>> 57));
        byteRes = (@Signed byte) ((signed >> 57));

        // Shifting right by zero should behave as assignment
        byteRes = (@Unsigned byte) ((unsigned >>> 0));
        byteRes = (@Unsigned byte) ((unsigned >> 0));
        byteRes = (@Signed byte) ((signed >>> 0));
        byteRes = (@Signed byte) ((signed >> 0));

        // Cast to long.
        // Now shift signedness matters again
        longRes = (@Unsigned long) ((unsigned >>> 1));

        // :: error: (shift.signed)
        longRes = (@Unsigned long) ((unsigned >> 1));

        // :: error: (shift.unsigned)
        longRes = (@Signed long) ((signed >>> 1));
        longRes = (@Signed long) ((signed >> 1));

        // Shifting right by zero should behave as assignment
        longRes = (@Unsigned long) ((unsigned >>> 0));
        longRes = (@Unsigned long) ((unsigned >> 0));
        longRes = (@Signed long) ((signed >>> 0));
        longRes = (@Signed long) ((signed >> 0));

        // Test outside Java Specification shift ranges
        // Cast to long.
        // Now shift signedness matters again
        longRes = (@Unsigned long) ((unsigned >>> 65));

        // :: error: (shift.signed)
        longRes = (@Unsigned long) ((unsigned >> 65));

        // :: error: (shift.unsigned)
        longRes = (@Signed long) ((signed >>> 65));
        longRes = (@Signed long) ((signed >> 65));

        // Shifting right by zero should behave as assignment
        longRes = (@Unsigned long) ((unsigned >>> 64));
        longRes = (@Unsigned long) ((unsigned >> 64));
        longRes = (@Signed long) ((signed >>> 64));
        longRes = (@Signed long) ((signed >> 64));
        longRes = (long) ((signed >> 64));
    }
}