[PATCH] [Unfinished] Use modulo semantic to generate non-wrap assumptions

Tobias Grosser tobias at grosser.es
Mon Apr 20 05:25:12 PDT 2015

On 04/20/2015 12:43 AM, Johannes Doerfert wrote:
> Some comments, new version is coming soon.


> grosser wrote:
>> Why do you call this function 'NonWrap'? Is the point of this function not to add the integer wrapping? Could a name like 'addIntegerWrapping()' be a better fit?
> is
>    addModuloSemantic
> fine?

Sounds good.


More information about the llvm-commits mailing list