refactor-test-suite/RefactorTest/SimplifyBooleanExpression.cpp at master · LegalizeAdulthood/refactor-test-suite · GitHub

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
#include "Require.h"

namespace
{
int getSomething()
{
    static int i = 2;
    return ++i;
}

}    // namespace

// Where possible, simplifies the Boolean expression.
//      expr == true => expr
//      expr == false => !expr
//      false && expr => false
//      true && expr => expr
//      false || expr => expr
//      true || expr => true
//      expr && expr => expr, if no side-effects
//      expr || expr => expr, if no side-effects
//      !(expr1 != expr2) => (expr1 == expr2)
//      !(expr1 == expr2) => (expr1 != expr2)
//      !(expr1 >= expr2) => (expr1 < expr2)
//      !(expr1 <= expr2) => (expr1 > expr2)

void TestSimplifyBooleanExpression()
{
    bool b1 = true;
    // #TEST#: SB1 Simplify boolean rhs to b1
    bool b2 = true && b1;
    REQUIRE_EQUAL(true, b2);

    // #TEST#: SB2 Simplify boolean rhs to false
    bool b3 = false && b1;
    REQUIRE_EQUAL(true, !b3);

    // #TEST#: SB3 Simplify boolean rhs to true
    bool b4 = true || b1;
    REQUIRE_EQUAL(true, b4);

    // #TEST#: SB4 Simplify boolean rhs to b1
    bool b5 = false || b1;
    REQUIRE_EQUAL(true, b5);

    // #TEST#: SB5 Simplify boolean rhs to b1
    bool b6 = b1 && (true && (false || true));
    REQUIRE_EQUAL(true, b6);

    // #TEST#: SB6 Simplify boolean rhs to b1
    bool b7 = b1 == true;
    REQUIRE_EQUAL(true, b7);

    // #TEST#: SB7 Simplify boolean rhs to !b1
    bool b8 = b1 == false;
    REQUIRE_EQUAL(true, !b8);

    // #TEST#: SB8 Simplify boolean rhs to b1
    bool b9 = b1 && b1;
    REQUIRE_EQUAL(true, b9);

    // #TEST#: SB9 Simplify boolean rhs to b1
    bool b10 = b1 || b1;
    REQUIRE_EQUAL(true, b10);

    // #TEST#: SB10 Simplify boolean rhs to (i == 3)
    int const i = getSomething();
    bool b11 = !(i != 3);
    REQUIRE_EQUAL(true, b11);

    // #TEST#: SB11 Simplify boolean rhs to (i != 3)
    bool b12 = !(i == 3);
    REQUIRE_EQUAL(true, !b12);

    // #TEST#: SB12 Simplify boolean rhs to (i > 3)
    bool b13 = !(i <= 3);
    REQUIRE_EQUAL(true, !b13);

    // #TEST#: SB13 Simplify boolean rhs to (i < 3)
    bool b14 = !(i >= 3);
    REQUIRE_EQUAL(true, !b14);
}