| // RUN: mlir-opt --split-input-file --verify-diagnostics --test-data-layout-query %s | FileCheck %s |
| |
| // expected-error@below {{expected integer attribute in the data layout entry for 'index'}} |
| module attributes { dlti.dl_spec = #dlti.dl_spec< |
| #dlti.dl_entry<index, [32]>>} { |
| } |
| |
| // ----- |
| |
| // CHECK-LABEL: @index |
| module @index attributes { dlti.dl_spec = #dlti.dl_spec< |
| #dlti.dl_entry<index, 32>>} { |
| func @query() { |
| // CHECK: bitsize = 32 |
| "test.data_layout_query"() : () -> index |
| return |
| } |
| } |
| |
| // ----- |
| |
| // CHECK-LABEL: @index_default |
| module @index_default { |
| func @query() { |
| // CHECK: bitsize = 64 |
| "test.data_layout_query"() : () -> index |
| return |
| } |
| } |
