[ScalarEvolution] Add bailout to avoid zext of pointer.
authorEli Friedman <efriedma@quicinc.com>
Mon, 31 Jan 2022 18:37:07 +0000 (10:37 -0800)
committerEli Friedman <efriedma@quicinc.com>
Mon, 31 Jan 2022 19:41:39 +0000 (11:41 -0800)
commitb2837bf2f22a9198d636e2d5755c119d1fc4329a
tree47e315f128201d4a00d213c71fcce03cec94a033
parentbcda4c48c811d44e2f5e6061e09d06d9e46a2c68
[ScalarEvolution] Add bailout to avoid zext of pointer.

The RHS of an isImpliedCond call can be a pointer even if the LHS is
not. This is similar to bfa2a81e.

Not going to include a testcase; an IR testcase would be extremely
complicated and fragile.

Fixes https://github.com/llvm/llvm-project/issues/51936 .

Differential Revision: https://reviews.llvm.org/D114555
llvm/lib/Analysis/ScalarEvolution.cpp