blob: 6c58a15e8487e10487aa80276e9575eac21f25bb [file] [log] [blame]
// Copyright 2021 Google LLC.
// Use of this source code is governed by a BSD-style license that can be found in the LICENSE file.
#include "experimental/sorttoy/Cmds.h"
#include "experimental/sorttoy/Fake.h"
#include "experimental/sorttoy/SortKey.h"
#include "include/core/SkCanvas.h"
#include "include/core/SkGraphics.h"
#include "include/gpu/GrDirectContext.h"
#include "src/core/SkOSFile.h"
#include "src/gpu/ganesh/GrCaps.h"
#include "src/gpu/ganesh/GrDirectContextPriv.h"
#include "src/utils/SkOSPath.h"
#include "tools/ToolUtils.h"
#include "tools/flags/CommandLineFlags.h"
#include "tools/gpu/GrContextFactory.h"
#include <algorithm>
/*
* Questions this is trying to answer:
* How to handle saveLayers (in w/ everything or separate)
* How to handle blurs & other off screen draws
* How to handle clipping
* How does sorting stack up against buckets
* How does creating batches interact w/ the sorting
* How does batching work w/ text
* How does text (esp. atlasing) work at all
* Batching quality vs. existing
* Memory churn/overhead vs existing (esp. wrt batching)
* gpu vs cpu boundedness
*
* Futher Questions:
* How can we collect uniforms & not store the fps -- seems complicated
* Do all the blend modes (esp. advanced work front-to-back)?
* skgpu::v2 perf vs. skgpu::v1 perf
* Can we prepare any of the saveLayers or off-screen draw render passes in parallel?
*
* Small potatoes:
* Incorporate CTM into the simulator
*/
/*
* How does this all work:
*
* Each test is specified by a set of RectCmds (which have a unique ID and carry their material
* and MC state info) along with the order they are expected to be drawn in with the skgpu::v2.
*
* To generate an expected image, the RectCmds are replayed into an SkCanvas in the order
* provided.
*
* For the actual (v2) image, the RectCmds are replayed into a FakeCanvas - preserving the
* unique ID of the RectCmd. The FakeCanvas creates new RectCmd objects, sorts them using
* the SortKey and then performs a kludgey z-buffered rasterization. The FakeCanvas also
* preserves the RectCmd order it ultimately used for its rendering and this can be compared
* with the expected order from the test.
*
* The use of the RectCmds to create the tests is a mere convenience to avoid creating a
* separate representation of the desired draws.
*
***************************
* Here are some of the simplifying assumptions of this simulation (and their justification):
*
* Only SkIRects are used for draws and clips - since MSAA should be taking care of AA for us in
* the skgpu::v2 we don't really need SkRects. This also greatly simplifies the z-buffered
* rasterization.
*
**************************
* Areas for improvement:
* We should add strokes since there are two distinct drawing methods in the skgpu::v2 (fill v.
* stroke)
*/
using sk_gpu_test::GrContextFactory;
static DEFINE_string2(writePath, w, "", "If set, write bitmaps here as .pngs.");
static void exitf(const char* format, ...) SK_PRINTF_LIKE(1, 2);
static void exitf(const char* format, ...) {
va_list args;
va_start(args, format);
vfprintf(stderr, format, args);
va_end(args);
exit(1);
}
static void save_files(int testID, Shape s, const SkBitmap& expected, const SkBitmap& actual) {
if (FLAGS_writePath.isEmpty()) {
return;
}
const char* dir = FLAGS_writePath[0];
SkString path = SkOSPath::Join(dir, s == Shape::kRect ? "rect-expected" : "oval-expected");
path.appendU32(testID);
path.append(".png");
if (!sk_mkdir(dir)) {
exitf("failed to create directory for png \"%s\"", path.c_str());
}
if (!ToolUtils::EncodeImageToFile(path.c_str(), expected, SkEncodedImageFormat::kPNG, 100)) {
exitf("failed to save png to \"%s\"", path.c_str());
}
path = SkOSPath::Join(dir, s == Shape::kRect ? "rect-actual" : "oval-actual");
path.appendU32(testID);
path.append(".png");
if (!ToolUtils::EncodeImageToFile(path.c_str(), actual, SkEncodedImageFormat::kPNG, 100)) {
exitf("failed to save png to \"%s\"", path.c_str());
}
}
// Exercise basic SortKey behavior
static void key_test() {
SortKey k;
SkASSERT(!k.transparent());
SkASSERT(k.depth() == 0);
SkASSERT(k.material() == 0);
// k.dump();
SortKey k1(false, 1, 3);
SkASSERT(!k1.transparent());
SkASSERT(k1.depth() == 1);
SkASSERT(k1.material() == 3);
// k1.dump();
SortKey k2(true, 2, 1);
SkASSERT(k2.transparent());
SkASSERT(k2.depth() == 2);
SkASSERT(k2.material() == 1);
// k2.dump();
}
static void check_state(FakeMCBlob* actualState,
SkIPoint expectedCTM,
const std::vector<SkIRect>& expectedClips) {
SkASSERT(actualState->ctm() == expectedCTM);
int i = 0;
auto states = actualState->mcStates();
for (auto& s : states) {
for (const sk_sp<ClipCmd>& c : s.cmds()) {
SkAssertResult(i < (int) expectedClips.size());
SkAssertResult(c->rect() == expectedClips[i]);
i++;
}
}
}
// Exercise the FakeMCBlob object
static void mcstack_test() {
const SkIRect r { 0, 0, 10, 10 };
const SkIPoint s1Trans { 10, 10 };
const SkIPoint s2TransA { -5, -2 };
const SkIPoint s2TransB { -3, -1 };
const std::vector<SkIRect> expectedS0Clips;
const std::vector<SkIRect> expectedS1Clips {
r.makeOffset(s1Trans)
};
const std::vector<SkIRect> expectedS2aClips {
r.makeOffset(s1Trans),
r.makeOffset(s2TransA)
};
const std::vector<SkIRect> expectedS2bClips {
r.makeOffset(s1Trans),
r.makeOffset(s2TransA),
r.makeOffset(s2TransA + s2TransB)
};
//----------------
FakeStateTracker s;
auto state0 = s.snapState();
// The initial state should have no translation & no clip
check_state(state0.get(), { 0, 0 }, expectedS0Clips);
//----------------
s.push();
s.translate(s1Trans);
s.clip(sk_make_sp<ClipCmd>(ID(1), Shape::kRect, r));
auto state1 = s.snapState();
check_state(state1.get(), s1Trans, expectedS1Clips);
//----------------
s.push();
s.translate(s2TransA);
s.clip(sk_make_sp<ClipCmd>(ID(2), Shape::kRect, r));
auto state2a = s.snapState();
check_state(state2a.get(), s1Trans + s2TransA, expectedS2aClips);
s.translate(s2TransB);
s.clip(sk_make_sp<ClipCmd>(ID(3), Shape::kRect, r));
auto state2b = s.snapState();
check_state(state2b.get(), s1Trans + s2TransA + s2TransB, expectedS2bClips);
SkASSERT(state2a != state2b);
//----------------
s.pop(PaintersOrder(1));
auto state3 = s.snapState();
check_state(state3.get(), s1Trans, expectedS1Clips);
SkASSERT(state1 == state3);
//----------------
s.pop(PaintersOrder(2));
auto state4 = s.snapState();
check_state(state4.get(), { 0, 0 }, expectedS0Clips);
SkASSERT(state0 == state4);
}
static void check_order(int testID,
const std::vector<ID>& actualOrder,
const std::vector<ID>& expectedOrder) {
if (expectedOrder.size() != actualOrder.size()) {
exitf("Op count mismatch in test %d. Expected %zu - got %zu\n",
testID,
expectedOrder.size(),
actualOrder.size());
}
if (expectedOrder != actualOrder) {
SkDebugf("order mismatch in test %d:\n", testID);
SkDebugf("E %zu: ", expectedOrder.size());
for (auto t : expectedOrder) {
SkDebugf("%d", t.toInt());
}
SkDebugf("\n");
SkDebugf("A %zu: ", actualOrder.size());
for (auto t : actualOrder) {
SkDebugf("%d", t.toInt());
}
SkDebugf("\n");
}
}
typedef int (*PFTest)(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder);
static void sort_test(PFTest testcase) {
for (Shape s : { Shape::kRect, Shape::kOval }) {
std::vector<sk_sp<Cmd>> test;
std::vector<ID> expectedOrder;
int testID = testcase(&test, s, &expectedOrder);
SkBitmap expectedBM;
expectedBM.allocPixels(SkImageInfo::MakeN32Premul(256, 256));
expectedBM.eraseColor(SK_ColorBLACK);
SkCanvas real(expectedBM);
SkBitmap actualBM;
actualBM.allocPixels(SkImageInfo::MakeN32Premul(256, 256));
actualBM.eraseColor(SK_ColorBLACK);
FakeCanvas fake(actualBM);
for (const sk_sp<Cmd>& c : test) {
c->execute(&fake);
c->execute(&real);
}
fake.finalize();
std::vector<ID> actualOrder = fake.getOrder();
check_order(testID, actualOrder, expectedOrder);
save_files(testID, s, expectedBM, actualBM);
}
}
// Simple test - green rect should appear atop the red rect
static int test1(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// front-to-back order bc all opaque
expectedOrder->push_back(ID(1));
expectedOrder->push_back(ID(0));
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(0), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(48, 48), FakePaint(SK_ColorGREEN)));
test->push_back(sk_make_sp<RestoreCmd>());
return 1;
}
// Simple test - blue rect atop green rect atop red rect
static int test2(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// front-to-back order bc all opaque
expectedOrder->push_back(ID(2));
expectedOrder->push_back(ID(1));
expectedOrder->push_back(ID(0));
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(0), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(48, 48), FakePaint(SK_ColorGREEN)));
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(98, 98), FakePaint(SK_ColorBLUE)));
test->push_back(sk_make_sp<RestoreCmd>());
return 2;
}
// Transparency test - opaque blue rect atop transparent green rect atop opaque red rect
static int test3(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// opaque draws are first and are front-to-back. Transparent draw is last.
expectedOrder->push_back(ID(2));
expectedOrder->push_back(ID(0));
expectedOrder->push_back(ID(1));
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(0), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(48, 48), FakePaint(0x8000FF00)));
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(98, 98), FakePaint(SK_ColorBLUE)));
test->push_back(sk_make_sp<RestoreCmd>());
return 3;
}
// Multi-transparency test - transparent blue rect atop transparent green rect atop
// transparent red rect
static int test4(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// All in back-to-front order bc they're all transparent
expectedOrder->push_back(ID(0));
expectedOrder->push_back(ID(1));
expectedOrder->push_back(ID(2));
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(0), shape, r.makeOffset(8, 8), FakePaint(0x80FF0000)));
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(48, 48), FakePaint(0x8000FF00)));
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(98, 98), FakePaint(0x800000FF)));
test->push_back(sk_make_sp<RestoreCmd>());
return 4;
}
// Multiple opaque materials test
// All opaque:
// normal1, linear1, radial1, normal2, linear2, radial2
// Which gets sorted to:
// normal2, normal1, linear2, linear1, radial2, radial1
// So, front to back w/in each material type.
static int test5(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// Note: This pushes sorting by material above sorting by Z. Thus we'll get less front to
// back benefit.
expectedOrder->push_back(ID(3));
expectedOrder->push_back(ID(0));
expectedOrder->push_back(ID(4));
expectedOrder->push_back(ID(1));
expectedOrder->push_back(ID(5));
expectedOrder->push_back(ID(2));
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
FakePaint p;
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(0), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
p.setLinear(SK_ColorGREEN, SK_ColorWHITE);
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(48, 48), p));
p.setRadial(SK_ColorBLUE, SK_ColorBLACK);
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(98, 98), p));
test->push_back(sk_make_sp<DrawCmd>(ID(3), shape, r.makeOffset(148, 148), FakePaint(SK_ColorCYAN)));
p.setLinear(SK_ColorMAGENTA, SK_ColorWHITE);
test->push_back(sk_make_sp<DrawCmd>(ID(4), shape, r.makeOffset(148, 8), p));
p.setRadial(SK_ColorYELLOW, SK_ColorBLACK);
test->push_back(sk_make_sp<DrawCmd>(ID(5), shape, r.makeOffset(8, 148), p));
test->push_back(sk_make_sp<RestoreCmd>());
return 5;
}
// simple clipping test - two shapes w/ 1 clip of the opposite shape
static int test6(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// The expected is front to back after the clip
expectedOrder->push_back(ID(2));
expectedOrder->push_back(ID(1));
Shape clipShape = shape == Shape::kRect ? Shape::kOval : Shape::kRect;
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
test->push_back(sk_make_sp<ClipCmd>(ID(0), clipShape, SkIRect::MakeXYWH(28, 28, 40, 40)));
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(48, 48), FakePaint(SK_ColorGREEN)));
test->push_back(sk_make_sp<RestoreCmd>());
return 6;
}
// more complicated clipping w/ opaque draws -> should reorder
static int test7(std::vector<sk_sp<Cmd>>* test,
Shape shape,
std::vector<ID>* expectedOrder) {
// The expected is front to back modulated by the two clip states
expectedOrder->push_back(ID(7));
expectedOrder->push_back(ID(6));
expectedOrder->push_back(ID(2));
expectedOrder->push_back(ID(1));
expectedOrder->push_back(ID(5));
expectedOrder->push_back(ID(4));
Shape clipShape = shape == Shape::kRect ? Shape::kOval : Shape::kRect;
//---------------------------------------------------------------------------------------------
test->push_back(sk_make_sp<SaveCmd>());
// select the middle third in x
test->push_back(sk_make_sp<ClipCmd>(ID(0), clipShape, SkIRect::MakeXYWH(85, 0, 86, 256)));
SkIRect r{0, 0, 100, 100};
test->push_back(sk_make_sp<DrawCmd>(ID(1), shape, r.makeOffset(8, 8), FakePaint(SK_ColorRED)));
test->push_back(sk_make_sp<DrawCmd>(ID(2), shape, r.makeOffset(48, 48), FakePaint(SK_ColorGREEN)));
test->push_back(sk_make_sp<SaveCmd>());
// intersect w/ the middle third in y
test->push_back(sk_make_sp<ClipCmd>(ID(3), clipShape, SkIRect::MakeXYWH(0, 85, 256, 86)));
test->push_back(sk_make_sp<DrawCmd>(ID(4), shape, r.makeOffset(98, 98), FakePaint(SK_ColorBLUE)));
test->push_back(sk_make_sp<DrawCmd>(ID(5), shape, r.makeOffset(148, 148), FakePaint(SK_ColorCYAN)));
test->push_back(sk_make_sp<RestoreCmd>());
test->push_back(sk_make_sp<DrawCmd>(ID(6), shape, r.makeOffset(148, 8), FakePaint(SK_ColorMAGENTA)));
test->push_back(sk_make_sp<DrawCmd>(ID(7), shape, r.makeOffset(8, 148), FakePaint(SK_ColorYELLOW)));
test->push_back(sk_make_sp<RestoreCmd>());
return 7;
}
int main(int argc, char** argv) {
CommandLineFlags::Parse(argc, argv);
SkGraphics::Init();
key_test();
mcstack_test();
sort_test(test1);
sort_test(test2);
sort_test(test3);
sort_test(test4);
sort_test(test5);
sort_test(test6);
sort_test(test7);
return 0;
}