93 lines · plain
1; RUN: llc -mtriple=i686-pc-gnu-linux < %s | FileCheck %s2; RUN: llc -mtriple=i686-pc-gnu-linux -print-after=finalize-isel %s -o /dev/null 2>&1 | FileCheck %s -check-prefix=CHECK-JT-PROB3 4 5; An unreachable default destination is ignored and no compare and branch6; is generated for the default values.7 8define void @foo(i32 %x, ptr %to) {9; CHECK-LABEL: foo:10; CHECK: movl 4(%esp), [[REG:%e[a-z]{2}]]11; CHECK-NEXT: jmpl *.LJTI0_0(,[[REG]],4)12; CHECK: movl $413; CHECK: retl14 15entry:16 switch i32 %x, label %default [17 i32 0, label %bb018 i32 1, label %bb119 i32 2, label %bb220 i32 3, label %bb321 i32 4, label %bb422 i32 5, label %bb423 ]24bb0:25 store i32 0, ptr %to26 br label %exit27bb1:28 store i32 1, ptr %to29 br label %exit30bb2:31 store i32 2, ptr %to32 br label %exit33bb3:34 store i32 3, ptr %to35 br label %exit36bb4:37 store i32 4, ptr %to38 br label %exit39exit:40 ret void41default:42 unreachable43 44; The jump table has four entries.45; CHECK-LABEL: .LJTI0_0:46; CHECK-NEXT: .long .LBB0_147; CHECK-NEXT: .long .LBB0_248; CHECK-NEXT: .long .LBB0_349; CHECK-NEXT: .long .LBB0_450; CHECK-NEXT: .long .LBB0_551; CHECK-NEXT: .long .LBB0_552}53 54; Check if branch probabilities are correctly assigned to the jump table.55 56define void @bar(i32 %x, ptr %to) {57; CHECK-JT-PROB-LABEL: bar:58; CHECK-JT-PROB: successors: %bb.6(0x12492492), %bb.8(0x6db6db6e)59; CHECK-JT-PROB: successors: %bb.1(0x15555555), %bb.2(0x15555555), %bb.3(0x15555555), %bb.4(0x15555555), %bb.5(0x2aaaaaab)60 61entry:62 switch i32 %x, label %default [63 i32 0, label %bb064 i32 1, label %bb165 i32 2, label %bb266 i32 3, label %bb367 i32 4, label %bb468 i32 5, label %bb469 ], !prof !170bb0:71 store i32 0, ptr %to72 br label %exit73bb1:74 store i32 1, ptr %to75 br label %exit76bb2:77 store i32 2, ptr %to78 br label %exit79bb3:80 store i32 3, ptr %to81 br label %exit82bb4:83 store i32 4, ptr %to84 br label %exit85default:86 store i32 5, ptr %to87 br label %exit88exit:89 ret void90}91 92!1 = !{!"branch_weights", i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16}93