duke@435: /* mikael@4153: * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * trims@1907: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA trims@1907: * or visit www.oracle.com if you need additional information or have any trims@1907: * questions. duke@435: * duke@435: */ duke@435: stefank@2314: #ifndef SHARE_VM_C1_C1_CANONICALIZER_HPP stefank@2314: #define SHARE_VM_C1_C1_CANONICALIZER_HPP stefank@2314: stefank@2314: #include "c1/c1_Instruction.hpp" stefank@2314: duke@435: class Canonicalizer: InstructionVisitor { duke@435: private: iveresov@2138: Compilation *_compilation; duke@435: Instruction* _canonical; duke@435: int _bci; duke@435: iveresov@2138: Compilation *compilation() { return _compilation; } duke@435: void set_canonical(Value x); duke@435: void set_bci(int bci) { _bci = bci; } duke@435: void set_constant(jint x) { set_canonical(new Constant(new IntConstant(x))); } duke@435: void set_constant(jlong x) { set_canonical(new Constant(new LongConstant(x))); } duke@435: void set_constant(jfloat x) { set_canonical(new Constant(new FloatConstant(x))); } duke@435: void set_constant(jdouble x) { set_canonical(new Constant(new DoubleConstant(x))); } duke@435: void move_const_to_right(Op2* x); duke@435: void do_Op2(Op2* x); duke@435: void do_UnsafeRawOp(UnsafeRawOp* x); duke@435: duke@435: void unsafe_raw_match(UnsafeRawOp* x, duke@435: Instruction** base, duke@435: Instruction** index, duke@435: int* scale); duke@435: duke@435: public: iveresov@2138: Canonicalizer(Compilation* c, Value x, int bci) : _compilation(c), _canonical(x), _bci(bci) { iveresov@3246: NOT_PRODUCT(x->set_printable_bci(bci)); iveresov@2138: if (CanonicalizeNodes) x->visit(this); iveresov@2138: } duke@435: Value canonical() const { return _canonical; } duke@435: int bci() const { return _bci; } duke@435: duke@435: virtual void do_Phi (Phi* x); duke@435: virtual void do_Constant (Constant* x); duke@435: virtual void do_Local (Local* x); duke@435: virtual void do_LoadField (LoadField* x); duke@435: virtual void do_StoreField (StoreField* x); duke@435: virtual void do_ArrayLength (ArrayLength* x); duke@435: virtual void do_LoadIndexed (LoadIndexed* x); duke@435: virtual void do_StoreIndexed (StoreIndexed* x); duke@435: virtual void do_NegateOp (NegateOp* x); duke@435: virtual void do_ArithmeticOp (ArithmeticOp* x); duke@435: virtual void do_ShiftOp (ShiftOp* x); duke@435: virtual void do_LogicOp (LogicOp* x); duke@435: virtual void do_CompareOp (CompareOp* x); duke@435: virtual void do_IfOp (IfOp* x); duke@435: virtual void do_IfInstanceOf (IfInstanceOf* x); duke@435: virtual void do_Convert (Convert* x); duke@435: virtual void do_NullCheck (NullCheck* x); twisti@3969: virtual void do_TypeCast (TypeCast* x); duke@435: virtual void do_Invoke (Invoke* x); duke@435: virtual void do_NewInstance (NewInstance* x); duke@435: virtual void do_NewTypeArray (NewTypeArray* x); duke@435: virtual void do_NewObjectArray (NewObjectArray* x); duke@435: virtual void do_NewMultiArray (NewMultiArray* x); duke@435: virtual void do_CheckCast (CheckCast* x); duke@435: virtual void do_InstanceOf (InstanceOf* x); duke@435: virtual void do_MonitorEnter (MonitorEnter* x); duke@435: virtual void do_MonitorExit (MonitorExit* x); duke@435: virtual void do_Intrinsic (Intrinsic* x); duke@435: virtual void do_BlockBegin (BlockBegin* x); duke@435: virtual void do_Goto (Goto* x); duke@435: virtual void do_If (If* x); duke@435: virtual void do_TableSwitch (TableSwitch* x); duke@435: virtual void do_LookupSwitch (LookupSwitch* x); duke@435: virtual void do_Return (Return* x); duke@435: virtual void do_Throw (Throw* x); duke@435: virtual void do_Base (Base* x); duke@435: virtual void do_OsrEntry (OsrEntry* x); duke@435: virtual void do_ExceptionObject(ExceptionObject* x); duke@435: virtual void do_RoundFP (RoundFP* x); duke@435: virtual void do_UnsafeGetRaw (UnsafeGetRaw* x); duke@435: virtual void do_UnsafePutRaw (UnsafePutRaw* x); duke@435: virtual void do_UnsafeGetObject(UnsafeGetObject* x); duke@435: virtual void do_UnsafePutObject(UnsafePutObject* x); roland@4106: virtual void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x); duke@435: virtual void do_UnsafePrefetchRead (UnsafePrefetchRead* x); duke@435: virtual void do_UnsafePrefetchWrite(UnsafePrefetchWrite* x); duke@435: virtual void do_ProfileCall (ProfileCall* x); iveresov@2138: virtual void do_ProfileInvoke (ProfileInvoke* x); never@2486: virtual void do_RuntimeCall (RuntimeCall* x); jiangli@3592: virtual void do_MemBar (MemBar* x); roland@4860: virtual void do_RangeCheckPredicate(RangeCheckPredicate* x); roland@4860: virtual void do_Assert (Assert* x); duke@435: }; stefank@2314: stefank@2314: #endif // SHARE_VM_C1_C1_CANONICALIZER_HPP