RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 03:02:36 +01:00
Code Issues Projects Releases Wiki Activity

PMB: Run the whole-program-devirt pass during LTO at --lto-O0.

Browse Source 
The whole-program-devirt pass needs to run at -O0 because only it
knows about the llvm.type.checked.load intrinsic: it needs to both
lower the intrinsic itself and handle it in the summary.

Differential Revision: https://reviews.llvm.org/D33571

llvm-svn: 304019
This commit is contained in:
Peter Collingbourne 2017-05-26 18:27:13 +00:00
parent 910c4a98e1
commit c7b6fe32f8
2 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/IPO/PassManagerBuilder.cpp
View File

@ -913,6 +913,12 @@ void PassManagerBuilder::populateLTOPassManager(legacy::PassManagerBase &PM) {
if (OptLevel != 0)
addLTOOptimizationPasses(PM);
else {
// The whole-program-devirt pass needs to run at -O0 because only it knows
// about the llvm.type.checked.load intrinsic: it needs to both lower the
// intrinsic itself and handle it in the summary.
PM.add(createWholeProgramDevirtPass(ExportSummary, nullptr));
}
// Create a function that performs CFI checks for cross-DSO calls with targets
// in the current module.

16
test/LTO/Resolution/X86/type-checked-load.ll Normal file
View File

@ -0,0 +1,16 @@
; RUN: llvm-as -o %t %s
; RUN: llvm-lto2 run %t -O0 -r %t,foo,px -o %t2
; This just tests that we don't crash when compiling this test case.
; It means that the wholeprogramdevirt pass must have run and lowered
; the llvm.type.checked.load call.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define {i8*, i1} @foo(i8* %ptr) {
%pair = call {i8*, i1} @llvm.type.checked.load(i8* %ptr, i32 16, metadata !"foo")
ret {i8*, i1} %pair
}
declare {i8*, i1} @llvm.type.checked.load(i8* %ptr, i32 %offset, metadata %type)