blob: e781163b837631207e611f8d7ec3d9bfc52970da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
; RUN: pnacl-abicheck < %s | FileCheck %s
; Test type-checking in function bodies. This test is not intended to verify
; all the rules about the various types, but instead to make sure that types
; stashed in various places in function bodies are caught.
@a2 = private global i17 zeroinitializer
declare void @func(i15 %arg)
!llvm.foo = !{!0}
!0 = metadata !{ half 0.0}
define void @types() {
; CHECK: Function types has instruction with disallowed type: half
%h1 = fptrunc double undef to half
; CHECK: Function types has instruction operand with disallowed type: half
%h2 = bitcast half 0.0 to i16
; see below...
%h3 = fadd double 0.0, fpext (half 0.0 to double)
; CHECK: Function types has instruction operand with disallowed type: i17*
store i32 0, i32* bitcast (i17* @a2 to i32*), align 4
; CHECK: Function types has instruction operand with disallowed type: i15
call void @func(i15 1)
; CHECK: Function types has instruction metadata containing disallowed type: half
ret void, !foo !0
}
; CHECK-NOT: disallowed
; TODO:
; the bitcode reader seems to expand some operations inline
; (e.g. fpext, sext, uitofp) such that doing something like
; %h3 = fadd double 0.0, fpext (half 0.0 to double)
; means the verifier pass will never see the fpext or its operands
|
