13fef2d26SRiver Riddle //===- TestDataLayoutQuery.cpp - Test Data Layout Queries -----------------===//
23fef2d26SRiver Riddle //
33fef2d26SRiver Riddle // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43fef2d26SRiver Riddle // See https://llvm.org/LICENSE.txt for license information.
53fef2d26SRiver Riddle // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63fef2d26SRiver Riddle //
73fef2d26SRiver Riddle //===----------------------------------------------------------------------===//
83fef2d26SRiver Riddle
9*e95e94adSJeff Niu #include "TestOps.h"
10c59ce1f6SAlex Zinenko #include "mlir/Analysis/DataLayoutAnalysis.h"
113fef2d26SRiver Riddle #include "mlir/Dialect/DLTI/DLTI.h"
123fef2d26SRiver Riddle #include "mlir/IR/BuiltinAttributes.h"
133fef2d26SRiver Riddle #include "mlir/Pass/Pass.h"
143fef2d26SRiver Riddle
153fef2d26SRiver Riddle using namespace mlir;
163fef2d26SRiver Riddle
173fef2d26SRiver Riddle namespace {
183fef2d26SRiver Riddle
193fef2d26SRiver Riddle /// A pass that finds "test.data_layout_query" operations and attaches to them
203fef2d26SRiver Riddle /// attributes containing the results of data layout queries for operation
213fef2d26SRiver Riddle /// result types.
223fef2d26SRiver Riddle struct TestDataLayoutQuery
2358ceae95SRiver Riddle : public PassWrapper<TestDataLayoutQuery, OperationPass<func::FuncOp>> {
MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID__anon6b9d4f3a0111::TestDataLayoutQuery245e50dd04SRiver Riddle MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestDataLayoutQuery)
255e50dd04SRiver Riddle
26b5e22e6dSMehdi Amini StringRef getArgument() const final { return "test-data-layout-query"; }
getDescription__anon6b9d4f3a0111::TestDataLayoutQuery27b5e22e6dSMehdi Amini StringRef getDescription() const final { return "Test data layout queries"; }
runOnOperation__anon6b9d4f3a0111::TestDataLayoutQuery2841574554SRiver Riddle void runOnOperation() override {
2958ceae95SRiver Riddle func::FuncOp func = getOperation();
303fef2d26SRiver Riddle Builder builder(func.getContext());
31c59ce1f6SAlex Zinenko const DataLayoutAnalysis &layouts = getAnalysis<DataLayoutAnalysis>();
323fef2d26SRiver Riddle
333fef2d26SRiver Riddle func.walk([&](test::DataLayoutQueryOp op) {
343fef2d26SRiver Riddle // Skip the ops with already processed in a deeper call.
35830b9b07SMehdi Amini if (op->getDiscardableAttr("size"))
363fef2d26SRiver Riddle return;
373fef2d26SRiver Riddle
38c59ce1f6SAlex Zinenko const DataLayout &layout = layouts.getAbove(op);
39adda5973STobias Gysi llvm::TypeSize size = layout.getTypeSize(op.getType());
40adda5973STobias Gysi llvm::TypeSize bitsize = layout.getTypeSizeInBits(op.getType());
41adda5973STobias Gysi uint64_t alignment = layout.getTypeABIAlignment(op.getType());
42adda5973STobias Gysi uint64_t preferred = layout.getTypePreferredAlignment(op.getType());
43adda5973STobias Gysi uint64_t index = layout.getTypeIndexBitwidth(op.getType()).value_or(0);
44a2acf313SChristian Ulmann Attribute endianness = layout.getEndianness();
45382eb7c2SJan Sjodin Attribute allocaMemorySpace = layout.getAllocaMemorySpace();
46c1ed45a2Sagozillon Attribute programMemorySpace = layout.getProgramMemorySpace();
47c1ed45a2Sagozillon Attribute globalMemorySpace = layout.getGlobalMemorySpace();
48adda5973STobias Gysi uint64_t stackAlignment = layout.getStackAlignment();
49df411fbaSChristian Ulmann
50df411fbaSChristian Ulmann auto convertTypeSizeToAttr = [&](llvm::TypeSize typeSize) -> Attribute {
51df411fbaSChristian Ulmann if (!typeSize.isScalable())
52df411fbaSChristian Ulmann return builder.getIndexAttr(typeSize);
53df411fbaSChristian Ulmann
54df411fbaSChristian Ulmann return builder.getDictionaryAttr({
55df411fbaSChristian Ulmann builder.getNamedAttr("scalable", builder.getUnitAttr()),
56df411fbaSChristian Ulmann builder.getNamedAttr(
57df411fbaSChristian Ulmann "minimal_size",
58df411fbaSChristian Ulmann builder.getIndexAttr(typeSize.getKnownMinValue())),
59df411fbaSChristian Ulmann });
60df411fbaSChristian Ulmann };
61df411fbaSChristian Ulmann
623fef2d26SRiver Riddle op->setAttrs(
63df411fbaSChristian Ulmann {builder.getNamedAttr("size", convertTypeSizeToAttr(size)),
64df411fbaSChristian Ulmann builder.getNamedAttr("bitsize", convertTypeSizeToAttr(bitsize)),
653fef2d26SRiver Riddle builder.getNamedAttr("alignment", builder.getIndexAttr(alignment)),
66382eb7c2SJan Sjodin builder.getNamedAttr("preferred", builder.getIndexAttr(preferred)),
67adda5973STobias Gysi builder.getNamedAttr("index", builder.getIndexAttr(index)),
68a2acf313SChristian Ulmann builder.getNamedAttr("endianness", endianness == Attribute()
69a2acf313SChristian Ulmann ? builder.getStringAttr("")
70a2acf313SChristian Ulmann : endianness),
71382eb7c2SJan Sjodin builder.getNamedAttr("alloca_memory_space",
72382eb7c2SJan Sjodin allocaMemorySpace == Attribute()
73382eb7c2SJan Sjodin ? builder.getUI32IntegerAttr(0)
749d69bca1STobias Gysi : allocaMemorySpace),
75c1ed45a2Sagozillon builder.getNamedAttr("program_memory_space",
76c1ed45a2Sagozillon programMemorySpace == Attribute()
77c1ed45a2Sagozillon ? builder.getUI32IntegerAttr(0)
78c1ed45a2Sagozillon : programMemorySpace),
79c1ed45a2Sagozillon builder.getNamedAttr("global_memory_space",
80c1ed45a2Sagozillon globalMemorySpace == Attribute()
81c1ed45a2Sagozillon ? builder.getUI32IntegerAttr(0)
82c1ed45a2Sagozillon : globalMemorySpace),
839d69bca1STobias Gysi builder.getNamedAttr("stack_alignment",
849d69bca1STobias Gysi builder.getIndexAttr(stackAlignment))});
853fef2d26SRiver Riddle });
863fef2d26SRiver Riddle }
873fef2d26SRiver Riddle };
883fef2d26SRiver Riddle } // namespace
893fef2d26SRiver Riddle
903fef2d26SRiver Riddle namespace mlir {
913fef2d26SRiver Riddle namespace test {
registerTestDataLayoutQuery()92b5e22e6dSMehdi Amini void registerTestDataLayoutQuery() { PassRegistration<TestDataLayoutQuery>(); }
933fef2d26SRiver Riddle } // namespace test
943fef2d26SRiver Riddle } // namespace mlir
95