| /* |
| * Licensed to the Apache Software Foundation (ASF) under one or more |
| * contributor license agreements. See the NOTICE file distributed with |
| * this work for additional information regarding copyright ownership. |
| * The ASF licenses this file to You under the Apache License, Version 2.0 |
| * (the "License"); you may not use this file except in compliance with |
| * the License. You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| /** |
| * @author Sergey L. Ivashin |
| */ |
| |
| #if !defined(__IA32REGALLOCCHECK_H_INCLUDED__) |
| #define __IA32REGALLOCCHECK_H_INCLUDED__ |
| |
| #include "Ia32IRManager.h" |
| |
| |
| namespace Jitrino |
| { |
| namespace Ia32 |
| { |
| |
| |
| //======================================================================================== |
| // class RegAllocCheck |
| //======================================================================================== |
| /** |
| * This class used for debug purposes; |
| * |
| * (1) It checks that there are no two operands which are assigned to the same |
| * regsiter and both are alive at some instruction. |
| * |
| * (2) It checks that the operand assignment is consistent with the operand constraint. |
| * |
| * (3) (if enabled by 'checkloc' argument) It checks that all operands are assigned |
| * to memory or register. |
| * |
| */ |
| |
| class RegAllocCheck |
| { |
| |
| public: |
| |
| RegAllocCheck (const IRManager& x) :irm(x), mm("RegAllocCheck") {} |
| |
| bool run (bool checkloc); |
| |
| protected: |
| |
| typedef U_32 RegMask; |
| |
| const IRManager& irm; |
| MemoryManager mm; |
| size_t opandcount; |
| const Node* bblock; |
| const Node* lastbb; |
| bool headprinted; |
| int errors; |
| |
| void checkLiveness (); |
| void checkLocations (); |
| void checkConstraints (); |
| ::std::ostream& error (); |
| ::std::ostream& header (); |
| }; |
| |
| |
| } //namespace Ia32 |
| } //namespace Jitrino |
| #endif |