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
|
/*========================== begin_copyright_notice ============================
Copyright (C) 2017-2025 Intel Corporation
SPDX-License-Identifier: MIT
============================= end_copyright_notice ===========================*/
#define DEBUG_TYPE "predefined-constant-resolver"
#include "Compiler/CISACodeGen/ResolvePredefinedConstant.h"
#include "Compiler/IGCPassSupport.h"
#include "common/LLVMWarningsPush.hpp"
#include <llvm/IR/Module.h>
#include <llvm/IR/Instructions.h>
#include <llvm/Pass.h>
#include <llvm/Analysis/ConstantFolding.h>
#include "common/LLVMWarningsPop.hpp"
using namespace llvm;
using namespace IGC;
namespace {
class PredefinedConstantResolving : public ModulePass {
public:
static char ID;
PredefinedConstantResolving() : ModulePass(ID) {
initializePredefinedConstantResolvingPass(*PassRegistry::getPassRegistry());
}
bool runOnModule(Module &) override;
void getAnalysisUsage(AnalysisUsage &AU) const override { AU.setPreservesCFG(); }
};
} // End anonymous namespace
ModulePass *IGC::createResolvePredefinedConstantPass() { return new PredefinedConstantResolving(); }
char PredefinedConstantResolving::ID = 0;
#define PASS_FLAG "igc-predefined-constant-resolve"
#define PASS_DESC "Resolve compiler predefined constants"
#define PASS_CFG_ONLY false
#define PASS_ANALYSIS false
namespace IGC {
IGC_INITIALIZE_PASS_BEGIN(PredefinedConstantResolving, PASS_FLAG, PASS_DESC, PASS_CFG_ONLY, PASS_ANALYSIS)
IGC_INITIALIZE_PASS_END(PredefinedConstantResolving, PASS_FLAG, PASS_DESC, PASS_CFG_ONLY, PASS_ANALYSIS)
} // namespace IGC
bool PredefinedConstantResolving::runOnModule(Module &M) {
bool Changed = false;
const DataLayout &DL = M.getDataLayout();
for (auto &GV : M.globals()) {
if (!GV.isConstant() || !GV.hasUniqueInitializer())
continue;
Constant *C = GV.getInitializer();
for (auto I = GV.user_begin(); I != GV.user_end(); /* empty */) {
LoadInst *LI = dyn_cast<LoadInst>(*I++);
if (!LI)
continue;
if (Constant *Folded = ConstantFoldLoadFromConst(C, LI->getType(), DL)) {
LI->replaceAllUsesWith(Folded);
LI->eraseFromParent();
Changed = true;
}
}
}
return Changed;
}
|
