[PATCH] D104498: [WIP][ScalarEvolution] Strictly enforce pointer/int type rules.

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 18 10:33:20 PDT 2021


efriedma added a comment.

In D104498#2826535 <https://reviews.llvm.org/D104498#2826535>, @mkazantsev wrote:

> Are pointer SCEVConstants disallowed? If so, why?

It's currently impossible to create such a constant, even without this patch; the API forces the type to an integer type.  I don't see any reason to change that.  Normal code doesn't do math on pointers with a known integer value.

SCEVUnknown supports pointer-typed constants.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104498



More information about the llvm-commits mailing list