The test fails SCEV verification, which cause the expensive check bots to fail. Always run verification and mark as XFAIL until fixed.