#include <limits.h>

extern void abort();

int test1(int x) {
    return x ^ INT_MIN;
}

unsigned int test1u(unsigned int x) {
    return x ^ (unsigned int)INT_MIN;
}

unsigned int test2u(unsigned int x) {
    return x + (unsigned int)INT_MIN;
}

unsigned int test3u(unsigned int x) {
    return x - (unsigned int)INT_MIN;
}

int test4(int x) {
    int y = INT_MIN;
    return x ^ y;
}

unsigned int test4u(unsigned int x) {
    unsigned int y = (unsigned int)INT_MIN;
    return x ^ y;
}

unsigned int test5u(unsigned int x) {
    unsigned int y = (unsigned int)INT_MIN;
    return x + y;
}

unsigned int test6u(unsigned int x) {
    unsigned int y = (unsigned int)INT_MIN;
    return x - y;
}


void test(int a, int b) {
    if (test1(a) != b)
        abort();
    if (test4(a) != b)
        abort();
}

void testu(unsigned int a, unsigned int b) {
    if (test1u(a) != b)
        abort();
    if (test2u(a) != b)
        abort();
    if (test3u(a) != b)
        abort();
    if (test4u(a) != b)
        abort();
    if (test5u(a) != b)
        abort();
    if (test6u(a) != b)
        abort();
}


int main() {
#if INT_MAX == 2147483647
    test(0x00000000, 0x80000000);
    test(0x80000000, 0x00000000);
    test(0x12345678, 0x92345678);
    test(0x92345678, 0x12345678);
    test(0x7fffffff, 0xffffffff);
    test(0xffffffff, 0x7fffffff);

    testu(0x00000000, 0x80000000);
    testu(0x80000000, 0x00000000);
    testu(0x12345678, 0x92345678);
    testu(0x92345678, 0x12345678);
    testu(0x7fffffff, 0xffffffff);
    testu(0xffffffff, 0x7fffffff);
#endif

#if INT_MAX == 32767
    test(0x0000, 0x8000);
    test(0x8000, 0x0000);
    test(0x1234, 0x9234);
    test(0x9234, 0x1234);
    test(0x7fff, 0xffff);
    test(0xffff, 0x7fff);

    testu(0x0000, 0x8000);
    testu(0x8000, 0x0000);
    testu(0x1234, 0x9234);
    testu(0x9234, 0x1234);
    testu(0x7fff, 0xffff);
    testu(0xffff, 0x7fff);
#endif

    return 0;
}
