80 lines
3.8 KiB
LLVM
80 lines
3.8 KiB
LLVM
; Test that instrumentation counter promotion for loops does not fail during
|
|
; compilation for loops that exit to a catchswitch block. In this case, counters
|
|
; do not get promoted out of the loop body.
|
|
|
|
; RUN: opt < %s -pgo-instr-gen -instrprof -pgo-instrument-entry=false -do-counter-promotion=true -S | FileCheck %s --check-prefixes=CHECK,NOTENTRY
|
|
; RUN: opt < %s -passes=pgo-instr-gen,instrprof -pgo-instrument-entry=false -do-counter-promotion=true -S | FileCheck %s --check-prefixes=CHECK,NOTENTRY
|
|
; RUN: opt < %s -pgo-instr-gen -instrprof -pgo-instrument-entry=true -do-counter-promotion=true -S | FileCheck %s --check-prefixes=CHECK,ENTRY
|
|
; RUN: opt < %s -passes=pgo-instr-gen,instrprof -pgo-instrument-entry=true -do-counter-promotion=true -S | FileCheck %s --check-prefixes=CHECK,ENTRY
|
|
|
|
; Source used to create test:
|
|
;
|
|
; extern void may_throw(int);
|
|
; char buffer[200];
|
|
; void run(int count) {
|
|
; try {
|
|
; for (int i = 0; i < count; ++i) {
|
|
; if (buffer[i] == 0)
|
|
; break;
|
|
; may_throw(i);
|
|
; }
|
|
; }
|
|
; catch (...) {
|
|
; throw;
|
|
; }
|
|
;}
|
|
|
|
%eh.ThrowInfo = type { i32, i32, i32, i32 }
|
|
|
|
@"?buffer@@3PADA" = dso_local local_unnamed_addr global [200 x i8] zeroinitializer, align 16
|
|
define dso_local void @"?run@@YAXH@Z"(i32 %count) local_unnamed_addr personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
|
|
entry:
|
|
br label %for.cond
|
|
|
|
for.cond: ; preds = %for.inc, %entry
|
|
%i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
|
|
%cmp = icmp slt i32 %i.0, %count
|
|
br i1 %cmp, label %for.body, label %cleanup
|
|
|
|
for.body: ; preds = %for.cond
|
|
; CHECK: for.body:
|
|
; NOTENTRY: %pgocount1 = load i64, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 0)
|
|
; TENTRY: %pgocount1 = load i64, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 1)
|
|
; CHECK: %1 = add i64 %pgocount1, 1
|
|
; NOTENTRY: store i64 %1, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 0)
|
|
; ENTRY: store i64 %1, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 1)
|
|
%idxprom = zext i32 %i.0 to i64
|
|
%arrayidx = getelementptr inbounds [200 x i8], [200 x i8]* @"?buffer@@3PADA", i64 0, i64 %idxprom
|
|
%0 = load i8, i8* %arrayidx, align 1
|
|
%cmp1 = icmp eq i8 %0, 0
|
|
br i1 %cmp1, label %cleanup, label %if.end
|
|
|
|
if.end: ; preds = %for.body
|
|
invoke void @"?may_throw@@YAXH@Z"(i32 %i.0)
|
|
to label %for.inc unwind label %catch.dispatch
|
|
|
|
for.inc: ; preds = %if.end
|
|
; CHECK: for.inc:
|
|
; NOTENTRY: %pgocount2 = load i64, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 1)
|
|
; ENTRY: %pgocount2 = load i64, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 2)
|
|
; CHECK: %3 = add i64 %pgocount2, 1
|
|
; NOTENTRY: store i64 %3, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 1)
|
|
; ENTRY: store i64 %3, i64* getelementptr inbounds ([3 x i64], [3 x i64]* @"__profc_?run@@YAXH@Z", i64 0, i64 2)
|
|
%inc = add nuw nsw i32 %i.0, 1
|
|
br label %for.cond
|
|
|
|
cleanup: ; preds = %for.body, %for.cond
|
|
ret void
|
|
|
|
catch.dispatch: ; preds = %if.end
|
|
%1 = catchswitch within none [label %catch] unwind to caller
|
|
|
|
catch: ; preds = %catch.dispatch
|
|
%2 = catchpad within %1 [i8* null, i32 64, i8* null]
|
|
call void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #2 [ "funclet"(token %2) ]
|
|
unreachable
|
|
}
|
|
declare dso_local void @"?may_throw@@YAXH@Z"(i32)
|
|
declare dso_local void @_CxxThrowException(i8*, %eh.ThrowInfo*)
|
|
declare dso_local i32 @__CxxFrameHandler3(...)
|