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 | |
| 364 | |
| 365 | class TosaSerializerTensor: |
| 366 | def __init__( |
| 367 | self, |
| 368 | name, |
| 369 | shape, |
| 370 | dtype, |
| 371 | data=None, |
| 372 | placeholderFilename=None, |
| 373 | ): |
| 374 | self.name = name |
| 375 | |
| 376 | if isinstance(shape, np.ndarray): |
| 377 | shape = shape.astype(int).tolist() |
| 378 | shape = list(map(int, shape)) |
| 379 | |
| 380 | self.shape = shape |
| 381 | self.dtype = dtype |
| 382 | |
James Ward | 34a6279 | 2022-10-18 17:27:40 +0100 | [diff] [blame] | 383 | if dtype == DType.FP32 or dtype == DType.BF16: |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 384 | fntype = np.float32 |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 385 | elif dtype == DType.FP16: |
| 386 | fntype = np.float16 |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 387 | else: |
| 388 | fntype = int |
| 389 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 390 | if isinstance(data, np.ndarray): |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 391 | data = data.flatten().astype(fntype).tolist() |
| 392 | data = list(map(fntype, data)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 393 | self.data = data |
| 394 | elif isinstance(data, list): |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 395 | data = list(map(fntype, data)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 396 | self.data = data |
| 397 | else: |
| 398 | self.data = None |
| 399 | |
| 400 | # Filename for placeholder tensors. These get generated by the test generation |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 401 | # process and are written to disk, but are considered input tensors by the |
| 402 | # network so they do not appear in the TOSA serialiazation. However, if we |
| 403 | # want to form a unit test around these input tensors, we can get the filename |
| 404 | # from here. |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 405 | self.placeholderFilename = placeholderFilename |
| 406 | |
| 407 | def __str__(self): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 408 | concatString = "TosaSerializerTensor name: {} shape: {} dtype: {}".format( |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 409 | self.name, |
| 410 | self.shape, |
| 411 | DTypeNames[self.dtype], |
| 412 | ) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 413 | return concatString |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 414 | |
| 415 | def setDtype(self, dtype): |
| 416 | self.dtype = dtype |
| 417 | |
| 418 | def serialize(self, builder): |
| 419 | fb_name = builder.CreateString(self.name) |
| 420 | fb_shapes = TosaSerializer.serializeInt32Vec(builder, self.shape) |
| 421 | if self.data: |
| 422 | u8_data = list() |
| 423 | # little endianess |
| 424 | if self.dtype == DType.BOOL: |
| 425 | for val in self.data: |
| 426 | val_u8 = np.uint8(val) |
| 427 | u8_data.append(val_u8) |
| 428 | elif self.dtype == DType.INT4: |
| 429 | in_size = len(self.data) |
| 430 | out_size = (in_size + 1) // 2 |
| 431 | for i in range(out_size): |
| 432 | val_0 = self.data[2 * i] |
| 433 | if (2 * i + 1) < in_size: |
| 434 | val_1 = self.data[2 * i + 1] |
| 435 | else: |
| 436 | val_1 = 0 |
| 437 | val_i8 = (val_0 & 0xF) | ((val_1 & 0xF) << 4) |
| 438 | val_u8 = np.uint8(val_i8) |
| 439 | u8_data.append(val_u8) |
| 440 | elif self.dtype == DType.INT8: |
| 441 | for val in self.data: |
| 442 | val_u8 = np.uint8(val) |
| 443 | u8_data.append(val_u8) |
| 444 | elif self.dtype == DType.INT16: |
| 445 | for val in self.data: |
| 446 | val_u16 = np.uint16(val) |
| 447 | b0 = val_u16 & ByteMask |
| 448 | b1 = (val_u16 >> np.uint16(8)) & ByteMask |
| 449 | u8_data.extend([b0, b1]) |
| 450 | elif self.dtype == DType.INT32: |
| 451 | for val in self.data: |
| 452 | val_u32 = np.uint32(val) |
| 453 | b0 = val_u32 & ByteMask |
| 454 | b1 = (val_u32 >> np.uint32(8)) & ByteMask |
| 455 | b2 = (val_u32 >> np.uint32(16)) & ByteMask |
Kevin Cheng | 6b078ca | 2021-10-13 23:12:50 -0700 | [diff] [blame] | 456 | b3 = (val_u32 >> np.uint32(24)) & ByteMask |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 457 | u8_data.extend([b0, b1, b2, b3]) |
| 458 | elif self.dtype == DType.INT48: |
| 459 | for val in self.data: |
| 460 | val_u64 = np.uint64(val) |
| 461 | b0 = val_u64 & ByteMask |
| 462 | b1 = (val_u64 >> np.uint64(8)) & ByteMask |
| 463 | b2 = (val_u64 >> np.uint64(16)) & ByteMask |
| 464 | b3 = (val_u64 >> np.uint64(24)) & ByteMask |
| 465 | b4 = (val_u64 >> np.uint64(32)) & ByteMask |
| 466 | b5 = (val_u64 >> np.uint64(40)) & ByteMask |
| 467 | u8_data.extend([b0, b1, b2, b3, b4, b5]) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 468 | elif self.dtype == DType.FP16: |
| 469 | np_arr = np.array(self.data, dtype=np.float16) |
| 470 | u8_data.extend(np_arr.view(np.uint8)) |
James Ward | 34a6279 | 2022-10-18 17:27:40 +0100 | [diff] [blame] | 471 | elif self.dtype == DType.FP32 or self.dtype == DType.BF16: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 472 | for val in self.data: |
| 473 | b = struct.pack("!f", val) |
| 474 | u8_data.extend([b[3], b[2], b[1], b[0]]) |
James Ward | 485a11d | 2022-08-05 13:48:37 +0100 | [diff] [blame] | 475 | elif self.dtype == TosaDType.DType: |
| 476 | # Serialize DType enum data as uint8 bytes |
| 477 | for val in self.data: |
| 478 | np_arr = np.array(self.data, dtype=np.uint32) |
| 479 | u8_data.extend(np_arr.view(np.uint8)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 480 | else: |
| 481 | raise Exception( |
| 482 | "unsupported data type {}".format(DTypeNames[self.dtype]) |
| 483 | ) |
| 484 | fb_data = TosaSerializer.serializeUint8Vec(builder, u8_data) |
| 485 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 486 | TosaTensor.Start(builder) |
| 487 | TosaTensor.AddName(builder, fb_name) |
| 488 | TosaTensor.AddShape(builder, fb_shapes) |
| 489 | TosaTensor.AddType(builder, self.dtype) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 490 | if self.data: |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 491 | TosaTensor.AddData(builder, fb_data) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 492 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 493 | return TosaTensor.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 494 | |
| 495 | |
| 496 | class TosaSerializerOperator: |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 497 | def __init__(self, op, inputs, outputs, attributes=None): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 498 | self.op = op |
| 499 | self.attributes = attributes |
| 500 | self.inputs = TosaSerializer.toList(inputs) |
| 501 | self.outputs = TosaSerializer.toList(outputs) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 502 | |
| 503 | def __str__(self): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 504 | concatString = "Op {}\n----\n".format(self.op) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 505 | |
| 506 | for i in self.inputs: |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 507 | concatString = concatString + " Input: {}\n".format(i) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 508 | for o in self.outputs: |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 509 | concatString = concatString + " Output: {}\n".format(o) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 510 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 511 | return concatString |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 512 | |
| 513 | def serialize(self, builder): |
| 514 | fb_inputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 515 | builder, self.inputs, TosaOperator.StartInputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 516 | ) |
| 517 | fb_outputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 518 | builder, self.outputs, TosaOperator.StartOutputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 519 | ) |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 520 | # Need to serialize attributes enums still |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 521 | if self.attributes is not None: |
| 522 | fb_attributes = self.attributes.serialize(builder) |
| 523 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 524 | TosaOperator.Start(builder) |
| 525 | TosaOperator.AddOp(builder, self.op) |
| 526 | TosaOperator.AddInputs(builder, fb_inputs) |
| 527 | TosaOperator.AddOutputs(builder, fb_outputs) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 528 | if self.attributes is not None: |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 529 | TosaOperator.AddAttributeType(builder, self.attributes.utype) |
| 530 | TosaOperator.AddAttribute(builder, fb_attributes) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 531 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 532 | return TosaOperator.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 533 | |
| 534 | |
| 535 | class TosaSerializerBasicBlock: |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame^] | 536 | def __init__(self, name): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 537 | self.name = name |
| 538 | self.operators = [] |
| 539 | |
| 540 | # Dict assures uniqueness, but allows us to look up by name |
| 541 | self.tensors = dict() |
| 542 | |
| 543 | self.inputs = [] |
| 544 | self.outputs = [] |
| 545 | |
| 546 | def addTensor( |
| 547 | self, |
| 548 | name, |
| 549 | shape, |
| 550 | dtype, |
| 551 | data=None, |
| 552 | placeholderFilename=None, |
| 553 | ): |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 554 | if name not in self.tensors: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 555 | self.tensors[name] = TosaSerializerTensor( |
| 556 | name, shape, dtype, data, placeholderFilename |
| 557 | ) |
| 558 | |
| 559 | return self.tensors[name] |
| 560 | |
| 561 | def addInput(self, name): |
| 562 | self.inputs.append(name) |
| 563 | |
| 564 | def addOutput(self, name): |
| 565 | self.outputs.append(name) |
| 566 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 567 | def addOperator(self, op, inputs, outputs, attributes=None): |
| 568 | self.operators.append(TosaSerializerOperator(op, inputs, outputs, attributes)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 569 | |
| 570 | def serialize(self, builder): |
| 571 | fb_name = builder.CreateString(self.name) |
| 572 | fbv_inputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 573 | builder, list(self.inputs), TosaBasicBlock.StartInputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 574 | ) |
| 575 | fbv_outputs = TosaSerializer.serializeStrVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 576 | builder, list(self.outputs), TosaBasicBlock.StartOutputsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 577 | ) |
| 578 | fbv_tensors = TosaSerializer.serializeObjVec( |
| 579 | builder, |
| 580 | list(self.tensors.values()), |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 581 | TosaBasicBlock.StartTensorsVector, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 582 | ) |
| 583 | fbv_operators = TosaSerializer.serializeObjVec( |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 584 | builder, self.operators, TosaBasicBlock.StartOperatorsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 585 | ) |
| 586 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 587 | TosaBasicBlock.Start(builder) |
| 588 | TosaBasicBlock.AddName(builder, fb_name) |
| 589 | TosaBasicBlock.AddInputs(builder, fbv_inputs) |
| 590 | TosaBasicBlock.AddOutputs(builder, fbv_outputs) |
| 591 | TosaBasicBlock.AddTensors(builder, fbv_tensors) |
| 592 | TosaBasicBlock.AddOperators(builder, fbv_operators) |
| 593 | return TosaBasicBlock.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 594 | |
| 595 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 596 | class TosaSerializerRegion: |
| 597 | def __init__(self, name, pathPrefix, saveConstsToFile=False): |
| 598 | self.name = name |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 599 | self.basicBlocks = [] |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 600 | self.currInputIdx = 0 |
| 601 | self.currConstIdx = 0 |
| 602 | self.currLayerIdx = 1 |
| 603 | self.currResultIdx = 0 |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 604 | self.pathPrefix = pathPrefix |
| 605 | self.saveConstsToFile = saveConstsToFile |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 606 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame^] | 607 | def addBasicBlock(self, name): |
| 608 | self.currBasicBlock = TosaSerializerBasicBlock(name) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 609 | self.basicBlocks.append(self.currBasicBlock) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 610 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 611 | def serialize(self, builder): |
| 612 | fb_name = builder.CreateString(self.name) |
| 613 | fbv_basicBlocks = TosaSerializer.serializeObjVec( |
| 614 | builder, self.basicBlocks, TosaRegion.StartBlocksVector |
| 615 | ) |
| 616 | |
| 617 | TosaRegion.Start(builder) |
| 618 | TosaRegion.AddName(builder, fb_name) |
| 619 | TosaRegion.AddBlocks(builder, fbv_basicBlocks) |
| 620 | return TosaRegion.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 621 | |
| 622 | def addPlaceholder(self, shape, dtype, vals): |
| 623 | if not self.currBasicBlock: |
| 624 | raise Exception("addTensor called without valid basic block") |
| 625 | |
| 626 | name = "input-{}".format(self.currInputIdx) |
| 627 | filename = "{}.npy".format(name) |
| 628 | self.currInputIdx = self.currInputIdx + 1 |
| 629 | |
| 630 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None, filename) |
| 631 | # This is always an input to the block |
| 632 | self.currBasicBlock.addInput(name) |
| 633 | |
| 634 | if vals is not None: |
| 635 | np.save(os.path.join(self.pathPrefix, filename), vals, False) |
| 636 | |
| 637 | return tens |
| 638 | |
| 639 | def addConst(self, shape, dtype, vals): |
| 640 | if not self.currBasicBlock: |
| 641 | raise Exception("addTensor called without valid basic block") |
| 642 | |
| 643 | name = "const-{}".format(self.currInputIdx) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 644 | self.currInputIdx = self.currInputIdx + 1 |
| 645 | |
| 646 | tens = self.currBasicBlock.addTensor(name, shape, dtype, vals) |
| 647 | # Add the operator now |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 648 | self.currBasicBlock.addOperator(TosaOp.Op().CONST, [], name) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 649 | |
Jeremy Johnson | c92710d | 2022-09-15 12:16:07 +0100 | [diff] [blame] | 650 | if self.saveConstsToFile: |
| 651 | filename = "{}.npy".format(name) |
| 652 | np.save(os.path.join(self.pathPrefix, filename), vals, False) |
| 653 | |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 654 | return tens |
| 655 | |
| 656 | def addIntermediate(self, shape, dtype): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 657 | if not self.currBasicBlock: |
| 658 | raise Exception("addTensor called without valid basic block") |
| 659 | |
| 660 | name = "layer-{}".format(self.currLayerIdx) |
| 661 | self.currLayerIdx = self.currLayerIdx + 1 |
| 662 | |
| 663 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None) |
| 664 | |
| 665 | return tens |
| 666 | |
| 667 | def addInputTensor(self, tensor): |
| 668 | self.currBasicBlock.addTensor(tensor.name, tensor.shape, tensor.dtype) |
| 669 | self.currBasicBlock.addInput(tensor.name) |
| 670 | |
| 671 | def addOutputTensor(self, tensor): |
| 672 | self.currBasicBlock.addOutput(tensor.name) |
| 673 | |
| 674 | def addOutput(self, shape, dtype): |
| 675 | if not self.currBasicBlock: |
| 676 | raise Exception("addTensor called without valid basic block") |
| 677 | |
| 678 | name = "result-{}".format(self.currResultIdx) |
| 679 | self.currResultIdx = self.currResultIdx + 1 |
| 680 | |
| 681 | tens = self.currBasicBlock.addTensor(name, shape, dtype, None) |
| 682 | self.currBasicBlock.addOutput(name) |
| 683 | return tens |
| 684 | |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 685 | def addOperator(self, op, inputs, outputs, attributes=None): |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 686 | if op == TosaOp.Op().CONST: |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 687 | raise Exception("Use addConstTensor() to add CONST ops") |
| 688 | |
| 689 | return self.currBasicBlock.addOperator( |
Eric Kunze | bdcc3fe | 2022-06-07 05:17:37 +0000 | [diff] [blame] | 690 | op, |
| 691 | inputs, |
| 692 | outputs, |
| 693 | attributes, |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 694 | ) |
| 695 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 696 | |
| 697 | @unique |
| 698 | class TensorDir(IntEnum): |
| 699 | PLACEHOLDER = 0 |
| 700 | CONST = 1 |
| 701 | INTERMEDIATE = 2 |
| 702 | RESULT = 3 |
| 703 | |
| 704 | |
| 705 | class TosaSerializer: |
| 706 | def __init__(self, pathPrefix, saveConstsToFile=False): |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 707 | self.builder = flatbuffers.Builder(0) |
| 708 | |
| 709 | self.regions = [] |
| 710 | self.startRegion("main", pathPrefix, saveConstsToFile) |
| 711 | |
| 712 | # Enables inspection of constant data outside of graph |
| 713 | self.saveConstsToFile = saveConstsToFile |
| 714 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame^] | 715 | self.currRegion.addBasicBlock("main") |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 716 | |
| 717 | # Is this an illegal test that is expected to fail? |
| 718 | self.expectedReturnCode = 0 |
| 719 | self.expectedFailure = False |
| 720 | self.expectedFailureDesc = "" |
| 721 | |
| 722 | def __str__(self): |
| 723 | concatString = "" |
| 724 | for region in self.regions: |
| 725 | concatString = concatString + str(region) |
| 726 | return concatString |
| 727 | |
| 728 | def addPlaceholder(self, shape, dtype, vals): |
| 729 | return self.currRegion.addPlaceholder(shape, dtype, vals) |
| 730 | |
| 731 | def addConst(self, shape, dtype, vals): |
| 732 | return self.currRegion.addConst(shape, dtype, vals) |
| 733 | |
| 734 | def addIntermediate(self, shape, dtype): |
| 735 | return self.currRegion.addIntermediate(shape, dtype) |
| 736 | |
| 737 | def addInputTensor(self, tensor): |
| 738 | self.currRegion.addInputTensor(tensor) |
| 739 | |
| 740 | def addOutputTensor(self, tensor): |
| 741 | self.currRegion.addOutputTensor(tensor) |
| 742 | |
| 743 | def addOutput(self, shape, dtype): |
| 744 | return self.currRegion.addOutput(shape, dtype) |
| 745 | |
| 746 | def addOperator(self, op, inputs, outputs, attributes=None): |
| 747 | return self.currRegion.addOperator(op, inputs, outputs, attributes) |
| 748 | |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame^] | 749 | def addBasicBlock(self, name): |
| 750 | self.currRegion.addBasicBlock(name) |
| 751 | |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 752 | def setExpectedReturnCode(self, val, fail, desc=""): |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 753 | |
| 754 | self.expectedReturnCode = val |
| 755 | self.expectedFailureDesc = desc |
Jeremy Johnson | 9b22517 | 2021-12-14 16:34:47 +0000 | [diff] [blame] | 756 | self.expectedFailure = fail |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 757 | |
| 758 | def serialize(self): |
| 759 | |
| 760 | builder = self.builder |
| 761 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 762 | Version.Start(builder) |
| 763 | Version.Add_major(builder, TOSA_VERSION[0]) |
| 764 | Version.Add_minor(builder, TOSA_VERSION[1]) |
| 765 | Version.Add_patch(builder, TOSA_VERSION[2]) |
| 766 | Version.Add_draft(builder, TOSA_VERSION[3]) |
| 767 | version = Version.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 768 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 769 | fbv_region = TosaSerializer.serializeObjVec( |
| 770 | builder, self.regions, TosaGraph.StartRegionsVector |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 771 | ) |
| 772 | |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 773 | TosaGraph.Start(builder) |
| 774 | TosaGraph.AddVersion(builder, version) |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 775 | TosaGraph.AddRegions(builder, fbv_region) |
Kevin Cheng | 49faa4e | 2021-11-08 16:59:18 -0800 | [diff] [blame] | 776 | graph = TosaGraph.End(builder) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 777 | |
Eric Kunze | e659640 | 2022-06-09 21:27:36 +0000 | [diff] [blame] | 778 | self.builder.Finish(graph, TOSA_GRAPH_IDENTIFIER) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 779 | return self.builder.Output() |
| 780 | |
| 781 | def writeJson(self, tosa_filename): |
| 782 | """Write a json test file so that it is fairly easy to pick up the test |
| 783 | and generate commands for third party tool""" |
| 784 | test_desc = dict() |
| 785 | |
| 786 | test_desc["tosa_file"] = tosa_filename |
| 787 | ifm_name = [] |
| 788 | ifm_file = [] |
| 789 | ofm_name = [] |
| 790 | ofm_file = [] |
| 791 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 792 | for region in self.regions: |
| 793 | for block in region.basicBlocks: |
Jerry Ge | ca7ce0e | 2023-01-10 17:24:38 +0000 | [diff] [blame^] | 794 | if block and block.name == "main": |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 795 | for i in block.inputs: |
| 796 | ifm_name.append(i) |
| 797 | ifm_file.append(block.tensors[i].placeholderFilename) |
| 798 | for o in block.outputs: |
| 799 | ofm_name.append(o) |
| 800 | # Make up an OFM filename here. One isn't generated until the |
| 801 | # reference tool is run, so any name is a good name |
| 802 | ofm_file.append("ref-{}.npy".format(o)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 803 | |
| 804 | test_desc["ifm_name"] = ifm_name |
| 805 | test_desc["ifm_file"] = ifm_file |
| 806 | test_desc["ofm_name"] = ofm_name |
| 807 | test_desc["ofm_file"] = ofm_file |
| 808 | test_desc["expected_return_code"] = self.expectedReturnCode |
| 809 | test_desc["expected_failure"] = self.expectedFailure |
| 810 | if self.expectedFailureDesc: |
| 811 | test_desc["expected_failure_desc"] = self.expectedFailureDesc |
| 812 | |
| 813 | return json.dumps(test_desc, indent=" ") |
| 814 | |
Jerry Ge | 1eb8504 | 2023-01-06 14:19:14 -0800 | [diff] [blame] | 815 | def startRegion(self, name, pathPrefix, saveConstsToFile): |
| 816 | self.currRegion = TosaSerializerRegion(name, pathPrefix, saveConstsToFile) |
| 817 | self.regions.append(self.currRegion) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 818 | |
| 819 | @staticmethod |
| 820 | def serializeStrVec(builder, vec, start_fcn): |
| 821 | fb_strs = [builder.CreateString(i) for i in vec] |
| 822 | start_fcn(builder, len(fb_strs)) |
| 823 | for s in fb_strs[::-1]: |
| 824 | builder.PrependUOffsetTRelative(s) |
Eric Kunze | ae906de | 2022-05-30 22:40:47 -0700 | [diff] [blame] | 825 | try: |
| 826 | return builder.EndVector() |
| 827 | except TypeError: |
| 828 | return builder.EndVector(len(vec)) |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 829 | |
| 830 | @staticmethod |
| 831 | def serializeUint8Vec(builder, vec): |
| 832 | builder.StartVector(1, len(vec), 8) |
| 833 | for v in vec[::-1]: |
| 834 | builder.PrependUint8(v) |
| 835 | try: |
| 836 | return builder.EndVector() |
| 837 | except TypeError: |
| 838 | return builder.EndVector(len(vec)) |
| 839 | |
| 840 | @staticmethod |
TatWai Chong | 49b1ca6 | 2022-06-10 01:49:13 -0700 | [diff] [blame] | 841 | def serializeInt16Vec(builder, vec): |
| 842 | builder.StartVector(2, len(vec), 4) |
| 843 | for v in vec[::-1]: |
| 844 | builder.PrependInt16(v) |
| 845 | try: |
| 846 | return builder.EndVector() |
| 847 | except TypeError: |
| 848 | return builder.EndVector(len(vec)) |
| 849 | |
| 850 | @staticmethod |
Kevin Cheng | fea5a37 | 2021-10-11 18:38:47 +0000 | [diff] [blame] | 851 | def serializeInt32Vec(builder, vec): |
| 852 | builder.StartVector(4, len(vec), 4) |
| 853 | for v in vec[::-1]: |
| 854 | builder.PrependInt32(v) |
| 855 | try: |
| 856 | return builder.EndVector() |
| 857 | except TypeError: |
| 858 | return builder.EndVector(len(vec)) |
| 859 | |
| 860 | @staticmethod |
| 861 | def serializeFpVec(builder, vec): |
| 862 | builder.StartVector(4, len(vec), 4) |
| 863 | for v in vec[::-1]: |
| 864 | builder.PrependFloat32(v) |
| 865 | try: |
| 866 | return builder.EndVector() |
| 867 | except TypeError: |
| 868 | return builder.EndVector(len(vec)) |
| 869 | |
| 870 | @staticmethod |
| 871 | def serializeObjVec(builder, vec, start_fcn): |
| 872 | serialized_vec = [] |
| 873 | for v in vec[::-1]: |
| 874 | serialized_vec.append(v.serialize(builder)) |
| 875 | |
| 876 | start_fcn(builder, len(vec)) |
| 877 | for v in serialized_vec: |
| 878 | builder.PrependUOffsetTRelative(v) |
| 879 | try: |
| 880 | return builder.EndVector() |
| 881 | except TypeError: |
| 882 | return builder.EndVector(len(vec)) |
| 883 | |
| 884 | @staticmethod |
| 885 | def toList(val): |
| 886 | if isinstance(val, list): |
| 887 | return val |
| 888 | else: |
| 889 | return [val] |