| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 | 2 |
| 3 ; Global variable attributes | 3 ; Global variable attributes |
| 4 | 4 |
| 5 ; CHECK: Variable var_with_section has disallowed "section" attribute | 5 ; CHECK: Variable var_with_section has disallowed "section" attribute |
| 6 @var_with_section = internal global [1 x i8] zeroinitializer, section ".some_sec
tion" | 6 @var_with_section = internal global [1 x i8] zeroinitializer, section ".some_sec
tion" |
| 7 | 7 |
| 8 ; PNaCl programs can depend on data alignments in general, so we allow | 8 ; PNaCl programs can depend on data alignments in general, so we allow |
| 9 ; "align" on global variables. | 9 ; "align" on global variables. |
| 10 ; CHECK-NOT: var_with_alignment | 10 ; CHECK-NOT: var_with_alignment |
| 11 @var_with_alignment = internal global [4 x i8] zeroinitializer, align 8 | 11 @var_with_alignment = internal global [4 x i8] zeroinitializer, align 8 |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 53 ret void | 53 ret void |
| 54 } | 54 } |
| 55 | 55 |
| 56 ; CHECK-NEXT: Function func_with_unnamed_addr has disallowed "unnamed_addr" attr
ibute | 56 ; CHECK-NEXT: Function func_with_unnamed_addr has disallowed "unnamed_addr" attr
ibute |
| 57 define internal void @func_with_unnamed_addr() unnamed_addr { | 57 define internal void @func_with_unnamed_addr() unnamed_addr { |
| 58 ret void | 58 ret void |
| 59 } | 59 } |
| 60 | 60 |
| 61 ; CHECK-NOT: disallowed | 61 ; CHECK-NOT: disallowed |
| 62 ; If another check is added, there should be a check-not in between each check | 62 ; If another check is added, there should be a check-not in between each check |
| OLD | NEW |