not_promote_ret_exit.ll
1.34 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
; RUN: opt < %s -instrprof -S -o - -do-counter-promotion=1 -skip-ret-exit-block=1 | FileCheck %s --check-prefixes=CHECK,SKIP
; RUN: opt < %s -instrprof -S -o - -do-counter-promotion=1 -skip-ret-exit-block=0 | FileCheck %s --check-prefixes=CHECK,NOTSKIP
$__llvm_profile_raw_version = comdat any
@bar = dso_local local_unnamed_addr global i32 0, align 4
@__llvm_profile_raw_version = constant i64 72057594037927941, comdat
@__profn_foo = private constant [3 x i8] c"foo"
define dso_local void @foo(i32 %n) {
entry:
call void @llvm.instrprof.increment(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @__profn_foo, i32 0, i32 0), i64 29212902728, i32 2, i32 1)
br label %for.cond
for.cond:
%i.0 = phi i32 [ 0, %entry ], [ %inc, %if.end ]
%cmp = icmp slt i32 %i.0, %n
%0 = load i32, i32* @bar, align 4
%tobool.not = icmp eq i32 %0, 0
%or.cond = and i1 %cmp, %tobool.not
br i1 %or.cond, label %if.end, label %cleanup
if.end:
call void @llvm.instrprof.increment(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @__profn_foo, i32 0, i32 0), i64 29212902728, i32 2, i32 0)
call void (...) @bar2()
%inc = add nuw nsw i32 %i.0, 1
br label %for.cond
cleanup:
; CHECK: cleanup:
; SKIP-NOT: %pgocount.promoted
; NOTSKIP: %pgocount.promoted
ret void
}
declare dso_local void @bar2(...)
declare void @llvm.instrprof.increment(i8*, i64, i32, i32)