73 lines · plain
1; REQUIRES: x86-registered-target2; RUN: llc < %s | FileCheck %s3 4; Repro for issue https://reviews.llvm.org/D149367#46191215; Validates that `indirect ptr null` and a jump table can be used in the same function.6 7; Verify branch labels match what's in the CodeView8; CHECK: .Ltmp2:9; CHECK-NEXT: jmpq *%{{.*}}10 11; Verify jump table have the same entry size, base offset and shift as what's in the CodeView12; CHECK: {{\.?}}LJTI0_0:13; CHECK-NEXT: .long .LBB0_[[#]]-.LJTI0_014 15; Verify CodeView16; CHECK: .short 4441 # Record kind: S_ARMSWITCHTABLE17; CHECK-NEXT: .secrel32 .LJTI0_0 # Base offset18; CHECK-NEXT: .secidx .LJTI0_0 # Base section index19; CHECK-NEXT: .short 4 # Switch type20; CHECK-NEXT: .secrel32 .Ltmp2 # Branch offset21; CHECK-NEXT: .secrel32 .LJTI0_0 # Table offset22; CHECK-NEXT: .secidx .Ltmp2 # Branch section index23; CHECK-NEXT: .secidx .LJTI0_0 # Table section index24; CHECK-NEXT: .long 4 # Entries count25; CHECK-NOT: .short 4441 # Record kind: S_ARMSWITCHTABLE26 27target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"28target triple = "x86_64-pc-windows-msvc19.34.0"29 30define i32 @f() !dbg !5 {31entry:32 indirectbr ptr null, [label %BC_SUCCEED], !dbg !1133 34BC_SUCCEED: ; preds = %entry35 %0 = lshr i64 0, 036 switch i64 %0, label %sw.default.i.i2445 [37 i64 3, label %sw.bb15.i.i38 i64 1, label %sw.bb7.i.i39 i64 2, label %sw.bb11.i.i244440 i64 0, label %sw.bb3.i.i41 ]42 43sw.bb3.i.i: ; preds = %BC_SUCCEED44 ret i32 045 46sw.bb7.i.i: ; preds = %BC_SUCCEED47 ret i32 048 49sw.bb11.i.i2444: ; preds = %BC_SUCCEED50 ret i32 051 52sw.bb15.i.i: ; preds = %BC_SUCCEED53 ret i32 054 55sw.default.i.i2445: ; preds = %BC_SUCCEED56 ret i32 057}58 59!llvm.dbg.cu = !{!0}60!llvm.module.flags = !{!3, !4}61 62!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !2, globals: !2, imports: !2, splitDebugInlining: false, nameTableKind: None)63!1 = !DIFile(filename: "../../v8/src/regexp\\regexp-interpreter.cc", directory: ".", checksumkind: CSK_MD5, checksum: "ddba353f72137fb1d64b5fc8ee071a9c")64!2 = !{}65!3 = !{i32 2, !"CodeView", i32 1}66!4 = !{i32 2, !"Debug Info Version", i32 3}67!5 = distinct !DISubprogram(name: "f", linkageName: "f", scope: !7, file: !6, line: 386, type: !10, scopeLine: 391, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized, unit: !0, templateParams: !2, retainedNodes: !2)68!6 = !DIFile(filename: "../../v8/src/regexp/regexp-interpreter.cc", directory: ".", checksumkind: CSK_MD5, checksum: "ddba353f72137fb1d64b5fc8ee071a9c")69!7 = !DINamespace(scope: !8)70!8 = !DINamespace(name: "internal", scope: !9)71!9 = !DINamespace(name: "v8", scope: null)72!10 = distinct !DISubroutineType(types: !2)73!11 = !DILocation(line: 1, scope: !5)