| /llvm-project-15.0.7/mlir/lib/Dialect/MLProgram/IR/ |
| H A D | MLProgramOps.cpp | 185 return emitOpError() << "undefined global: " << getGlobal(); in verifySymbolUses() 188 return emitOpError() << "cannot load from global typed " in verifySymbolUses() 209 return emitOpError() << "undefined global: " << getGlobal(); in verifySymbolUses() 216 return emitOpError() << "cannot load from global typed " in verifySymbolUses() 236 return emitOpError() << "undefined global: " << getGlobal(); in verifySymbolUses() 239 return emitOpError() << "cannot load from global typed " in verifySymbolUses() 260 return emitOpError() << "undefined global: " << getGlobal(); in verifySymbolUses() 268 return emitOpError() << "cannot store to a global typed " in verifySymbolUses() 297 return emitOpError() << "cannot store to a global typed " in verifySymbolUses() 333 return emitOpError("has ") in verify() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/PDL/IR/ |
| H A D | PDL.cpp | 55 return op->emitOpError( in verifyHasBindingUse() 95 return emitOpError("expected at least one argument"); in verify() 105 return emitOpError("expected at least one argument or result"); in verify() 119 return emitOpError( in verify() 124 return emitOpError("expected only one of [`type`, `value`] to be set"); in verify() 268 return emitOpError("must have an operation name when nested within " in verify() 273 return emitOpError() in verify() 315 return emitOpError("expected body to terminate with `pdl.rewrite`") in verifyRegions() 449 return emitOpError() in verifyRegions() 457 return emitOpError() << "expected rewrite region to be non-empty if " in verifyRegions() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Quant/IR/ |
| H A D | QuantOps.cpp | 72 return emitOpError( in verify() 80 return emitOpError() << "has incompatible specification " << inputSpec in verify() 89 return emitOpError() << "has incompatible specification " << outputSpec in verify() 99 return emitOpError("arg needs to be tensor type."); in verify() 105 return emitOpError("layerStats must have a floating point element type"); in verify() 108 return emitOpError("layerStats must have shape [2]"); in verify() 114 return emitOpError("axis must be specified for axisStats"); in verify() 123 return emitOpError("axisStats must have a floating point element type"); in verify() 127 return emitOpError("axisStats must have shape [N,2] " in verify()
|
| /llvm-project-15.0.7/mlir/lib/IR/ |
| H A D | Operation.cpp | 703 return op->emitOpError() in verifyAtLeastNOperands() 817 return op->emitOpError() in verifyAtLeastNResults() 841 return op->emitOpError() in verifySameOperandsAndResultShape() 871 return op->emitOpError( in verifySameOperandsAndResultElementType() 878 return op->emitOpError( in verifySameOperandsAndResultElementType() 895 return op->emitOpError() in verifySameOperandsAndResultType() 901 return op->emitOpError() in verifySameOperandsAndResultType() 1004 return op->emitOpError("'") in verifyValueSizeAttr() 1012 return op->emitOpError() in verifyValueSizeAttr() 1069 return op->emitOpError( in verifyElementwise() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/OpenMP/IR/ |
| H A D | OpenMPDialect.cpp | 340 return op->emitOpError() in verifyReductionVarList() 367 return op->emitOpError() in verifyReductionVarList() 501 return emitOpError() in verifyRegions() 605 return emitOpError() << "expects non-empty initializer region"; in verifyRegions() 621 return emitOpError() << "expects non-empty reduction region"; in verifyRegions() 945 return emitOpError( in verifyRegions() 950 return emitOpError( in verifyRegions() 970 return emitOpError() << "cancel parallel must appear " in verify() 975 return emitOpError() << "cancel loop must appear " in verify() 989 return emitOpError() << "cancel sections must appear " in verify() [all …]
|
| /llvm-project-15.0.7/flang/lib/Optimizer/Dialect/ |
| H A D | FIROps.cpp | 993 emitOpError( in verify() 1764 return emitOpError( in verify() 1768 return emitOpError( in verify() 1789 return emitOpError( in verify() 1792 return emitOpError( in verify() 2062 return emitOpError( in verify() 2076 return emitOpError( in verify() 2079 return emitOpError( in verify() 2281 return emitOpError( in verify() 2317 return emitOpError( in verify() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/AMX/IR/ |
| H A D | AMXDialect.cpp | 36 return op->emitOpError("bad row height: ") << tp.getDimSize(0); in verifyTileSize() 38 return op->emitOpError("bad column width: ") << (col >> 3); in verifyTileSize() 50 return op->emitOpError("bad mult shape: ") in verifyMultShape() 62 return emitOpError("requires ") << rank << " indices"; in verify() 69 return emitOpError("requires ") << rank << " indices"; in verify() 86 return emitOpError("unsupported type combination"); in verify() 103 return emitOpError("unsupported type combination"); in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/NVGPU/IR/ |
| H A D | NVGPUDialect.cpp | 82 return emitOpError() << "expected " << srcMemref.getRank() in verify() 85 return emitOpError() << "expected " << dstMemref.getRank() in verify() 153 return emitOpError() << "expected " << m * k in verify() 158 return emitOpError() << "expected " << k * n in verify() 163 return emitOpError() << "expected " << m * n in verify() 177 return emitOpError() << "expected matrix A to be shaped (" << mTile * kTile in verify() 182 return emitOpError() << "expected matrix B to be shaped (" << kTile * nTile in verify() 187 return emitOpError() << "expected matrix C to be shaped (" << mTile * nTile in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/EmitC/IR/ |
| H A D | EmitC.cpp | 56 return emitOpError("applicable operator must not be empty"); in verify() 60 return emitOpError("applicable operator is illegal"); in verify() 85 return emitOpError("callee must not be empty"); in verify() 94 return emitOpError("index argument is out of range"); in verify() 98 return emitOpError("array argument has no type"); in verify() 107 return emitOpError("template argument has invalid type"); in verify() 123 return emitOpError() << "requires attribute's type (" << value.getType() in verify() 177 return emitOpError() << "requires attribute's type (" << value.getType() in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Vector/IR/ |
| H A D | VectorOps.cpp | 1054 return emitOpError( in verify() 1982 return emitOpError( in verify() 1992 return emitOpError( in verify() 2199 return emitOpError( in verify() 2204 return emitOpError( in verify() 2500 return emitOpError( in verify() 4450 return emitOpError( in verify() 4538 return emitOpError( in verify() 4542 return emitOpError( in verify() 4726 return emitOpError( in verify() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/LLVMIR/IR/ |
| H A D | LLVMDialect.cpp | 1175 return emitOpError( in verify() 1228 return emitOpError() in verify() 1232 return emitOpError() in verify() 1753 return emitOpError( in verify() 1765 return emitOpError( in verify() 1769 return emitOpError( in verify() 1987 return emitOpError( in verify() 1998 return emitOpError( in verify() 2350 return emitOpError() in verify() 2425 return emitOpError() in verify() [all …]
|
| H A D | NVVMDialect.cpp | 467 return emitOpError(errorMessage); in verify() 492 return emitOpError(errorStream.str()); in verify() 504 return emitOpError(errorStream.str()); in verify() 518 return emitOpError("op requires " + in verify() 567 return emitOpError("expected source pointer in memory " in verify() 572 return emitOpError() << "invalid attribute combination"; in verify() 592 return emitOpError() << "invalid attribute combination"; in verify() 608 return emitOpError() << "invalid attribute combination"; in verify() 621 return emitOpError() << "expected " << numArgs << " arguments"; in verify() 642 return emitOpError("expected num attribute to be 1, 2 or 4"); in verify() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/SPIRV/IR/ |
| H A D | SPIRVOps.cpp | 1129 return emitOpError( in verify() 2343 return emitOpError( in verify() 2363 return emitOpError( in verify() 2857 return emitOpError( in verify() 3024 return emitOpError( in verifyRegions() 3028 return emitOpError( in verifyRegions() 3034 return emitOpError( in verifyRegions() 3040 return emitOpError( in verifyRegions() 3044 return emitOpError( in verifyRegions() 3121 return emitOpError( in verify() [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/IR/ |
| H A D | FunctionInterfaces.h | 211 return op.emitOpError("requires a type attribute '") in verifyTrait() 220 return op.emitOpError() in verifyTrait() 230 return op.emitOpError() << "expects argument attribute dictionary " in verifyTrait() 240 return op.emitOpError("arguments may only have dialect attributes"); in verifyTrait() 252 return op.emitOpError() in verifyTrait() 262 return op.emitOpError() << "expects result attribute dictionary " in verifyTrait() 272 return op.emitOpError("results may only have dialect attributes"); in verifyTrait() 285 return op.emitOpError("expects one region"); in verifyTrait()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Func/IR/ |
| H A D | FuncOps.cpp | 130 return emitOpError("requires a 'callee' symbol reference attribute"); in verifySymbolUses() 133 return emitOpError() << "'" << fnAttr.getValue() in verifySymbolUses() 139 return emitOpError("incorrect number of operands for callee"); in verifySymbolUses() 143 return emitOpError("operand type mismatch: expected operand type ") in verifySymbolUses() 148 return emitOpError("incorrect number of results for callee"); in verifySymbolUses() 152 auto diag = emitOpError("result type mismatch at index ") << i; in verifySymbolUses() 195 return emitOpError() << "reference to undefined function '" << fnName in verify() 200 return emitOpError("reference to function with mismatched type"); in verify() 352 return emitOpError("has ") in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/AMDGPU/IR/ |
| H A D | AMDGPUDialect.cpp | 36 return op.emitOpError( in verifyRawBufferOp() 39 return op.emitOpError( in verifyRawBufferOp() 42 return op.emitOpError("Expected " + Twine(bufferType.getRank()) + in verifyRawBufferOp()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Linalg/IR/ |
| H A D | LinalgInterfaces.cpp | 622 return op->emitOpError("expected at least one output operand"); in verifyStructuredOpInterface() 627 return op->emitOpError("expected the number of results (") in verifyStructuredOpInterface() 637 return op->emitOpError("unexpected iterator_type (") in verifyStructuredOpInterface() 650 return op->emitOpError("expected the number of indexing_map (") in verifyStructuredOpInterface() 666 return op->emitOpError("expected indexing_map #") in verifyStructuredOpInterface() 672 return op->emitOpError("expected operand rank (") in verifyStructuredOpInterface() 687 return op->emitOpError( in verifyStructuredOpInterface() 694 return op->emitOpError("expected type of operand #") in verifyStructuredOpInterface() 712 return op->emitOpError( in verifyStructuredOpInterface() 746 return op->emitOpError("expected type of bb argument #") in verifyStructuredOpInterface() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/MemRef/IR/ |
| H A D | MemRefOps.cpp | 145 return emitOpError( in verify() 1132 return emitOpError( in verify() 1351 return emitOpError("'") in verifySymbolUses() 1356 return emitOpError("result type ") in verifySymbolUses() 1437 return emitOpError("too few indices"); in verify() 1641 return op->emitOpError( in verifyCollapsedShape() 1671 return op->emitOpError( in verifyCollapsedShape() 1968 return emitOpError( in verify() 2056 return emitOpError( in verify() 2708 return emitOpError("output type ") in verify() [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Utils/ |
| H A D | ReshapeOpsUtils.h | 108 return op.emitOpError("expected the type ") in verifyReshapeLikeTypes() 112 return op.emitOpError("expected non-zero memref ranks"); in verifyReshapeLikeTypes() 114 return op.emitOpError("expected to collapse or expand dims"); in verifyReshapeLikeTypes() 121 return op.emitOpError("invalid to reshape tensor/memref with non-unit " in verifyReshapeLikeTypes() 126 return op.emitOpError("expected rank of the collapsed type(") in verifyReshapeLikeTypes() 132 return op.emitOpError("expected reassociation map #") in verifyReshapeLikeTypes() 137 return op.emitOpError("expected reassociation map #") in verifyReshapeLikeTypes() 160 [&](const Twine &msg) { return op->emitOpError(msg); }, in verifyReshapeLikeShapes()
|
| /llvm-project-15.0.7/mlir/test/mlir-tblgen/ |
| H A D | interfaces-as-constraints.td | 31 // CHECK-NEXT: return op->emitOpError(valueKind) << " #" << valueIndex 36 // CHECK-NEXT: return op->emitOpError(valueKind) << " #" << valueIndex 41 // CHECK-NEXT: return op->emitOpError("attribute '") << attrName 46 // CHECK-NEXT: return op->emitOpError("attribute '") << attrName
|
| H A D | constraint-unique.td | 58 // CHECK-NEXT: return op->emitOpError(valueKind) << " #" << valueIndex 67 // CHECK-NEXT: return op->emitOpError(valueKind) << " #" << valueIndex 73 // CHECK-NEXT: return op->emitOpError("attribute '") << attrName 82 // CHECK-NEXT: return op->emitOpError("attribute '") << attrName 88 // CHECK-NEXT: return op->emitOpError("successor #") << successorIndex << " ('" 97 // CHECK-NEXT: return op->emitOpError("successor #") << successorIndex << " ('" 103 // CHECK-NEXT: return op->emitOpError("region #") << regionIndex 113 // CHECK-NEXT: return op->emitOpError("region #") << regionIndex
|
| /llvm-project-15.0.7/mlir/lib/Dialect/GPU/IR/ |
| H A D | GPUDialect.cpp | 223 return launchOp.emitOpError() in verifyOperationAttribute() 230 return launchOp.emitOpError("kernel function '") in verifyOperationAttribute() 234 InFlightDiagnostic diag = launchOp.emitOpError() in verifyOperationAttribute() 256 return launchOp.emitOpError("got ") in verifyOperationAttribute() 738 return emitOpError("expected to belong to a module"); in verify() 973 return emitOpError("requires '" + getTypeAttrName() + in verifyType() 991 return op->emitOpError() in verifyAttributions() 1004 return emitOpError() << "expected at least " in verifyBody() 1036 return emitOpError() in verify() 1104 return emitOpError("arguments have incompatible shape"); in verify() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/PDLInterp/IR/ |
| H A D | PDLInterp.cpp | 38 return op.emitOpError( in verifySwitchOp() 54 return emitOpError("with inferred results cannot also have " in verify() 59 return emitOpError() in verify() 195 return emitOpError("requires exactly one argument"); in verify() 202 return emitOpError("operand must be a range of loop variable type"); in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Transform/IR/ |
| H A D | TransformOps.cpp | 258 return emitOpError() in verify() 265 InFlightDiagnostic diag = emitOpError() in verify() 409 emitOpError() << "could not find pattern '" << getPatternName() << "'"; in apply() 510 return (emitOpError() << "block argument #" << argument.getArgNumber()); in verify() 521 emitOpError() in verify() 538 InFlightDiagnostic diag = emitOpError() in verify() 657 emitOpError() << "expects only one non-pattern op in its body"; in verify() 667 emitOpError() in verify() 674 InFlightDiagnostic diag = emitOpError() << "cannot be nested"; in verify()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/IR/ |
| H A D | AffineOps.cpp | 528 return emitOpError( in verify() 533 return emitOpError("mapping must produce one value"); in verify() 1315 return emitOpError("incorrect number of operands"); in verifyInvariantsImpl() 1518 return emitOpError( in verifyRegions() 1521 return emitOpError( in verifyRegions() 2616 return op->emitOpError( in verifyMemoryOpIndexing() 2750 return emitOpError( in verify() 2783 return op.emitOpError( in verifyAffineMinMaxOp() 3201 return emitOpError("too few operands"); in verify() 3204 return emitOpError("too few operands"); in verify() [all …]
|