OLD | NEW |
1 ; Show that we check parameter types of a function call against paramter types | 1 ; Show that we check parameter types of a function call against paramter types |
2 ; of called function. | 2 ; of called function. |
3 | 3 |
4 ; REQUIRES: no_minimal_build | 4 ; REQUIRES: no_minimal_build |
5 | 5 |
6 ; RUN: not %pnacl_sz -bitcode-as-text %p/Inputs/call-fcn-bad-param-type.tbc \ | 6 ; RUN: not %pnacl_sz -bitcode-as-text %p/Inputs/call-fcn-bad-param-type.tbc \ |
7 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read \ | 7 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read \ |
8 ; RUN: -allow-externally-defined-symbols 2>&1 \ | 8 ; RUN: -allow-externally-defined-symbols 2>&1 \ |
9 ; RUN: | FileCheck %s | 9 ; RUN: | FileCheck %s |
10 | 10 |
(...skipping 29 matching lines...) Expand all Loading... |
40 ; DIS-NEXT: %c1 = i8 1; | 40 ; DIS-NEXT: %c1 = i8 1; |
41 ; DIS-NEXT: } | 41 ; DIS-NEXT: } |
42 ; DIS-NEXT: %b0: | 42 ; DIS-NEXT: %b0: |
43 ; DIS-NEXT: %v0 = add i8 %c1, %c1; | 43 ; DIS-NEXT: %v0 = add i8 %c1, %c1; |
44 ; DIS-NEXT: call void @f0(i8 %c1); | 44 ; DIS-NEXT: call void @f0(i8 %c1); |
45 ; DIS-NEXT: Error({{.*}}): Parameter 1 mismatch: i8 and i32 | 45 ; DIS-NEXT: Error({{.*}}): Parameter 1 mismatch: i8 and i32 |
46 ; CHECK: Argument 1 of f expects i32. Found: i8 | 46 ; CHECK: Argument 1 of f expects i32. Found: i8 |
47 ; DIS-NEXT: ret void; | 47 ; DIS-NEXT: ret void; |
48 ; DIS-NEXT: } | 48 ; DIS-NEXT: } |
49 ; DIS-NEXT: } | 49 ; DIS-NEXT: } |
50 | |
51 | |
52 | |
53 | |
OLD | NEW |