-
Bug
-
Resolution: Unresolved
-
P4
-
repo-valhalla
Ir matching in compiler.valhalla.inlinetypes.TestNullableInlineTypes fails intermittently:
Used flags (most probably not required): -XX:+VerifyOops -XX:+VerifyStack -XX:+VerifyLastFrame -XX:+VerifyBeforeGC -XX:+VerifyAfterGC -XX:+VerifyDuringGC -XX:+VerifyAdapterSharing
Failed IR Rules (1) of Methods (1)
----------------------------------
1) Method "public long compiler.valhalla.inlinetypes.TestNullableInlineTypes.test54(boolean,boolean)" - [Failed IR rules: 1]:
* @IR rule 1: "@compiler.lib.ir_framework.IR(phase={DEFAULT}, applyIfPlatformAnd={}, applyIfCPUFeatureOr={}, counts={}, failOn={"_#ALLOC#I_", "_#LOAD#I_", "_#STORE#I_", "_#TRAP#I_"}, applyIfPlatformOr={}, applyIfPlatform={}, applyIfOr={}, applyIfCPUFeatureAnd={}, applyIf={}, applyIfCPUFeature={}, applyIfAnd={}, applyIfNot={})"
> Phase "PrintIdeal":
- failOn: Graph contains forbidden nodes:
* Constraint 3: "(\\d+(\\s){2}(Store(B|C|S|I|L|F|D|P|N).*)+(\\s){2}===.*@compiler/valhalla/inlinetypes/.*)"
- Matched forbidden node:
* 2525 StoreL === 4570 4602 2955 624 [[ 4605 ]] @compiler/valhalla/inlinetypes/MyValue2 (compiler/valhalla/inlinetypes/MyInterface):exact+24 *, name=l, idx=23; Memory: @rawptr:BotPTR, idx=Raw; !orig=[18767] !jvms: MyValue2::<init> @ bci:12 (line 87) MyValue2::setV @ bci:13 (line 149) MyValue2::createWithFieldsInline @ bci:29 (line 100) MyValue1::createWithFieldsInline @ bci:100 (line 104) TestNullableInlineTypes::test54 @ bci:6 (line 1362)
> Phase "PrintOptoAssembly":
- failOn: Graph contains forbidden nodes:
* Constraint 1: "(.*precise compiler/valhalla/inlinetypes/MyValue.*\\R(.*(?i:mov|xorl|nop|spill).*\\R)*.*C2 Runtime new_instance)"
- Matched forbidden node:
* 4d1 movq RSI, precise compiler/valhalla/inlinetypes/MyValue2: 0x00007f71a87e6d08 (compiler/valhalla/inlinetypes/MyInterface):Constant:exact * # ptr
4db xorl RDX, RDX # int
nop # 2 bytes pad for loops and calls
4df call,static wrapper for: C2 Runtime new_instance
Used flags (most probably not required): -XX:+VerifyOops -XX:+VerifyStack -XX:+VerifyLastFrame -XX:+VerifyBeforeGC -XX:+VerifyAfterGC -XX:+VerifyDuringGC -XX:+VerifyAdapterSharing
Failed IR Rules (1) of Methods (1)
----------------------------------
1) Method "public long compiler.valhalla.inlinetypes.TestNullableInlineTypes.test54(boolean,boolean)" - [Failed IR rules: 1]:
* @IR rule 1: "@compiler.lib.ir_framework.IR(phase={DEFAULT}, applyIfPlatformAnd={}, applyIfCPUFeatureOr={}, counts={}, failOn={"_#ALLOC#I_", "_#LOAD#I_", "_#STORE#I_", "_#TRAP#I_"}, applyIfPlatformOr={}, applyIfPlatform={}, applyIfOr={}, applyIfCPUFeatureAnd={}, applyIf={}, applyIfCPUFeature={}, applyIfAnd={}, applyIfNot={})"
> Phase "PrintIdeal":
- failOn: Graph contains forbidden nodes:
* Constraint 3: "(\\d+(\\s){2}(Store(B|C|S|I|L|F|D|P|N).*)+(\\s){2}===.*@compiler/valhalla/inlinetypes/.*)"
- Matched forbidden node:
* 2525 StoreL === 4570 4602 2955 624 [[ 4605 ]] @compiler/valhalla/inlinetypes/MyValue2 (compiler/valhalla/inlinetypes/MyInterface):exact+24 *, name=l, idx=23; Memory: @rawptr:BotPTR, idx=Raw; !orig=[18767] !jvms: MyValue2::<init> @ bci:12 (line 87) MyValue2::setV @ bci:13 (line 149) MyValue2::createWithFieldsInline @ bci:29 (line 100) MyValue1::createWithFieldsInline @ bci:100 (line 104) TestNullableInlineTypes::test54 @ bci:6 (line 1362)
> Phase "PrintOptoAssembly":
- failOn: Graph contains forbidden nodes:
* Constraint 1: "(.*precise compiler/valhalla/inlinetypes/MyValue.*\\R(.*(?i:mov|xorl|nop|spill).*\\R)*.*C2 Runtime new_instance)"
- Matched forbidden node:
* 4d1 movq RSI, precise compiler/valhalla/inlinetypes/MyValue2: 0x00007f71a87e6d08 (compiler/valhalla/inlinetypes/MyInterface):Constant:exact * # ptr
4db xorl RDX, RDX # int
nop # 2 bytes pad for loops and calls
4df call,static wrapper for: C2 Runtime new_instance