| ; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=instructions --test FileCheck --test-arg --check-prefixes=CHECK,INTERESTING --test-arg %s --test-arg --input-file %s -o %t |
| ; RUN: FileCheck -check-prefixes=CHECK,RESULT %s < %t |
| |
| %Foo = type { i32, i32 } |
| |
| declare token @llvm.call.preallocated.setup(i32) |
| declare ptr @llvm.call.preallocated.arg(token, i32) |
| declare void @init(ptr) |
| declare void @foo_p(ptr preallocated(%Foo)) |
| |
| ; CHECK-LABEL: define void @preallocated_with_init() { |
| ; INTERESTING: call void @foo_p |
| |
| ; RESULT: %t = call token @llvm.call.preallocated.setup(i32 1) |
| ; RESULT-NEXT: call void @foo_p(ptr preallocated(%Foo) null) [ "preallocated"(token %t) ] |
| ; RESULT-NEXT: ret void |
| define void @preallocated_with_init() { |
| %t = call token @llvm.call.preallocated.setup(i32 1) |
| %a = call ptr @llvm.call.preallocated.arg(token %t, i32 0) preallocated(%Foo) |
| call void @init(ptr %a) |
| call void @foo_p(ptr preallocated(%Foo) %a) ["preallocated"(token %t)] |
| ret void |
| } |