[PATCH] D104245: [GlobalISel] Describe undefined values for G_SBFX/G_UBFX operands

Jay Foad via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 18 02:31:02 PDT 2021


foad added a comment.

In D104245#2825719 <https://reviews.llvm.org/D104245#2825719>, @aemerson wrote:

> Shouldn't we also have verifier checks for these requirements in the statically known cases?

You mean, verify that the operand values are in range if they happen to be G_CONSTANTs? I don't think that's a good idea because constant-folding one of the operands could suddenly make the MIR fail verification.


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

https://reviews.llvm.org/D104245



More information about the llvm-commits mailing list