diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2018-02-16 17:46:50 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2018-02-16 17:46:50 +0000 |
| commit | 870fbda805acf32d86e2ebeaa5c165a296f99529 (patch) | |
| tree | a70b385e13270f0cbfb50048b44e0cdf2cdbf960 | |
| parent | 29636aaaa68e030f01126d7babd69dcc0ceaadb1 (diff) | |
| download | bcm5719-llvm-870fbda805acf32d86e2ebeaa5c165a296f99529.tar.gz bcm5719-llvm-870fbda805acf32d86e2ebeaa5c165a296f99529.zip | |
[InstCombine] add FMF to better show current fdiv fold behavior; NFC
llvm-svn: 325365
| -rw-r--r-- | llvm/test/Transforms/InstCombine/fdiv.ll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/test/Transforms/InstCombine/fdiv.ll b/llvm/test/Transforms/InstCombine/fdiv.ll index 109ca436a0b..6b41168044a 100644 --- a/llvm/test/Transforms/InstCombine/fdiv.ll +++ b/llvm/test/Transforms/InstCombine/fdiv.ll @@ -119,11 +119,11 @@ define <2 x float> @not_exact_inverse_vec(<2 x float> %x) { define float @div_with_div_numerator(float %x, float %y, float %z) { ; CHECK-LABEL: @div_with_div_numerator( -; CHECK-NEXT: [[TMP1:%.*]] = fmul float [[Y:%.*]], [[Z:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = fmul ninf float [[Y:%.*]], [[Z:%.*]] ; CHECK-NEXT: [[DIV2:%.*]] = fdiv fast float [[X:%.*]], [[TMP1]] ; CHECK-NEXT: ret float [[DIV2]] ; - %div1 = fdiv float %x, %y + %div1 = fdiv ninf float %x, %y %div2 = fdiv fast float %div1, %z ret float %div2 } @@ -132,11 +132,11 @@ define float @div_with_div_numerator(float %x, float %y, float %z) { define <2 x float> @div_with_div_denominator(<2 x float> %x, <2 x float> %y, <2 x float> %z) { ; CHECK-LABEL: @div_with_div_denominator( -; CHECK-NEXT: [[TMP1:%.*]] = fmul <2 x float> [[Z:%.*]], [[Y:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = fmul nnan <2 x float> [[Y:%.*]], [[Z:%.*]] ; CHECK-NEXT: [[DIV2:%.*]] = fdiv fast <2 x float> [[TMP1]], [[X:%.*]] ; CHECK-NEXT: ret <2 x float> [[DIV2]] ; - %div1 = fdiv <2 x float> %x, %y + %div1 = fdiv nnan <2 x float> %x, %y %div2 = fdiv fast <2 x float> %z, %div1 ret <2 x float> %div2 } |
