Mercurial > hg > truffle

annotate graal/com.oracle.graal.hotspot.amd64.test/src/com/oracle/graal/hotspot/amd64/test/AMD64HotSpotFrameOmissionTest.java @ 18120:86ec7f6f71b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refactored GraalCompilerTest API to be in terms of ResolvedJavaMethod instead of Method
author Doug Simon <doug.simon@oracle.com>
date Sat, 18 Oct 2014 00:08:19 +0200
parents 1668de777c42
children 7cefdad149ad
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
1 /*
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
4 *
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
8 *
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
13 * accompanied this code).
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
14 *
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
18 *
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
21 * questions.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
22 */
8366
733e2b88ff26 moved HotSpot specific AMD64FrameOmissionTest to (new) project com.oracle.graal.hotspot.amd64.test and renamed it to AMD64HotSpotFrameOmissionTest
Doug Simon <doug.simon@oracle.com>
parents: 8359
diff changeset
23 package com.oracle.graal.hotspot.amd64.test;
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
24
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
25 import static com.oracle.graal.amd64.AMD64.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
26
8369
8448cbac78e4 made frame omission test ignore padding instructions at the end of installed code
Doug Simon <doug.simon@oracle.com>
parents: 8366
diff changeset
27 import java.util.*;
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
28
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
29 import org.junit.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
30
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
31 import com.oracle.graal.api.code.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
32 import com.oracle.graal.api.meta.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
33 import com.oracle.graal.asm.amd64.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
34 import com.oracle.graal.compiler.test.*;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
35
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
36 /**
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
37 * Ensures that frame omission works in cases where it is expected to.
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
38 */
8366
733e2b88ff26 moved HotSpot specific AMD64FrameOmissionTest to (new) project com.oracle.graal.hotspot.amd64.test and renamed it to AMD64HotSpotFrameOmissionTest
Doug Simon <doug.simon@oracle.com>
parents: 8359
diff changeset
39 public class AMD64HotSpotFrameOmissionTest extends GraalCompilerTest {
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
40
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
41 interface CodeGenerator {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
42
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
43 void generateCode(AMD64Assembler asm);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
44 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
45
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
46 public static void test1snippet() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
47 return;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
48 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
49
13972
28f560605e77 safepoint poll at return can never be elided
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 13235
diff changeset
50 @Ignore
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
51 @Test
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
52 public void test1() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
53 testHelper("test1snippet", new CodeGenerator() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
54
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
55 @Override
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
56 public void generateCode(AMD64Assembler asm) {
13235
41f28bc4ac58 fixed frame omission tests to account for mt-safe patching prefix
Doug Simon <doug.simon@oracle.com>
parents: 12051
diff changeset
57 asm.nop(5); // padding for mt-safe patching
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
58 asm.ret(0);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
59 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
60 });
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
61 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
62
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
63 public static int test2snippet(int x) {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
64 return x + 5;
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
65 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
66
13972
28f560605e77 safepoint poll at return can never be elided
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 13235
diff changeset
67 @Ignore
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
68 @Test
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
69 public void test2() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
70 testHelper("test2snippet", new CodeGenerator() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
71
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
72 @Override
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
73 public void generateCode(AMD64Assembler asm) {
9425
3ec29630cfb4 Use register categories instead of register flags.
Roland Schatz <roland.schatz@oracle.com>
parents: 9235
diff changeset
74 Register arg = getArgumentRegister(0, Kind.Int);
13235
41f28bc4ac58 fixed frame omission tests to account for mt-safe patching prefix
Doug Simon <doug.simon@oracle.com>
parents: 12051
diff changeset
75 asm.nop(5); // padding for mt-safe patching
9235
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
76 asm.addl(arg, 5);
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
77 asm.movl(rax, arg);
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
78 asm.ret(0);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
79 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
80 });
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
81 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
82
8374
48daec24df96 made frame omission test work in -graal as well as -server VM
Doug Simon <doug.simon@oracle.com>
parents: 8371
diff changeset
83 public static long test3snippet(long x) {
48daec24df96 made frame omission test work in -graal as well as -server VM
Doug Simon <doug.simon@oracle.com>
parents: 8371
diff changeset
84 return 1 + x;
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
85 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
86
13972
28f560605e77 safepoint poll at return can never be elided
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 13235
diff changeset
87 @Ignore
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
88 @Test
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
89 public void test3() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
90 testHelper("test3snippet", new CodeGenerator() {
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
91
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
92 @Override
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
93 public void generateCode(AMD64Assembler asm) {
9425
3ec29630cfb4 Use register categories instead of register flags.
Roland Schatz <roland.schatz@oracle.com>
parents: 9235
diff changeset
94 Register arg = getArgumentRegister(0, Kind.Long);
13235
41f28bc4ac58 fixed frame omission tests to account for mt-safe patching prefix
Doug Simon <doug.simon@oracle.com>
parents: 12051
diff changeset
95 asm.nop(5); // padding for mt-safe patching
9235
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
96 asm.addq(arg, 1);
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
97 asm.movq(rax, arg);
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
98 asm.ret(0);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
99 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
100 });
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
101 }
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
102
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
103 private void testHelper(String name, CodeGenerator gen) {
18120
86ec7f6f71b3 refactored GraalCompilerTest API to be in terms of ResolvedJavaMethod instead of Method
Doug Simon <doug.simon@oracle.com>
parents: 16714
diff changeset
104 ResolvedJavaMethod javaMethod = getResolvedJavaMethod(name);
86ec7f6f71b3 refactored GraalCompilerTest API to be in terms of ResolvedJavaMethod instead of Method
Doug Simon <doug.simon@oracle.com>
parents: 16714
diff changeset
105 InstalledCode installedCode = getCode(javaMethod, parseEager(javaMethod));
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
106
11959
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511)
Doug Simon <doug.simon@oracle.com>
parents: 9425
diff changeset
107 TargetDescription target = getCodeCache().getTarget();
12051
9c2111d10e40 rename: lookupRegisterConfig -> getRegisterConfig (part 2)
Doug Simon <doug.simon@oracle.com>
parents: 11959
diff changeset
108 RegisterConfig registerConfig = getCodeCache().getRegisterConfig();
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
109 AMD64Assembler asm = new AMD64Assembler(target, registerConfig);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
110
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
111 gen.generateCode(asm);
14031
390c4b742890 made com.oracle.graal.asm.Buffer non-public and a private field in AbstractAssembler
twisti
parents: 13972
diff changeset
112 byte[] expectedCode = asm.close(true);
8369
8448cbac78e4 made frame omission test ignore padding instructions at the end of installed code
Doug Simon <doug.simon@oracle.com>
parents: 8366
diff changeset
113
8448cbac78e4 made frame omission test ignore padding instructions at the end of installed code
Doug Simon <doug.simon@oracle.com>
parents: 8366
diff changeset
114 // Only compare up to expectedCode.length bytes to ignore
8448cbac78e4 made frame omission test ignore padding instructions at the end of installed code
Doug Simon <doug.simon@oracle.com>
parents: 8366
diff changeset
115 // padding instructions adding during code installation
8448cbac78e4 made frame omission test ignore padding instructions at the end of installed code
Doug Simon <doug.simon@oracle.com>
parents: 8366
diff changeset
116 byte[] actualCode = Arrays.copyOf(installedCode.getCode(), expectedCode.length);
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
117
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
118 Assert.assertArrayEquals(expectedCode, actualCode);
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
119 }
9235
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
120
9425
3ec29630cfb4 Use register categories instead of register flags.
Roland Schatz <roland.schatz@oracle.com>
parents: 9235
diff changeset
121 private Register getArgumentRegister(int index, Kind kind) {
12051
9c2111d10e40 rename: lookupRegisterConfig -> getRegisterConfig (part 2)
Doug Simon <doug.simon@oracle.com>
parents: 11959
diff changeset
122 Register[] regs = getCodeCache().getRegisterConfig().getCallingConventionRegisters(CallingConvention.Type.JavaCall, kind);
9235
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
123 return regs[index];
8a339b567533 fixed frame omission on windows
Christian Haeubl <haeubl@ssw.jku.at>
parents: 8374
diff changeset
124 }
8351
9ac11897f727 added tests for ensuring frame omission on AMD64 works for simple cases
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
125 }