mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-26 22:27:54 +00:00
f2f6ce65b7
input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
25 lines
776 B
LLVM
25 lines
776 B
LLVM
; This test lures sretpromotion into promoting the sret argument of foo, even
|
|
; when the function is used as an argument to bar. It used to not check for
|
|
; this, assuming that all users of foo were direct calls, resulting in an
|
|
; assertion failure later on.
|
|
|
|
; We're mainly testing for opt not to crash, but we'll check to see if the sret
|
|
; attribute is still there for good measure.
|
|
; RUN: opt < %s -sretpromotion -S | grep sret
|
|
|
|
%struct.S = type <{ i32, i32 }>
|
|
|
|
define i32 @main() {
|
|
entry:
|
|
%tmp = alloca %struct.S ; <%struct.S*> [#uses=1]
|
|
call void @bar( %struct.S* sret %tmp, void (%struct.S*, ...)* @foo )
|
|
ret i32 undef
|
|
}
|
|
|
|
declare void @bar(%struct.S* sret , void (%struct.S*, ...)*)
|
|
|
|
define internal void @foo(%struct.S* sret %agg.result, ...) {
|
|
entry:
|
|
ret void
|
|
}
|