llvm/test/MC/ARM/remove-redundant-bti.ll

   1 ; RUN: llc -O2 -mtriple=thumbv7m-eabi < %s | FileCheck %s
   2 ; RUN: llc -O2 -mtriple=thumbv8m.main-eabi < %s | FileCheck %s
   3
   4 define dso_local i32 @test_for_tbb_tbh_cases(i32 noundef %x) local_unnamed_addr #0 {
   5 entry:
   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
  13 sw.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
  18 sw.bb2:                                           ; preds = %entry
  19   br label %return
  20
  21 sw.bb3:                                           ; preds = %entry
  22   br label %return
  23
  24 sw.default:                                       ; preds = %entry
  25   br label %return
  26
  27 return:                                           ; 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
  44 declare dso_local i32 @g(i32 noundef) local_unnamed_addr #1
  45
  46 define dso_local i32 @test_for_direct_jump_cases(i32 noundef %x) local_unnamed_addr #0 {
  47 entry:
  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
  55 sw.bb:                                            ; preds = %entry
  56   tail call void asm sideeffect ".space 140000", ""()
  57   br label %cleanup
  58
  59 sw.bb2:                                           ; preds = %entry
  60   br label %cleanup
  61
  62 sw.bb3:                                           ; preds = %entry
  63   br label %cleanup
  64
  65 sw.default:                                       ; preds = %entry
  66   br label %cleanup
  67
  68 cleanup:                                          ; 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 }