[PATCH] D11977: Use modulo semantic to generate non-integer-overflow assumptions

[Tobias Grosser via llvm-commits]

grosser added a comment.

> jdoerfert updated this revision to Diff 32136.

>  jdoerfert added a comment.

> 

> Separated assumed and boundary context and minimized the compile time overhead


Hi Johannes,

can you give more details on the current compile-time overhead? Maybe an LNT result
page, or the top-5 offenders?

Best,
Tobias


http://reviews.llvm.org/D11977