// RUN: mlir-opt -split-input-file %s | FileCheck %s


// CHECK:      module attributes {
// CHECK-SAME:   dlti.map = #dlti.map<
// CHECK-SAME:     "magic_num" = 42 : i32,
// CHECK-SAME:     "magic_num_float" = 4.242000e+01 : f32,
// CHECK-SAME:     "magic_type" = i32,
// CHECK-SAME:     i32 = #dlti.map<"bitwidth" = 32 : i32>
// CHECK:        >} {
// CHECK:      }
module attributes {
  dlti.map = #dlti.map<"magic_num" = 42 : i32,
                       "magic_num_float" = 42.42 : f32,
                       "magic_type" = i32,
                        i32 = #dlti.map<"bitwidth" = 32 : i32>>
  } {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.map = #dlti.map<
// CHECK-SAME:     "magic_num" = 42 : i32,
// CHECK-SAME:     "magic_num_float" = 4.242000e+01 : f32,
// CHECK-SAME:     "magic_type" = i32,
// CHECK-SAME:     i32 = #dlti.map<"bitwidth" = 32 : i32>
// CHECK:        >} {
// CHECK:      }
module attributes {
  dlti.map = #dlti.map<
    #dlti.dl_entry<"magic_num", 42 : i32>,
    #dlti.dl_entry<"magic_num_float", 42.42 : f32>,
    #dlti.dl_entry<"magic_type", i32>,
    #dlti.dl_entry<i32, #dlti.map<#dlti.dl_entry<"bitwidth", 32 : i32>>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.map = #dlti.map<
// CHECK-SAME:     "CPU" = #dlti.map<"L1_cache_size_in_bytes" = 4096 : i32>,
// CHECK-SAME:     "GPU" = #dlti.map<"max_vector_op_width" = 128 : i32>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.map = #dlti.map<
    #dlti.dl_entry<"CPU", #dlti.map<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 4096 : i32>>>,
    #dlti.dl_entry<"GPU", #dlti.map<
      #dlti.dl_entry<"max_vector_op_width", 128 : i32>>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:  dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:    "CPU" = #dlti.target_device_spec<
// CHECK-SAME:      "L1_cache_size_in_bytes" = 4096 : i32>,
// CHECK-SAME:    "GPU" = #dlti.target_device_spec<
// CHECK-SAME:      "max_vector_op_width" = 128 : i32>
// CHECK-SAME:  >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 4096 : i32>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 128 : i32>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:  dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:    "CPU" = #dlti.target_device_spec<
// CHECK-SAME:      "L1_cache_size_in_bytes" = 4096 : i32>,
// CHECK-SAME:    "GPU" = #dlti.target_device_spec<
// CHECK-SAME:      "L1_cache_size_in_bytes" = 8192 : i32>
// CHECK-SAME:  >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 4096 : i32>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 8192 : i32>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = 4096 : i64>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = 8192 : i64>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 4096 : i64>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 8192 : i64>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 64 : i32>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 128 : i32>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 64 : i32>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 128 : i32>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 64 : i64>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 128 : i64>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 64 : i64>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 128 : i64>>
  >} {}

// -----

// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 64 : i64>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 128 : i64>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 64 : i64>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 128 : i64>>
  >} {}

// -----

// Check values of mixed type
//
// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = 4096 : ui32>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = "128">
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", 4096 : ui32>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", "128">>
  >} {}

// -----

// Check values of mixed type
//
// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 4.096000e+03 : f32>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = "128">
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"max_vector_op_width", 4096.0 : f32>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", "128">>
  >} {}


// -----

// Check values of mixed type
//
// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "vector_unit" = #dlti.map<
// CHECK-SAME:         "max_op_width" = 4.096000e+03 : f32>>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = "128">
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"vector_unit", #dlti.map<
        #dlti.dl_entry<"max_op_width", 4096.0 : f32>>>>,
    "GPU" = #dlti.target_device_spec<
      #dlti.dl_entry<"L1_cache_size_in_bytes", "128">>
  >} {}

// -----

// Check values of mixed type
//
// CHECK:      module attributes {
// CHECK-SAME:   dlti.target_system_spec = #dlti.target_system_spec<
// CHECK-SAME:     "CPU" = #dlti.target_device_spec<
// CHECK-SAME:       "L1_cache_size_in_bytes" = 4096 : ui32>,
// CHECK-SAME:     "GPU" = #dlti.target_device_spec<
// CHECK-SAME:       "max_vector_op_width" = 128 : i64>
// CHECK-SAME:   >} {
// CHECK:      }
module attributes {
  dlti.target_system_spec = #dlti.target_system_spec<
    "CPU" = #dlti.target_device_spec<"L1_cache_size_in_bytes" = 4096 : ui32>,
    "GPU" = #dlti.target_device_spec<"max_vector_op_width" = 128>
  >} {}

// -----

// CHECK: "test.op_with_dlti_map"() ({
// CHECK: }) {dlti.map = #dlti.map<"dlti.unknown_id" = 42 : i64>}
"test.op_with_dlti_map"() ({
}) { dlti.map = #dlti.map<#dlti.dl_entry<"dlti.unknown_id", 42>> } : () -> ()

// -----

// CHECK: "test.op_with_dlti_map"() ({
// CHECK: }) {dlti.map = #dlti.map<i32 = 42 : i64>}
"test.op_with_dlti_map"() ({
}) { dlti.map = #dlti.map<#dlti.dl_entry<i32, 42>> } : () -> ()