[PATCH] D51392: [IR] add shuffle queries for identity extend/extract

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: include/llvm/IR/Instructions.h:2508-2514
+  /// Return true if this shuffle extends exactly one source vector with undefs
+  /// in the high elements.
+  bool isIdentityWithExtend() const;
+
+  /// Return true if this shuffle extracts the first N elements of exactly one
+  /// source vector.
+  bool isIdentityWithExtract() const;
----------------
lebedev.ri wrote:
> `isIdentityWithExtend()` sounds very much like [[ https://llvm.org/docs/LangRef.html#zext-to-instruction | `zext` ]]-but-with-undef.
> So maybe `isIdentityWithExtract()` can follow suit and be named `isIdentityWithTruncate()`?
Hmm...that actually makes me less positive about 'extend' because we don't want to confuse these with the per-element zext/sext/trunc ops. 

How about 'widen' and 'narrow'? That's actually how I've referred to these ops in a draft patch that would use them.


https://reviews.llvm.org/D51392