public class IntArithTests {

    private static final int IIMM12_0 = 0x1;   // first imm value
    private static final int IIMM12_1 = 0xfff; // last 12bit imm value
    private static final int IIMM12_2 = 0x1001; // Should not encode as imm
    private static final int IIMM24_3 = 0x1000; // first 12 bit shifted imm
    private static final int IIMM24_4 = 0xfff000; // Last 12 bit shifted imm
    private static final int IIMM24_5 = 0x1001000; // Should not encode as imm

    private static int test_neg(int a) {
	return -a;
    }

    private static int test_addi(int a, int b) {
	return a + b;
    }

    private static int test_addic0(int a) {
	return a + IIMM12_0;
    }

    private static int test_addic1(int a) {
	return a + IIMM12_1;
    }

    private static int test_addic2(int a) {
	return a + IIMM12_2;
    }

    private static int test_addic3(int a) {
	return a + IIMM24_3;
    }

    private static int test_addic4(int a) {
	return a + IIMM24_4;
    }

    private static int test_addic5(int a) {
	return a + IIMM24_5;
    }

    private static int test_subi(int a, int b) {
	return a - b;
    }

    private static int test_subc1(int a) {
	return a - 11;
    }

    private static int test_mulic1(int a) {
	// Generates shl.
	return a * 8;
    }

    private static int test_mulic2(int a) {
	// Generates shl followed by add.
	return a * 9;
    }

    private static int test_mulic3(int a) {
	// Generates shl followed by sub.
	return a * 7;
    }

    private static int test_mulic4(int a) {
	// Generates normal mul.
	return a * 10;
    }

    private static int test_muli(int a, int b) {
	// Generates normal mul.
	return a * b;
    }

    private static int test_divi(int a, int b) {
	return a / b;
    }

    private static int test_remi(int a, int b) {
	return a % b;
    }

    private static void assertThat(boolean assertion) {
	if (! assertion) {
	    throw new AssertionError();
	}
    }

    public static void main(String[] args) {
	assertThat(test_neg(10) == -10);
	assertThat(test_addi(3, 2) == 5);
	assertThat(test_addi(Integer.MAX_VALUE, 1) == Integer.MIN_VALUE);
	assertThat(test_addic0(3) == 4);
	assertThat(test_addic1(3) == 0x1002);
	assertThat(test_addic2(3) == 0x1004);
	assertThat(test_addic3(3) == 0x1003);
	assertThat(test_addic4(3) == 0xfff003);
	assertThat(test_addic5(3) == 0x1001003);

	assertThat(test_subi(40, 13) == 27);
	assertThat(test_subi(Integer.MIN_VALUE, 1) == Integer.MAX_VALUE);
	assertThat(test_subc1(40) == 29);

	assertThat(test_mulic1(5) == 40);
	assertThat(test_mulic2(5) == 45);
	assertThat(test_mulic3(5) == 35);
	assertThat(test_mulic4(5) == 50);
	assertThat(test_muli(5, 200) == 1000);

	assertThat(test_divi(30, 3) == 10);
	assertThat(test_divi(29, 3) == 9);
	assertThat(test_divi(Integer.MIN_VALUE, -1) == Integer.MIN_VALUE);
	try {
	    test_divi(30, 0);
	    throw new AssertionError();
	} catch (ArithmeticException ex) {
	    // Pass.
	}

	assertThat(test_remi(30, 3) == 0);
	assertThat(test_remi(29, 3) == 2);
	assertThat(test_remi(Integer.MIN_VALUE, -1) == 0);
	try {
	    test_remi(30, 0);
	    throw new AssertionError();
	} catch (ArithmeticException ex) {
	    // Pass.
	}
    }
}