mirror of
https://github.com/RPCS3/llvm.git
synced 2025-05-13 08:56:04 +00:00
4a6d99b0a9
Internalizing an individual comdat group member without also internalizing the other members of the comdat can break comdat semantics. For example, if a module contains a reference to an internalized comdat member, and the linker chooses a comdat group from a different object file, this will break the reference to the internalized member. This change causes the internalizer to only internalize comdat members if all other members of the comdat are not externally visible. Once a comdat group has been fully internalized, there is no need to apply comdat rules to its members; later optimization passes (e.g. globaldce) can legally drop individual members of the comdat. So we drop the comdat attribute from all comdat members. Differential Revision: http://reviews.llvm.org/D10679 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@242423 91177308-0d34-0410-b5e6-96231b3b80d8
53 lines
1.2 KiB
LLVM
53 lines
1.2 KiB
LLVM
; RUN: opt < %s -internalize -internalize-public-api-list c1 -internalize-public-api-list c2 -internalize-public-api-list c3 -internalize-public-api-list c4 -S | FileCheck %s
|
|
|
|
$c1 = comdat any
|
|
$c2 = comdat any
|
|
$c3 = comdat any
|
|
$c4 = comdat any
|
|
|
|
; CHECK: @c1_c = global i32 0, comdat($c1)
|
|
@c1_c = global i32 0, comdat($c1)
|
|
|
|
; CHECK: @c2_b = internal global i32 0{{$}}
|
|
@c2_b = global i32 0, comdat($c2)
|
|
|
|
; CHECK: @c3 = global i32 0, comdat{{$}}
|
|
@c3 = global i32 0, comdat
|
|
|
|
; CHECK: @c4_a = internal global i32 0, comdat($c4)
|
|
@c4_a = internal global i32 0, comdat($c4)
|
|
|
|
; CHECK: @c1_d = alias i32* @c1_c
|
|
@c1_d = alias i32* @c1_c
|
|
|
|
; CHECK: @c2_c = internal alias i32* @c2_b
|
|
@c2_c = alias i32* @c2_b
|
|
|
|
; CHECK: @c4 = alias i32* @c4_a
|
|
@c4 = alias i32* @c4_a
|
|
|
|
; CHECK: define void @c1() comdat {
|
|
define void @c1() comdat {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @c1_a() comdat($c1) {
|
|
define void @c1_a() comdat($c1) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define internal void @c2() {
|
|
define internal void @c2() comdat {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define internal void @c2_a() {
|
|
define void @c2_a() comdat($c2) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @c3_a() comdat($c3) {
|
|
define void @c3_a() comdat($c3) {
|
|
ret void
|
|
}
|