Following 8241492, strip mined loop may run extra iterations

For a method like this:

    private static int test1(int start, int stop) {
        int sum = 0;
        int i = start;
        do {
            synchronized (new Object()) {
            }
            sum += i;
            i++;
        } while (i < stop);
        return sum;
    }

when run with stop < start, the body should be run once (there is no test to guard entry in the method) but is run LoopStripMiningIter.