Don't add duplicate points when clipping

cc/base/math_util_unittest.cc

 // Copyright 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "cc/base/math_util.h"
 
 #include <stdint.h>
 
 #include <cmath>
 
 #include "cc/test/geometry_test_utils.h"
 #include "testing/gmock/include/gmock/gmock.h"
 #include "testing/gtest/include/gtest/gtest.h"
+#include "ui/gfx/geometry/quad_f.h"
 #include "ui/gfx/geometry/rect.h"
 #include "ui/gfx/geometry/rect_f.h"
 #include "ui/gfx/transform.h"
 
 namespace cc {
 namespace {
 
 TEST(MathUtilTest, ProjectionOfPerpendicularPlane) {
   // In this case, the m33() element of the transform becomes zero, which could
   // cause a divide-by-zero when projecting points/quads.
@@ skipping 424 matching lines @@
   }
 }
 
 TEST(MathUtilTest, RoundDownUnderflow) {
   // Rounding down -123 by 50 is -150, which underflows int8_t, but fits in
   // int16_t.
   EXPECT_FALSE(MathUtil::VerifyRoundDown<int8_t>(-123, 50));
   EXPECT_TRUE(MathUtil::VerifyRoundDown<int16_t>(-123, 50));
 }
 
+// This makes the code in the test read like the code in the implementation
+// despite the defensively named thunk that exposes the functionality for us.
+#define approx(x, y) IsApproximatelyForUnitTesting(x, y)

[flackr, 2016/12/08 23:31:06]

nit: Maybe this should be something like EXPECT_APPROX_EQ and EXPECT_APPROX_NE
(kind of an amusing concept, approximately not equal :-) ) which could map to
the appropriate EXPECT_TRUE / EXPECT_FALSE construction.

[Peter Mayo, 2016/12/14 23:13:11]

Picked EXPECT_SIMILAR... and EXPECT_DISSIMILAR...

+
+TEST(MathUtilTest, Approximate) {
+  // Same
+  EXPECT_TRUE(approx(0.0f, 0.0f));
+  // Chose sensitivity makes hardware sense.
+  EXPECT_TRUE(approx(1000000.0f, std::nextafter(1000000.0f, 0.0f)));
+  // Arbitrary point close to 1
+  EXPECT_TRUE(approx(1.0f, 1.000001f));
+  // Arbitrary difference close to 1
+  EXPECT_TRUE(approx(10000000.0f, 10000001.0f));
+
+  // Please don't define scales by zero
+  EXPECT_FALSE(approx(0.0f, 1.0f));
+  EXPECT_FALSE(approx(1.0f, 0.0f));
+  // Or have visible differences disappear.
+  EXPECT_FALSE(approx(10000.0f, 10001.0f));
+}
+
+TEST(MathUtilTest, ApproximatePointF) {
+  // Same same.
+  EXPECT_TRUE(approx(gfx::PointF(0.0f, 0.0f), gfx::PointF(0.0f, 0.0f)));

[Peter Mayo, 2016/12/14 23:13:11]

We can use a cover to get rid of the constructor noise here and in the 3d case.

+
+  // Not over sensitive on each axis.
+  EXPECT_TRUE(approx(gfx::PointF(1.000001f, 0.0f), gfx::PointF(1.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::PointF(0.0f, 1.000001f), gfx::PointF(0.0f, 1.0f)));
+  EXPECT_TRUE(approx(gfx::PointF(1.0f, 0.0f), gfx::PointF(1.000001f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::PointF(0.0f, 1.0f), gfx::PointF(0.0f, 1.000001f)));
+  EXPECT_TRUE(
+      approx(gfx::PointF(0.00000000001f, 0.0f), gfx::PointF(0.0f, 0.0f)));
+
+  // Still sensitive to each axis.
+  EXPECT_FALSE(approx(gfx::PointF(0.0f, 1.0f), gfx::PointF(0.0f, 0.0f)));
+  EXPECT_FALSE(approx(gfx::PointF(1.0f, 0.0f), gfx::PointF(0.0f, 0.0f)));
+  EXPECT_FALSE(approx(gfx::PointF(0.0f, 0.0f), gfx::PointF(1.0f, 0.0f)));
+  EXPECT_FALSE(approx(gfx::PointF(0.0f, 0.0f), gfx::PointF(0.0f, 1.0f)));
+
+  // Not crossed over.
+  EXPECT_TRUE(approx(gfx::PointF(0.0f, 1.0f), gfx::PointF(0.0f, 1.0f)));
+}
+
+TEST(MathUtilTest, ApproximatePoint3F) {
+  // Same same.
+  static const float zeroish = 1.0e-11f;
+  EXPECT_TRUE(
+      approx(gfx::Point3F(0.0f, 0.0f, 0.0f), gfx::Point3F(0.0f, 0.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(zeroish, 0.0f, 0.0f),
+                     gfx::Point3F(0.0f, 0.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(0.0f, zeroish, 0.0f),
+                     gfx::Point3F(0.0f, 0.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(0.0f, 0.0f, zeroish),
+                     gfx::Point3F(0.0f, 0.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(0.0f, 0.0f, 0.0f),
+                     gfx::Point3F(zeroish, 0.0f, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(0.0f, 0.0f, 0.0f),
+                     gfx::Point3F(0.0f, zeroish, 0.0f)));
+  EXPECT_TRUE(approx(gfx::Point3F(0.0f, 0.0f, 0.0f),
+                     gfx::Point3F(0.0f, 0.0f, zeroish)));
+
+  // Not crossed over, sensitive on each side of each axis.
+  EXPECT_TRUE(
+      approx(gfx::Point3F(1.0f, 2.0f, 3.0f), gfx::Point3F(1.0f, 2.0f, 3.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(4.0f, 2.0f, 3.0f), gfx::Point3F(1.0f, 2.0f, 3.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(1.0f, 4.0f, 3.0f), gfx::Point3F(1.0f, 1.0f, 3.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(1.0f, 2.0f, 4.0f), gfx::Point3F(1.0f, 2.0f, 1.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(1.0f, 2.0f, 3.0f), gfx::Point3F(4.0f, 2.0f, 3.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(1.0f, 2.0f, 3.0f), gfx::Point3F(1.0f, 4.0f, 3.0f)));
+  EXPECT_FALSE(
+      approx(gfx::Point3F(1.0f, 2.0f, 3.0f), gfx::Point3F(1.0f, 2.0f, 4.0f)));
+}
+
+// This takes a quad for which two points, (at x = -99) are behind and below
+// the eypoint and checks to make sure we build a triangle.  We used to build
+// a degnerate quad.
+TEST(MathUtilTest, MapClippedQuadDuplicateTriangle) {
+  gfx::Transform transform;
+  transform.MakeIdentity();
+  transform.ApplyPerspectiveDepth(50.0);
+  transform.RotateAboutYAxis(89.0);
+  // We are amost looking along the X-Y plane from (-50, almost 0)
+
+  gfx::QuadF src_quad(gfx::PointF(0.0f, 100.0f), gfx::PointF(0.0f, -100.0f),
+                      gfx::PointF(-99.0f, -300.0f),
+                      gfx::PointF(-99.0f, -100.0f));
+
+  gfx::PointF clipped_quad[8];
+  int num_vertices_in_clipped_quad;
+
+  MathUtil::MapClippedQuad(transform, src_quad, clipped_quad,
+                           &num_vertices_in_clipped_quad);
+
+  EXPECT_EQ(num_vertices_in_clipped_quad, 3);
+}
+
+// This takes a quad for which two points, (at x = -99) are behind and below
+// the eypoint and checks to make sure we build a triangle.  We used to build
+// a degnerate quad.  The quirk here is that the two shared points are first
+// and last, not sequential.
+TEST(MathUtilTest, MapClippedQuadDuplicateTriangleWrapped) {
+  gfx::Transform transform;
+  transform.MakeIdentity();
+  transform.ApplyPerspectiveDepth(50.0);
+  transform.RotateAboutYAxis(89.0);
+
+  gfx::QuadF src_quad(gfx::PointF(-99.0f, -100.0f), gfx::PointF(0.0f, 100.0f),
+                      gfx::PointF(0.0f, -100.0f), gfx::PointF(-99.0f, -300.0f));
+
+  gfx::PointF clipped_quad[8];
+  int num_vertices_in_clipped_quad;
+
+  MathUtil::MapClippedQuad(transform, src_quad, clipped_quad,
+                           &num_vertices_in_clipped_quad);
+
+  EXPECT_EQ(num_vertices_in_clipped_quad, 3);
+}
+
+// Here we map and clip a quad with only one point that disappears to infinity
+// behind us.  We don't want two verticies at inifinity crossing in and out
+// of w < 0 space.
+TEST(MathUtilTest, MapClippedQuadDuplicateQuad) {
+  gfx::Transform transform;
+  transform.MakeIdentity();
+  transform.ApplyPerspectiveDepth(50.0);
+  transform.RotateAboutYAxis(89.0);
+
+  gfx::QuadF src_quad(gfx::PointF(0.0f, 100.0f), gfx::PointF(400.0f, 0.0f),
+                      gfx::PointF(0.0f, -100.0f), gfx::PointF(-99.0f, -300.0f));
+
+  gfx::PointF clipped_quad[8];
+  int num_vertices_in_clipped_quad;
+
+  MathUtil::MapClippedQuad(transform, src_quad, clipped_quad,
+                           &num_vertices_in_clipped_quad);
+
+  EXPECT_EQ(num_vertices_in_clipped_quad, 4);
+}
+
 }  // namespace
 }  // namespace cc