Hans Wennborg | 0867b15 | 2015-04-23 16:45:24 +0000 | [diff] [blame] | 1 | ;; RUN: llc -verify-machineinstrs \ |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 2 | ;; RUN: -mtriple=armv7-linux-gnueabi -filetype=obj %s -o - | \ |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 3 | ;; RUN: llvm-readobj -t | FileCheck -check-prefix=ARM %s |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 4 | |
Hans Wennborg | 0867b15 | 2015-04-23 16:45:24 +0000 | [diff] [blame] | 5 | ;; RUN: llc -verify-machineinstrs \ |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 6 | ;; RUN: -mtriple=thumbv7-linux-gnueabi -filetype=obj %s -o - | \ |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 7 | ;; RUN: llvm-readobj -t | FileCheck -check-prefix=TMB %s |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 8 | |
| 9 | ;; Ensure that if a jump table is generated that it has Mapping Symbols |
| 10 | ;; marking the data-in-code region. |
| 11 | |
James Molloy | 88cad7e | 2016-09-01 12:58:13 +0000 | [diff] [blame] | 12 | define void @foo(i32* %ptr, i32 %b) nounwind ssp { |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 13 | %tmp = load i32, i32* %ptr, align 4 |
Hans Wennborg | 0867b15 | 2015-04-23 16:45:24 +0000 | [diff] [blame] | 14 | switch i32 %tmp, label %exit [ |
| 15 | i32 0, label %bb0 |
| 16 | i32 1, label %bb1 |
| 17 | i32 2, label %bb2 |
| 18 | i32 3, label %bb3 |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 19 | ] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 20 | bb0: |
James Molloy | 88cad7e | 2016-09-01 12:58:13 +0000 | [diff] [blame] | 21 | store i32 %b, i32* %ptr, align 4 |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 22 | br label %exit |
| 23 | bb1: |
Hans Wennborg | 0867b15 | 2015-04-23 16:45:24 +0000 | [diff] [blame] | 24 | store i32 1, i32* %ptr, align 4 |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 25 | br label %exit |
| 26 | bb2: |
Hans Wennborg | 0867b15 | 2015-04-23 16:45:24 +0000 | [diff] [blame] | 27 | store i32 2, i32* %ptr, align 4 |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 28 | br label %exit |
| 29 | bb3: |
Sanjay Patel | 94c0eb0 | 2017-10-17 16:54:56 +0000 | [diff] [blame] | 30 | store i32 4, i32* %ptr, align 4 |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 31 | br label %exit |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 32 | exit: |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 33 | ret void |
| 34 | } |
| 35 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 36 | ;; ARM: Symbol { |
| 37 | ;; ARM: Name: $a |
| 38 | ;; ARM-NEXT: Value: 0x0 |
| 39 | ;; ARM-NEXT: Size: 0 |
| 40 | ;; ARM-NEXT: Binding: Local |
| 41 | ;; ARM-NEXT: Type: None |
| 42 | ;; ARM-NEXT: Other: |
| 43 | ;; ARM-NEXT: Section: [[MIXED_SECT:[^ ]+]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 44 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 45 | ;; ARM: Symbol { |
| 46 | ;; ARM: Name: $a |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 47 | ;; ARM-NEXT: Value: 0x{{[0-9A-F]+}} |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 48 | ;; ARM-NEXT: Size: 0 |
| 49 | ;; ARM-NEXT: Binding: Local |
| 50 | ;; ARM-NEXT: Type: None |
| 51 | ;; ARM-NEXT: Other: |
| 52 | ;; ARM-NEXT: Section: [[MIXED_SECT]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 53 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 54 | ;; ARM: Symbol { |
| 55 | ;; ARM: Name: $d |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 56 | ;; ARM-NEXT: Value: 0x{{[0-9A-F]+}} |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 57 | ;; ARM-NEXT: Size: 0 |
| 58 | ;; ARM-NEXT: Binding: Local |
| 59 | ;; ARM-NEXT: Type: None |
| 60 | ;; ARM-NEXT: Other: |
| 61 | ;; ARM-NEXT: Section: [[MIXED_SECT]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 62 | |
| 63 | ;; ARM-NOT: ${{[atd]}} |
| 64 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 65 | ;; TMB: Symbol { |
Artyom Skrobov | e9b3fb8 | 2015-12-07 14:22:39 +0000 | [diff] [blame] | 66 | ;; TMB: Name: $d.1 |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 67 | ;; TMB-NEXT: Value: 0x{{[0-9A-F]+}} |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 68 | ;; TMB-NEXT: Size: 0 |
| 69 | ;; TMB-NEXT: Binding: Local |
| 70 | ;; TMB-NEXT: Type: None |
| 71 | ;; TMB-NEXT: Other: |
| 72 | ;; TMB-NEXT: Section: [[MIXED_SECT:[^ ]+]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 73 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 74 | ;; TMB: Symbol { |
| 75 | ;; TMB: Name: $t |
| 76 | ;; TMB-NEXT: Value: 0x0 |
| 77 | ;; TMB-NEXT: Size: 0 |
| 78 | ;; TMB-NEXT: Binding: Local |
| 79 | ;; TMB-NEXT: Type: None |
| 80 | ;; TMB-NEXT: Other: |
| 81 | ;; TMB-NEXT: Section: [[MIXED_SECT]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 82 | |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 83 | ;; TMB: Symbol { |
| 84 | ;; TMB: Name: $t |
Derek Schuff | bd7c6e5 | 2013-05-14 16:26:38 +0000 | [diff] [blame] | 85 | ;; TMB-NEXT: Value: 0x{{[0-9A-F]+}} |
Nico Rieck | ba848e3 | 2013-04-12 04:06:46 +0000 | [diff] [blame] | 86 | ;; TMB-NEXT: Size: 0 |
| 87 | ;; TMB-NEXT: Binding: Local |
| 88 | ;; TMB-NEXT: Type: None |
| 89 | ;; TMB-NEXT: Other: |
| 90 | ;; TMB-NEXT: Section: [[MIXED_SECT]] |
Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 91 | |
| 92 | |
| 93 | ;; TMB-NOT: ${{[atd]}} |
| 94 | |