[PATCH] D149367: Emit the CodeView `S_ARMSWITCHTABLE` debug symbol for jump tables

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks added a comment.

this is causing crashes:

  $ cat /tmp/a.ll
  target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  target triple = "x86_64-pc-windows-msvc19.34.0"
  
  define i32 @f() !dbg !5 {
  entry:
    indirectbr ptr null, [label %BC_SUCCEED]
  
  BC_SUCCEED:                                       ; preds = %entry
    %0 = lshr i64 0, 0
    switch i64 %0, label %sw.default.i.i2445 [
      i64 3, label %sw.bb15.i.i
      i64 1, label %sw.bb7.i.i
      i64 2, label %sw.bb11.i.i2444
      i64 0, label %sw.bb3.i.i
    ]
  
  sw.bb3.i.i:                                       ; preds = %BC_SUCCEED
    ret i32 0
  
  sw.bb7.i.i:                                       ; preds = %BC_SUCCEED
    ret i32 0
  
  sw.bb11.i.i2444:                                  ; preds = %BC_SUCCEED
    ret i32 0
  
  sw.bb15.i.i:                                      ; preds = %BC_SUCCEED
    ret i32 0
  
  sw.default.i.i2445:                               ; preds = %BC_SUCCEED
    ret i32 0
  }
  
  !llvm.dbg.cu = !{!0}
  !llvm.module.flags = !{!3, !4}
  
  !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)
  !1 = !DIFile(filename: "../../v8/src/regexp\\regexp-interpreter.cc", directory: ".", checksumkind: CSK_MD5, checksum: "ddba353f72137fb1d64b5fc8ee071a9c")
  !2 = !{}
  !3 = !{i32 2, !"CodeView", i32 1}
  !4 = !{i32 2, !"Debug Info Version", i32 3}
  !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)
  !6 = !DIFile(filename: "../../v8/src/regexp/regexp-interpreter.cc", directory: ".", checksumkind: CSK_MD5, checksum: "ddba353f72137fb1d64b5fc8ee071a9c")
  !7 = !DINamespace(scope: !8)
  !8 = !DINamespace(name: "internal", scope: !9)
  !9 = !DINamespace(name: "v8", scope: null)
  !10 = distinct !DISubroutineType(types: !2)
  $ llc -o /dev/null /tmp/a.ll
  llc: ../../llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp:3495: void forEachJumpTableBranch(const MachineFunction *, bool, const std::function<void (const MachineJumpTableInfo &, const MachineInstr &, int64_t)> &): Assertion `foundJTI' failed.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149367/new/

https://reviews.llvm.org/D149367