summaryrefslogtreecommitdiffstats
path: root/gfx/angle/src/compiler/translator/ForLoopUnroll.cpp
blob: 4cc1c26a135b4870ce5a6f0c1f6091a5bdc25c39 (plain)
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
94
95
96
97
//
// Copyright (c) 2002-2013 The ANGLE Project 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 "compiler/translator/ForLoopUnroll.h"

#include "compiler/translator/ValidateLimitations.h"
#include "angle_gl.h"

bool ForLoopUnrollMarker::visitBinary(Visit, TIntermBinary *node)
{
    if (mUnrollCondition != kSamplerArrayIndex)
        return true;

    // If a sampler array index is also the loop index,
    //   1) if the index type is integer, mark the loop for unrolling;
    //   2) if the index type if float, set a flag to later fail compile.
    switch (node->getOp())
    {
      case EOpIndexIndirect:
        if (node->getLeft() != NULL && node->getRight() != NULL && node->getLeft()->getAsSymbolNode())
        {
            TIntermSymbol *symbol = node->getLeft()->getAsSymbolNode();
            if (IsSampler(symbol->getBasicType()) && symbol->isArray() && !mLoopStack.empty())
            {
                mVisitSamplerArrayIndexNodeInsideLoop = true;
                node->getRight()->traverse(this);
                mVisitSamplerArrayIndexNodeInsideLoop = false;
                // We have already visited all the children.
                return false;
            }
        }
        break;
      default:
        break;
    }
    return true;
}

bool ForLoopUnrollMarker::visitLoop(Visit, TIntermLoop *node)
{
    bool canBeUnrolled = mHasRunLoopValidation;
    if (!mHasRunLoopValidation)
    {
        canBeUnrolled = ValidateLimitations::IsLimitedForLoop(node);
    }
    if (mUnrollCondition == kIntegerIndex && canBeUnrolled)
    {
        // Check if loop index type is integer.
        // This is called after ValidateLimitations pass, so the loop has the limited form specified
        // in ESSL 1.00 appendix A.
        TIntermSequence *declSeq = node->getInit()->getAsAggregate()->getSequence();
        TIntermSymbol *symbol = (*declSeq)[0]->getAsBinaryNode()->getLeft()->getAsSymbolNode();
        if (symbol->getBasicType() == EbtInt)
            node->setUnrollFlag(true);
    }

    TIntermNode *body = node->getBody();
    if (body != nullptr)
    {
        if (canBeUnrolled)
        {
            mLoopStack.push(node);
            body->traverse(this);
            mLoopStack.pop();
        }
        else
        {
            body->traverse(this);
        }
    }
    // The loop is fully processed - no need to visit children.
    return false;
}

void ForLoopUnrollMarker::visitSymbol(TIntermSymbol* symbol)
{
    if (!mVisitSamplerArrayIndexNodeInsideLoop)
        return;
    TIntermLoop *loop = mLoopStack.findLoop(symbol);
    if (loop)
    {
        switch (symbol->getBasicType())
        {
          case EbtFloat:
            mSamplerArrayIndexIsFloatLoopIndex = true;
            break;
          case EbtInt:
            loop->setUnrollFlag(true);
            break;
          default:
            UNREACHABLE();
        }
    }
}