File: InsertGenericPtrArithmeticMetadata.cpp

package info (click to toggle)
intel-graphics-compiler 1.0.12504.6-1%2Bdeb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 83,912 kB
  • sloc: cpp: 910,147; lisp: 202,655; ansic: 15,197; python: 4,025; yacc: 2,241; lex: 1,570; pascal: 244; sh: 104; makefile: 25
file content (100 lines) | stat: -rw-r--r-- 3,466 bytes parent folder | download
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
98
99
100
/*========================== begin_copyright_notice ============================

Copyright (C) 2021 Intel Corporation

SPDX-License-Identifier: MIT

============================= end_copyright_notice ===========================*/

// The purpose of this pass is to add metadata to skip tagging generic pointers that are used
// for pointer arithmetic. We identify dependency of addrspacecast->inttoptr to recover the
// corresponding tag after the arithmetic is done.

#include "InsertGenericPtrArithmeticMetadata.hpp"
#include "Compiler/CodeGenPublicEnums.h"
#include "Compiler/IGCPassSupport.h"
#include "Probe/Assertion.h"

using namespace llvm;
using namespace IGC;

#define PASS_FLAG "insert-generic-ptr-arithmetic-metadata"
#define PASS_DESCRIPTION "Add metadata to skip tagging generic pointers that are used for pointer arithmetic"
#define PASS_CFG_ONLY false
#define PASS_ANALYSIS false
IGC_INITIALIZE_PASS_BEGIN(InsertGenericPtrArithmeticMetadata, PASS_FLAG, PASS_DESCRIPTION, PASS_CFG_ONLY, PASS_ANALYSIS)
IGC_INITIALIZE_PASS_END(InsertGenericPtrArithmeticMetadata, PASS_FLAG, PASS_DESCRIPTION, PASS_CFG_ONLY, PASS_ANALYSIS)

char InsertGenericPtrArithmeticMetadata::ID = 0;

InsertGenericPtrArithmeticMetadata::InsertGenericPtrArithmeticMetadata() : FunctionPass(ID)
{
    initializeInsertGenericPtrArithmeticMetadataPass(*PassRegistry::getPassRegistry());
}

bool InsertGenericPtrArithmeticMetadata::runOnFunction(Function& F)
{
    m_context = &F.getContext();
    visit(F);
    return m_changed;
}

bool InsertGenericPtrArithmeticMetadata::hasOnlyArithmeticUses(Instruction* I) {
    if (I->use_empty())
        return true;

    bool onlyArithmetic = true;
    for (auto* user : I->users())
    {
        // early return if we already detected non-arithmetic operations
        if (!onlyArithmetic) return false;

        if (isa<GetElementPtrInst>(user))
        {
            onlyArithmetic = hasOnlyArithmeticUses(cast<Instruction>(user));
        }
        else if (auto* phi = dyn_cast<PHINode>(user))
        {
            if (m_visitedPHIs.find(phi) != m_visitedPHIs.end())
            {
                continue;
            }
            m_visitedPHIs.insert(phi);
            onlyArithmetic = hasOnlyArithmeticUses(cast<Instruction>(user));
        }
        else if (auto* pti = dyn_cast<PtrToIntInst>(user))
        {
            IGC_ASSERT(pti->getPointerAddressSpace() == ADDRESS_SPACE_GENERIC);
            if (pti->use_empty()) continue;

            for (auto* ptiUser : pti->users())
            {
                if (auto* inst = dyn_cast<Instruction>(ptiUser))
                {
                    onlyArithmetic = (inst->isBinaryOp() || inst->isShift() || inst->isBitwiseLogicOp());
                }
            }
        }
        else
        {
            // Since we don't recognize the user, lets safely assume that it's not an arithmetic operation
            onlyArithmetic = false;
        }
    }

    return onlyArithmetic;
}

void InsertGenericPtrArithmeticMetadata::visitAddrSpaceCast(AddrSpaceCastInst& I) {
    if (I.getDestAddressSpace() == ADDRESS_SPACE_GENERIC)
    {
        if (hasOnlyArithmeticUses(&I))
        {
            // Add metadata to avoid tagging when emitting addrspacecast
            MDNode* N = MDNode::get(*m_context, MDString::get(*m_context, "generic.arith"));
            I.setMetadata("generic.arith", N);
            m_changed = true;
        }
        m_visitedPHIs.clear();
    }
}