1/*
2 * Copyright (c) 1999, 2019, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#ifndef SHARE_C1_C1_CANONICALIZER_HPP
26#define SHARE_C1_C1_CANONICALIZER_HPP
27
28#include "c1/c1_Instruction.hpp"
29
30class Canonicalizer: InstructionVisitor {
31 private:
32 Compilation *_compilation;
33 Instruction* _canonical;
34 int _bci;
35
36 Compilation *compilation() { return _compilation; }
37 void set_canonical(Value x);
38 void set_bci(int bci) { _bci = bci; }
39 void set_constant(jint x) { set_canonical(new Constant(new IntConstant(x))); }
40 void set_constant(jlong x) { set_canonical(new Constant(new LongConstant(x))); }
41 void set_constant(jfloat x) { set_canonical(new Constant(new FloatConstant(x))); }
42 void set_constant(jdouble x) { set_canonical(new Constant(new DoubleConstant(x))); }
43#ifdef _WINDOWS
44 // jint is defined as long in jni_md.h, so convert from int to jint
45 void set_constant(int x) { set_constant((jint)x); }
46#endif
47 void move_const_to_right(Op2* x);
48 void do_Op2(Op2* x);
49 void do_UnsafeRawOp(UnsafeRawOp* x);
50
51 void unsafe_raw_match(UnsafeRawOp* x,
52 Instruction** base,
53 Instruction** index,
54 int* scale);
55
56 public:
57 Canonicalizer(Compilation* c, Value x, int bci) : _compilation(c), _canonical(x), _bci(bci) {
58 NOT_PRODUCT(x->set_printable_bci(bci));
59 if (CanonicalizeNodes) x->visit(this);
60 }
61 Value canonical() const { return _canonical; }
62 int bci() const { return _bci; }
63
64 virtual void do_Phi (Phi* x);
65 virtual void do_Constant (Constant* x);
66 virtual void do_Local (Local* x);
67 virtual void do_LoadField (LoadField* x);
68 virtual void do_StoreField (StoreField* x);
69 virtual void do_ArrayLength (ArrayLength* x);
70 virtual void do_LoadIndexed (LoadIndexed* x);
71 virtual void do_StoreIndexed (StoreIndexed* x);
72 virtual void do_NegateOp (NegateOp* x);
73 virtual void do_ArithmeticOp (ArithmeticOp* x);
74 virtual void do_ShiftOp (ShiftOp* x);
75 virtual void do_LogicOp (LogicOp* x);
76 virtual void do_CompareOp (CompareOp* x);
77 virtual void do_IfOp (IfOp* x);
78 virtual void do_IfInstanceOf (IfInstanceOf* x);
79 virtual void do_Convert (Convert* x);
80 virtual void do_NullCheck (NullCheck* x);
81 virtual void do_TypeCast (TypeCast* x);
82 virtual void do_Invoke (Invoke* x);
83 virtual void do_NewInstance (NewInstance* x);
84 virtual void do_NewTypeArray (NewTypeArray* x);
85 virtual void do_NewObjectArray (NewObjectArray* x);
86 virtual void do_NewMultiArray (NewMultiArray* x);
87 virtual void do_CheckCast (CheckCast* x);
88 virtual void do_InstanceOf (InstanceOf* x);
89 virtual void do_MonitorEnter (MonitorEnter* x);
90 virtual void do_MonitorExit (MonitorExit* x);
91 virtual void do_Intrinsic (Intrinsic* x);
92 virtual void do_BlockBegin (BlockBegin* x);
93 virtual void do_Goto (Goto* x);
94 virtual void do_If (If* x);
95 virtual void do_TableSwitch (TableSwitch* x);
96 virtual void do_LookupSwitch (LookupSwitch* x);
97 virtual void do_Return (Return* x);
98 virtual void do_Throw (Throw* x);
99 virtual void do_Base (Base* x);
100 virtual void do_OsrEntry (OsrEntry* x);
101 virtual void do_ExceptionObject(ExceptionObject* x);
102 virtual void do_RoundFP (RoundFP* x);
103 virtual void do_UnsafeGetRaw (UnsafeGetRaw* x);
104 virtual void do_UnsafePutRaw (UnsafePutRaw* x);
105 virtual void do_UnsafeGetObject(UnsafeGetObject* x);
106 virtual void do_UnsafePutObject(UnsafePutObject* x);
107 virtual void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x);
108 virtual void do_ProfileCall (ProfileCall* x);
109 virtual void do_ProfileReturnType (ProfileReturnType* x);
110 virtual void do_ProfileInvoke (ProfileInvoke* x);
111 virtual void do_RuntimeCall (RuntimeCall* x);
112 virtual void do_MemBar (MemBar* x);
113 virtual void do_RangeCheckPredicate(RangeCheckPredicate* x);
114#ifdef ASSERT
115 virtual void do_Assert (Assert* x);
116#endif
117};
118
119#endif // SHARE_C1_C1_CANONICALIZER_HPP
120