| // Test that tco tool preserves incoming llvm.data_layout and creates a |
| // related dlti.dl_spec attribute. This tests a weird datalayout where |
| // i64 would be 128 bit aligned. |
| // RUN: tco -emit-fir %s | FileCheck %s |
| |
| module attributes {llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:128-i128:128-f80:128-n8:16:32:64-S128"} { |
| } |
| // CHECK: module attributes { |
| // CHECK-SAME: dlti.dl_spec = #dlti.dl_spec< |
| // ... |
| // CHECK-SAME: i64 = dense<128> : vector<2xi64>, |
| // ... |
| // CHECK-SAME: llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:128-i128:128-f80:128-n8:16:32:64-S128" |
