src/video_core/shader/expr.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

// Copyright 2019 yuzu Emulator Project
// Licensed under GPLv2 or any later version
// Refer to the license.txt file included.

#include <memory>
#include <variant>

#include "video_core/shader/expr.h"

namespace VideoCommon::Shader {
namespace {
bool ExprIsBoolean(const Expr& expr) {
    return std::holds_alternative<ExprBoolean>(*expr);
}

bool ExprBooleanGet(const Expr& expr) {
    return std::get_if<ExprBoolean>(expr.get())->value;
}
} // Anonymous namespace

bool ExprAnd::operator==(const ExprAnd& b) const {
    return (*operand1 == *b.operand1) && (*operand2 == *b.operand2);
}

bool ExprAnd::operator!=(const ExprAnd& b) const {
    return !operator==(b);
}

bool ExprOr::operator==(const ExprOr& b) const {
    return (*operand1 == *b.operand1) && (*operand2 == *b.operand2);
}

bool ExprOr::operator!=(const ExprOr& b) const {
    return !operator==(b);
}

bool ExprNot::operator==(const ExprNot& b) const {
    return *operand1 == *b.operand1;
}

bool ExprNot::operator!=(const ExprNot& b) const {
    return !operator==(b);
}

Expr MakeExprNot(Expr first) {
    if (std::holds_alternative<ExprNot>(*first)) {
        return std::get_if<ExprNot>(first.get())->operand1;
    }
    return MakeExpr<ExprNot>(std::move(first));
}

Expr MakeExprAnd(Expr first, Expr second) {
    if (ExprIsBoolean(first)) {
        return ExprBooleanGet(first) ? second : first;
    }
    if (ExprIsBoolean(second)) {
        return ExprBooleanGet(second) ? first : second;
    }
    return MakeExpr<ExprAnd>(std::move(first), std::move(second));
}

Expr MakeExprOr(Expr first, Expr second) {
    if (ExprIsBoolean(first)) {
        return ExprBooleanGet(first) ? first : second;
    }
    if (ExprIsBoolean(second)) {
        return ExprBooleanGet(second) ? second : first;
    }
    return MakeExpr<ExprOr>(std::move(first), std::move(second));
}

bool ExprAreEqual(const Expr& first, const Expr& second) {
    return (*first) == (*second);
}

bool ExprAreOpposite(const Expr& first, const Expr& second) {
    if (std::holds_alternative<ExprNot>(*first)) {
        return ExprAreEqual(std::get_if<ExprNot>(first.get())->operand1, second);
    }
    if (std::holds_alternative<ExprNot>(*second)) {
        return ExprAreEqual(std::get_if<ExprNot>(second.get())->operand1, first);
    }
    return false;
}

bool ExprIsTrue(const Expr& first) {
    if (ExprIsBoolean(first)) {
        return ExprBooleanGet(first);
    }
    return false;
}

} // namespace VideoCommon::Shader