1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
llvm-mirror/test/Other/new-pm-pr42726-cgscc.ll
Alina Sbirlea 2da2801c96 [NewPassManager] Resolve assertion in CGSCCPassManager when CallCounts change.
Summary:
If the CallCounts change after an iteration of the DevirtSCCRepeatedPass, this is not reflected in the local CallCounts structure triggering the assertion checking the before/after sizes.
Since it is valid for the size to change and this only uses the CallCounts for the devirtualizing heuristic, keep a <Function*, CallCount> map instead, and make the devirtualizing decision using the counts for the functions that exist both before and after the pass.

Resolves PR42726.

Reviewers: chandlerc

Subscribers: mehdi_amini, jlebar, sanjoy.google, llvm-commits

Tags: #llvm

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

llvm-svn: 367703
2019-08-02 18:37:03 +00:00

58 lines
944 B
LLVM

; RUN: opt -aa-pipeline=default -passes="default<O1>" %s -S | FileCheck %s
; REQUIRES: asserts
declare void @bar()
declare void @baz(i32*)
; CHECK-LABEL: @foo1()
define void @foo1() {
entry:
%tag = alloca i32, align 4
call void @baz(i32* %tag)
%tmp = load i32, i32* %tag, align 4
switch i32 %tmp, label %sw.bb799 [
i32 10, label %sw.bb239
]
sw.bb239:
call void @foo2()
br label %cleanup871
sw.bb799:
call void @foo3(i32 undef)
br label %cleanup871
cleanup871:
call void @bar()
unreachable
}
define void @foo2() {
call void @foo4()
unreachable
}
define void @foo3(i32 %ptr) {
call void @foo1()
unreachable
}
define void @foo4() {
entry:
%tag = alloca i32, align 4
call void @baz(i32* %tag)
%tmp = load i32, i32* %tag, align 4
switch i32 %tmp, label %sw.bb442 [
i32 16, label %sw.bb352
]
sw.bb352:
call void @foo3(i32 undef)
unreachable
sw.bb442:
call void @foo2()
unreachable
}