https://github.com/jeanPerier commented: Logic looks great to me, please wait for @DavidTruby's feedback who worked on VectorAlways and may have more insight here. Thanks! https://github.com/llvm/llvm-project/pull/123331