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