kc3-lang/angle/src/tests/compiler_tests/ConstantFoldingOverflow_test.cpp

• Show log

  Commit

• Hash : 9d737966
  Author :
  Date : 2019-08-14T12:25:12
  

  Standardize copyright notices to project style
  
  For all "ANGLE Project" copyrights, standardize to the format specified
  by the style guide. Changes:
  - "Copyright (c)" and "Copyright(c)" changed to just "Copyright".
  - Removed the second half of date ranges ("Y1Y1-Y2Y2"->"Y1Y1").
  - Fixed a small number of files that had no copyright date using the
    initial commit year from the version control history.
  - Fixed one instance of copyright being "The ANGLE Project" rather than
    "The ANGLE Project Authors"
  
  These changes are applied both to the copyright of source file, and
  where applicable to copyright statements that are generated by
  templates.
  
  BUG=angleproject:3811
  
  Change-Id: I973dd65e4ef9deeba232d5be74c768256a0eb2e5
  Reviewed-on: https://chromium-review.googlesource.com/c/angle/angle/+/1754397
  Commit-Queue: Jamie Madill <jmadill@chromium.org>
  Reviewed-by: Jamie Madill <jmadill@chromium.org>
  

Download

• src/tests/compiler_tests/ConstantFoldingOverflow_test.cpp

• //
  // Copyright 2016 The ANGLE Project Authors. All rights reserved.
  // Use of this source code is governed by a BSD-style license that can be
  // found in the LICENSE file.
  //
  // ConstantFoldingOverflow_test.cpp:
  //   Tests for constant folding that results in floating point overflow.
  //   In IEEE floating point, the overflow result depends on which of the various rounding modes is
  //   chosen - it's either the maximum representable value or infinity.
  //   ESSL 3.00.6 section 4.5.1 says that the rounding mode cannot be set and is undefined, so the
  //   result in this case is not defined by the spec.
  //   We decide to overflow to infinity and issue a warning.
  //
  
  #include "tests/test_utils/ConstantFoldingTest.h"
  
  using namespace sh;
  
  namespace
  {
  
  class ConstantFoldingOverflowExpressionTest : public ConstantFoldingExpressionTest
  {
    public:
      ConstantFoldingOverflowExpressionTest() {}
  
      void evaluateFloatOverflow(const std::string &floatString, bool positive)
      {
          evaluateFloat(floatString);
          float expected = positive ? std::numeric_limits<float>::infinity()
                                    : -std::numeric_limits<float>::infinity();
          ASSERT_TRUE(constantFoundInAST(expected));
          ASSERT_TRUE(hasWarning());
      }
  };
  
  }  // anonymous namespace
  
  // Test that addition that overflows is evaluated correctly.
  TEST_F(ConstantFoldingOverflowExpressionTest, Add)
  {
      const std::string &floatString = "2.0e38 + 2.0e38";
      evaluateFloatOverflow(floatString, true);
  }
  
  // Test that subtraction that overflows is evaluated correctly.
  TEST_F(ConstantFoldingOverflowExpressionTest, Subtract)
  {
      const std::string &floatString = "2.0e38 - (-2.0e38)";
      evaluateFloatOverflow(floatString, true);
  }
  
  // Test that multiplication that overflows is evaluated correctly.
  TEST_F(ConstantFoldingOverflowExpressionTest, Multiply)
  {
      const std::string &floatString = "1.0e30 * 1.0e10";
      evaluateFloatOverflow(floatString, true);
  }
  
  // Test that division that overflows is evaluated correctly.
  TEST_F(ConstantFoldingOverflowExpressionTest, Divide)
  {
      const std::string &floatString = "1.0e30 / 1.0e-10";
      evaluateFloatOverflow(floatString, true);
  }
  

Download