Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 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 | |
| 17 | #include "register_line.h" |
| 18 | |
Andreas Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame^] | 19 | #include "android-base/stringprintf.h" |
| 20 | |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 21 | #include "dex_instruction-inl.h" |
Andreas Gampe | af31802 | 2015-08-12 16:42:06 -0700 | [diff] [blame] | 22 | #include "method_verifier-inl.h" |
Ian Rogers | 39ebcb8 | 2013-05-30 16:57:23 -0700 | [diff] [blame] | 23 | #include "register_line-inl.h" |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 24 | #include "reg_type-inl.h" |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 25 | |
| 26 | namespace art { |
| 27 | namespace verifier { |
| 28 | |
Andreas Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame^] | 29 | using android::base::StringPrintf; |
| 30 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 31 | bool RegisterLine::CheckConstructorReturn(MethodVerifier* verifier) const { |
Andreas Gampe | f10b6e1 | 2015-08-12 10:48:12 -0700 | [diff] [blame] | 32 | if (kIsDebugBuild && this_initialized_) { |
| 33 | // Ensure that there is no UninitializedThisReference type anymore if this_initialized_ is true. |
| 34 | for (size_t i = 0; i < num_regs_; i++) { |
| 35 | const RegType& type = GetRegisterType(verifier, i); |
| 36 | CHECK(!type.IsUninitializedThisReference() && |
| 37 | !type.IsUnresolvedAndUninitializedThisReference()) |
| 38 | << i << ": " << type.IsUninitializedThisReference() << " in " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 39 | << verifier->GetMethodReference().PrettyMethod(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 40 | } |
| 41 | } |
Andreas Gampe | f10b6e1 | 2015-08-12 10:48:12 -0700 | [diff] [blame] | 42 | if (!this_initialized_) { |
| 43 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) |
| 44 | << "Constructor returning without calling superclass constructor"; |
| 45 | } |
| 46 | return this_initialized_; |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 47 | } |
| 48 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 49 | const RegType& RegisterLine::GetInvocationThis(MethodVerifier* verifier, const Instruction* inst, |
Orion Hodson | cfa325e | 2016-10-13 10:25:54 +0100 | [diff] [blame] | 50 | bool allow_failure) { |
| 51 | DCHECK(inst->IsInvoke()); |
| 52 | const size_t args_count = inst->VRegA(); |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 53 | if (args_count < 1) { |
Mathieu Chartier | 091d238 | 2015-03-06 10:59:06 -0800 | [diff] [blame] | 54 | if (!allow_failure) { |
| 55 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke lacks 'this'"; |
| 56 | } |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 57 | return verifier->GetRegTypeCache()->Conflict(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 58 | } |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 59 | /* Get the element type of the array held in vsrc */ |
Orion Hodson | cfa325e | 2016-10-13 10:25:54 +0100 | [diff] [blame] | 60 | const uint32_t this_reg = inst->VRegC(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 61 | const RegType& this_type = GetRegisterType(verifier, this_reg); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 62 | if (!this_type.IsReferenceTypes()) { |
Mathieu Chartier | 091d238 | 2015-03-06 10:59:06 -0800 | [diff] [blame] | 63 | if (!allow_failure) { |
| 64 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) |
| 65 | << "tried to get class from non-reference register v" << this_reg |
| 66 | << " (type=" << this_type << ")"; |
| 67 | } |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 68 | return verifier->GetRegTypeCache()->Conflict(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 69 | } |
| 70 | return this_type; |
| 71 | } |
| 72 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 73 | bool RegisterLine::VerifyRegisterTypeWide(MethodVerifier* verifier, uint32_t vsrc, |
| 74 | const RegType& check_type1, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 75 | const RegType& check_type2) { |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 76 | DCHECK(check_type1.CheckWidePair(check_type2)); |
| 77 | // Verify the src register type against the check type refining the type of the register |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 78 | const RegType& src_type = GetRegisterType(verifier, vsrc); |
David Brazdil | ca3c8c3 | 2016-09-06 14:04:48 +0100 | [diff] [blame] | 79 | if (!check_type1.IsAssignableFrom(src_type, verifier)) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 80 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << vsrc << " has type " << src_type |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 81 | << " but expected " << check_type1; |
| 82 | return false; |
| 83 | } |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 84 | const RegType& src_type_h = GetRegisterType(verifier, vsrc + 1); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 85 | if (!src_type.CheckWidePair(src_type_h)) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 86 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type " |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 87 | << src_type << "/" << src_type_h; |
| 88 | return false; |
| 89 | } |
| 90 | // The register at vsrc has a defined type, we know the lower-upper-bound, but this is less |
| 91 | // precise than the subtype in vsrc so leave it for reference types. For primitive types |
| 92 | // if they are a defined type then they are as precise as we can get, however, for constant |
| 93 | // types we may wish to refine them. Unfortunately constant propagation has rendered this useless. |
| 94 | return true; |
| 95 | } |
| 96 | |
Nicolas Geoffray | 98e6ce4 | 2016-02-16 18:42:15 +0000 | [diff] [blame] | 97 | void RegisterLine::MarkRefsAsInitialized(MethodVerifier* verifier, const RegType& uninit_type) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 98 | DCHECK(uninit_type.IsUninitializedTypes()); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 99 | const RegType& init_type = verifier->GetRegTypeCache()->FromUninitialized(uninit_type); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 100 | size_t changed = 0; |
Ian Rogers | b8c7859 | 2013-07-25 23:52:52 +0000 | [diff] [blame] | 101 | for (uint32_t i = 0; i < num_regs_; i++) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 102 | if (GetRegisterType(verifier, i).Equals(uninit_type)) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 103 | line_[i] = init_type.GetId(); |
| 104 | changed++; |
| 105 | } |
| 106 | } |
Andreas Gampe | f10b6e1 | 2015-08-12 10:48:12 -0700 | [diff] [blame] | 107 | // Is this initializing "this"? |
| 108 | if (uninit_type.IsUninitializedThisReference() || |
| 109 | uninit_type.IsUnresolvedAndUninitializedThisReference()) { |
| 110 | this_initialized_ = true; |
| 111 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 112 | DCHECK_GT(changed, 0u); |
| 113 | } |
| 114 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 115 | void RegisterLine::MarkAllRegistersAsConflicts(MethodVerifier* verifier) { |
| 116 | uint16_t conflict_type_id = verifier->GetRegTypeCache()->Conflict().GetId(); |
Ian Rogers | b8c7859 | 2013-07-25 23:52:52 +0000 | [diff] [blame] | 117 | for (uint32_t i = 0; i < num_regs_; i++) { |
| 118 | line_[i] = conflict_type_id; |
| 119 | } |
| 120 | } |
| 121 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 122 | void RegisterLine::MarkAllRegistersAsConflictsExcept(MethodVerifier* verifier, uint32_t vsrc) { |
| 123 | uint16_t conflict_type_id = verifier->GetRegTypeCache()->Conflict().GetId(); |
Ian Rogers | b8c7859 | 2013-07-25 23:52:52 +0000 | [diff] [blame] | 124 | for (uint32_t i = 0; i < num_regs_; i++) { |
| 125 | if (i != vsrc) { |
| 126 | line_[i] = conflict_type_id; |
| 127 | } |
| 128 | } |
| 129 | } |
| 130 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 131 | void RegisterLine::MarkAllRegistersAsConflictsExceptWide(MethodVerifier* verifier, uint32_t vsrc) { |
| 132 | uint16_t conflict_type_id = verifier->GetRegTypeCache()->Conflict().GetId(); |
Ian Rogers | b8c7859 | 2013-07-25 23:52:52 +0000 | [diff] [blame] | 133 | for (uint32_t i = 0; i < num_regs_; i++) { |
| 134 | if ((i != vsrc) && (i != (vsrc + 1))) { |
| 135 | line_[i] = conflict_type_id; |
| 136 | } |
| 137 | } |
| 138 | } |
| 139 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 140 | std::string RegisterLine::Dump(MethodVerifier* verifier) const { |
Ian Rogers | 529781d | 2012-07-23 17:24:29 -0700 | [diff] [blame] | 141 | std::string result; |
| 142 | for (size_t i = 0; i < num_regs_; i++) { |
| 143 | result += StringPrintf("%zd:[", i); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 144 | result += GetRegisterType(verifier, i).Dump(); |
Ian Rogers | 529781d | 2012-07-23 17:24:29 -0700 | [diff] [blame] | 145 | result += "],"; |
| 146 | } |
Mathieu Chartier | 02e2511 | 2013-08-14 16:14:24 -0700 | [diff] [blame] | 147 | for (const auto& monitor : monitors_) { |
| 148 | result += StringPrintf("{%d},", monitor); |
Ian Rogers | 529781d | 2012-07-23 17:24:29 -0700 | [diff] [blame] | 149 | } |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 150 | for (auto& pairs : reg_to_lock_depths_) { |
| 151 | result += StringPrintf("<%d -> %x>", pairs.first, pairs.second); |
| 152 | } |
Ian Rogers | 529781d | 2012-07-23 17:24:29 -0700 | [diff] [blame] | 153 | return result; |
| 154 | } |
| 155 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 156 | void RegisterLine::MarkUninitRefsAsInvalid(MethodVerifier* verifier, const RegType& uninit_type) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 157 | for (size_t i = 0; i < num_regs_; i++) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 158 | if (GetRegisterType(verifier, i).Equals(uninit_type)) { |
| 159 | line_[i] = verifier->GetRegTypeCache()->Conflict().GetId(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 160 | ClearAllRegToLockDepths(i); |
| 161 | } |
| 162 | } |
| 163 | } |
| 164 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 165 | void RegisterLine::CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference) { |
| 166 | const RegType& type = verifier->GetRegTypeCache()->GetFromId(result_[0]); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 167 | if ((!is_reference && !type.IsCategory1Types()) || |
| 168 | (is_reference && !type.IsReferenceTypes())) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 169 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 170 | << "copyRes1 v" << vdst << "<- result0" << " type=" << type; |
| 171 | } else { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 172 | DCHECK(verifier->GetRegTypeCache()->GetFromId(result_[1]).IsUndefined()); |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 173 | SetRegisterType<LockOp::kClear>(verifier, vdst, type); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 174 | result_[0] = verifier->GetRegTypeCache()->Undefined().GetId(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 175 | } |
| 176 | } |
| 177 | |
| 178 | /* |
| 179 | * Implement "move-result-wide". Copy the category-2 value from the result |
| 180 | * register to another register, and reset the result register. |
| 181 | */ |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 182 | void RegisterLine::CopyResultRegister2(MethodVerifier* verifier, uint32_t vdst) { |
| 183 | const RegType& type_l = verifier->GetRegTypeCache()->GetFromId(result_[0]); |
| 184 | const RegType& type_h = verifier->GetRegTypeCache()->GetFromId(result_[1]); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 185 | if (!type_l.IsCategory2Types()) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 186 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 187 | << "copyRes2 v" << vdst << "<- result0" << " type=" << type_l; |
| 188 | } else { |
| 189 | DCHECK(type_l.CheckWidePair(type_h)); // Set should never allow this case |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 190 | SetRegisterTypeWide(verifier, vdst, type_l, type_h); // also sets the high |
| 191 | result_[0] = verifier->GetRegTypeCache()->Undefined().GetId(); |
| 192 | result_[1] = verifier->GetRegTypeCache()->Undefined().GetId(); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 193 | } |
| 194 | } |
| 195 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 196 | void RegisterLine::CheckUnaryOp(MethodVerifier* verifier, const Instruction* inst, |
| 197 | const RegType& dst_type, const RegType& src_type) { |
| 198 | if (VerifyRegisterType(verifier, inst->VRegB_12x(), src_type)) { |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 199 | SetRegisterType<LockOp::kClear>(verifier, inst->VRegA_12x(), dst_type); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 200 | } |
| 201 | } |
| 202 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 203 | void RegisterLine::CheckUnaryOpWide(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 204 | const RegType& dst_type1, const RegType& dst_type2, |
| 205 | const RegType& src_type1, const RegType& src_type2) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 206 | if (VerifyRegisterTypeWide(verifier, inst->VRegB_12x(), src_type1, src_type2)) { |
| 207 | SetRegisterTypeWide(verifier, inst->VRegA_12x(), dst_type1, dst_type2); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 208 | } |
| 209 | } |
| 210 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 211 | void RegisterLine::CheckUnaryOpToWide(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 212 | const RegType& dst_type1, const RegType& dst_type2, |
| 213 | const RegType& src_type) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 214 | if (VerifyRegisterType(verifier, inst->VRegB_12x(), src_type)) { |
| 215 | SetRegisterTypeWide(verifier, inst->VRegA_12x(), dst_type1, dst_type2); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 216 | } |
| 217 | } |
| 218 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 219 | void RegisterLine::CheckUnaryOpFromWide(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 220 | const RegType& dst_type, |
| 221 | const RegType& src_type1, const RegType& src_type2) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 222 | if (VerifyRegisterTypeWide(verifier, inst->VRegB_12x(), src_type1, src_type2)) { |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 223 | SetRegisterType<LockOp::kClear>(verifier, inst->VRegA_12x(), dst_type); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 224 | } |
| 225 | } |
| 226 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 227 | void RegisterLine::CheckBinaryOp(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 228 | const RegType& dst_type, |
| 229 | const RegType& src_type1, const RegType& src_type2, |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 230 | bool check_boolean_op) { |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 231 | const uint32_t vregB = inst->VRegB_23x(); |
| 232 | const uint32_t vregC = inst->VRegC_23x(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 233 | if (VerifyRegisterType(verifier, vregB, src_type1) && |
| 234 | VerifyRegisterType(verifier, vregC, src_type2)) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 235 | if (check_boolean_op) { |
| 236 | DCHECK(dst_type.IsInteger()); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 237 | if (GetRegisterType(verifier, vregB).IsBooleanTypes() && |
| 238 | GetRegisterType(verifier, vregC).IsBooleanTypes()) { |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 239 | SetRegisterType<LockOp::kClear>(verifier, |
| 240 | inst->VRegA_23x(), |
| 241 | verifier->GetRegTypeCache()->Boolean()); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 242 | return; |
| 243 | } |
| 244 | } |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 245 | SetRegisterType<LockOp::kClear>(verifier, inst->VRegA_23x(), dst_type); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 246 | } |
| 247 | } |
| 248 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 249 | void RegisterLine::CheckBinaryOpWide(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 250 | const RegType& dst_type1, const RegType& dst_type2, |
| 251 | const RegType& src_type1_1, const RegType& src_type1_2, |
| 252 | const RegType& src_type2_1, const RegType& src_type2_2) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 253 | if (VerifyRegisterTypeWide(verifier, inst->VRegB_23x(), src_type1_1, src_type1_2) && |
| 254 | VerifyRegisterTypeWide(verifier, inst->VRegC_23x(), src_type2_1, src_type2_2)) { |
| 255 | SetRegisterTypeWide(verifier, inst->VRegA_23x(), dst_type1, dst_type2); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 256 | } |
| 257 | } |
| 258 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 259 | void RegisterLine::CheckBinaryOpWideShift(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 260 | const RegType& long_lo_type, const RegType& long_hi_type, |
| 261 | const RegType& int_type) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 262 | if (VerifyRegisterTypeWide(verifier, inst->VRegB_23x(), long_lo_type, long_hi_type) && |
| 263 | VerifyRegisterType(verifier, inst->VRegC_23x(), int_type)) { |
| 264 | SetRegisterTypeWide(verifier, inst->VRegA_23x(), long_lo_type, long_hi_type); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 265 | } |
| 266 | } |
| 267 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 268 | void RegisterLine::CheckBinaryOp2addr(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 269 | const RegType& dst_type, const RegType& src_type1, |
| 270 | const RegType& src_type2, bool check_boolean_op) { |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 271 | const uint32_t vregA = inst->VRegA_12x(); |
| 272 | const uint32_t vregB = inst->VRegB_12x(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 273 | if (VerifyRegisterType(verifier, vregA, src_type1) && |
| 274 | VerifyRegisterType(verifier, vregB, src_type2)) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 275 | if (check_boolean_op) { |
| 276 | DCHECK(dst_type.IsInteger()); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 277 | if (GetRegisterType(verifier, vregA).IsBooleanTypes() && |
| 278 | GetRegisterType(verifier, vregB).IsBooleanTypes()) { |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 279 | SetRegisterType<LockOp::kClear>(verifier, |
| 280 | vregA, |
| 281 | verifier->GetRegTypeCache()->Boolean()); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 282 | return; |
| 283 | } |
| 284 | } |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 285 | SetRegisterType<LockOp::kClear>(verifier, vregA, dst_type); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 286 | } |
| 287 | } |
| 288 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 289 | void RegisterLine::CheckBinaryOp2addrWide(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 290 | const RegType& dst_type1, const RegType& dst_type2, |
| 291 | const RegType& src_type1_1, const RegType& src_type1_2, |
| 292 | const RegType& src_type2_1, const RegType& src_type2_2) { |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 293 | const uint32_t vregA = inst->VRegA_12x(); |
| 294 | const uint32_t vregB = inst->VRegB_12x(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 295 | if (VerifyRegisterTypeWide(verifier, vregA, src_type1_1, src_type1_2) && |
| 296 | VerifyRegisterTypeWide(verifier, vregB, src_type2_1, src_type2_2)) { |
| 297 | SetRegisterTypeWide(verifier, vregA, dst_type1, dst_type2); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 298 | } |
| 299 | } |
| 300 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 301 | void RegisterLine::CheckBinaryOp2addrWideShift(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 302 | const RegType& long_lo_type, const RegType& long_hi_type, |
| 303 | const RegType& int_type) { |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 304 | const uint32_t vregA = inst->VRegA_12x(); |
| 305 | const uint32_t vregB = inst->VRegB_12x(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 306 | if (VerifyRegisterTypeWide(verifier, vregA, long_lo_type, long_hi_type) && |
| 307 | VerifyRegisterType(verifier, vregB, int_type)) { |
| 308 | SetRegisterTypeWide(verifier, vregA, long_lo_type, long_hi_type); |
Ian Rogers | 2bcb4a4 | 2012-11-08 10:39:18 -0800 | [diff] [blame] | 309 | } |
| 310 | } |
| 311 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 312 | void RegisterLine::CheckLiteralOp(MethodVerifier* verifier, const Instruction* inst, |
Ian Rogers | d8f69b0 | 2014-09-10 21:43:52 +0000 | [diff] [blame] | 313 | const RegType& dst_type, const RegType& src_type, |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 314 | bool check_boolean_op, bool is_lit16) { |
| 315 | const uint32_t vregA = is_lit16 ? inst->VRegA_22s() : inst->VRegA_22b(); |
| 316 | const uint32_t vregB = is_lit16 ? inst->VRegB_22s() : inst->VRegB_22b(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 317 | if (VerifyRegisterType(verifier, vregB, src_type)) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 318 | if (check_boolean_op) { |
| 319 | DCHECK(dst_type.IsInteger()); |
| 320 | /* check vB with the call, then check the constant manually */ |
Sebastien Hertz | 5243e91 | 2013-05-21 10:55:07 +0200 | [diff] [blame] | 321 | const uint32_t val = is_lit16 ? inst->VRegC_22s() : inst->VRegC_22b(); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 322 | if (GetRegisterType(verifier, vregB).IsBooleanTypes() && (val == 0 || val == 1)) { |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 323 | SetRegisterType<LockOp::kClear>(verifier, |
| 324 | vregA, |
| 325 | verifier->GetRegTypeCache()->Boolean()); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 326 | return; |
| 327 | } |
| 328 | } |
Andreas Gampe | ad238ce | 2015-08-24 21:13:08 -0700 | [diff] [blame] | 329 | SetRegisterType<LockOp::kClear>(verifier, vregA, dst_type); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 330 | } |
| 331 | } |
| 332 | |
Andreas Gampe | 895bb5f | 2015-10-14 12:55:48 -0700 | [diff] [blame] | 333 | static constexpr uint32_t kVirtualNullRegister = std::numeric_limits<uint32_t>::max(); |
| 334 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 335 | void RegisterLine::PushMonitor(MethodVerifier* verifier, uint32_t reg_idx, int32_t insn_idx) { |
| 336 | const RegType& reg_type = GetRegisterType(verifier, reg_idx); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 337 | if (!reg_type.IsReferenceTypes()) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 338 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-enter on non-object (" |
| 339 | << reg_type << ")"; |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 340 | } else if (monitors_.size() >= 32) { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 341 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 342 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 343 | VLOG(verifier) << "monitor-enter stack overflow while verifying " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 344 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 345 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 346 | } else { |
Ian Rogers | 8e1f4f8 | 2014-11-05 11:07:30 -0800 | [diff] [blame] | 347 | if (SetRegToLockDepth(reg_idx, monitors_.size())) { |
Andreas Gampe | 895bb5f | 2015-10-14 12:55:48 -0700 | [diff] [blame] | 348 | // Null literals can establish aliases that we can't easily track. As such, handle the zero |
| 349 | // case as the 2^32-1 register (which isn't available in dex bytecode). |
| 350 | if (reg_type.IsZero()) { |
| 351 | SetRegToLockDepth(kVirtualNullRegister, monitors_.size()); |
| 352 | } |
| 353 | |
Ian Rogers | 8e1f4f8 | 2014-11-05 11:07:30 -0800 | [diff] [blame] | 354 | monitors_.push_back(insn_idx); |
| 355 | } else { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 356 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 357 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 358 | VLOG(verifier) << "unexpected monitor-enter on register v" << reg_idx << " in " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 359 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 360 | } |
Ian Rogers | 8e1f4f8 | 2014-11-05 11:07:30 -0800 | [diff] [blame] | 361 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 362 | } |
| 363 | } |
| 364 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 365 | void RegisterLine::PopMonitor(MethodVerifier* verifier, uint32_t reg_idx) { |
| 366 | const RegType& reg_type = GetRegisterType(verifier, reg_idx); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 367 | if (!reg_type.IsReferenceTypes()) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 368 | verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-exit on non-object (" << reg_type << ")"; |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 369 | } else if (monitors_.empty()) { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 370 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 371 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 372 | VLOG(verifier) << "monitor-exit stack underflow while verifying " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 373 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 374 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 375 | } else { |
| 376 | monitors_.pop_back(); |
Andreas Gampe | 895bb5f | 2015-10-14 12:55:48 -0700 | [diff] [blame] | 377 | |
| 378 | bool success = IsSetLockDepth(reg_idx, monitors_.size()); |
| 379 | |
| 380 | if (!success && reg_type.IsZero()) { |
| 381 | // Null literals can establish aliases that we can't easily track. As such, handle the zero |
| 382 | // case as the 2^32-1 register (which isn't available in dex bytecode). |
| 383 | success = IsSetLockDepth(kVirtualNullRegister, monitors_.size()); |
| 384 | if (success) { |
| 385 | reg_idx = kVirtualNullRegister; |
| 386 | } |
| 387 | } |
| 388 | |
| 389 | if (!success) { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 390 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 391 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 392 | VLOG(verifier) << "monitor-exit not unlocking the top of the monitor stack while verifying " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 393 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 394 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 395 | } else { |
Andreas Gampe | 895bb5f | 2015-10-14 12:55:48 -0700 | [diff] [blame] | 396 | // Record the register was unlocked. This clears all aliases, thus it will also clear the |
| 397 | // null lock, if necessary. |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 398 | ClearRegToLockDepth(reg_idx, monitors_.size()); |
| 399 | } |
| 400 | } |
| 401 | } |
| 402 | |
Mathieu Chartier | de40d47 | 2015-10-15 17:47:48 -0700 | [diff] [blame] | 403 | bool FindLockAliasedRegister(uint32_t src, |
| 404 | const RegisterLine::RegToLockDepthsMap& src_map, |
| 405 | const RegisterLine::RegToLockDepthsMap& search_map) { |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 406 | auto it = src_map.find(src); |
| 407 | if (it == src_map.end()) { |
| 408 | // "Not locked" is trivially aliased. |
| 409 | return true; |
| 410 | } |
| 411 | uint32_t src_lock_levels = it->second; |
| 412 | if (src_lock_levels == 0) { |
| 413 | // "Not locked" is trivially aliased. |
| 414 | return true; |
| 415 | } |
| 416 | |
| 417 | // Scan the map for the same value. |
Andreas Gampe | 1eeb00c | 2016-11-03 08:19:01 -0700 | [diff] [blame] | 418 | for (const std::pair<const uint32_t, uint32_t>& pair : search_map) { |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 419 | if (pair.first != src && pair.second == src_lock_levels) { |
| 420 | return true; |
| 421 | } |
| 422 | } |
| 423 | |
| 424 | // Nothing found, no alias. |
| 425 | return false; |
| 426 | } |
| 427 | |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 428 | bool RegisterLine::MergeRegisters(MethodVerifier* verifier, const RegisterLine* incoming_line) { |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 429 | bool changed = false; |
Ian Rogers | d0fbd85 | 2013-09-24 18:17:04 -0700 | [diff] [blame] | 430 | DCHECK(incoming_line != nullptr); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 431 | for (size_t idx = 0; idx < num_regs_; idx++) { |
| 432 | if (line_[idx] != incoming_line->line_[idx]) { |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 433 | const RegType& incoming_reg_type = incoming_line->GetRegisterType(verifier, idx); |
| 434 | const RegType& cur_type = GetRegisterType(verifier, idx); |
David Brazdil | ca3c8c3 | 2016-09-06 14:04:48 +0100 | [diff] [blame] | 435 | const RegType& new_type = cur_type.Merge( |
| 436 | incoming_reg_type, verifier->GetRegTypeCache(), verifier); |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 437 | changed = changed || !cur_type.Equals(new_type); |
| 438 | line_[idx] = new_type.GetId(); |
| 439 | } |
| 440 | } |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 441 | if (monitors_.size() > 0 || incoming_line->monitors_.size() > 0) { |
| 442 | if (monitors_.size() != incoming_line->monitors_.size()) { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 443 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 444 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 445 | VLOG(verifier) << "mismatched stack depths (depth=" << MonitorStackDepth() |
| 446 | << ", incoming depth=" << incoming_line->MonitorStackDepth() << ") in " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 447 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 448 | } |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 449 | } else if (reg_to_lock_depths_ != incoming_line->reg_to_lock_depths_) { |
| 450 | for (uint32_t idx = 0; idx < num_regs_; idx++) { |
| 451 | size_t depths = reg_to_lock_depths_.count(idx); |
| 452 | size_t incoming_depths = incoming_line->reg_to_lock_depths_.count(idx); |
| 453 | if (depths != incoming_depths) { |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 454 | // Stack levels aren't matching. This is potentially bad, as we don't do a |
| 455 | // flow-sensitive analysis. |
| 456 | // However, this could be an alias of something locked in one path, and the alias was |
| 457 | // destroyed in another path. It is fine to drop this as long as there's another alias |
| 458 | // for the lock around. The last vanishing alias will then report that things would be |
| 459 | // left unlocked. We need to check for aliases for both lock levels. |
| 460 | // |
| 461 | // Example (lock status in curly braces as pair of register and lock leels): |
| 462 | // |
| 463 | // lock v1 {v1=1} |
Andreas Gampe | 0a67a9c | 2015-10-14 13:26:49 -0700 | [diff] [blame] | 464 | // | | |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 465 | // v0 = v1 {v0=1, v1=1} v0 = v2 {v1=1} |
Andreas Gampe | 0a67a9c | 2015-10-14 13:26:49 -0700 | [diff] [blame] | 466 | // | | |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 467 | // {v1=1} |
| 468 | // // Dropping v0, as the status can't be merged |
| 469 | // // but the lock info ("locked at depth 1" and) |
| 470 | // // "not locked at all") is available. |
| 471 | if (!FindLockAliasedRegister(idx, |
| 472 | reg_to_lock_depths_, |
| 473 | reg_to_lock_depths_) || |
| 474 | !FindLockAliasedRegister(idx, |
| 475 | incoming_line->reg_to_lock_depths_, |
| 476 | reg_to_lock_depths_)) { |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 477 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 478 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 479 | VLOG(verifier) << "mismatched stack depths for register v" << idx |
| 480 | << ": " << depths << " != " << incoming_depths << " in " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 481 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 482 | } |
| 483 | break; |
| 484 | } |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 485 | // We found aliases, set this to zero. |
| 486 | reg_to_lock_depths_.erase(idx); |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 487 | } else if (depths > 0) { |
| 488 | // Check whether they're actually the same levels. |
| 489 | uint32_t locked_levels = reg_to_lock_depths_.find(idx)->second; |
| 490 | uint32_t incoming_locked_levels = incoming_line->reg_to_lock_depths_.find(idx)->second; |
| 491 | if (locked_levels != incoming_locked_levels) { |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 492 | // Lock levels aren't matching. This is potentially bad, as we don't do a |
| 493 | // flow-sensitive analysis. |
| 494 | // However, this could be an alias of something locked in one path, and the alias was |
| 495 | // destroyed in another path. It is fine to drop this as long as there's another alias |
| 496 | // for the lock around. The last vanishing alias will then report that things would be |
| 497 | // left unlocked. We need to check for aliases for both lock levels. |
| 498 | // |
| 499 | // Example (lock status in curly braces as pair of register and lock leels): |
| 500 | // |
| 501 | // lock v1 {v1=1} |
| 502 | // lock v2 {v1=1, v2=2} |
Andreas Gampe | 0a67a9c | 2015-10-14 13:26:49 -0700 | [diff] [blame] | 503 | // | | |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 504 | // v0 = v1 {v0=1, v1=1, v2=2} v0 = v2 {v0=2, v1=1, v2=2} |
Andreas Gampe | 0a67a9c | 2015-10-14 13:26:49 -0700 | [diff] [blame] | 505 | // | | |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 506 | // {v1=1, v2=2} |
| 507 | // // Dropping v0, as the status can't be |
| 508 | // // merged but the lock info ("locked at |
| 509 | // // depth 1" and "locked at depth 2") is |
| 510 | // // available. |
| 511 | if (!FindLockAliasedRegister(idx, |
| 512 | reg_to_lock_depths_, |
| 513 | reg_to_lock_depths_) || |
| 514 | !FindLockAliasedRegister(idx, |
| 515 | incoming_line->reg_to_lock_depths_, |
| 516 | reg_to_lock_depths_)) { |
| 517 | // No aliases for both current and incoming, we'll lose information. |
| 518 | verifier->Fail(VERIFY_ERROR_LOCKING); |
| 519 | if (kDumpLockFailures) { |
Andreas Gampe | 9fcfb8a | 2016-02-04 20:52:54 -0800 | [diff] [blame] | 520 | VLOG(verifier) << "mismatched lock levels for register v" << idx << ": " |
| 521 | << std::hex << locked_levels << std::dec << " != " |
| 522 | << std::hex << incoming_locked_levels << std::dec << " in " |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 523 | << verifier->GetMethodReference().PrettyMethod(); |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 524 | } |
| 525 | break; |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 526 | } |
Andreas Gampe | 2758318 | 2015-10-09 19:13:39 -0700 | [diff] [blame] | 527 | // We found aliases, set this to zero. |
| 528 | reg_to_lock_depths_.erase(idx); |
Ian Rogers | 7b078e8 | 2014-09-10 14:44:24 -0700 | [diff] [blame] | 529 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 530 | } |
| 531 | } |
| 532 | } |
| 533 | } |
Andreas Gampe | a727e37 | 2015-08-25 09:22:37 -0700 | [diff] [blame] | 534 | |
Andreas Gampe | f10b6e1 | 2015-08-12 10:48:12 -0700 | [diff] [blame] | 535 | // Check whether "this" was initialized in both paths. |
| 536 | if (this_initialized_ && !incoming_line->this_initialized_) { |
| 537 | this_initialized_ = false; |
| 538 | changed = true; |
| 539 | } |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 540 | return changed; |
| 541 | } |
| 542 | |
Ian Rogers | 776ac1f | 2012-04-13 23:36:36 -0700 | [diff] [blame] | 543 | } // namespace verifier |
| 544 | } // namespace art |