OLD | NEW |
1 ; Test that even if a call parameter matches its declaration, it must still | 1 ; Test that even if a call parameter matches its declaration, it must still |
2 ; be a legal call parameter type (unless declaration is intrinsic). | 2 ; be a legal call parameter type (unless declaration is intrinsic). |
3 | 3 |
4 ; REQUIRES: no_minimal_build | 4 ; REQUIRES: no_minimal_build |
5 | 5 |
6 ; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s | 6 ; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s |
7 | 7 |
8 declare void @f(i8); | 8 declare void @f(i8); |
9 | 9 |
10 define void @Test() { | 10 define void @Test() { |
11 entry: | 11 entry: |
12 call void @f(i8 1) | 12 call void @f(i8 1) |
13 ; CHECK: Call argument 1 matches declaration but has invalid type: i8 | 13 ; CHECK: Argument 1 of f has invalid type: i8 |
14 ret void | 14 ret void |
15 } | 15 } |
OLD | NEW |