diff options
| author | Andreas Gampe <agampe@google.com> | 2018-04-13 17:28:34 -0700 |
|---|---|---|
| committer | Andreas Gampe <agampe@google.com> | 2018-10-16 18:16:56 -0700 |
| commit | 5c803116e26ef40ad2a9c14d3411e21d149e0c9b (patch) | |
| tree | 349db3055779728a6b60eecfbb0b2e800af1d468 /compiler/driver/compiler_options_map.h | |
| parent | a683248b80d901f3dc8e37ac9764712875f27da9 (diff) | |
ART: Add profile-compile-check support
Add --check-profiled-methods, which verifies that all methods mentioned
in a profile for a guided compilation are actually compiled instead of
being punted. As outcome it may log or abort dex2oat.
TODO: Extend dex2oat_test
Bug: 76145463
Test: mmma art
Test: m test-art-host
Change-Id: I956113b55796d0666db9dbfd387105a7d27b0868
Diffstat (limited to 'compiler/driver/compiler_options_map.h')
| -rw-r--r-- | compiler/driver/compiler_options_map.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/driver/compiler_options_map.h b/compiler/driver/compiler_options_map.h index b9bc8b6ea1..af212d66a1 100644 --- a/compiler/driver/compiler_options_map.h +++ b/compiler/driver/compiler_options_map.h @@ -25,6 +25,8 @@ namespace art { +enum class ProfileMethodsCheck : uint8_t; + // Defines a type-safe heterogeneous key->value map. This is to be used as the base for // an extended map. template <typename Base, template <typename TV> class KeyType> |