| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 ; Test instruction opcodes allowed by PNaCl ABI | 2 ; Test instruction opcodes allowed by PNaCl ABI |
| 3 | 3 |
| 4 target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64
:64:64-p:32:32:32-v128:32:32" | 4 target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64
:64:64-p:32:32:32-v128:32:32" |
| 5 target triple = "le32-unknown-nacl" | 5 target triple = "le32-unknown-nacl" |
| 6 | 6 |
| 7 define internal void @terminators() { | 7 define internal void @terminators() { |
| 8 ; Terminator instructions | 8 ; Terminator instructions |
| 9 terminators: | 9 terminators: |
| 10 ret void | 10 ret void |
| 11 br i1 0, label %next2, label %next | 11 br i1 0, label %next2, label %next |
| (...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 171 | 171 |
| 172 define internal void @inline_asm() { | 172 define internal void @inline_asm() { |
| 173 call void asm "foo", ""() | 173 call void asm "foo", ""() |
| 174 ret void | 174 ret void |
| 175 } | 175 } |
| 176 ; CHECK-NOT: disallowed | 176 ; CHECK-NOT: disallowed |
| 177 ; CHECK: disallowed: inline assembly: call void asm "foo", ""() | 177 ; CHECK: disallowed: inline assembly: call void asm "foo", ""() |
| 178 | 178 |
| 179 ; CHECK-NOT: disallowed | 179 ; CHECK-NOT: disallowed |
| 180 ; If another check is added, there should be a check-not in between each check | 180 ; If another check is added, there should be a check-not in between each check |
| OLD | NEW |