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

[lworld] C2 compilation fails with assert "meet not symmetric"

    XMLWordPrintable

Details

    Description

      Merging JDK-8240676 causes Valhalla tests to trigger the "meet not symmetric" assert in type.cpp:

      === Meet Not Symmetric ===
      t = stable:valuetype[8]:{compiler/valhalla/valuetypes/MyValue2, compiler/valhalla/valuetypes/MyValue2, java/lang/Integer, [I, int, long, short, int}[int:1]
      this= stable:narrowoop: java/lang/Integer:TopPTR:exact *,iid=top (inline_depth=InlineDepthTop)[int:1]
      mt=(t meet this)= stable:narrowoop: java/lang/Integer:NotNull:exact *[int:1]
      t_dual= valuetype[8]:{compiler/valhalla/valuetypes/MyValue2, compiler/valhalla/valuetypes/MyValue2, java/lang/Integer, [I, int, long, short, int}[int:1]
      this_dual= narrowoop: java/lang/Integer:exact *[int:1]
      mt_dual= narrowoop: java/lang/Integer:AnyNull:exact *,iid=top (inline_depth=InlineDepthTop)[int:1]
      mt_dual meet t_dual= narrowoop: java/lang/Integer:NotNull:exact *[int:1]
      mt_dual meet this_dual= narrowoop: java/lang/Integer:exact *[int:1]

      Attachments

        Issue Links

          Activity

            People

              roland Roland Westrelin
              dsimms David Simms
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: