Commits on Sep 20, 2024

1. Vector: Remove now unnecessary uses of undefined …

   Sail 0.18 contains the vector_init primitive, to make initialising
   vectors with defined values easier. We can use this in some places
   where the vector code was creating an uninitalised vector, only to
   then initialize it later.
   
   Second, we can remove some uses of undefined by refactoring slightly
   how init_masked_result is used, which has the added benefit of making
   mask immutable.
   
   Some additional constraints need to be added to use the vector_init
   primitive.
   
   Sail's pattern completeness checker is now smarter than before, so
   some wildcard cases can also be safely removed.

   

   Alasdair committed Sep 20, 2024
   Configuration menu

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

   Copy the full SHA

   f139c0d View commit details

   Browse the repository at this point in the history