llvm-mirror/test/Verifier/comdat2.ll

; RUN: llvm-as %s -o /dev/null
; RUN: opt -mtriple=x86_64-unknown-linux -o /dev/null
; RUN: not opt -mtriple=x86_64-pc-win32 %s -o /dev/null 2>&1 | FileCheck %s

$v = comdat any
@v = private global i32 0, comdat($v)
; CHECK: comdat global value has private linkage
IR: Disable verifier check for GlobalValues with private linkage named after a comdat for non-COFF. This check is only meaningful for COFF and it is perfectly valid to create such a GlobalValue in ELF. Differential Revision: https://reviews.llvm.org/D65686 llvm-svn: 368094 2019-08-06 23:47:18 +02:00			`; RUN: llvm-as %s -o /dev/null`
			`; RUN: opt -mtriple=x86_64-unknown-linux -o /dev/null`
			`; RUN: not opt -mtriple=x86_64-pc-win32 %s -o /dev/null 2>&1 \| FileCheck %s`
IR: Add COMDATs to the IR This new IR facility allows us to represent the object-file semantic of a COMDAT group. COMDATs allow us to tie together sections and make the inclusion of one dependent on another. This is required to implement features like MS ABI VFTables and optimizing away certain kinds of initialization in C++. This functionality is only representable in COFF and ELF, Mach-O has no similar mechanism. Differential Revision: http://reviews.llvm.org/D4178 llvm-svn: 211920 2014-06-27 20:19:56 +02:00
			`$v = comdat any`
Change the .ll syntax for comdats and add a syntactic sugar. In order to make comdats always explicit in the IR, we decided to make the syntax a bit more compact for the case of a GlobalObject in a comdat with the same name. Just dropping the $name causes problems for @foo = globabl i32 0, comdat $bar = comdat ... and declare void @foo() comdat $bar = comdat ... So the syntax is changed to @g1 = globabl i32 0, comdat($c1) @g2 = globabl i32 0, comdat and declare void @foo() comdat($c1) declare void @foo() comdat llvm-svn: 225302 2015-01-06 23:55:16 +01:00			`@v = private global i32 0, comdat($v)`
IR: Allow comdats to be applied to globals with internal linkage Our verifier check for checking if a global has local linkage was too strict. Forbid private linkage but permit local linkage. Object file formats permit this and forbidding it prevents elimination of unused, internal, vftables under the MSVC ABI. llvm-svn: 212900 2014-07-13 06:56:11 +02:00			`; CHECK: comdat global value has private linkage`