1 /*
2 * Copyright (c) 1999, 2023, 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
30 class 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 void move_const_to_right(Op2* x);
44 void do_Op2(Op2* x);
45
46 public:
47 Canonicalizer(Compilation* c, Value x, int bci) : _compilation(c), _canonical(x), _bci(bci) {
48 NOT_PRODUCT(x->set_printable_bci(bci));
49 if (CanonicalizeNodes) x->visit(this);
50 }
51 Value canonical() const { return _canonical; }
52 int bci() const { return _bci; }
53
54 virtual void do_Phi (Phi* x);
55 virtual void do_Constant (Constant* x);
56 virtual void do_Local (Local* x);
57 virtual void do_LoadField (LoadField* x);
58 virtual void do_StoreField (StoreField* x);
59 virtual void do_ArrayLength (ArrayLength* x);
60 virtual void do_LoadIndexed (LoadIndexed* x);
61 virtual void do_StoreIndexed (StoreIndexed* x);
62 virtual void do_NegateOp (NegateOp* x);
63 virtual void do_ArithmeticOp (ArithmeticOp* x);
64 virtual void do_ShiftOp (ShiftOp* x);
65 virtual void do_LogicOp (LogicOp* x);
66 virtual void do_CompareOp (CompareOp* x);
67 virtual void do_IfOp (IfOp* x);
68 virtual void do_Convert (Convert* x);
69 virtual void do_NullCheck (NullCheck* x);
70 virtual void do_TypeCast (TypeCast* x);
71 virtual void do_Invoke (Invoke* x);
72 virtual void do_NewInstance (NewInstance* x);
73 virtual void do_NewTypeArray (NewTypeArray* x);
74 virtual void do_NewObjectArray (NewObjectArray* x);
75 virtual void do_NewMultiArray (NewMultiArray* x);
76 virtual void do_CheckCast (CheckCast* x);
77 virtual void do_InstanceOf (InstanceOf* x);
78 virtual void do_MonitorEnter (MonitorEnter* x);
79 virtual void do_MonitorExit (MonitorExit* x);
80 virtual void do_Intrinsic (Intrinsic* x);
81 virtual void do_BlockBegin (BlockBegin* x);
82 virtual void do_Goto (Goto* x);
83 virtual void do_If (If* x);
84 virtual void do_TableSwitch (TableSwitch* x);
85 virtual void do_LookupSwitch (LookupSwitch* x);
86 virtual void do_Return (Return* x);
87 virtual void do_Throw (Throw* x);
88 virtual void do_Base (Base* x);
89 virtual void do_OsrEntry (OsrEntry* x);
90 virtual void do_ExceptionObject(ExceptionObject* x);
91 virtual void do_RoundFP (RoundFP* x);
92 virtual void do_UnsafeGet (UnsafeGet* x);
93 virtual void do_UnsafePut (UnsafePut* x);
94 virtual void do_UnsafeGetAndSet(UnsafeGetAndSet* x);
95 virtual void do_ProfileCall (ProfileCall* x);
96 virtual void do_ProfileReturnType (ProfileReturnType* x);
97 virtual void do_ProfileInvoke (ProfileInvoke* x);
98 virtual void do_RuntimeCall (RuntimeCall* x);
99 virtual void do_MemBar (MemBar* x);
100 virtual void do_RangeCheckPredicate(RangeCheckPredicate* x);
101 #ifdef ASSERT
102 virtual void do_Assert (Assert* x);
103 #endif
104 };
105
106 #endif // SHARE_C1_C1_CANONICALIZER_HPP