xref: /llvm-project/mlir/test/Interfaces/DataLayoutInterfaces/module.mlir (revision adda597388dc148ac235e755b3e8bbd0a12a3e15)
11916b0e0SAlex Zinenko// RUN: mlir-opt --test-data-layout-query %s | FileCheck %s
21916b0e0SAlex Zinenko
31916b0e0SAlex Zinenkomodule attributes { dlti.dl_spec = #dlti.dl_spec<
41916b0e0SAlex Zinenko      #dlti.dl_entry<!test.test_type_with_layout<10>, ["size", 12]>,
5*adda5973STobias Gysi      #dlti.dl_entry<!test.test_type_with_layout<20>, ["alignment", 32]>,
6*adda5973STobias Gysi      #dlti.dl_entry<!test.test_type_with_layout<30>, ["index", 7]>>} {
71916b0e0SAlex Zinenko  // CHECK-LABEL: @module_level_layout
86a99d290SRiver Riddle  func.func @module_level_layout() {
91916b0e0SAlex Zinenko     // CHECK: alignment = 32
10f9cdc61dSAlex Zinenko     // CHECK: bitsize = 12
11*adda5973STobias Gysi     // CHECK: index = 7
121916b0e0SAlex Zinenko     // CHECK: preferred = 1
13f9cdc61dSAlex Zinenko     // CHECK: size = 2
141916b0e0SAlex Zinenko    "test.data_layout_query"() : () -> !test.test_type_with_layout<10>
151916b0e0SAlex Zinenko    return
161916b0e0SAlex Zinenko  }
171916b0e0SAlex Zinenko}
18