navyxliu/Example1_Point.java

## Example1_Point.java
import java.lang.Math;

class Example1_Point {
    static class Point {
        double x;
        double y;

        public Point(double x, double y) {
            this.x = x;
            this.y = y;
        }

        // distance from zero
        public double length() {
            return Math.sqrt(x * x +  y * y);
        }
    }

    private static Point _cache;

    public double test(boolean cond, double x, double y) {
        Point pt = new Point(x, y);
        pt.x = 3.0d;

        if (cond) {
            _cache = pt; // materialize here. pt1 = Mat(pt)
        }
        // pt2 = phi(pt, pt1)
        return pt.length();
    }

    public static void main(String[] args)  {
        var kase = new Example1_Point();

        long iterations = 0;
        try {
            while (true) {
                kase.test(0 == (iterations & 0xf), 2.0d, 1.0d);
                iterations++;
            }
        } finally {
            System.err.println("Epsilon Test: " + iterations);
        }
    }
}
	import java.lang.Math;

	class Example1_Point {
	static class Point {
	double x;
	double y;

	public Point(double x, double y) {
	this.x = x;
	this.y = y;
	}

	// distance from zero
	public double length() {
	return Math.sqrt(x * x + y * y);
	}
	}

	private static Point _cache;

	public double test(boolean cond, double x, double y) {
	Point pt = new Point(x, y);
	pt.x = 3.0d;

	if (cond) {
	_cache = pt; // materialize here. pt1 = Mat(pt)
	}
	// pt2 = phi(pt, pt1)
	return pt.length();
	}

	public static void main(String[] args) {
	var kase = new Example1_Point();

	long iterations = 0;
	try {
	while (true) {
	kase.test(0 == (iterations & 0xf), 2.0d, 1.0d);
	iterations++;
	}
	} finally {
	System.err.println("Epsilon Test: " + iterations);
	}
	}
	}