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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/*========================== begin_copyright_notice ============================
Copyright (C) 2022 Intel Corporation
SPDX-License-Identifier: MIT
============================= end_copyright_notice ===========================*/
//===----------------------------------------------------------------------===//
///
///
//===----------------------------------------------------------------------===//
#include "Compiler/IGCPassSupport.h"
#include "RTBuilder.h"
#include "common/LLVMWarningsPush.hpp"
#include "llvm/IR/InstIterator.h"
#include "llvm/Transforms/Utils/SSAUpdater.h"
#include "common/LLVMWarningsPop.hpp"
using namespace llvm;
using namespace IGC;
class RayTracingPredicatedStackIDReleasePass : public FunctionPass
{
public:
RayTracingPredicatedStackIDReleasePass() : FunctionPass(ID)
{
initializeRayTracingPredicatedStackIDReleasePassPass(*PassRegistry::getPassRegistry());
}
void getAnalysisUsage(AnalysisUsage& AU) const override
{
AU.setPreservesCFG();
AU.addRequired<CodeGenContextWrapper>();
}
bool runOnFunction(Function& M) override;
StringRef getPassName() const override
{
return "RayTracingPredicatedStackIDReleasePass";
}
static char ID;
};
static bool isKnownFalse(const Value* V)
{
if (auto* CI = dyn_cast<ConstantInt>(V))
{
if (CI->isZero())
return true;
}
return false;
}
char RayTracingPredicatedStackIDReleasePass::ID = 0;
// Register pass to igc-opt
#define PASS_FLAG2 "rt-predicated-stack-id-release"
#define PASS_DESCRIPTION2 "Emit single predicated release at end of shader"
#define PASS_CFG_ONLY2 false
#define PASS_ANALYSIS2 false
IGC_INITIALIZE_PASS_BEGIN(RayTracingPredicatedStackIDReleasePass, PASS_FLAG2, PASS_DESCRIPTION2, PASS_CFG_ONLY2, PASS_ANALYSIS2)
IGC_INITIALIZE_PASS_DEPENDENCY(CodeGenContextWrapper)
IGC_INITIALIZE_PASS_END(RayTracingPredicatedStackIDReleasePass, PASS_FLAG2, PASS_DESCRIPTION2, PASS_CFG_ONLY2, PASS_ANALYSIS2)
bool RayTracingPredicatedStackIDReleasePass::runOnFunction(Function& F)
{
auto *Ctx = getAnalysis<CodeGenContextWrapper>().getCodeGenContext();
SmallVector<StackIDReleaseIntrinsic*, 4> Releases;
SmallVector<ReturnInst*, 4> Returns;
for (auto& I : instructions(F))
{
if (auto *SIR = dyn_cast<StackIDReleaseIntrinsic>(&I))
Releases.push_back(SIR);
else if (auto* RI = dyn_cast<ReturnInst>(&I))
Returns.push_back(RI);
}
if (Releases.empty())
return false;
RTBuilder RTB(F.getContext(), *Ctx);
SSAUpdater Updater;
// Since this is run post-legalization, we don't want any phis with i1 type.
Updater.Initialize(RTB.getInt16Ty(), VALUE_NAME("StackIDReleasePred"));
Updater.AddAvailableValue(&F.getEntryBlock(), RTB.getInt16(0));
for (auto* SIR : Releases)
{
RTB.SetInsertPoint(SIR);
Updater.AddAvailableValue(
SIR->getParent(),
RTB.CreateZExt(SIR->getPredicate(), RTB.getInt16Ty()));
SIR->eraseFromParent();
}
for (auto* RI : Returns)
{
Value* Pred = Updater.GetValueAtEndOfBlock(RI->getParent());
if (!isKnownFalse(Pred))
{
RTB.SetInsertPoint(RI);
Pred = RTB.CreateTrunc(Pred, RTB.getInt1Ty());
RTB.CreateStackIDRelease(nullptr, Pred);
}
}
return true;
}
namespace IGC
{
Pass* createRayTracingPredicatedStackIDReleasePass(void)
{
return new RayTracingPredicatedStackIDReleasePass();
}
} // namespace IGC
|
