blob: d3403987066227ce3bd927f94b8be8e9f4139335 [file] [log] [blame]
; Test to ensure that the inlining cost model isn't tripped up by dead constant users.
; In this case, the call to g via a bitcasted function pointer is canonicalized to
; a direct call to g with bitcasted arguments, leaving the original bitcast
; as a dead use of g.
; RUN: opt < %s -instcombine -inline -pass-remarks=inline -S 2>&1 \
; RUN: | FileCheck %s
; Inline costs of f and g should be the same.
; CHECK: 'f' inlined into 'h' with (cost=[[EXPECTED_COST:.+]], threshold={{.+}})
; CHECK: 'g' inlined into 'h' with (cost=[[EXPECTED_COST]], threshold={{.+}})
%0 = type { i64, i64, i64 }
%1 = type { i64, i64, i64 }
define internal void @f(%0* align 8 %a) unnamed_addr {
start:
ret void
}
define internal void @g(%0* align 8 %a) unnamed_addr {
start:
ret void
}
define void @h(%0* align 8 %a, %1* align 8 %b) unnamed_addr {
start:
call void @f(%0* align 8 %a)
call void bitcast (void (%0*)* @g to void (%1*)*)(%1* align 8 %b)
ret void
}