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

[Andy Kaylor via Phabricator via llvm-commits]

andrew.w.kaylor added inline comments.


================
Comment at: llvm/docs/LangRef.rst:15081
+is a signed integer value.  The explicit vector length (%evl) is only effective
+if it is non-negative, and when that is the case, its value is in the range:
+
----------------
Nothing in this description makes it clear that the value should be negative for targets that don't support the explicit vector length argument.

What should happen if this value isn't negative for a target that doesn't support it?


================
Comment at: llvm/docs/LangRef.rst:15085
+
+      0 <= %evl <= W,   where W is the vector length.
+
----------------
What happens if the value isn't in this range? Based on the comments below it seems that the effective mask created should be as if %evl were equal to W. If it is a non-constant value will the generated code somehow enforce that behavior?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69891