Commits on May 24, 2024

1. crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg… …

   ….assign
   
   This adds `llvm.experimental.noalias.scope.decl` and `llvm.dbg.assign` to the
   list of LLVM intrinsics that `crucible-llvm` skips over during simulation.
   Doing so unlocks more support for recent LLVM versions.
   
   It is conceivable that we may want to reason about these intrinsics at a deeper level some
   day. If so, see:
   
   * #1196 (comment) for
     how this would be done for `llvm.experimental.noalias.scope.decl`
   * #1204 (comment) for how
     this would be done for `llvm.dbg.assign`
   
   Fixes #1196. Fixes #1204.

   

   RyanGlScott committed May 24, 2024
   Configuration menu

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

   Copy the full SHA

   f057cfd View commit details

   Browse the repository at this point in the history