[PATCH] D106362: [FPEnv][InstSimplify] Enable more folds for constrained fadd

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Ouch, this is a long thread.

If I understand correctly, an important missing feature in Alive2 is support for multiple rounding modes. I didn't implement that so far mostly because I was under the impression that rounding modes was still a working in progress thing. Is this true or is it mostly settled in stone?
I would appreciate if someone could point me out to the functions that can change the rounding mode (e.g., a function call may change the rounding mode, right?  is the rounding mode global per thread or per process?). If I get to understand how this thing works I'm happy to implement it in Alive2 :)


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

https://reviews.llvm.org/D106362