1 /* 2 * Copyright (C) 2011 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 #ifndef ART_RUNTIME_VERIFIER_VERIFIER_COMPILER_BINDING_H_ 18 #define ART_RUNTIME_VERIFIER_VERIFIER_COMPILER_BINDING_H_ 19 20 #include <inttypes.h> 21 22 #include "base/macros.h" 23 #include "verifier_enums.h" 24 25 namespace art HIDDEN { 26 namespace verifier { 27 28 ALWAYS_INLINE CanCompilerHandleVerificationFailure(uint32_t encountered_failure_types)29static inline bool CanCompilerHandleVerificationFailure(uint32_t encountered_failure_types) { 30 // These are and should remain the only two reasons a verified method cannot 31 // be compiled. The vdex file will mark classes where those methods are defined 32 // as verify-at-runtime and we should ideally not break that format in adding 33 // a new kind of failure. 34 constexpr uint32_t errors_needing_reverification = 35 verifier::VerifyError::VERIFY_ERROR_RUNTIME_THROW | 36 verifier::VerifyError::VERIFY_ERROR_LOCKING; 37 return (encountered_failure_types & errors_needing_reverification) == 0; 38 } 39 40 } // namespace verifier 41 } // namespace art 42 43 #endif // ART_RUNTIME_VERIFIER_VERIFIER_COMPILER_BINDING_H_ 44