| // 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]>, |
| #dlti.dl_entry<!test.test_type_with_layout<30>, ["index", 7]>>} { |
| // CHECK-LABEL: @module_level_layout |
| func.func @module_level_layout() { |
| // CHECK: alignment = 32 |
| // CHECK: bitsize = 12 |
| // CHECK: index = 7 |
| // CHECK: preferred = 1 |
| // CHECK: size = 2 |
| "test.data_layout_query"() : () -> !test.test_type_with_layout<10> |
| return |
| } |
| } |
