diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
| commit | 01095a5d43bbfde13731688ddcf6048ebb8b7721 (patch) | |
| tree | 4def12e759965de927d963ac65840d663ef9d1ea /test/Transforms/InstCombine/zero-point-zero-add.ll | |
| parent | f0f4822ed4b66e3579e92a89f368f8fb860e218e (diff) | |
Vendor import of llvm release_39 branch r276489:vendor/llvm/llvm-release_39-r276489
Diffstat (limited to 'test/Transforms/InstCombine/zero-point-zero-add.ll')
| -rw-r--r-- | test/Transforms/InstCombine/zero-point-zero-add.ll | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/test/Transforms/InstCombine/zero-point-zero-add.ll b/test/Transforms/InstCombine/zero-point-zero-add.ll index d07a9f4b9de0..e466e8ad7429 100644 --- a/test/Transforms/InstCombine/zero-point-zero-add.ll +++ b/test/Transforms/InstCombine/zero-point-zero-add.ll @@ -1,15 +1,24 @@ -; RUN: opt < %s -instcombine -S | grep 0.0 | count 1 +; NOTE: Assertions have been autogenerated by update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s -declare double @abs(double) +declare double @fabs(double) readonly define double @test(double %X) { +; CHECK-LABEL: @test( +; CHECK-NEXT: [[Y:%.*]] = fadd double %X, 0.000000e+00 +; CHECK-NEXT: ret double [[Y]] +; %Y = fadd double %X, 0.0 ;; Should be a single add x, 0.0 %Z = fadd double %Y, 0.0 ret double %Z } define double @test1(double %X) { - %Y = call double @abs(double %X) +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[Y:%.*]] = call double @fabs(double %X) +; CHECK-NEXT: ret double [[Y]] +; + %Y = call double @fabs(double %X) %Z = fadd double %Y, 0.0 ret double %Z } |
