IssueTracker

Versions

• r8 version: R8 main (build engineering)
• art version: ART version 2.1.0 x86_64
• java version: 17.0.12

Description

We used the latest version of D8 to process the following testcase and executed the generated dex file on ART. The output of the program is inconsistent with the results obtained from direct execution using Java. Based on the program's semantics, we believe the result from direct Java execution is as expected, but the output from the D8-processed program does not meet expectations. This could be an issue with D8 or possibly ART.

Step to Reproduce

1. javac -source 8 -target 8 -cp . Test.java
2. jar cvf classes.jar ./*.class
3. java -cp d8.jar com.android.tools.r8.D8 --output ./ ./classes.jar
4. env ANDROID_LOG_TAGS=*:f ANDROID_DATA=./ path-to-art/art --64 --no-compile -cp ./classes.dex Test

Expected Result

74210
148420
222630
296840
371050
445260
519470
593680
667890
742100

Actual Result

74210
148420
222630
296840
371050
445260
445484
445708
445932
446156

Testcase Source Code

class Test {
    int N = 256;
    volatile int iFld;
    long iMeth_check_sum;

    void iMeth() {
        int i9 = 112;
        int[] iArr1 = new int[N];
        try {
            for (int i6 = 10; i6 < 187; i6++) {
                try {
                    int i20 = iFld % iArr1[i6];
                } catch (ArithmeticException ae) {
                }
                for (int i22 = 1; i22 < 2; i22++) {
                    i9 += 209;
                    iFld -= iFld;
                }
            }
        } catch (Throwable e) {
        }
        iMeth_check_sum += i9;
    }

    void mainTest() {
        iMeth();
        iMeth();
        System.out.println(iMeth_check_sum);
    }

    public static void main(String[] strArr) {
        Test test = new Test();
        for (int i = 0; i < 10; ++i)
            test.mainTest();
    }
}

rules.pro

-libraryjars android.jar
-keep class Test { public main(java.lang.String[]); }