annotate src/os/bsd/vm/decoder_machO.hpp @ 15388:769fc3629f59

Add phase FlowSensitiveReductionPhase. It is possible to remove GuardingPiNodes, CheckCastNodes, and FixedGuards during HighTier under certain conditions (control-flow sensitive conditions). The phase added in this commit (FlowSensitiveReductionPhase) does that, and in addition replaces usages with "downcasting" PiNodes when possible thus resulting in more precise object stamps (e.g., non-null). Finally, usages of floating, side-effects free, expressions are also simplified (as per control-flow sensitive conditions). The newly added phase runs only during HighTier and can be deactivated using Graal option FlowSensitiveReduction (it is active by default).
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Fri, 25 Apr 2014 16:50:52 +0200
parents 3b01d0321dfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4803
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
1 /*
4917
db006a85bf91 7141259: Native stack is missing in hs_err
zgu
parents: 4803
diff changeset
2 * Copyright (c) 2011, 2012, Oracle and/or its affiliates. All rights reserved.
4803
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
4 *
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
7 * published by the Free Software Foundation.
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
8 *
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
13 * accompanied this code).
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
14 *
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
18 *
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
21 * questions.
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
22 *
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
23 */
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
24
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
25 #ifndef OS_BSD_VM_DECODER_MACHO_HPP
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
26 #define OS_BSD_VM_DECODER_MACHO_HPP
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
27
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
28 #ifdef __APPLE__
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
29
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
30 #include "utilities/decoder.hpp"
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
31
4917
db006a85bf91 7141259: Native stack is missing in hs_err
zgu
parents: 4803
diff changeset
32 // Just a placehold for now, a real implementation should derive
db006a85bf91 7141259: Native stack is missing in hs_err
zgu
parents: 4803
diff changeset
33 // from AbstractDecoder
6258
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
34 class MachODecoder : public AbstractDecoder {
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
35 public:
4803
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
36 MachODecoder() { }
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
37 ~MachODecoder() { }
6258
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
38 virtual bool can_decode_C_frame_in_vm() const {
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
39 return true;
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
40 }
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
41 virtual bool demangle(const char* symbol, char* buf, int buflen);
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
42 virtual bool decode(address pc, char* buf, int buflen, int* offset,
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
43 const void* base);
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
44 virtual bool decode(address pc, char* buf, int buflen, int* offset,
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
45 const char* module_path = NULL) {
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
46 ShouldNotReachHere();
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
47 return false;
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
48 }
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
49
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
50 private:
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
51 void * mach_find_command(struct mach_header_64 * mach_base, uint32_t command_wanted);
3b01d0321dfa 7186778: MachO decoder implementation for MacOSX
zgu
parents: 4917
diff changeset
52 char * mach_find_in_stringtable(char *strtab, uint32_t tablesize, int strx_wanted);
4803
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
53 };
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
54
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
55 #endif
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
56
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
57 #endif // OS_BSD_VM_DECODER_MACHO_HPP
d7e3846464d0 7071311: Decoder enhancement
zgu
parents:
diff changeset
58