[llvm] [AArch64][SVE] Combine UXT[BHW] intrinsics to AND. (PR #137956)
Ricardo Jesus via llvm-commits
llvm-commits at lists.llvm.org
Wed Apr 30 07:49:20 PDT 2025
rj-jesus wrote:
> Option (2) is my preference because once complete we can practically ignore `sve.uxt` from all future transformations.
I agree, although thinking about it a bit more, can we really canonicalise all `sve.uxt` to `sve.and`? More specifically, how do we encode the passthrough of the UXT in the AND? The latter doesn't seem to have a real passthrough, in the sense that inactive elements are taken from one of the operands. Do you see what I mean? Or are you suggesting converting the UXT to a sequence of SEL+AND (i.e. something like `uxt (pg, inactive, op) -> sel (pg, (and pg, op, mask), inactive)`)?
https://github.com/llvm/llvm-project/pull/137956
More information about the llvm-commits
mailing list