Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8290529

C2: assert(BoolTest(btest).is_canonical()) failure

    XMLWordPrintable

Details

    • b14
    • Verified

    Backports

      Description

        I found this running some ctw tests:

        # Internal Error (/home/roland/jdk-jdk/src/hotspot/share/opto/parse2.cpp:1493), pid=3306856, tid=3306871
        # assert(BoolTest(btest).is_canonical()) failed: sanity

        It can be reproduced with the following test case:
        public class TestUnsignedCompareIntoEqualityNotCanonical {
            public static void main(String[] args) {
                for (int i = 0; i < 20_000; i++) {
                    test(0);
                    test(1);
                }
            }

            private static int test(int x) {
                if (Integer.compareUnsigned(0, x) >= 0) {
                    return 42;
                }
                return -42;
            }
        }

        Attachments

          Issue Links

            backported by

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8294826 C2: assert(BoolTest(btest).is_canonical()) failure

            • P2 - Crashes, loss of data, severe memory leak.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8295389 C2: assert(BoolTest(btest).is_canonical()) failure

            • P2 - Crashes, loss of data, severe memory leak.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8294126 C2: assert(BoolTest(btest).is_canonical()) failure

            • P2 - Crashes, loss of data, severe memory leak.
            • Closed

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8294265 C2: assert(BoolTest(btest).is_canonical()) failure

            • P2 - Crashes, loss of data, severe memory leak.
            • Closed

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8294559 C2: assert(BoolTest(btest).is_canonical()) failure

            • P2 - Crashes, loss of data, severe memory leak.
            • Closed
            relates to

            Enhancement - null JDK-8276162 Optimise unsigned comparison pattern

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Resolved

            Enhancement - null JDK-8283726 x86_64 intrinsics for compareUnsigned method in Integer and Long

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Resolved
            links to

            Commit Commit openjdk/jdk11u-dev/887eed36

            Commit Commit openjdk/jdk17u-dev/cfc8771e

            Commit Commit openjdk/jdk19u/152d2f1c

            Commit Commit openjdk/jdk/77e21c57

            Review Review openjdk/jdk11u-dev/1457

            Review Review openjdk/jdk17u-dev/766

            Review Review openjdk/jdk19u/37

            Review Review openjdk/jdk/9553

            Activity

              People

                roland Roland Westrelin
                roland Roland Westrelin
                Votes:
                0 Vote for this issue
                Watchers:
                7 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: