; RUN: llc -O2 -mtriple=thumbv7m-eabi < %s | FileCheck %s | |
; RUN: llc -O2 -mtriple=thumbv8m.main-eabi < %s | FileCheck %s | |
define dso_local i32 @test_for_tbb_tbh_cases(i32 noundef %x) local_unnamed_addr #0 { | |
entry: | |
switch i32 %x, label %sw.default [ | |
i32 0, label %sw.bb | |
i32 1, label %return | |
i32 2, label %sw.bb2 | |
i32 3, label %sw.bb3 | |
] | |
sw.bb: ; preds = %entry | |
%call = tail call i32 @g(i32 noundef 0) #2 | |
%add = add nsw i32 %call, 1 | |
br label %return | |
sw.bb2: ; preds = %entry | |
br label %return | |
sw.bb3: ; preds = %entry | |
br label %return | |
sw.default: ; preds = %entry | |
br label %return | |
return: ; preds = %entry, %sw.default, %sw.bb3, %sw.bb2, %sw.bb | |
%retval.0 = phi i32 [ 5, %sw.default ], [ 4, %sw.bb3 ], [ 3, %sw.bb2 ], [ %add, %sw.bb ], [ 2, %entry ] | |
ret i32 %retval.0 | |
; CHECK: tbb [pc, r1] | |
; CHECK-LABEL: .LBB0_3: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB0_4: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB0_5: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB0_6: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB0_7: | |
; CHECK-NOT: bti | |
} | |
declare dso_local i32 @g(i32 noundef) local_unnamed_addr #1 | |
define dso_local i32 @test_for_direct_jump_cases(i32 noundef %x) local_unnamed_addr #0 { | |
entry: | |
switch i32 %x, label %sw.default [ | |
i32 0, label %sw.bb | |
i32 2, label %cleanup | |
i32 8, label %sw.bb2 | |
i32 5, label %sw.bb3 | |
] | |
sw.bb: ; preds = %entry | |
tail call void asm sideeffect ".space 140000", ""() | |
br label %cleanup | |
sw.bb2: ; preds = %entry | |
br label %cleanup | |
sw.bb3: ; preds = %entry | |
br label %cleanup | |
sw.default: ; preds = %entry | |
br label %cleanup | |
cleanup: ; preds = %entry, %sw.default, %sw.bb3, %sw.bb2, %sw.bb | |
%retval.0 = phi i32 [ 5, %sw.default ], [ 4, %sw.bb3 ], [ 3, %sw.bb2 ], [ 1, %sw.bb ], [ %x, %entry ] | |
ret i32 %retval.0 | |
; CHECK: mov pc, r1 | |
; CHECK-LABEL: .LBB1_3: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB1_4: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB1_5: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB1_6: | |
; CHECK-NOT: bti | |
; CHECK-LABEL: .LBB1_7: | |
; CHECK-NOT: bti | |
} |