; Test that a function parameter must be a legal parameter type (unless | |
; declaration is intrinsic). | |
; REQUIRES: no_minimal_build | |
; RUN: %p2i --expect-fail -i %s --insts --args \ | |
; RUN: -allow-externally-defined-symbols | FileCheck %s | |
declare void @f(i8); | |
; CHECK: Invalid type signature for f: void (i8) | |
define void @Test() { | |
entry: | |
call void @f(i8 1) | |
ret void | |
} |