// RUN: mlir-opt --test-data-layout-query %s | FileCheck %s | |
module attributes { dlti.dl_spec = #dlti.dl_spec< | |
#dlti.dl_entry<!test.test_type_with_layout<10>, ["size", 12]>, | |
#dlti.dl_entry<!test.test_type_with_layout<20>, ["alignment", 32]>>} { | |
// CHECK-LABEL: @module_level_layout | |
func @module_level_layout() { | |
// CHECK: alignment = 32 | |
// CHECK: bitsize = 12 | |
// CHECK: preferred = 1 | |
// CHECK: size = 2 | |
"test.data_layout_query"() : () -> !test.test_type_with_layout<10> | |
return | |
} | |
} |