Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 1 | # Copyright (c) 2020-2023, ARM Limited. |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 2 | # |
| 3 | # Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | # you may not use this file except in compliance with the License. |
| 5 | # You may obtain a copy of the License at |
| 6 | # |
| 7 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | # |
| 9 | # Unless required by applicable law or agreed to in writing, software |
| 10 | # distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | # See the License for the specific language governing permissions and |
| 13 | # limitations under the License. |
| 14 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 15 | import os |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 16 | import json |
| 17 | import flatbuffers |
| 18 | import numpy as np |
| 19 | import struct |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 20 | from enum import IntEnum, unique |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 21 | from tosa import ( |
| 22 | TosaGraph, |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 23 | TosaRegion, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 24 | TosaBasicBlock, |
| 25 | TosaTensor, |
| 26 | TosaOperator, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 27 | Version, |
| 28 | ) |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 29 | import tosa.DType as TosaDType |
| 30 | import tosa.Op as TosaOp |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 31 | |
Kevin Cheng | e6563f5 | 2021-10-20 12:12:02 -0700 | [diff] [blame] | 32 | # Keep version number in sync with the version default value with schema/tosa.fbs |
Kevin Cheng | b97cb1d | 2021-10-14 11:53:39 -0700 | [diff] [blame] | 33 | TOSA_VERSION_MAJOR = 0 |
Eric Kunze | 6388a09 | 2022-12-07 21:59:31 +0000 | [diff] [blame] | 34 | TOSA_VERSION_MINOR = 51 |
Kevin Cheng | b97cb1d | 2021-10-14 11:53:39 -0700 | [diff] [blame] | 35 | TOSA_VERSION_PATCH = 0 |
Eric Kunze | 6388a09 | 2022-12-07 21:59:31 +0000 | [diff] [blame] | 36 | TOSA_VERSION_DRAFT = True |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 37 | TOSA_VERSION = [ |
| 38 | TOSA_VERSION_MAJOR, |
| 39 | TOSA_VERSION_MINOR, |
| 40 | TOSA_VERSION_PATCH, |
| 41 | TOSA_VERSION_DRAFT, |
| 42 | ] |
Eric Kunze | e659640 | 2022-06-09 21:27:36 +0000 | [diff] [blame] | 43 | |
| 44 | # File identifier needs to be kept in sync with schema/tosa.fbs |
| 45 | TOSA_GRAPH_IDENTIFIER = b"\x54\x4F\x53\x41" |
| 46 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 47 | # With the way flatc generates its python types, there is no programatic way |
| 48 | # to get string names for the integer types. Manually maintain a string table |
| 49 | # here. |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 50 | DType = TosaDType.DType() |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 51 | DTypeNames = [ |
| 52 | "UNKNOWN", |
| 53 | "BOOL", |
| 54 | "UINT8", |
| 55 | "INT4", |
| 56 | "INT8", |
| 57 | "INT16", |
| 58 | "INT32", |
| 59 | "INT48", |
Jeremy Johnson | e1072a9 | 2022-09-27 12:44:11 +0100 | [diff] [blame] | 60 | "FP32", |
Jeremy Johnson | 4102773 | 2022-05-25 17:52:29 +0100 | [diff] [blame] | 61 | "UINT16", |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 62 | "FP16", |
James Ward | 34a6279 | 2022-10-18 17:27:40 +0100 | [diff] [blame] | 63 | "BF16", |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 64 | ] |
| 65 | |
| 66 | ByteMask = np.uint64(0xFF) |
| 67 | |
| 68 | |
| 69 | def dtype_str_to_val(name): |
| 70 | |
| 71 | for i in range(len(DTypeNames)): |
| 72 | if name.casefold() == DTypeNames[i].casefold(): |
| 73 | return i |
| 74 | raise Exception("Unable to parse DType name {}".format(name)) |
| 75 | |
| 76 | |
| 77 | class TosaSerializerUnion: |
| 78 | """This class handles encapsulating and serializing union types into flatbuffers""" |
| 79 | |
| 80 | def __init__(self): |
| 81 | |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 82 | # A tuple of the start and end functions. |
| 83 | # Set by the options constructors below |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 84 | self.optFcns = None |
| 85 | |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 86 | # The type from the tosa.Options enumeration. |
| 87 | # Set by the options constructors below. |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 88 | self.utype = None |
| 89 | |
| 90 | # Each of these lists is a tuple of the add function and the |
| 91 | # value being added. Set by the options constructors below. |
| 92 | self.ints = [] |
| 93 | self.bools = [] |
| 94 | self.floats = [] |
| 95 | self.strings = [] |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 96 | self.int16vecs = [] |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 97 | self.intvecs = [] |
| 98 | self.fpvecs = [] |
| 99 | |
| 100 | def serialize(self, builder): |
| 101 | |
| 102 | # We have to build strings and vectors first |
| 103 | strList = [] |
| 104 | intVecList = [] |
| 105 | fpVecList = [] |
| 106 | |
| 107 | for fcn, val in self.strings: |
| 108 | strList.append((fcn, builder.CreateString(val))) |
| 109 | |
| 110 | for fcn, val in self.intvecs: |
| 111 | intVecList.append((fcn, TosaSerializer.serializeInt32Vec(builder, val))) |
| 112 | |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 113 | for fcn, val in self.int16vecs: |
| 114 | intVecList.append((fcn, TosaSerializer.serializeInt16Vec(builder, val))) |
| 115 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 116 | for fcn, val in self.fpvecs: |
| 117 | fpVecList.append((fcn, TosaSerializer.serializeFpVec(builder, val))) |
| 118 | |
| 119 | startFcn, endFcn = self.optFcns |
| 120 | |
| 121 | # Then serialize the options object from the list of primitives and |
| 122 | # other serialized values |
| 123 | startFcn(builder) |
| 124 | for fcn, val in self.ints: |
| 125 | fcn(builder, val) |
| 126 | |
| 127 | for fcn, val in self.bools: |
| 128 | fcn(builder, val) |
| 129 | |
| 130 | for fcn, val in self.floats: |
| 131 | fcn(builder, val) |
| 132 | |
| 133 | for fcn, val in strList: |
| 134 | fcn(builder, val) |
| 135 | |
| 136 | for fcn, val in intVecList: |
| 137 | fcn(builder, val) |
| 138 | |
| 139 | for fcn, val in fpVecList: |
| 140 | fcn(builder, val) |
| 141 | |
| 142 | return endFcn(builder) |
| 143 | |
| 144 | |
| 145 | class TosaSerializerAttribute(TosaSerializerUnion): |
| 146 | """This class handles encapsulating all of the enumerated types for attributes""" |
| 147 | |
| 148 | def __init__(self): |
| 149 | super().__init__() |
| 150 | |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 151 | def PoolAttribute( |
| 152 | self, |
| 153 | kernel, |
| 154 | stride, |
| 155 | pad, |
| 156 | input_zp, |
| 157 | output_zp, |
| 158 | accum_dtype, |
| 159 | ): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 160 | from tosa import PoolAttribute as a, Attribute |
| 161 | |
| 162 | self.utype = Attribute.Attribute().PoolAttribute |
| 163 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 164 | self.optFcns = (a.Start, a.End) |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 165 | self.intvecs.append((a.AddPad, pad)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 166 | self.intvecs.append((a.AddKernel, kernel)) |
| 167 | self.intvecs.append((a.AddStride, stride)) |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 168 | self.ints.append((a.AddInputZp, input_zp)) |
| 169 | self.ints.append((a.AddOutputZp, output_zp)) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 170 | self.ints.append((a.AddAccumDtype, accum_dtype)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 171 | |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 172 | def ConvAttribute(self, pad, stride, dilation, input_zp, weight_zp, accum_dtype): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 173 | from tosa import ConvAttribute as a, Attribute |
| 174 | |
| 175 | self.utype = Attribute.Attribute().ConvAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 176 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 177 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 178 | self.intvecs.append((a.AddPad, pad)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 179 | self.intvecs.append((a.AddStride, stride)) |
| 180 | self.intvecs.append((a.AddDilation, dilation)) |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 181 | self.ints.append((a.AddInputZp, input_zp)) |
| 182 | self.ints.append((a.AddWeightZp, weight_zp)) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 183 | self.ints.append((a.AddAccumDtype, accum_dtype)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 184 | |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 185 | def TransposeConvAttribute( |
| 186 | self, outpad, stride, output_shape, input_zp, weight_zp, accum_dtype |
| 187 | ): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 188 | from tosa import TransposeConvAttribute as a, Attribute |
| 189 | |
| 190 | self.utype = Attribute.Attribute().TransposeConvAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 191 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 192 | |
Eric Kunze | 4c3537d | 2022-06-13 17:21:48 -0700 | [diff] [blame] | 193 | self.intvecs.append((a.AddOutPad, outpad)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 194 | self.intvecs.append((a.AddStride, stride)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 195 | self.intvecs.append((a.AddOutputShape, output_shape)) |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 196 | self.ints.append((a.AddInputZp, input_zp)) |
| 197 | self.ints.append((a.AddWeightZp, weight_zp)) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 198 | self.ints.append((a.AddAccumDtype, accum_dtype)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 199 | |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 200 | def PadAttribute(self, padding, pad_const_int, pad_const_fp): |
| 201 | from tosa import PadAttribute as a, Attribute |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 202 | |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 203 | self.utype = Attribute.Attribute().PadAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 204 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 205 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 206 | self.intvecs.append((a.AddPadding, padding)) |
| 207 | self.ints.append((a.AddPadConstInt, pad_const_int)) |
| 208 | self.floats.append((a.AddPadConstFp, pad_const_fp)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 209 | |
| 210 | def AxisAttribute(self, axis): |
| 211 | from tosa import AxisAttribute as a, Attribute |
| 212 | |
| 213 | self.utype = Attribute.Attribute().AxisAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 214 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 215 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 216 | self.ints.append((a.AddAxis, axis)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 217 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 218 | def ReshapeAttribute(self, new_shape): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 219 | from tosa import ReshapeAttribute as a, Attribute |
| 220 | |
| 221 | self.utype = Attribute.Attribute().ReshapeAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 222 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 223 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 224 | self.intvecs.append((a.AddNewShape, new_shape)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 225 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 226 | def SliceAttribute(self, start, size): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 227 | from tosa import SliceAttribute as a, Attribute |
| 228 | |
| 229 | self.utype = Attribute.Attribute().SliceAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 230 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 231 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 232 | self.intvecs.append((a.AddStart, start)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 233 | self.intvecs.append((a.AddSize, size)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 234 | |
| 235 | def TileAttribute(self, multiples): |
| 236 | from tosa import TileAttribute as a, Attribute |
| 237 | |
| 238 | self.utype = Attribute.Attribute().TileAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 239 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 240 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 241 | self.intvecs.append((a.AddMultiples, multiples)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 242 | |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 243 | def ResizeAttribute(self, scale, offset, border, mode): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 244 | from tosa import ResizeAttribute as a, Attribute |
| 245 | |
| 246 | self.utype = Attribute.Attribute().ResizeAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 247 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 248 | |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 249 | self.int16vecs.append((a.AddScale, scale)) |
| 250 | self.int16vecs.append((a.AddOffset, offset)) |
| 251 | self.int16vecs.append((a.AddBorder, border)) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 252 | self.ints.append((a.AddMode, mode)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 253 | |
| 254 | def ClampAttribute(self, minint, maxint, minfp, maxfp): |
| 255 | from tosa import ClampAttribute as a, Attribute |
| 256 | |
| 257 | self.utype = Attribute.Attribute().ClampAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 258 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 259 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 260 | self.ints.append((a.AddMinInt, minint)) |
| 261 | self.ints.append((a.AddMaxInt, maxint)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 262 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 263 | self.ints.append((a.AddMinFp, minfp)) |
| 264 | self.ints.append((a.AddMaxFp, maxfp)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 265 | |
| 266 | def RescaleAttribute( |
| 267 | self, input_zp, output_zp, multiplier, shift, scale32, double_round, per_channel |
| 268 | ): |
| 269 | from tosa import RescaleAttribute as a, Attribute |
| 270 | |
| 271 | self.utype = Attribute.Attribute().RescaleAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 272 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 273 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 274 | self.ints.append((a.AddInputZp, input_zp)) |
| 275 | self.ints.append((a.AddOutputZp, output_zp)) |
| 276 | self.intvecs.append((a.AddMultiplier, multiplier)) |
| 277 | self.intvecs.append((a.AddShift, shift)) |
| 278 | self.bools.append((a.AddScale32, scale32)) |
| 279 | self.bools.append((a.AddDoubleRound, double_round)) |
| 280 | self.bools.append((a.AddPerChannel, per_channel)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 281 | |
| 282 | def MulAttribute(self, shift): |
| 283 | from tosa import MulAttribute as a, Attribute |
| 284 | |
| 285 | self.utype = Attribute.Attribute().MulAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 286 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 287 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 288 | self.ints.append((a.AddShift, shift)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 289 | |
| 290 | def ArithmeticRightShiftAttribute(self, round): |
| 291 | from tosa import ArithmeticRightShiftAttribute as a, Attribute |
| 292 | |
| 293 | self.utype = Attribute.Attribute().ArithmeticRightShiftAttribute |
| 294 | self.optFcns = ( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 295 | a.Start, |
| 296 | a.End, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 297 | ) |
| 298 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 299 | self.bools.append((a.AddRound, round)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 300 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 301 | def CondIfAttribute(self, then_branch, else_branch): |
| 302 | from tosa import CondIfAttribute as a, Attribute |
| 303 | |
| 304 | self.utype = Attribute.Attribute().CondIfAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 305 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 306 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 307 | self.strings.append((a.AddThenBranch, then_branch)) |
| 308 | self.strings.append((a.AddElseBranch, else_branch)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 309 | |
| 310 | def WhileLoopAttribute(self, cond_branch, body_branch): |
| 311 | from tosa import WhileLoopAttribute as a, Attribute |
| 312 | |
| 313 | self.utype = Attribute.Attribute().WhileLoopAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 314 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 315 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 316 | self.strings.append((a.AddCondBranch, cond_branch)) |
| 317 | self.strings.append((a.AddBodyBranch, body_branch)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 318 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 319 | def TransposeAttribute(self, perms): |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 320 | from tosa import TransposeAttribute as a, Attribute |
| 321 | |
| 322 | self.utype = Attribute.Attribute().TransposeAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 323 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 324 | |
TatWai Chong | 7be7165 | 2022-05-10 17:26:20 -0700 | [diff] [blame] | 325 | self.intvecs.append((a.AddPerms, perms)) |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 326 | |
| 327 | def TableAttribute(self, table): |
| 328 | from tosa import TableAttribute as a, Attribute |
| 329 | |
| 330 | self.utype = Attribute.Attribute().TableAttribute |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 331 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | 38d214c | 2021-10-15 15:49:19 -0700 | [diff] [blame] | 332 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 333 | self.intvecs.append((a.AddTable, table)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 334 | |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 335 | def MatMulAttribute(self, A_zp, B_zp, accum_dtype): |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 336 | from tosa import MatMulAttribute as a, Attribute |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 337 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 338 | self.utype = Attribute.Attribute().MatMulAttribute |
| 339 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 340 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 341 | self.ints.append((a.AddAZp, A_zp)) |
| 342 | self.ints.append((a.AddBZp, B_zp)) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 343 | self.ints.append((a.AddAccumDtype, accum_dtype)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 344 | |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 345 | def FullyConnectedAttribute(self, input_zp, weight_zp, accum_dtype): |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 346 | from tosa import FullyConnectedAttribute as a, Attribute |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 347 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 348 | self.utype = Attribute.Attribute().FullyConnectedAttribute |
| 349 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 350 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 351 | self.ints.append((a.AddInputZp, input_zp)) |
| 352 | self.ints.append((a.AddWeightZp, weight_zp)) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 353 | self.ints.append((a.AddAccumDtype, accum_dtype)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 354 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 355 | def NegateAttribute(self, input1_zp, output_zp): |
| 356 | from tosa import NegateAttribute as a, Attribute |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 357 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 358 | self.utype = Attribute.Attribute().NegateAttribute |
| 359 | self.optFcns = (a.Start, a.End) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 360 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 361 | self.ints.append((a.AddInput1Zp, input1_zp)) |
| 362 | self.ints.append((a.AddOutputZp, output_zp)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 363 | |
Luke Hutton | 5e26809 | 2023-01-12 22:20:53 +0000 | [diff] [blame^] | 364 | def FFTAttribute(self, inverse): |
| 365 | from tosa import FFTAttribute as a, Attribute |
| 366 | |
| 367 | self.utype = Attribute.Attribute().FFTAttribute |
| 368 | self.optFcns = (a.Start, a.End) |
| 369 | |
| 370 | self.bools.append((a.AddInverse, inverse)) |
| 371 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 372 | |
| 373 | class TosaSerializerTensor: |
| 374 | def __init__( |
| 375 | self, |
| 376 | name, |
| 377 | shape, |
| 378 | dtype, |
| 379 | data=None, |
| 380 | placeholderFilename=None, |
| 381 | ): |
| 382 | self.name = name |
| 383 | |
| 384 | if isinstance(shape, np.ndarray): |
| 385 | shape = shape.astype(int).tolist() |
| 386 | shape = list(map(int, shape)) |
| 387 | |
| 388 | self.shape = shape |
| 389 | self.dtype = dtype |
| 390 | |
James Ward | 34a6279 | 2022-10-18 17:27:40 +0100 | [diff] [blame] | 391 | if dtype == DType.FP32 or dtype == DType.BF16: |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 392 | fntype = np.float32 |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 393 | elif dtype == DType.FP16: |
| 394 | fntype = np.float16 |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 395 | else: |
| 396 | fntype = int |
| 397 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 398 | if isinstance(data, np.ndarray): |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 399 | data = data.flatten().astype(fntype).tolist() |
| 400 | data = list(map(fntype, data)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 401 | self.data = data |
| 402 | elif isinstance(data, list): |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 403 | data = list(map(fntype, data)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 404 | self.data = data |
| 405 | else: |
| 406 | self.data = None |
| 407 | |
| 408 | # Filename for placeholder tensors. These get generated by the test generation |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 409 | # process and are written to disk, but are considered input tensors by the |
| 410 | # network so they do not appear in the TOSA serialiazation. However, if we |
| 411 | # want to form a unit test around these input tensors, we can get the filename |
| 412 | # from here. |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 413 | self.placeholderFilename = placeholderFilename |
| 414 | |
| 415 | def __str__(self): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 416 | concatString = "TosaSerializerTensor name: {} shape: {} dtype: {}".format( |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 417 | self.name, |
| 418 | self.shape, |
| 419 | DTypeNames[self.dtype], |
| 420 | ) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 421 | return concatString |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 422 | |
| 423 | def setDtype(self, dtype): |
| 424 | self.dtype = dtype |
| 425 | |
| 426 | def serialize(self, builder): |
| 427 | fb_name = builder.CreateString(self.name) |
| 428 | fb_shapes = TosaSerializer.serializeInt32Vec(builder, self.shape) |
| 429 | if self.data: |
| 430 | u8_data = list() |
| 431 | # little endianess |
| 432 | if self.dtype == DType.BOOL: |
| 433 | for val in self.data: |
| 434 | val_u8 = np.uint8(val) |
| 435 | u8_data.append(val_u8) |
| 436 | elif self.dtype == DType.INT4: |
| 437 | in_size = len(self.data) |
| 438 | out_size = (in_size + 1) // 2 |
| 439 | for i in range(out_size): |
| 440 | val_0 = self.data[2 * i] |
| 441 | if (2 * i + 1) < in_size: |
| 442 | val_1 = self.data[2 * i + 1] |
| 443 | else: |
| 444 | val_1 = 0 |
| 445 | val_i8 = (val_0 & 0xF) | ((val_1 & 0xF) << 4) |
| 446 | val_u8 = np.uint8(val_i8) |
| 447 | u8_data.append(val_u8) |
| 448 | elif self.dtype == DType.INT8: |
| 449 | for val in self.data: |
| 450 | val_u8 = np.uint8(val) |
| 451 | u8_data.append(val_u8) |
| 452 | elif self.dtype == DType.INT16: |
| 453 | for val in self.data: |
| 454 | val_u16 = np.uint16(val) |
| 455 | b0 = val_u16 & ByteMask |
| 456 | b1 = (val_u16 >> np.uint16(8)) & ByteMask |
| 457 | u8_data.extend([b0, b1]) |
| 458 | elif self.dtype == DType.INT32: |
| 459 | for val in self.data: |
| 460 | val_u32 = np.uint32(val) |
| 461 | b0 = val_u32 & ByteMask |
| 462 | b1 = (val_u32 >> np.uint32(8)) & ByteMask |
| 463 | b2 = (val_u32 >> np.uint32(16)) & ByteMask |
Kevin Cheng | 6b078ca | 2021-10-13 23:12:50 -0700 | [diff] [blame] | 464 | b3 = (val_u32 >> np.uint32(24)) & ByteMask |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 465 | u8_data.extend([b0, b1, b2, b3]) |
| 466 | elif self.dtype == DType.INT48: |
| 467 | for val in self.data: |
| 468 | val_u64 = np.uint64(val) |
| 469 | b0 = val_u64 & ByteMask |
| 470 | b1 = (val_u64 >> np.uint64(8)) & ByteMask |
| 471 | b2 = (val_u64 >> np.uint64(16)) & ByteMask |
| 472 | b3 = (val_u64 >> np.uint64(24)) & ByteMask |
| 473 | b4 = (val_u64 >> np.uint64(32)) & ByteMask |
| 474 | b5 = (val_u64 >> np.uint64(40)) & ByteMask |
| 475 | u8_data.extend([b0, b1, b2, b3, b4, b5]) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 476 | elif self.dtype == DType.FP16: |
| 477 | np_arr = np.array(self.data, dtype=np.float16) |
| 478 | u8_data.extend(np_arr.view(np.uint8)) |
James Ward | 34a6279 | 2022-10-18 17:27:40 +0100 | [diff] [blame] | 479 | elif self.dtype == DType.FP32 or self.dtype == DType.BF16: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 480 | for val in self.data: |
| 481 | b = struct.pack("!f", val) |
| 482 | u8_data.extend([b[3], b[2], b[1], b[0]]) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 483 | elif self.dtype == TosaDType.DType: |
| 484 | # Serialize DType enum data as uint8 bytes |
| 485 | for val in self.data: |
| 486 | np_arr = np.array(self.data, dtype=np.uint32) |
| 487 | u8_data.extend(np_arr.view(np.uint8)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 488 | else: |
| 489 | raise Exception( |
| 490 | "unsupported data type {}".format(DTypeNames[self.dtype]) |
| 491 | ) |
| 492 | fb_data = TosaSerializer.serializeUint8Vec(builder, u8_data) |
| 493 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 494 | TosaTensor.Start(builder) |
| 495 | TosaTensor.AddName(builder, fb_name) |
| 496 | TosaTensor.AddShape(builder, fb_shapes) |
| 497 | TosaTensor.AddType(builder, self.dtype) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 498 | if self.data: |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 499 | TosaTensor.AddData(builder, fb_data) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 500 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 501 | return TosaTensor.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 502 | |
| 503 | |
| 504 | class TosaSerializerOperator: |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 505 | def __init__(self, op, inputs, outputs, attributes=None): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 506 | self.op = op |
| 507 | self.attributes = attributes |
| 508 | self.inputs = TosaSerializer.toList(inputs) |
| 509 | self.outputs = TosaSerializer.toList(outputs) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 510 | |
| 511 | def __str__(self): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 512 | concatString = "Op {}\n----\n".format(self.op) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 513 | |
| 514 | for i in self.inputs: |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 515 | concatString = concatString + " Input: {}\n".format(i) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 516 | for o in self.outputs: |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 517 | concatString = concatString + " Output: {}\n".format(o) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 518 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 519 | return concatString |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 520 | |
| 521 | def serialize(self, builder): |
| 522 | fb_inputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 523 | builder, self.inputs, TosaOperator.StartInputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 524 | ) |
| 525 | fb_outputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 526 | builder, self.outputs, TosaOperator.StartOutputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 527 | ) |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 528 | # Need to serialize attributes enums still |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 529 | if self.attributes is not None: |
| 530 | fb_attributes = self.attributes.serialize(builder) |
| 531 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 532 | TosaOperator.Start(builder) |
| 533 | TosaOperator.AddOp(builder, self.op) |
| 534 | TosaOperator.AddInputs(builder, fb_inputs) |
| 535 | TosaOperator.AddOutputs(builder, fb_outputs) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 536 | if self.attributes is not None: |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 537 | TosaOperator.AddAttributeType(builder, self.attributes.utype) |
| 538 | TosaOperator.AddAttribute(builder, fb_attributes) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 539 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 540 | return TosaOperator.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 541 | |
| 542 | |
| 543 | class TosaSerializerBasicBlock: |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame] | 544 | def __init__(self, name): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 545 | self.name = name |
| 546 | self.operators = [] |
| 547 | |
| 548 | # Dict assures uniqueness, but allows us to look up by name |
| 549 | self.tensors = dict() |
| 550 | |
| 551 | self.inputs = [] |
| 552 | self.outputs = [] |
| 553 | |
| 554 | def addTensor( |
| 555 | self, |
| 556 | name, |
| 557 | shape, |
| 558 | dtype, |
| 559 | data=None, |
| 560 | placeholderFilename=None, |
| 561 | ): |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 562 | if name not in self.tensors: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 563 | self.tensors[name] = TosaSerializerTensor( |
| 564 | name, shape, dtype, data, placeholderFilename |
| 565 | ) |
| 566 | |
| 567 | return self.tensors[name] |
| 568 | |
| 569 | def addInput(self, name): |
| 570 | self.inputs.append(name) |
| 571 | |
| 572 | def addOutput(self, name): |
| 573 | self.outputs.append(name) |
| 574 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 575 | def addOperator(self, op, inputs, outputs, attributes=None): |
| 576 | self.operators.append(TosaSerializerOperator(op, inputs, outputs, attributes)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 577 | |
| 578 | def serialize(self, builder): |
| 579 | fb_name = builder.CreateString(self.name) |
| 580 | fbv_inputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 581 | builder, list(self.inputs), TosaBasicBlock.StartInputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 582 | ) |
| 583 | fbv_outputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 584 | builder, list(self.outputs), TosaBasicBlock.StartOutputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 585 | ) |
| 586 | fbv_tensors = TosaSerializer.serializeObjVec( |
| 587 | builder, |
| 588 | list(self.tensors.values()), |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 589 | TosaBasicBlock.StartTensorsVector, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 590 | ) |
| 591 | fbv_operators = TosaSerializer.serializeObjVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 592 | builder, self.operators, TosaBasicBlock.StartOperatorsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 593 | ) |
| 594 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 595 | TosaBasicBlock.Start(builder) |
| 596 | TosaBasicBlock.AddName(builder, fb_name) |
| 597 | TosaBasicBlock.AddInputs(builder, fbv_inputs) |
| 598 | TosaBasicBlock.AddOutputs(builder, fbv_outputs) |
| 599 | TosaBasicBlock.AddTensors(builder, fbv_tensors) |
| 600 | TosaBasicBlock.AddOperators(builder, fbv_operators) |
| 601 | return TosaBasicBlock.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 602 | |
| 603 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 604 | class TosaSerializerRegion: |
| 605 | def __init__(self, name, pathPrefix, saveConstsToFile=False): |
| 606 | self.name = name |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 607 | self.basicBlocks = [] |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 608 | self.currInputIdx = 0 |
| 609 | self.currConstIdx = 0 |
| 610 | self.currLayerIdx = 1 |
| 611 | self.currResultIdx = 0 |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 612 | self.pathPrefix = pathPrefix |
| 613 | self.saveConstsToFile = saveConstsToFile |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 614 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame] | 615 | def addBasicBlock(self, name): |
| 616 | self.currBasicBlock = TosaSerializerBasicBlock(name) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 617 | self.basicBlocks.append(self.currBasicBlock) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 618 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 619 | def serialize(self, builder): |
| 620 | fb_name = builder.CreateString(self.name) |
| 621 | fbv_basicBlocks = TosaSerializer.serializeObjVec( |
| 622 | builder, self.basicBlocks, TosaRegion.StartBlocksVector |
| 623 | ) |
| 624 | |
| 625 | TosaRegion.Start(builder) |
| 626 | TosaRegion.AddName(builder, fb_name) |
| 627 | TosaRegion.AddBlocks(builder, fbv_basicBlocks) |
| 628 | return TosaRegion.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 629 | |
| 630 | def addPlaceholder(self, shape, dtype, vals): |
| 631 | if not self.currBasicBlock: |
| 632 | raise Exception("addTensor called without valid basic block") |
| 633 | |
| 634 | name = "input-{}".format(self.currInputIdx) |
| 635 | filename = "{}.npy".format(name) |
| 636 | self.currInputIdx = self.currInputIdx + 1 |
| 637 | |
| 638 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None, filename) |
| 639 | # This is always an input to the block |
| 640 | self.currBasicBlock.addInput(name) |
| 641 | |
| 642 | if vals is not None: |
| 643 | np.save(os.path.join(self.pathPrefix, filename), vals, False) |
| 644 | |
| 645 | return tens |
| 646 | |
| 647 | def addConst(self, shape, dtype, vals): |
| 648 | if not self.currBasicBlock: |
| 649 | raise Exception("addTensor called without valid basic block") |
| 650 | |
| 651 | name = "const-{}".format(self.currInputIdx) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 652 | self.currInputIdx = self.currInputIdx + 1 |
| 653 | |
| 654 | tens = self.currBasicBlock.addTensor(name, shape, dtype, vals) |
| 655 | # Add the operator now |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 656 | self.currBasicBlock.addOperator(TosaOp.Op().CONST, [], name) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 657 | |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 658 | if self.saveConstsToFile: |
| 659 | filename = "{}.npy".format(name) |
| 660 | np.save(os.path.join(self.pathPrefix, filename), vals, False) |
| 661 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 662 | return tens |
| 663 | |
| 664 | def addIntermediate(self, shape, dtype): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 665 | if not self.currBasicBlock: |
| 666 | raise Exception("addTensor called without valid basic block") |
| 667 | |
| 668 | name = "layer-{}".format(self.currLayerIdx) |
| 669 | self.currLayerIdx = self.currLayerIdx + 1 |
| 670 | |
| 671 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None) |
| 672 | |
| 673 | return tens |
| 674 | |
| 675 | def addInputTensor(self, tensor): |
| 676 | self.currBasicBlock.addTensor(tensor.name, tensor.shape, tensor.dtype) |
| 677 | self.currBasicBlock.addInput(tensor.name) |
| 678 | |
| 679 | def addOutputTensor(self, tensor): |
| 680 | self.currBasicBlock.addOutput(tensor.name) |
| 681 | |
| 682 | def addOutput(self, shape, dtype): |
| 683 | if not self.currBasicBlock: |
| 684 | raise Exception("addTensor called without valid basic block") |
| 685 | |
| 686 | name = "result-{}".format(self.currResultIdx) |
| 687 | self.currResultIdx = self.currResultIdx + 1 |
| 688 | |
| 689 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None) |
| 690 | self.currBasicBlock.addOutput(name) |
| 691 | return tens |
| 692 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 693 | def addOperator(self, op, inputs, outputs, attributes=None): |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 694 | if op == TosaOp.Op().CONST: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 695 | raise Exception("Use addConstTensor() to add CONST ops") |
| 696 | |
| 697 | return self.currBasicBlock.addOperator( |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 698 | op, |
| 699 | inputs, |
| 700 | outputs, |
| 701 | attributes, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 702 | ) |
| 703 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 704 | |
| 705 | @unique |
| 706 | class TensorDir(IntEnum): |
| 707 | PLACEHOLDER = 0 |
| 708 | CONST = 1 |
| 709 | INTERMEDIATE = 2 |
| 710 | RESULT = 3 |
| 711 | |
| 712 | |
| 713 | class TosaSerializer: |
| 714 | def __init__(self, pathPrefix, saveConstsToFile=False): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 715 | self.builder = flatbuffers.Builder(0) |
| 716 | |
| 717 | self.regions = [] |
| 718 | self.startRegion("main", pathPrefix, saveConstsToFile) |
| 719 | |
| 720 | # Enables inspection of constant data outside of graph |
| 721 | self.saveConstsToFile = saveConstsToFile |
| 722 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame] | 723 | self.currRegion.addBasicBlock("main") |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 724 | |
| 725 | # Is this an illegal test that is expected to fail? |
| 726 | self.expectedReturnCode = 0 |
| 727 | self.expectedFailure = False |
| 728 | self.expectedFailureDesc = "" |
| 729 | |
| 730 | def __str__(self): |
| 731 | concatString = "" |
| 732 | for region in self.regions: |
| 733 | concatString = concatString + str(region) |
| 734 | return concatString |
| 735 | |
| 736 | def addPlaceholder(self, shape, dtype, vals): |
| 737 | return self.currRegion.addPlaceholder(shape, dtype, vals) |
| 738 | |
| 739 | def addConst(self, shape, dtype, vals): |
| 740 | return self.currRegion.addConst(shape, dtype, vals) |
| 741 | |
| 742 | def addIntermediate(self, shape, dtype): |
| 743 | return self.currRegion.addIntermediate(shape, dtype) |
| 744 | |
| 745 | def addInputTensor(self, tensor): |
| 746 | self.currRegion.addInputTensor(tensor) |
| 747 | |
| 748 | def addOutputTensor(self, tensor): |
| 749 | self.currRegion.addOutputTensor(tensor) |
| 750 | |
| 751 | def addOutput(self, shape, dtype): |
| 752 | return self.currRegion.addOutput(shape, dtype) |
| 753 | |
| 754 | def addOperator(self, op, inputs, outputs, attributes=None): |
| 755 | return self.currRegion.addOperator(op, inputs, outputs, attributes) |
| 756 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame] | 757 | def addBasicBlock(self, name): |
| 758 | self.currRegion.addBasicBlock(name) |
| 759 | |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 760 | def setExpectedReturnCode(self, val, fail, desc=""): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 761 | |
| 762 | self.expectedReturnCode = val |
| 763 | self.expectedFailureDesc = desc |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 764 | self.expectedFailure = fail |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 765 | |
| 766 | def serialize(self): |
| 767 | |
| 768 | builder = self.builder |
| 769 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 770 | Version.Start(builder) |
| 771 | Version.Add_major(builder, TOSA_VERSION[0]) |
| 772 | Version.Add_minor(builder, TOSA_VERSION[1]) |
| 773 | Version.Add_patch(builder, TOSA_VERSION[2]) |
| 774 | Version.Add_draft(builder, TOSA_VERSION[3]) |
| 775 | version = Version.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 776 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 777 | fbv_region = TosaSerializer.serializeObjVec( |
| 778 | builder, self.regions, TosaGraph.StartRegionsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 779 | ) |
| 780 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 781 | TosaGraph.Start(builder) |
| 782 | TosaGraph.AddVersion(builder, version) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 783 | TosaGraph.AddRegions(builder, fbv_region) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 784 | graph = TosaGraph.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 785 | |
Eric Kunze | e659640 | 2022-06-09 21:27:36 +0000 | [diff] [blame] | 786 | self.builder.Finish(graph, TOSA_GRAPH_IDENTIFIER) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 787 | return self.builder.Output() |
| 788 | |
| 789 | def writeJson(self, tosa_filename): |
| 790 | """Write a json test file so that it is fairly easy to pick up the test |
| 791 | and generate commands for third party tool""" |
| 792 | test_desc = dict() |
| 793 | |
| 794 | test_desc["tosa_file"] = tosa_filename |
| 795 | ifm_name = [] |
| 796 | ifm_file = [] |
| 797 | ofm_name = [] |
| 798 | ofm_file = [] |
| 799 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 800 | for region in self.regions: |
| 801 | for block in region.basicBlocks: |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame] | 802 | if block and block.name == "main": |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 803 | for i in block.inputs: |
| 804 | ifm_name.append(i) |
| 805 | ifm_file.append(block.tensors[i].placeholderFilename) |
| 806 | for o in block.outputs: |
| 807 | ofm_name.append(o) |
| 808 | # Make up an OFM filename here. One isn't generated until the |
| 809 | # reference tool is run, so any name is a good name |
| 810 | ofm_file.append("ref-{}.npy".format(o)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 811 | |
| 812 | test_desc["ifm_name"] = ifm_name |
| 813 | test_desc["ifm_file"] = ifm_file |
| 814 | test_desc["ofm_name"] = ofm_name |
| 815 | test_desc["ofm_file"] = ofm_file |
| 816 | test_desc["expected_return_code"] = self.expectedReturnCode |
| 817 | test_desc["expected_failure"] = self.expectedFailure |
| 818 | if self.expectedFailureDesc: |
| 819 | test_desc["expected_failure_desc"] = self.expectedFailureDesc |
| 820 | |
| 821 | return json.dumps(test_desc, indent=" ") |
| 822 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 823 | def startRegion(self, name, pathPrefix, saveConstsToFile): |
| 824 | self.currRegion = TosaSerializerRegion(name, pathPrefix, saveConstsToFile) |
| 825 | self.regions.append(self.currRegion) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 826 | |
| 827 | @staticmethod |
| 828 | def serializeStrVec(builder, vec, start_fcn): |
| 829 | fb_strs = [builder.CreateString(i) for i in vec] |
| 830 | start_fcn(builder, len(fb_strs)) |
| 831 | for s in fb_strs[::-1]: |
| 832 | builder.PrependUOffsetTRelative(s) |
Eric Kunze | ae906de | 2022-05-30 22:40:47 -0700 | [diff] [blame] | 833 | try: |
| 834 | return builder.EndVector() |
| 835 | except TypeError: |
| 836 | return builder.EndVector(len(vec)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 837 | |
| 838 | @staticmethod |
| 839 | def serializeUint8Vec(builder, vec): |
| 840 | builder.StartVector(1, len(vec), 8) |
| 841 | for v in vec[::-1]: |
| 842 | builder.PrependUint8(v) |
| 843 | try: |
| 844 | return builder.EndVector() |
| 845 | except TypeError: |
| 846 | return builder.EndVector(len(vec)) |
| 847 | |
| 848 | @staticmethod |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 849 | def serializeInt16Vec(builder, vec): |
| 850 | builder.StartVector(2, len(vec), 4) |
| 851 | for v in vec[::-1]: |
| 852 | builder.PrependInt16(v) |
| 853 | try: |
| 854 | return builder.EndVector() |
| 855 | except TypeError: |
| 856 | return builder.EndVector(len(vec)) |
| 857 | |
| 858 | @staticmethod |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 859 | def serializeInt32Vec(builder, vec): |
| 860 | builder.StartVector(4, len(vec), 4) |
| 861 | for v in vec[::-1]: |
| 862 | builder.PrependInt32(v) |
| 863 | try: |
| 864 | return builder.EndVector() |
| 865 | except TypeError: |
| 866 | return builder.EndVector(len(vec)) |
| 867 | |
| 868 | @staticmethod |
| 869 | def serializeFpVec(builder, vec): |
| 870 | builder.StartVector(4, len(vec), 4) |
| 871 | for v in vec[::-1]: |
| 872 | builder.PrependFloat32(v) |
| 873 | try: |
| 874 | return builder.EndVector() |
| 875 | except TypeError: |
| 876 | return builder.EndVector(len(vec)) |
| 877 | |
| 878 | @staticmethod |
| 879 | def serializeObjVec(builder, vec, start_fcn): |
| 880 | serialized_vec = [] |
| 881 | for v in vec[::-1]: |
| 882 | serialized_vec.append(v.serialize(builder)) |
| 883 | |
| 884 | start_fcn(builder, len(vec)) |
| 885 | for v in serialized_vec: |
| 886 | builder.PrependUOffsetTRelative(v) |
| 887 | try: |
| 888 | return builder.EndVector() |
| 889 | except TypeError: |
| 890 | return builder.EndVector(len(vec)) |
| 891 | |
| 892 | @staticmethod |
| 893 | def toList(val): |
| 894 | if isinstance(val, list): |
| 895 | return val |
| 896 | else: |
| 897 | return [val] |