blob: dc00a5ef0e6e59071f8e914cca230d38bf907de1 [file] [log] [blame]
; RUN: opt -S -passes=pgo-icall-prom -icp-total-percent-threshold=0 < %s 2>&1 | FileCheck %s
; Test that CallPromotionUtils will promote calls which require pointer cast
; safely, i.e. drop incompatible attributes.
@foo = common global ptr null, align 8
; casting to i64 and pointer attribute at callsite dropped.
define i64 @func2(i64 %a) {
ret i64 undef
}
; no casting needed, attribute at callsite preserved.
define ptr @func4(ptr %a) {
ret ptr undef
}
define ptr @bar(ptr %arg) {
%tmp = load ptr, ptr @foo, align 8
; Make sure callsite attributes are preserved on arguments and retval.
; CHECK: call noalias ptr @func4(ptr nonnull
; Make sure callsite attributes are dropped on arguments and retval.
; CHECK: [[ARG:%[0-9]+]] = ptrtoint ptr %arg to i64
; CHECK-NEXT: call i64 @func2(i64 [[ARG]])
%call = call noalias ptr %tmp(ptr nonnull %arg), !prof !1
ret ptr %call
}
!1 = !{!"VP", i32 0, i64 1440, i64 7651369219802541373, i64 1030, i64 -4377547752858689819, i64 410}