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

Johannes Doerfert doerfert at cs.uni-saarland.de
Mon Apr 27 14:18:15 PDT 2015


@Tobias You were right about the modulo thing... I was confused and mixed things up.

I also attaced to test cases that show fast and slow behaviour depending on the position of the sext or the presence of a multiplication.


http://reviews.llvm.org/D9099

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/






More information about the llvm-commits mailing list