blob: 925276e1f86c46cc27671cfc8360fa0c89989372 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
//===-- FortranVariableInterface.cpp.cpp ----------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// Coding style: https://mlir.llvm.org/getting_started/DeveloperGuide/
//
//===----------------------------------------------------------------------===//
#include "flang/Optimizer/Dialect/FortranVariableInterface.h"
#include "flang/Optimizer/Dialect/FortranVariableInterface.cpp.inc"
llvm::LogicalResult
fir::FortranVariableOpInterface::verifyDeclareLikeOpImpl(mlir::Value memref) {
const unsigned numExplicitTypeParams = getExplicitTypeParams().size();
mlir::Type memType = memref.getType();
const bool sourceIsBoxValue = mlir::isa<fir::BaseBoxType>(memType);
const bool sourceIsBoxAddress = fir::isBoxAddress(memType);
const bool sourceIsBox = sourceIsBoxValue || sourceIsBoxAddress;
if (isCharacter()) {
if (numExplicitTypeParams > 1)
return emitOpError(
"of character entity must have at most one length parameter");
if (numExplicitTypeParams == 0 && !sourceIsBox)
return emitOpError("must be provided exactly one type parameter when its "
"base is a character that is not a box");
} else if (auto recordType =
mlir::dyn_cast<fir::RecordType>(getElementType())) {
if (numExplicitTypeParams < recordType.getNumLenParams() && !sourceIsBox)
return emitOpError("must be provided all the derived type length "
"parameters when the base is not a box");
if (numExplicitTypeParams > recordType.getNumLenParams())
return emitOpError("has too many length parameters");
} else if (numExplicitTypeParams != 0) {
return emitOpError("of numeric, logical, or assumed type entity must not "
"have length parameters");
}
if (isArray()) {
if (mlir::Value shape = getShape()) {
if (sourceIsBoxAddress)
return emitOpError("for box address must not have a shape operand");
unsigned shapeRank = 0;
if (auto shapeType = mlir::dyn_cast<fir::ShapeType>(shape.getType())) {
shapeRank = shapeType.getRank();
} else if (auto shapeShiftType =
mlir::dyn_cast<fir::ShapeShiftType>(shape.getType())) {
shapeRank = shapeShiftType.getRank();
} else {
if (!sourceIsBoxValue)
return emitOpError(
"of array entity with a raw address base must have a "
"shape operand that is a shape or shapeshift");
shapeRank = mlir::cast<fir::ShiftType>(shape.getType()).getRank();
}
std::optional<unsigned> rank = getRank();
if (!rank || *rank != shapeRank)
return emitOpError("has conflicting shape and base operand ranks");
} else if (!sourceIsBox) {
return emitOpError(
"of array entity with a raw address base must have a shape "
"operand that is a shape or shapeshift");
}
}
return mlir::success();
}
mlir::LogicalResult
fir::detail::verifyFortranVariableStorageOpInterface(mlir::Operation *op) {
auto storageIface = mlir::cast<fir::FortranVariableStorageOpInterface>(op);
mlir::Value storage = storageIface.getStorage();
std::uint64_t storageOffset = storageIface.getStorageOffset();
if (!storage) {
if (storageOffset != 0)
return op->emitOpError(
"storage offset specified without the storage reference");
return mlir::success();
}
auto storageType =
mlir::dyn_cast<fir::SequenceType>(fir::unwrapRefType(storage.getType()));
if (!storageType || storageType.getDimension() != 1)
return op->emitOpError("storage must be a vector");
if (storageType.hasDynamicExtents())
return op->emitOpError("storage must have known extent");
if (storageType.getEleTy() != mlir::IntegerType::get(op->getContext(), 8))
return op->emitOpError("storage must be an array of i8 elements");
if (storageOffset > storageType.getConstantArraySize())
return op->emitOpError("storage offset exceeds the storage size");
// TODO: we should probably verify that the (offset + sizeof(var))
// is within the storage object, but this requires mlir::DataLayout.
// Can we make it available during the verification?
return mlir::success();
}
|
