public static void main(String[] args) {
		test_positive_plus_positive_is_negative_vflag_true();
		test_positive_plus_positive_is_positive_vflag_false();
		test_negative_plus_negative_is_negative_vflag_false();
		test_negative_plus_negative_is_positive_vflag_true();

		test_positive_minus_negative_is_negative_vflag_true();
		test_positive_minus_negative_is_positive_vflag_false();
		test_negative_minus_positive_is_positive_vflag_true();
		test_negative_minus_positive_is_negative_vflag_false();

		test_positive_plus_positive_is_negative_vflag_true_when_same_dest();
		test_positive_minus_negative_is_negative_vflag_true_when_same_dest();
	}

	/**
	 * positive + positive = positive --> v == true
	 */
	private static void test_positive_plus_positive_is_positive_vflag_false() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, 1);
		cpu.ADDS(X5, X1, X2);
		assertFalse(cpu.getVflag());
	}

	/**
	 * positive + positive = negative --> v == true
	 */
	private static void test_positive_plus_positive_is_negative_vflag_true() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, 2);
		cpu.ADDS(X5, X1, X2);
		assertTrue(cpu.getVflag());
	}

	/**
	 * positive + positive = negative --> v == true
	 * FAILS!
	 */
	private static void test_positive_plus_positive_is_negative_vflag_true_when_same_dest() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, 2);
		cpu.ADDS(X1, X1, X2);
		assertTrue(cpu.getVflag());
	}

	/**
	 * negative + negative = negative --> v == false
	 */
	private static void test_negative_plus_negative_is_negative_vflag_false() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MIN_VALUE + 1;
		cpu.ORRI(X2, XZR, -1);
		cpu.ADDS(X5, X1, X2);
		assertFalse(cpu.getVflag());
	}

	/**
	 * negative + negative = positive --> v == true
	 */
	private static void test_negative_plus_negative_is_positive_vflag_true() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MIN_VALUE + 1;
		cpu.ORRI(X2, XZR, -2);
		cpu.ADDS(X5, X1, X2);
		assertTrue(cpu.getVflag());
	}

	/**
	 * positive - negative = negative --> v == true
	 * FAILS!
 	 */
	private static void test_positive_minus_negative_is_negative_vflag_true() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, -2);
		cpu.SUBS(X5, X1, X2);
		assertTrue(cpu.getVflag());
	}

	/**
	 * positive - negative = negative --> v == true
	 * FAILS!
	 */
	private static void test_positive_minus_negative_is_negative_vflag_true_when_same_dest() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, -2);
		cpu.SUBS(X1, X1, X2);
		assertTrue(cpu.getVflag());
	}

	/**
	 * positive - negative = positive --> v == true
	 */
	private static void test_positive_minus_negative_is_positive_vflag_false() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, -1);
		cpu.SUBS(X5, X1, X2);
		assertFalse(cpu.getVflag());
	}

	/**
	 * negative - positive = positive --> v == true
	 */
	private static void test_negative_minus_positive_is_positive_vflag_true() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, 2);
		cpu.SUBS(X5, X1, X2);
		assertFalse(cpu.getVflag());
	}

	/**
	 * negative - positive = negative --> v == false
	 */
	private static void test_negative_minus_positive_is_negative_vflag_false() {
		CPU cpu = new CPU();
		cpu.registerFile[X1] = Long.MAX_VALUE - 1;
		cpu.ORRI(X2, XZR, 2);
		cpu.SUBS(X5, X1, X2);
		assertFalse(cpu.getVflag());
	}

	private static void assertTrue(boolean b) {
		if (!b) {
			throw new RuntimeException("Fail");
		}
	}

	private static void assertFalse(boolean b) {
		if (b) {
			throw new RuntimeException("Fail");
		}
	}