Commits on Dec 3, 2021

1. Support structs with bitfields in Text.LLVM.DebugUtils …

   LLVM bitcode doesn't directly record information about bitfields, but its debug
   information _does_ record this information. Knowing about bitfields is
   important for certain applications—see, for example, GaloisInc/saw-script#1461.
   This changes `Text.LLVM.DebugUtils` such that if any of the fields in a struct
   have bitfields, it will record this information in the new `BitfieldInfo`
   data type.
   
   This requires a backwards-incompatible change to the type of the `Structure`
   data constructor. In case we need to add additional fields to `Structure` in
   the future, I converted `Structure`'s fields into a record data type, which
   makes it slightly easier to extend. I also did the same thing to `Union` for
   consistency (although this is not strictly necessary).

   

   RyanGlScott committed Dec 3, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for 5d27a64
   • Browse repository at this point

   Copy the full SHA

   5d27a64 View commit details

   Browse the repository at this point in the history