blob: 4a3a0688d940d2d341c04f765fd3cad40573e14c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
# SPDX-FileCopyrightText: Copyright 2022, Arm Limited and/or its affiliates.
# SPDX-License-Identifier: Apache-2.0
"""Cortex-A data analysis module."""
from __future__ import annotations
from collections import defaultdict
from dataclasses import dataclass
from dataclasses import field
from functools import singledispatchmethod
from mlia.core.common import DataItem
from mlia.core.data_analysis import Fact
from mlia.core.data_analysis import FactExtractor
from mlia.nn.tensorflow.tflite_compat import TFLiteCompatibilityInfo
from mlia.target.cortex_a.operators import CortexACompatibilityInfo
from mlia.target.cortex_a.operators import Operator
class CortexADataAnalyzer(FactExtractor):
"""Cortex-A data analyzer."""
@singledispatchmethod
def analyze_data(self, data_item: DataItem) -> None: # type: ignore
"""Analyse the data."""
@analyze_data.register
def analyze_operator_compatibility(
self, data_item: CortexACompatibilityInfo
) -> None:
"""Analyse operator compatibility information."""
if data_item.cortex_a_compatible:
self.add_fact(ModelIsCortexACompatible(data_item.backend_info))
else:
unsupported_ops = set()
activation_func_support: defaultdict[
str, ModelIsNotCortexACompatible.ActivationFunctionSupport
] = defaultdict(ModelIsNotCortexACompatible.ActivationFunctionSupport)
for oper in data_item.operators:
if oper.support_type == Operator.SupportType.OP_NOT_SUPPORTED:
unsupported_ops.add(oper.full_name)
if oper.support_type == Operator.SupportType.ACTIVATION_NOT_SUPPORTED:
# Add used but unsupported actication functions
activation_func_support[oper.full_name].used_unsupported.add(
oper.activation_func.name
)
# Add supported activation functions
activation_func_support[oper.full_name].supported.update(
oper.supported_activation_functions
)
assert (
unsupported_ops or activation_func_support or not data_item.operators
), (
"The model is marked as not compatible with Cortex-A but there "
"are no unsupported ops activation functions listed."
)
self.add_fact(
ModelIsNotCortexACompatible(
data_item.backend_info, unsupported_ops, activation_func_support
)
)
@analyze_data.register
def analyze_tflite_compatibility(self, data_item: TFLiteCompatibilityInfo) -> None:
"""Analyze TensorFlow Lite compatibility information."""
if data_item.compatible:
return
if data_item.conversion_failed_with_errors:
self.add_fact(
ModelIsNotTFLiteCompatible(
custom_ops=data_item.required_custom_ops,
flex_ops=data_item.required_flex_ops,
)
)
if data_item.check_failed_with_unknown_error:
self.add_fact(TFLiteCompatibilityCheckFailed())
if data_item.conversion_failed_for_model_with_custom_ops:
self.add_fact(ModelHasCustomOperators())
@dataclass
class CortexACompatibility(Fact):
"""Base class for Cortex-A compatibility providing backend info."""
backend_info: str
@dataclass
class ModelIsCortexACompatible(CortexACompatibility):
"""Model is completely compatible with Cortex-A."""
@dataclass
class ModelIsNotCortexACompatible(CortexACompatibility):
"""Model is not compatible with Cortex-A."""
@dataclass
class ActivationFunctionSupport:
"""Activation function support per operator."""
used_unsupported: set[str] = field(default_factory=set)
supported: set[str] = field(default_factory=set)
unsupported_ops: set[str]
activation_func_support: dict[str, ActivationFunctionSupport]
@dataclass
class ModelIsNotTFLiteCompatible(Fact):
"""Model could not be converted into TensorFlow Lite format."""
custom_ops: list[str] | None = None
flex_ops: list[str] | None = None
@dataclass
class TFLiteCompatibilityCheckFailed(Fact):
"""TensorFlow Lite compatibility check failed by unknown reason."""
@dataclass
class ModelHasCustomOperators(Fact):
"""Model could not be loaded because it contains custom ops."""
|