HomePhabricator

[SimplifyCFG] propagate fast-math-flags (FMF) from phi to select

Authored by spatel on Nov 17 2019, 8:23 AM.

Description

[SimplifyCFG] propagate fast-math-flags (FMF) from phi to select

Similar to/extension of D70208 (rGee0882bdf866), but this one
may finally allow closing motivating bugs.

This is another step towards having FMF apply only to FP values
rather than those + fcmp. See PR38086 for one of the original
discussions/motivations:
https://bugs.llvm.org/show_bug.cgi?id=38086

And the test here is derived from PR39535:
https://bugs.llvm.org/show_bug.cgi?id=39535

Currently, we lose FMF when converting any phi to select in
SimplifyCFG. There are a small number of similar changes needed
to correct within SimplifyCFG, so it should be quick to patch
this pass up.

FMF was extended to select and phi with:
D61917
D67564

Details

Committed
spatelNov 17 2019, 8:23 AM
Parents
rG23f736059c70: [SimplifyCFG] add fast-math-flags to tests for better coverage; NFC
Branches
Unknown
Tags
Unknown