1 /*
   2  * Copyright (c) 1999, 2012, 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_VM_C1_C1_CANONICALIZER_HPP
  26 #define SHARE_VM_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   void do_UnsafeRawOp(UnsafeRawOp* x);
  46 
  47   void unsafe_raw_match(UnsafeRawOp* x,
  48                         Instruction** base,
  49                         Instruction** index,
  50                         int* scale);
  51 
  52  public:
  53   Canonicalizer(Compilation* c, Value x, int bci) : _compilation(c), _canonical(x), _bci(bci) {
  54     NOT_PRODUCT(x->set_printable_bci(bci));
  55     if (CanonicalizeNodes) x->visit(this);
  56   }
  57   Value canonical() const                        { return _canonical; }
  58   int bci() const                                { return _bci; }
  59 
  60   virtual void do_Phi            (Phi*             x);
  61   virtual void do_Constant       (Constant*        x);
  62   virtual void do_Local          (Local*           x);
  63   virtual void do_LoadField      (LoadField*       x);
  64   virtual void do_StoreField     (StoreField*      x);
  65   virtual void do_ArrayLength    (ArrayLength*     x);
  66   virtual void do_LoadIndexed    (LoadIndexed*     x);
  67   virtual void do_StoreIndexed   (StoreIndexed*    x);
  68   virtual void do_NegateOp       (NegateOp*        x);
  69   virtual void do_ArithmeticOp   (ArithmeticOp*    x);
  70   virtual void do_ShiftOp        (ShiftOp*         x);
  71   virtual void do_LogicOp        (LogicOp*         x);
  72   virtual void do_CompareOp      (CompareOp*       x);
  73   virtual void do_IfOp           (IfOp*            x);
  74   virtual void do_IfInstanceOf   (IfInstanceOf*    x);
  75   virtual void do_Convert        (Convert*         x);
  76   virtual void do_NullCheck      (NullCheck*       x);
  77   virtual void do_TypeCast       (TypeCast*        x);
  78   virtual void do_Invoke         (Invoke*          x);
  79   virtual void do_NewInstance    (NewInstance*     x);
  80   virtual void do_NewTypeArray   (NewTypeArray*    x);
  81   virtual void do_NewObjectArray (NewObjectArray*  x);
  82   virtual void do_NewMultiArray  (NewMultiArray*   x);
  83   virtual void do_CheckCast      (CheckCast*       x);
  84   virtual void do_InstanceOf     (InstanceOf*      x);
  85   virtual void do_MonitorEnter   (MonitorEnter*    x);
  86   virtual void do_MonitorExit    (MonitorExit*     x);
  87   virtual void do_Intrinsic      (Intrinsic*       x);
  88   virtual void do_BlockBegin     (BlockBegin*      x);
  89   virtual void do_Goto           (Goto*            x);
  90   virtual void do_If             (If*              x);
  91   virtual void do_TableSwitch    (TableSwitch*     x);
  92   virtual void do_LookupSwitch   (LookupSwitch*    x);
  93   virtual void do_Return         (Return*          x);
  94   virtual void do_Throw          (Throw*           x);
  95   virtual void do_Base           (Base*            x);
  96   virtual void do_OsrEntry       (OsrEntry*        x);
  97   virtual void do_ExceptionObject(ExceptionObject* x);
  98   virtual void do_RoundFP        (RoundFP*         x);
  99   virtual void do_UnsafeGetRaw   (UnsafeGetRaw*    x);
 100   virtual void do_UnsafePutRaw   (UnsafePutRaw*    x);
 101   virtual void do_UnsafeGetObject(UnsafeGetObject* x);
 102   virtual void do_UnsafePutObject(UnsafePutObject* x);
 103   virtual void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x);
 104   virtual void do_UnsafePrefetchRead (UnsafePrefetchRead*  x);
 105   virtual void do_UnsafePrefetchWrite(UnsafePrefetchWrite* x);
 106   virtual void do_ProfileCall    (ProfileCall*     x);
 107   virtual void do_ProfileInvoke  (ProfileInvoke*   x);
 108   virtual void do_RuntimeCall    (RuntimeCall*     x);
 109   virtual void do_MemBar         (MemBar*          x);
 110   virtual void do_RangeCheckPredicate(RangeCheckPredicate* x);
 111 #ifdef ASSERT
 112   virtual void do_Assert         (Assert*          x);
 113 #endif
 114 };
 115 
 116 #endif // SHARE_VM_C1_C1_CANONICALIZER_HPP