CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
82 lines
3.1 KiB
MLIR
82 lines
3.1 KiB
MLIR
// RUN: mlir-opt %s | mlir-opt | FileCheck %s
|
|
|
|
// Round-tripping the syntax.
|
|
|
|
// CHECK: #[[MAP:.*]] = affine_map<(d0) -> (d0)>
|
|
|
|
"test.unknown_op"() {
|
|
// CHECK: #dlti.dl_entry<"test.identifier", 42 : i64>
|
|
test.unknown_attr_1 = #dlti.dl_entry<"test.identifier", 42 : i64>,
|
|
// CHECK: #dlti.dl_entry<"test.identifier", #[[MAP]]>
|
|
test.unknown_attr_2 = #dlti.dl_entry<"test.identifier", affine_map<(d0) -> (d0)>>,
|
|
// CHECK: #dlti.dl_entry<i32, 32 : index>
|
|
test.unknown_attr_3 = #dlti.dl_entry<i32, 32 : index>,
|
|
// CHECK: #dlti.dl_entry<memref<?x?xf32>, ["string", 10]>
|
|
test.unknown_attr_4 = #dlti.dl_entry<memref<?x?xf32>, ["string", 10]>,
|
|
// CHECK: #dlti.dl_spec<>
|
|
test.unknown_attr_5 = #dlti.dl_spec<>,
|
|
// CHECK: #dlti.dl_spec<"test.id" = 42 : i32>
|
|
test.unknown_attr_6 = #dlti.dl_spec<"test.id" = 42 : i32>,
|
|
// CHECK: #dlti.dl_spec<
|
|
// CHECK: "test.id1" = 43 : index,
|
|
// CHECK: "test.id2" = 44 : index,
|
|
// CHECK: "test.id3" = 45 : index>
|
|
test.unknown_attr_7 = #dlti.dl_spec<
|
|
"test.id1" = 43 : index,
|
|
"test.id2" = 44 : index,
|
|
"test.id3" = 45 : index>,
|
|
// CHECK: #dlti.dl_spec<
|
|
// CHECK: "test.id1" = 43 : index,
|
|
// CHECK: "test.id2" = 44 : index,
|
|
// CHECK: "test.id3" = 45 : index>
|
|
test.unknown_attr_7_unsugared = #dlti.dl_spec<
|
|
#dlti.dl_entry<"test.id1", 43 : index>,
|
|
#dlti.dl_entry<"test.id2", 44 : index>,
|
|
#dlti.dl_entry<"test.id3", 45 : index>>
|
|
} : () -> ()
|
|
|
|
//
|
|
// Supported cases where we shouldn't fail. No need to file-check these, not
|
|
// triggering an error or an assertion is enough.
|
|
//
|
|
|
|
// Should not fail on missing spec.
|
|
"test.op_with_data_layout"() : () -> ()
|
|
|
|
// Should not fail on empty spec.
|
|
"test.op_with_data_layout"() { dlti.dl_spec = #dlti.dl_spec<> }: () -> ()
|
|
|
|
// Should not fail on nested compatible layouts.
|
|
"test.op_with_data_layout"() ({
|
|
"test.op_with_data_layout"() { dlti.dl_spec = #dlti.dl_spec<"unknown.unknown" = 32> } : () -> ()
|
|
"test.maybe_terminator_op"() : () -> ()
|
|
}) { dlti.dl_spec = #dlti.dl_spec<"unknown.unknown" = 32> } : () -> ()
|
|
|
|
// Should not fail on deeper nested compatible layouts.
|
|
"test.op_with_data_layout"() ({
|
|
"test.op_with_data_layout"() ({
|
|
"test.op_with_data_layout"()
|
|
{ dlti.dl_spec = #dlti.dl_spec<"unknown.unknown" = 32> } : () -> ()
|
|
"test.maybe_terminator_op"() : () -> ()
|
|
}) { dlti.dl_spec = #dlti.dl_spec<"unknown.unknown" = 32> } : () -> ()
|
|
"test.maybe_terminator_op"() : () -> ()
|
|
}) { dlti.dl_spec = #dlti.dl_spec<"unknown.unknown" = 32> } : () -> ()
|
|
|
|
// A valid target system description
|
|
// CHECK: module attributes {
|
|
// CHECK: dlti.target_system_spec = #dlti.target_system_spec<
|
|
// CHECK: "CPU" = #dlti.target_device_spec<
|
|
// CHECK: "dlti.L1_cache_size_in_bytes" = 4096 : ui32>,
|
|
// CHECK: "GPU" = #dlti.target_device_spec<
|
|
// CHECK: "dlti.max_vector_op_width" = 128 : ui32>
|
|
// CHECK: >} {
|
|
// CHECK: }
|
|
module attributes {
|
|
dlti.target_system_spec = #dlti.target_system_spec<
|
|
"CPU" = #dlti.target_device_spec<
|
|
"dlti.L1_cache_size_in_bytes" = 4096 : ui32>,
|
|
"GPU" = #dlti.target_device_spec<
|
|
"dlti.max_vector_op_width" = 128 : ui32>
|
|
>} {}
|
|
|