Commits on Jun 8, 2024

1. Work around LLVM's reltable lookup optimization …

   Clang 14.0.0+ introduce a relative lookup table optimization that produces code
   that subtracts two pointers from different allocation regions, which is
   something that `crucible-llvm` is ill equipped to reason about. For lack of a
   viable alternative, we work around this issue by "undoing" this optimization
   before translating the code to Crucible. For the full details, see the new
   `Note [Undoing LLVM's relative table lookup conversion pass]` in
   `Lang.Crucible.LLVM.Globals`.
   
   Fixes #1174.

   

   RyanGlScott committed Jun 8, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 6f70319
   • Browse repository at this point

   Copy the full SHA

   6f70319 View commit details

   Browse the repository at this point in the history