Owen Anderson | 3e7e67b | 2015-03-10 05:58:21 +0000 | [diff] [blame^] | 1 | ; RUN: not opt -verify 2>&1 < %s | FileCheck %s |
| 2 | |
| 3 | ; CHECK: gc.statepoint: mismatch in number of call arguments |
| 4 | |
| 5 | declare zeroext i1 @return0i1() |
| 6 | |
| 7 | ; Function Attrs: nounwind |
| 8 | declare i32 @llvm.experimental.gc.statepoint.p0f0i1f(i1 ()*, i32, i32, ...) #0 |
| 9 | |
| 10 | ; Function Attrs: nounwind |
| 11 | declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32) #0 |
| 12 | |
| 13 | define i32 addrspace(1)* @0(i32 addrspace(1)* %dparam) { |
| 14 | %a00 = load i32, i32 addrspace(1)* %dparam |
| 15 | %to0 = call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f0i1f(i1 ()* @return0i1, i32 9, i32 0, i2 0, i32 addrspace(1)* %dparam) |
| 16 | %relocate = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %to0, i32 0, i32 4) |
| 17 | ret i32 addrspace(1)* %relocate |
| 18 | } |
| 19 | |
| 20 | attributes #0 = { nounwind } |