[clang] [Clang][RISCV] Add assumptions to vsetvli/vsetvlimax (PR #79975)
Wang Pengcheng via cfe-commits
cfe-commits at lists.llvm.org
Sun Feb 18 01:20:01 PST 2024
wangpc-pp wrote:
> Can we implement this in `computeKnownBitsFromOperator/getRangeForIntrinsic`?
>
> https://github.com/llvm/llvm-project/blob/b21e3282864c9f7ad656c64bc375f5869ef76d19/llvm/lib/Analysis/ValueTracking.cpp#L1578-L1584
Thanks! We can implement this partly (will create another PR to do this) as we can't represent some assumptions related to runtime value `avl` like `vl<avl` with `KnownBits` (IIUC).
https://github.com/llvm/llvm-project/pull/79975
More information about the cfe-commits
mailing list