summaryrefslogtreecommitdiffstats
path: root/src/shader_recompiler/frontend/maxwell/translate/impl/integer_compare.cpp
blob: 1f604b0ee8ede9360a2adf3af162cdfe52111219 (plain) (blame)
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
// Copyright 2021 yuzu Emulator Project
// Licensed under GPLv2 or any later version
// Refer to the license.txt file included.

#include "common/bit_field.h"
#include "common/common_types.h"
#include "shader_recompiler/frontend/maxwell/translate/impl/impl.h"

namespace Shader::Maxwell {
namespace {
enum class ComparisonOp : u64 {
    False,
    LessThan,
    Equal,
    LessThanEqual,
    GreaterThan,
    NotEqual,
    GreaterThanEqual,
    True,
};

[[nodiscard]] IR::U1 CompareToZero(TranslatorVisitor& v, const IR::U32& operand,
                                   ComparisonOp compare_op, bool is_signed) {
    const IR::U32 zero{v.ir.Imm32(0)};
    switch (compare_op) {
    case ComparisonOp::False:
        return v.ir.Imm1(false);
    case ComparisonOp::LessThan:
        return v.ir.ILessThan(operand, zero, is_signed);
    case ComparisonOp::Equal:
        return v.ir.IEqual(operand, zero);
    case ComparisonOp::LessThanEqual:
        return v.ir.ILessThanEqual(operand, zero, is_signed);
    case ComparisonOp::GreaterThan:
        return v.ir.IGreaterThan(operand, zero, is_signed);
    case ComparisonOp::NotEqual:
        return v.ir.INotEqual(operand, zero);
    case ComparisonOp::GreaterThanEqual:
        return v.ir.IGreaterThanEqual(operand, zero, is_signed);
    case ComparisonOp::True:
        return v.ir.Imm1(true);
    default:
        throw NotImplementedException("ICMP.CMP");
    }
}

void ICMP(TranslatorVisitor& v, u64 insn, const IR::U32& src_a, const IR::U32& operand) {
    union {
        u64 insn;
        BitField<0, 8, IR::Reg> dest_reg;
        BitField<8, 8, IR::Reg> src_reg;
        BitField<48, 1, u64> is_signed;
        BitField<49, 3, ComparisonOp> compare_op;
    } const icmp{insn};

    const IR::U32 zero{v.ir.Imm32(0)};
    const bool is_signed{icmp.is_signed != 0};
    const IR::U1 cmp_result{CompareToZero(v, operand, icmp.compare_op, is_signed)};

    const IR::U32 src_reg{v.X(icmp.src_reg)};
    const IR::U32 result{v.ir.Select(cmp_result, src_reg, src_a)};

    v.X(icmp.dest_reg, result);
}
} // Anonymous namespace

void TranslatorVisitor::ICMP_reg(u64 insn) {
    ICMP(*this, insn, GetReg20(insn), GetReg39(insn));
}

void TranslatorVisitor::ICMP_rc(u64 insn) {
    ICMP(*this, insn, GetReg39(insn), GetCbuf(insn));
}

void TranslatorVisitor::ICMP_cr(u64 insn) {
    ICMP(*this, insn, GetCbuf(insn), GetReg39(insn));
}

void TranslatorVisitor::ICMP_imm(u64 insn) {
    ICMP(*this, insn, GetImm20(insn), GetReg39(insn));
}

} // namespace Shader::Maxwell