From a479b968e91ec65de016e49d2b7ffef1ae035370 Mon Sep 17 00:00:00 2001 From: Davide Italiano Date: Wed, 20 Apr 2016 18:10:25 +0000 Subject: [PATCH] [LTO] Add a test to ensure we handle basic type merging correctly. llvm-svn: 266896 --- lld/test/ELF/lto/Inputs/type-merge.ll | 8 ++++++++ lld/test/ELF/lto/type-merge.ll | 26 ++++++++++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 lld/test/ELF/lto/Inputs/type-merge.ll create mode 100644 lld/test/ELF/lto/type-merge.ll diff --git a/lld/test/ELF/lto/Inputs/type-merge.ll b/lld/test/ELF/lto/Inputs/type-merge.ll new file mode 100644 index 0000000..c316421 --- /dev/null +++ b/lld/test/ELF/lto/Inputs/type-merge.ll @@ -0,0 +1,8 @@ +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @zed() { + call void @bar() + ret void +} +declare void @bar() diff --git a/lld/test/ELF/lto/type-merge.ll b/lld/test/ELF/lto/type-merge.ll new file mode 100644 index 0000000..98db539 --- /dev/null +++ b/lld/test/ELF/lto/type-merge.ll @@ -0,0 +1,26 @@ +; REQUIRES: x86 +; RUN: llvm-as %s -o %t.o +; RUN: llvm-as %p/Inputs/type-merge.ll -o %t2.o +; RUN: ld.lld -m elf_x86_64 %t.o %t2.o -o %t -shared -save-temps +; RUN: llvm-dis < %t.lto.bc | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @foo() { + call void @bar(i8* null) + ret void +} +declare void @bar(i8*) + +; CHECK: define void @foo() { +; CHECK-NEXT: call void @bar(i8* null) +; CHECK-NEXT: ret void +; CHECK-NEXT: } + +; CHECK: declare void @bar(i8*) + +; CHECK: define void @zed() { +; CHECK-NEXT: call void bitcast (void (i8*)* @bar to void ()*)() +; CHECK-NEXT: ret void +; CHECK-NEXT: } -- 2.7.4