Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
openanolis
dragonwell11
提交
b6f631bd
D
dragonwell11
项目概览
openanolis
/
dragonwell11
通知
7
Star
2
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
D
dragonwell11
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
b6f631bd
编写于
4月 02, 2020
作者:
R
roland
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
8241900: Loop unswitching may cause dependence on null check to be lost
Reviewed-by: thartmann, kvn
上级
d46992aa
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
85 addition
and
2 deletion
+85
-2
src/hotspot/share/opto/loopUnswitch.cpp
src/hotspot/share/opto/loopUnswitch.cpp
+2
-2
test/hotspot/jtreg/compiler/loopopts/TestLoopUnswitchingLostCastDependency.java
...piler/loopopts/TestLoopUnswitchingLostCastDependency.java
+83
-0
未找到文件。
src/hotspot/share/opto/loopUnswitch.cpp
浏览文件 @
b6f631bd
...
...
@@ -217,11 +217,11 @@ void PhaseIdealLoop::do_unswitching (IdealLoopTree *loop, Node_List &old_new) {
// Hardwire the control paths in the loops into if(true) and if(false)
_igvn
.
rehash_node_delayed
(
unswitch_iff
);
short_circuit_if
(
unswitch_iff
,
proj_tru
e
);
dominated_by
(
proj_true
,
unswitch_iff
,
false
,
fals
e
);
IfNode
*
unswitch_iff_clone
=
old_new
[
unswitch_iff
->
_idx
]
->
as_If
();
_igvn
.
rehash_node_delayed
(
unswitch_iff_clone
);
short_circuit_if
(
unswitch_iff_clone
,
proj_
false
);
dominated_by
(
proj_false
,
unswitch_iff_clone
,
false
,
false
);
// Reoptimize loops
loop
->
record_for_igvn
();
...
...
test/hotspot/jtreg/compiler/loopopts/TestLoopUnswitchingLostCastDependency.java
0 → 100644
浏览文件 @
b6f631bd
/*
* Copyright (c) 2020, Red Hat, Inc. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/*
* @test
* @bug 8241900
* @summary Loop unswitching may cause dependence on null check to be lost
*
* @run main/othervm -XX:-TieredCompilation -XX:-BackgroundCompilation -XX:+StressGCM -XX:+StressLCM TestLoopUnswitchingLostCastDependency
*/
import
java.util.Arrays
;
public
class
TestLoopUnswitchingLostCastDependency
{
private
static
Object
objectField
;
public
static
void
main
(
String
[]
args
)
{
Object
[]
array
=
new
Object
[
100
];
Arrays
.
fill
(
array
,
new
Object
());
for
(
int
i
=
0
;
i
<
20_000
;
i
++)
{
array
[
1
]
=
null
;
test
(
array
);
array
[
1
]
=
new
Object
();
objectField
=
null
;
test
(
array
);
array
[
1
]
=
new
Object
();
objectField
=
new
Object
();
test
(
array
);
}
}
private
static
void
test
(
Object
[]
array
)
{
Object
o
=
objectField
;
Object
o3
=
array
[
1
];
int
j
=
0
;
for
(
int
i
=
1
;
i
<
100
;
i
*=
2
)
{
Object
o2
=
array
[
i
];
// Both branches taken: loop is unswitched.
if
(
o3
!=
null
)
{
if
(
o2
==
null
)
{
}
// Both branches taken: loop is unswitched next.
if
(
o
!=
null
)
{
// CastPP here becomes control dependent on o2 ==
// null check above.
if
(
o
.
getClass
()
==
Object
.
class
)
{
}
// This causes partial peeling. When that happens,
// the o2 == null check becomes redundant with the
// o3 != null check in the peeled iteration. The
// CastPP with o as input that was control
// dependent on the o2 == null check becomes
// control dependent on the o3 != null check,
// above the o != null check.
if
(
j
>
7
)
{
}
j
++;
}
}
}
}
}
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录