OLD | NEW |
(Empty) | |
| 1 ; RUN: opt %s -verify-pnaclabi-module -pnaclabi-allow-minsfi-syscalls -S \ |
| 2 ; RUN: | FileCheck -check-prefix=CHECK-WITHFLAG %s |
| 3 ; RUN: not opt %s -verify-pnaclabi-module -S 2>&1 \ |
| 4 ; RUN: | FileCheck -check-prefix=CHECK-NOFLAG %s |
| 5 |
| 6 target datalayout = "p:32:32:32" |
| 7 target triple = "le32-unknown-nacl" |
| 8 |
| 9 define i32 @_start(i32 %args) { |
| 10 ret i32 0 |
| 11 } |
| 12 |
| 13 declare i32 @__minsfi_syscall_dummy(i32) |
| 14 |
| 15 ; CHECK-NOFLAG: __minsfi_syscall_dummy is declared but not defined |
| 16 ; CHECK-NOFLAG: __minsfi_syscall_dummy is not a valid external symbol |
| 17 |
| 18 ; CHECK-WITHFLAG: declare i32 @__minsfi_syscall_dummy(i32) |
OLD | NEW |