LLVM/project c44c905 — mlir/lib/Dialect/Tosa/IR TosaOps.cpp, mlir/test/Dialect/Tosa level_check.mlir invalid.mlir

by Luke Hutton via GitHub on ⎇
[mlir][tosa] Add error if verification to pooling operators (#130052)

This commit adds the following checks to avg_pool2d and max_pool2d TOSA
operations:
- check kernel values are >= 1
- check stride values are >= 1
- check padding values are >= 0
- check padding values are less than kernel sizes
- check output shape matches the expected output shape

Signed-off-by: Luke Hutton <luke.hutton at arm.com>
DeltaFile
+38-103mlir/test/Dialect/Tosa/level_check.mlir
+99-0mlir/test/Dialect/Tosa/invalid.mlir
+96-2mlir/lib/Dialect/Tosa/IR/TosaOps.cpp
+9-9mlir/test/Dialect/Tosa/tosa-infer-shapes.mlir
+242-1144 files

UnifiedSplitRaw