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 |