Dragos Sbirlea | d25de7a | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2013 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Dragos Sbirlea | 0e260a3 | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 17 | #include "sea.h" |
Dragos Sbirlea | d25de7a | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 18 | #include "dex_instruction.h" |
| 19 | |
Dragos Sbirlea | bfaf44f | 2013-08-06 15:41:44 -0700 | [diff] [blame^] | 20 | #ifndef ART_COMPILER_SEA_IR_IR_INSTRUCTION_TOOLS_H_ |
| 21 | #define ART_COMPILER_SEA_IR_IR_INSTRUCTION_TOOLS_H_ |
Dragos Sbirlea | d25de7a | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 22 | |
Dragos Sbirlea | 0e260a3 | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 23 | |
Dragos Sbirlea | d25de7a | 2013-06-21 09:20:34 -0700 | [diff] [blame] | 24 | // Note: This file has content cannibalized for SEA_IR from the MIR implementation, |
| 25 | // to avoid having a dependence on MIR. |
| 26 | namespace sea_ir { |
| 27 | |
| 28 | #define DF_NOP 0 |
| 29 | #define DF_UA (1 << kUA) |
| 30 | #define DF_UB (1 << kUB) |
| 31 | #define DF_UC (1 << kUC) |
| 32 | #define DF_A_WIDE (1 << kAWide) |
| 33 | #define DF_B_WIDE (1 << kBWide) |
| 34 | #define DF_C_WIDE (1 << kCWide) |
| 35 | #define DF_DA (1 << kDA) |
| 36 | #define DF_IS_MOVE (1 << kIsMove) |
| 37 | #define DF_SETS_CONST (1 << kSetsConst) |
| 38 | #define DF_FORMAT_35C (1 << kFormat35c) |
| 39 | #define DF_FORMAT_3RC (1 << kFormat3rc) |
| 40 | #define DF_NULL_CHK_0 (1 << kNullCheckSrc0) |
| 41 | #define DF_NULL_CHK_1 (1 << kNullCheckSrc1) |
| 42 | #define DF_NULL_CHK_2 (1 << kNullCheckSrc2) |
| 43 | #define DF_NULL_CHK_OUT0 (1 << kNullCheckOut0) |
| 44 | #define DF_NON_NULL_DST (1 << kDstNonNull) |
| 45 | #define DF_NON_NULL_RET (1 << kRetNonNull) |
| 46 | #define DF_NULL_TRANSFER_0 (1 << kNullTransferSrc0) |
| 47 | #define DF_NULL_TRANSFER_N (1 << kNullTransferSrcN) |
| 48 | #define DF_RANGE_CHK_1 (1 << kRangeCheckSrc1) |
| 49 | #define DF_RANGE_CHK_2 (1 << kRangeCheckSrc2) |
| 50 | #define DF_RANGE_CHK_3 (1 << kRangeCheckSrc3) |
| 51 | #define DF_FP_A (1 << kFPA) |
| 52 | #define DF_FP_B (1 << kFPB) |
| 53 | #define DF_FP_C (1 << kFPC) |
| 54 | #define DF_CORE_A (1 << kCoreA) |
| 55 | #define DF_CORE_B (1 << kCoreB) |
| 56 | #define DF_CORE_C (1 << kCoreC) |
| 57 | #define DF_REF_A (1 << kRefA) |
| 58 | #define DF_REF_B (1 << kRefB) |
| 59 | #define DF_REF_C (1 << kRefC) |
| 60 | #define DF_UMS (1 << kUsesMethodStar) |
| 61 | |
| 62 | #define DF_HAS_USES (DF_UA | DF_UB | DF_UC) |
| 63 | |
| 64 | #define DF_HAS_DEFS (DF_DA) |
| 65 | |
| 66 | #define DF_HAS_NULL_CHKS (DF_NULL_CHK_0 | \ |
| 67 | DF_NULL_CHK_1 | \ |
| 68 | DF_NULL_CHK_2 | \ |
| 69 | DF_NULL_CHK_OUT0) |
| 70 | |
| 71 | #define DF_HAS_RANGE_CHKS (DF_RANGE_CHK_1 | \ |
| 72 | DF_RANGE_CHK_2 | \ |
| 73 | DF_RANGE_CHK_3) |
| 74 | |
| 75 | #define DF_HAS_NR_CHKS (DF_HAS_NULL_CHKS | \ |
| 76 | DF_HAS_RANGE_CHKS) |
| 77 | |
| 78 | #define DF_A_IS_REG (DF_UA | DF_DA) |
| 79 | #define DF_B_IS_REG (DF_UB) |
| 80 | #define DF_C_IS_REG (DF_UC) |
| 81 | #define DF_IS_GETTER_OR_SETTER (DF_IS_GETTER | DF_IS_SETTER) |
| 82 | #define DF_USES_FP (DF_FP_A | DF_FP_B | DF_FP_C) |
| 83 | |
| 84 | enum DataFlowAttributePos { |
| 85 | kUA = 0, |
| 86 | kUB, |
| 87 | kUC, |
| 88 | kAWide, |
| 89 | kBWide, |
| 90 | kCWide, |
| 91 | kDA, |
| 92 | kIsMove, |
| 93 | kSetsConst, |
| 94 | kFormat35c, |
| 95 | kFormat3rc, |
| 96 | kNullCheckSrc0, // Null check of uses[0]. |
| 97 | kNullCheckSrc1, // Null check of uses[1]. |
| 98 | kNullCheckSrc2, // Null check of uses[2]. |
| 99 | kNullCheckOut0, // Null check out outgoing arg0. |
| 100 | kDstNonNull, // May assume dst is non-null. |
| 101 | kRetNonNull, // May assume retval is non-null. |
| 102 | kNullTransferSrc0, // Object copy src[0] -> dst. |
| 103 | kNullTransferSrcN, // Phi null check state transfer. |
| 104 | kRangeCheckSrc1, // Range check of uses[1]. |
| 105 | kRangeCheckSrc2, // Range check of uses[2]. |
| 106 | kRangeCheckSrc3, // Range check of uses[3]. |
| 107 | kFPA, |
| 108 | kFPB, |
| 109 | kFPC, |
| 110 | kCoreA, |
| 111 | kCoreB, |
| 112 | kCoreC, |
| 113 | kRefA, |
| 114 | kRefB, |
| 115 | kRefC, |
| 116 | kUsesMethodStar, // Implicit use of Method*. |
| 117 | }; |
| 118 | |
| 119 | class InstructionTools { |
| 120 | public: |
| 121 | static bool IsDefinition(const art::Instruction* instruction); |
| 122 | static const int instruction_attributes_[]; |
| 123 | }; |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 124 | } // namespace sea_ir |
Dragos Sbirlea | bfaf44f | 2013-08-06 15:41:44 -0700 | [diff] [blame^] | 125 | #endif // ART_COMPILER_SEA_IR_IR_INSTRUCTION_TOOLS_H_ |