OLD | NEW |
1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
2 | 2 |
3 @var = internal global [4 x i8] c"xxxx" | 3 @var = internal global [4 x i8] c"xxxx" |
4 | 4 |
5 | 5 |
6 ; CHECK-NOT: disallowed | 6 ; CHECK-NOT: disallowed |
7 | 7 |
8 define internal void @bad_cases() { | 8 define internal void @bad_cases() { |
9 ; ConstantExprs should be rejected here. | 9 ; ConstantExprs should be rejected here. |
10 switch i32 ptrtoint ([4 x i8]* @var to i32), label %next [i32 0, label %next] | 10 switch i32 ptrtoint ([4 x i8]* @var to i32), label %next [i32 0, label %next] |
11 ; CHECK: disallowed: bad switch condition | 11 ; CHECK: disallowed: bad switch condition |
(...skipping 10 matching lines...) Expand all Loading... |
22 | 22 |
23 ; Note that the reader only allows ConstantInts in the label list. | 23 ; Note that the reader only allows ConstantInts in the label list. |
24 ; We don't need to check the following, because the reader rejects | 24 ; We don't need to check the following, because the reader rejects |
25 ; it: | 25 ; it: |
26 ; switch i32 0, label %next [i32 ptrtoint (i32* @ptr to i32), label %next] | 26 ; switch i32 0, label %next [i32 ptrtoint (i32* @ptr to i32), label %next] |
27 | 27 |
28 ret void | 28 ret void |
29 } | 29 } |
30 | 30 |
31 ; CHECK-NOT: disallowed | 31 ; CHECK-NOT: disallowed |
OLD | NEW |