diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-11-15 16:06:43 -0500 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-11-15 16:14:35 -0500 |
| commit | ee0882bdf866ad8877dfda3820a822c851d0733a (patch) | |
| tree | 9e9535a3ba357ec66706cca576ce472152c7d946 /llvm/test/Transforms/SimplifyCFG | |
| parent | 782392db8122cafb5e0e4ad5fe0c24c46f11b2b7 (diff) | |
| download | bcm5719-llvm-ee0882bdf866ad8877dfda3820a822c851d0733a.tar.gz bcm5719-llvm-ee0882bdf866ad8877dfda3820a822c851d0733a.zip | |
[SimplifyCFG] propagate fast-math-flags (FMF) from phi to select
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
Differential Revision: https://reviews.llvm.org/D70208
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/HoistCode.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/HoistCode.ll b/llvm/test/Transforms/SimplifyCFG/HoistCode.ll index 1fb9c46e882..575cb4f19eb 100644 --- a/llvm/test/Transforms/SimplifyCFG/HoistCode.ll +++ b/llvm/test/Transforms/SimplifyCFG/HoistCode.ll @@ -19,7 +19,7 @@ define float @PR39535min(float %x) { ; CHECK-LABEL: @PR39535min( ; CHECK-NEXT: entry: ; CHECK-NEXT: [[TOBOOL:%.*]] = fcmp une float [[X:%.*]], 0.000000e+00 -; CHECK-NEXT: [[DOTX:%.*]] = select i1 [[TOBOOL]], float 0.000000e+00, float [[X]] +; CHECK-NEXT: [[DOTX:%.*]] = select fast i1 [[TOBOOL]], float 0.000000e+00, float [[X]] ; CHECK-NEXT: ret float [[DOTX]] ; entry: |
