| Tim Northover | a603c40 | 2015-05-31 19:22:07 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=thumbv7s-apple-ios8.0 -o - %s | FileCheck %s |
| 2 | |
| 3 | declare void @foo(double) |
| 4 | declare i32 @llvm.arm.space(i32, i32) |
| 5 | |
| 6 | ; The constpool entry used to call @foo should be directly between where we want |
| 7 | ; the tbb and its table. Fortunately, the flow is simple enough that we can |
| 8 | ; eliminate the entry calculation (ADD) and use the ADR as the base. |
| 9 | ; |
| 10 | ; I'm hoping this won't be fragile, but if it does break the most likely fix is |
| 11 | ; adjusting the @llvm.arm.space call slightly. If this happens too many times |
| 12 | ; the test should probably be removed. |
| 13 | define i32 @test_jumptable_not_adjacent(i1 %tst, i32 %sw, i32 %l) { |
| 14 | ; CHECK-LABEL: test_jumptable_not_adjacent: |
| 15 | ; CHECK: vldr {{d[0-9]+}}, [[DBL_CONST:LCPI[0-9]+_[0-9]+]] |
| 16 | ; [...] |
| 17 | ; CHECK: adr.w r[[BASE:[0-9]+]], [[JUMP_TABLE:LJTI[0-9]+_[0-9]+]] |
| 18 | ; CHECK-NOT: r[[BASE]] |
| 19 | |
| 20 | ; CHECK: [[TBB_KEY:LCPI[0-9]+_[0-9]+]]: |
| 21 | ; CHECK-NEXT: tbb [r[[BASE]], {{r[0-9]+}}] |
| 22 | |
| 23 | ; CHECK: [[DBL_CONST]]: |
| 24 | ; CHECK: .long |
| 25 | ; CHECK: .long |
| 26 | ; CHECK: [[JUMP_TABLE]]: |
| 27 | ; CHECK: .byte (LBB{{[0-9]+}}_{{[0-9]+}}-([[TBB_KEY]]+4) |
| 28 | |
| 29 | br label %complex |
| 30 | |
| 31 | complex: |
| 32 | call void @foo(double 12345.0) |
| 33 | call i32 @llvm.arm.space(i32 970, i32 undef) |
| 34 | switch i32 %sw, label %second [ i32 0, label %other |
| 35 | i32 1, label %third |
| 36 | i32 2, label %end |
| 37 | i32 3, label %other ] |
| 38 | |
| 39 | second: |
| 40 | ret i32 43 |
| 41 | third: |
| 42 | ret i32 0 |
| 43 | |
| 44 | other: |
| 45 | call void @bar() |
| 46 | unreachable |
| 47 | |
| 48 | end: |
| 49 | ret i32 42 |
| 50 | } |
| 51 | |
| 52 | declare void @bar() |