1; RUN: llc -O2 -mtriple=thumbv7m-eabi < %s | FileCheck %s 2; RUN: llc -O2 -mtriple=thumbv8m.main-eabi < %s | FileCheck %s 3 4define dso_local i32 @test_for_tbb_tbh_cases(i32 noundef %x) local_unnamed_addr #0 { 5entry: 6 switch i32 %x, label %sw.default [ 7 i32 0, label %sw.bb 8 i32 1, label %return 9 i32 2, label %sw.bb2 10 i32 3, label %sw.bb3 11 ] 12 13sw.bb: ; preds = %entry 14 %call = tail call i32 @g(i32 noundef 0) #2 15 %add = add nsw i32 %call, 1 16 br label %return 17 18sw.bb2: ; preds = %entry 19 br label %return 20 21sw.bb3: ; preds = %entry 22 br label %return 23 24sw.default: ; preds = %entry 25 br label %return 26 27return: ; preds = %entry, %sw.default, %sw.bb3, %sw.bb2, %sw.bb 28 %retval.0 = phi i32 [ 5, %sw.default ], [ 4, %sw.bb3 ], [ 3, %sw.bb2 ], [ %add, %sw.bb ], [ 2, %entry ] 29 ret i32 %retval.0 30 31; CHECK: tbb [pc, r1] 32; CHECK-LABEL: .LBB0_3: 33; CHECK-NOT: bti 34; CHECK-LABEL: .LBB0_4: 35; CHECK-NOT: bti 36; CHECK-LABEL: .LBB0_5: 37; CHECK-NOT: bti 38; CHECK-LABEL: .LBB0_6: 39; CHECK-NOT: bti 40; CHECK-LABEL: .LBB0_7: 41; CHECK-NOT: bti 42} 43 44declare dso_local i32 @g(i32 noundef) local_unnamed_addr #1 45 46define dso_local i32 @test_for_direct_jump_cases(i32 noundef %x) local_unnamed_addr #0 { 47entry: 48 switch i32 %x, label %sw.default [ 49 i32 0, label %sw.bb 50 i32 2, label %cleanup 51 i32 8, label %sw.bb2 52 i32 5, label %sw.bb3 53 ] 54 55sw.bb: ; preds = %entry 56 tail call void asm sideeffect ".space 140000", ""() 57 br label %cleanup 58 59sw.bb2: ; preds = %entry 60 br label %cleanup 61 62sw.bb3: ; preds = %entry 63 br label %cleanup 64 65sw.default: ; preds = %entry 66 br label %cleanup 67 68cleanup: ; preds = %entry, %sw.default, %sw.bb3, %sw.bb2, %sw.bb 69 %retval.0 = phi i32 [ 5, %sw.default ], [ 4, %sw.bb3 ], [ 3, %sw.bb2 ], [ 1, %sw.bb ], [ %x, %entry ] 70 ret i32 %retval.0 71 72; CHECK: mov pc, r1 73; CHECK-LABEL: .LBB1_3: 74; CHECK-NOT: bti 75; CHECK-LABEL: .LBB1_4: 76; CHECK-NOT: bti 77; CHECK-LABEL: .LBB1_5: 78; CHECK-NOT: bti 79; CHECK-LABEL: .LBB1_6: 80; CHECK-NOT: bti 81; CHECK-LABEL: .LBB1_7: 82; CHECK-NOT: bti 83} 84