// Test that tco tool sets a target independent data layout when none is
// provided. LLVM default data layout aligns i64 with 32 bits.
// RUN: tco -emit-fir %s | FileCheck %s

module {
}
// CHECK: module attributes {
// CHECK-SAME: dlti.dl_spec = #dlti.dl_spec<
// ...
// CHECK-SAME:    i64 = dense<[32, 64]> : vector<2xi64>,
// ...
// CHECK-SAME:    llvm.data_layout = ""