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 |