[PATCH] D69891: [VP,Integer,#1] Vector-predicated integer intrinsics

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Reading through the LangRef change post commit I was struck by this wording: "The VP intrinsic has undefined behavior if ``%evl > W``."

This is a very strong interpretation and doesn't match what we do for arithmetic.  One consequence of that difference is that hoisting a vp intrinsic out of a loop will not be legal unless we can prove the EVL is in bounds.  You probably want some variant of a poison semantic propagation instead.  Unless of course, real hardware happens to fault on out of bounds EVL in which case the current semantic is what you want.  :)

Otherwise, nice work.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69891/new/

https://reviews.llvm.org/D69891