From bcc7f617cdba65a8f6087422a2d6148e63ecc8bc Mon Sep 17 00:00:00 2001 From: Davide Italiano Date: Wed, 20 Apr 2016 18:38:09 +0000 Subject: [PATCH] [LTO] Another type merge test. llvm-svn: 266899 --- lld/test/ELF/lto/Inputs/type-merge2.ll | 8 ++++++++ lld/test/ELF/lto/type-merge2.ll | 27 +++++++++++++++++++++++++++ 2 files changed, 35 insertions(+) create mode 100644 lld/test/ELF/lto/Inputs/type-merge2.ll create mode 100644 lld/test/ELF/lto/type-merge2.ll diff --git a/lld/test/ELF/lto/Inputs/type-merge2.ll b/lld/test/ELF/lto/Inputs/type-merge2.ll new file mode 100644 index 0000000..79fd1f8 --- /dev/null +++ b/lld/test/ELF/lto/Inputs/type-merge2.ll @@ -0,0 +1,8 @@ +target triple = "x86_64-unknown-linux-gnu" +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +%zed = type { i16 } +define void @bar(%zed* %this) { + store %zed* %this, %zed** null + ret void +} diff --git a/lld/test/ELF/lto/type-merge2.ll b/lld/test/ELF/lto/type-merge2.ll new file mode 100644 index 0000000..f0931dd --- /dev/null +++ b/lld/test/ELF/lto/type-merge2.ll @@ -0,0 +1,27 @@ +; RUN: llvm-as %s -o %t.o +; RUN: llvm-as %p/Inputs/type-merge2.ll -o %t2.o +; RUN: ld.lld -m elf_x86_64 %t.o %t2.o -o %t.so -shared -save-temps +; RUN: llvm-dis %t.so.lto.bc -o - | FileCheck %s + +target triple = "x86_64-unknown-linux-gnu" +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +%zed = type { i8 } +define void @foo() { + call void @bar(%zed* null) + ret void +} +declare void @bar(%zed*) + +; CHECK: %zed = type { i8 } +; CHECK-NEXT: %zed.0 = type { i16 } + +; CHECK: define void @foo() { +; CHECK-NEXT: call void bitcast (void (%zed.0*)* @bar to void (%zed*)*)(%zed* null) +; CHECK-NEXT: ret void +; CHECK-NEXT: } + +; CHECK: define void @bar(%zed.0* %this) { +; CHECK-NEXT: store %zed.0* %this, %zed.0** null +; CHECK-NEXT: ret void +; CHECK-NEXT: } -- 2.7.4