[PATCH] D134380: [GlobalISel] Fix known bits for G_ASSERT_ALIGN.

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/lib/CodeGen/GlobalISel/GISelKnownBits.cpp:475
   case TargetOpcode::G_ASSERT_ALIGN: {
-    int64_t LogOfAlign = MI.getOperand(2).getImm();
-    if (LogOfAlign == 0)
----------------
arsenm wrote:
> aemerson wrote:
> > arsenm wrote:
> > > I thought 0 would be rejected by the verifier. This shouldn’t have been produced 
> > Ok I'll look into adding a verifier check and removing this handling for 0.
> Actually this is a different change than I thought. The immediate was supposed to be directly interpreted as the log2 value. Somewhere must be producing it with the raw alignment instead of the correct log2 value
0 should still be invalid though


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134380