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