| 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 --args \ |
| 7 ; RUN: -allow-externally-defined-symbols | FileCheck %s |
| 7 | 8 |
| 8 declare void @f(i8); | 9 declare void @f(i8); |
| 9 | 10 |
| 10 define void @Test() { | 11 define void @Test() { |
| 11 entry: | 12 entry: |
| 12 call void @f(i8 1) | 13 call void @f(i8 1) |
| 13 ; CHECK: Argument 1 of f has invalid type: i8 | 14 ; CHECK: Argument 1 of f has invalid type: i8 |
| 14 ret void | 15 ret void |
| 15 } | 16 } |
| OLD | NEW |