1 //===- DataLayoutUpgradeTest.cpp - Tests for DataLayout upgrades ----------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/IR/AutoUpgrade.h" 10 #include "gtest/gtest.h" 11 12 using namespace llvm; 13 14 namespace { 15 16 TEST(DataLayoutUpgradeTest, ValidDataLayoutUpgrade) { 17 std::string DL1 = 18 UpgradeDataLayoutString("e-m:e-p:32:32-i64:64-f80:128-n8:16:32:64-S128", 19 "x86_64-unknown-linux-gnu"); 20 std::string DL2 = UpgradeDataLayoutString( 21 "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32", "i686-pc-windows-msvc"); 22 std::string DL3 = UpgradeDataLayoutString("e-m:o-i64:64-i128:128-n32:64-S128", 23 "x86_64-apple-macosx"); 24 EXPECT_EQ(DL1, "e-m:e-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64" 25 "-f80:128-n8:16:32:64-S128"); 26 EXPECT_EQ(DL2, "e-m:w-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64" 27 "-f80:128-n8:16:32-S32"); 28 EXPECT_EQ(DL3, "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128" 29 "-n32:64-S128"); 30 31 // Check that AMDGPU targets add -G1 if it's not present. 32 EXPECT_EQ(UpgradeDataLayoutString("e-p:32:32", "r600"), "e-p:32:32-G1"); 33 // and that ANDGCN adds p7 and p8 as well. 34 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64", "amdgcn"), 35 "e-p:64:64-G1-p7:160:256:256:32-p8:128:128-ni:7:8"); 36 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64-G1", "amdgcn"), 37 "e-p:64:64-G1-p7:160:256:256:32-p8:128:128-ni:7:8"); 38 // but that r600 does not. 39 EXPECT_EQ(UpgradeDataLayoutString("e-p:32:32-G1", "r600"), "e-p:32:32-G1"); 40 41 // Check that AMDGCN makes address space 8 non-integral if there's an existing 42 // non-integrality declaration. 43 EXPECT_EQ(UpgradeDataLayoutString( 44 "e-p:64:64-G1-p7:160:256:256:32-p8:128:128-ni:7", "amdgcn"), 45 "e-p:64:64-G1-p7:160:256:256:32-p8:128:128-ni:7:8"); 46 47 // Check that RISCV64 upgrades -n64 to -n32:64. 48 EXPECT_EQ(UpgradeDataLayoutString("e-m:e-p:64:64-i64:64-i128:128-n64-S128", 49 "riscv64"), 50 "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"); 51 } 52 53 TEST(DataLayoutUpgradeTest, NoDataLayoutUpgrade) { 54 std::string DL1 = UpgradeDataLayoutString( 55 "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32" 56 "-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" 57 "-n8:16:32:64-S128", 58 "x86_64-unknown-linux-gnu"); 59 std::string DL2 = UpgradeDataLayoutString("e-p:32:32", "i686-apple-darwin9"); 60 std::string DL3 = UpgradeDataLayoutString("e-m:e-i64:64-n32:64", 61 "powerpc64le-unknown-linux-gnu"); 62 std::string DL4 = 63 UpgradeDataLayoutString("e-m:o-i64:64-i128:128-n32:64-S128", "aarch64--"); 64 EXPECT_EQ(DL1, "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64" 65 "-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64" 66 "-f80:128:128-n8:16:32:64-S128"); 67 EXPECT_EQ(DL2, "e-p:32:32"); 68 EXPECT_EQ(DL3, "e-m:e-i64:64-n32:64"); 69 EXPECT_EQ(DL4, "e-m:o-i64:64-i128:128-n32:64-S128"); 70 71 // Check that AMDGPU targets don't add -G1 if there is already a -G flag. 72 EXPECT_EQ(UpgradeDataLayoutString("e-p:32:32-G2", "r600"), "e-p:32:32-G2"); 73 EXPECT_EQ(UpgradeDataLayoutString("G2", "r600"), "G2"); 74 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64-G2", "amdgcn"), 75 "e-p:64:64-G2-p7:160:256:256:32-p8:128:128-ni:7:8"); 76 EXPECT_EQ(UpgradeDataLayoutString("G2-e-p:64:64", "amdgcn"), 77 "G2-e-p:64:64-p7:160:256:256:32-p8:128:128-ni:7:8"); 78 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64-G0", "amdgcn"), 79 "e-p:64:64-G0-p7:160:256:256:32-p8:128:128-ni:7:8"); 80 81 // Check that AMDGCN targets don't add already declared address space 7. 82 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64-p7:64:64", "amdgcn"), 83 "e-p:64:64-p7:64:64-G1-p8:128:128-ni:7:8"); 84 EXPECT_EQ(UpgradeDataLayoutString("p7:64:64-G2-e-p:64:64", "amdgcn"), 85 "p7:64:64-G2-e-p:64:64-p8:128:128-ni:7:8"); 86 EXPECT_EQ(UpgradeDataLayoutString("e-p:64:64-p7:64:64-G1", "amdgcn"), 87 "e-p:64:64-p7:64:64-G1-p8:128:128-ni:7:8"); 88 } 89 90 TEST(DataLayoutUpgradeTest, EmptyDataLayout) { 91 std::string DL1 = UpgradeDataLayoutString("", "x86_64-unknown-linux-gnu"); 92 std::string DL2 = UpgradeDataLayoutString( 93 "e-m:e-p:32:32-i64:64-f80:128-n8:16:32:64-S128", ""); 94 EXPECT_EQ(DL1, ""); 95 EXPECT_EQ(DL2, "e-m:e-p:32:32-i64:64-f80:128-n8:16:32:64-S128"); 96 97 // Check that AMDGPU targets add G1 if it's not present. 98 EXPECT_EQ(UpgradeDataLayoutString("", "r600"), "G1"); 99 EXPECT_EQ(UpgradeDataLayoutString("", "amdgcn"), 100 "G1-p7:160:256:256:32-p8:128:128-ni:7:8"); 101 } 102 103 } // end namespace 104