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() 53
