[PATCH] D110299: Add subrange debugging for languages that support native subrange types

[peter mckinna via Phabricator via llvm-commits]

demoitem created this revision.
demoitem added a reviewer: aprantl.
Herald added a reviewer: deadalnix.
Herald added subscribers: dexonsmith, hiraditya.
demoitem requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This patch allows languages that support native subranges in their definition
(eg Pascal, Ada, Modula3 ...) to get debugging support for declarations of that type.
In these examples a variable can be declared as a subrange of the full integer
range or a subrange of an enumeration. Apart from runtime checks on these
declarations a suitable debugger could warn of violations of the range.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D110299

Files:
  llvm/include/llvm-c/DebugInfo.h
  llvm/include/llvm/Bitcode/LLVMBitCodes.h
  llvm/include/llvm/IR/DIBuilder.h
  llvm/include/llvm/IR/DebugInfoMetadata.h
  llvm/include/llvm/IR/Metadata.def
  llvm/lib/AsmParser/LLParser.cpp
  llvm/lib/Bitcode/Reader/MetadataLoader.cpp
  llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
  llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
  llvm/lib/CodeGen/AsmPrinter/DwarfUnit.h
  llvm/lib/IR/AsmWriter.cpp
  llvm/lib/IR/DIBuilder.cpp
  llvm/lib/IR/DebugInfoMetadata.cpp
  llvm/lib/IR/LLVMContextImpl.h
  llvm/lib/IR/Verifier.cpp
  llvm/test/DebugInfo/X86/subrange.ll
  llvm/test/Verifier/subrange.ll
  llvm/unittests/IR/DebugInfoTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D110299.374402.patch
Type: text/x-patch
Size: 62616 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210923/9a3a43c1/attachment.bin>