[llvm-commits] [patch][pr12251] Add range metadata to llvm. Make clang produce it.

[Rafael Espíndola]

> I don't think that's a reason to not use the ConstantRange class, it is a
> reason to have the verifier reject attempts to form an empty or a full range
> though.  So I think you should have ranges be [A, B) but explain that empty
> and full ranges are not allowed.  Indeed forming one of these probably means
> that the front-end writer made a mistake.

Note that I do want to use ConstantRange in the implementation, I am
just not sure about exposing that in the IL.

> Ciao, Duncan.

Cheers,
Rafael