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
|
//===- PtrAttrs.cpp - Pointer dialect attributes ----------------*- C++ -*-===//
//
// This file is licensed 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
//
//===----------------------------------------------------------------------===//
//
// This file defines the Ptr dialect attributes.
//
//===----------------------------------------------------------------------===//
#include "mlir/Dialect/Ptr/IR/PtrAttrs.h"
#include "llvm/ADT/TypeSwitch.h"
using namespace mlir;
using namespace mlir::ptr;
constexpr const static unsigned kBitsInByte = 8;
//===----------------------------------------------------------------------===//
// SpecAttr
//===----------------------------------------------------------------------===//
LogicalResult SpecAttr::verify(function_ref<InFlightDiagnostic()> emitError,
uint32_t size, uint32_t abi, uint32_t preferred,
uint32_t index) {
if (size % kBitsInByte != 0)
return emitError() << "size entry must be divisible by 8";
if (abi % kBitsInByte != 0)
return emitError() << "abi entry must be divisible by 8";
if (preferred % kBitsInByte != 0)
return emitError() << "preferred entry must be divisible by 8";
if (index != kOptionalSpecValue && index % kBitsInByte != 0)
return emitError() << "index entry must be divisible by 8";
if (abi > preferred)
return emitError() << "preferred alignment is expected to be at least "
"as large as ABI alignment";
return success();
}
|
