Mercurial > hg > CbC > CbC_llvm

annotate lib/Transforms/Scalar/LowerAtomic.cpp @ 134:3a76565eade5 LLVM5.0.1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update 5.0.1
author mir3636
date Sat, 17 Feb 2018 09:57:20 +0900
parents 803732b1fca8
children c2174574ed3a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 //===- LowerAtomic.cpp - Lower atomic intrinsics --------------------------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 // The LLVM Compiler Infrastructure
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 // This file is distributed under the University of Illinois Open Source
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 // License. See LICENSE.TXT for details.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 //===----------------------------------------------------------------------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 // This pass lowers atomic intrinsics to non-atomic form for use in a known
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 // non-preemptible environment.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 //
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 //===----------------------------------------------------------------------===//
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
15 #include "llvm/Transforms/Scalar/LowerAtomic.h"
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 #include "llvm/IR/Function.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 #include "llvm/IR/IRBuilder.h"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 #include "llvm/Pass.h"
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
19 #include "llvm/Transforms/Scalar.h"
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 using namespace llvm;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
22 #define DEBUG_TYPE "loweratomic"
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
23
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 static bool LowerAtomicCmpXchgInst(AtomicCmpXchgInst *CXI) {
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
25 IRBuilder<> Builder(CXI);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 Value *Ptr = CXI->getPointerOperand();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 Value *Cmp = CXI->getCompareOperand();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 Value *Val = CXI->getNewValOperand();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 LoadInst *Orig = Builder.CreateLoad(Ptr);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 Value *Equal = Builder.CreateICmpEQ(Orig, Cmp);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 Value *Res = Builder.CreateSelect(Equal, Val, Orig);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 Builder.CreateStore(Res, Ptr);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
35 Res = Builder.CreateInsertValue(UndefValue::get(CXI->getType()), Orig, 0);
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
36 Res = Builder.CreateInsertValue(Res, Equal, 1);
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
37
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
38 CXI->replaceAllUsesWith(Res);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 CXI->eraseFromParent();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 static bool LowerAtomicRMWInst(AtomicRMWInst *RMWI) {
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
44 IRBuilder<> Builder(RMWI);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 Value *Ptr = RMWI->getPointerOperand();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 Value *Val = RMWI->getValOperand();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 LoadInst *Orig = Builder.CreateLoad(Ptr);
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
49 Value *Res = nullptr;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 switch (RMWI->getOperation()) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 default: llvm_unreachable("Unexpected RMW operation");
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 case AtomicRMWInst::Xchg:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 Res = Val;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 case AtomicRMWInst::Add:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 Res = Builder.CreateAdd(Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 case AtomicRMWInst::Sub:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 Res = Builder.CreateSub(Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 case AtomicRMWInst::And:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 Res = Builder.CreateAnd(Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 case AtomicRMWInst::Nand:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 Res = Builder.CreateNot(Builder.CreateAnd(Orig, Val));
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 case AtomicRMWInst::Or:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 Res = Builder.CreateOr(Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 case AtomicRMWInst::Xor:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 Res = Builder.CreateXor(Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 case AtomicRMWInst::Max:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 Res = Builder.CreateSelect(Builder.CreateICmpSLT(Orig, Val),
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 Val, Orig);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 case AtomicRMWInst::Min:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 Res = Builder.CreateSelect(Builder.CreateICmpSLT(Orig, Val),
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 case AtomicRMWInst::UMax:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 Res = Builder.CreateSelect(Builder.CreateICmpULT(Orig, Val),
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 Val, Orig);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 case AtomicRMWInst::UMin:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 Res = Builder.CreateSelect(Builder.CreateICmpULT(Orig, Val),
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 Orig, Val);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 break;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 Builder.CreateStore(Res, Ptr);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 RMWI->replaceAllUsesWith(Orig);
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 RMWI->eraseFromParent();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 static bool LowerFenceInst(FenceInst *FI) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 FI->eraseFromParent();
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 static bool LowerLoadInst(LoadInst *LI) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
103 LI->setAtomic(AtomicOrdering::NotAtomic);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 static bool LowerStoreInst(StoreInst *SI) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
108 SI->setAtomic(AtomicOrdering::NotAtomic);
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 return true;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
112 static bool runOnBasicBlock(BasicBlock &BB) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
113 bool Changed = false;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
114 for (BasicBlock::iterator DI = BB.begin(), DE = BB.end(); DI != DE;) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
115 Instruction *Inst = &*DI++;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
116 if (FenceInst *FI = dyn_cast<FenceInst>(Inst))
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
117 Changed |= LowerFenceInst(FI);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
118 else if (AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(Inst))
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
119 Changed |= LowerAtomicCmpXchgInst(CXI);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
120 else if (AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(Inst))
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
121 Changed |= LowerAtomicRMWInst(RMWI);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
122 else if (LoadInst *LI = dyn_cast<LoadInst>(Inst)) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
123 if (LI->isAtomic())
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
124 LowerLoadInst(LI);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
125 } else if (StoreInst *SI = dyn_cast<StoreInst>(Inst)) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
126 if (SI->isAtomic())
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
127 LowerStoreInst(SI);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
128 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
129 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
130 return Changed;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
131 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
132
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
133 static bool lowerAtomics(Function &F) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
134 bool Changed = false;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
135 for (BasicBlock &BB : F) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
136 Changed |= runOnBasicBlock(BB);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
137 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
138 return Changed;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
139 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
140
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
141 PreservedAnalyses LowerAtomicPass::run(Function &F, FunctionAnalysisManager &) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
142 if (lowerAtomics(F))
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
143 return PreservedAnalyses::none();
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
144 return PreservedAnalyses::all();
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
145 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
146
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 namespace {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
148 class LowerAtomicLegacyPass : public FunctionPass {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
149 public:
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
150 static char ID;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
151
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
152 LowerAtomicLegacyPass() : FunctionPass(ID) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
153 initializeLowerAtomicLegacyPassPass(*PassRegistry::getPassRegistry());
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
154 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
155
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
156 bool runOnFunction(Function &F) override {
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
157 // Don't skip optnone functions; atomics still need to be lowered.
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
158 FunctionAnalysisManager DummyFAM;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
159 auto PA = Impl.run(F, DummyFAM);
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
160 return !PA.areAllPreserved();
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
161 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
162
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
163 private:
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
164 LowerAtomicPass Impl;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 };
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
168 char LowerAtomicLegacyPass::ID = 0;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
169 INITIALIZE_PASS(LowerAtomicLegacyPass, "loweratomic",
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
170 "Lower atomic intrinsics to non-atomic form", false, false)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
172 Pass *llvm::createLowerAtomicPass() { return new LowerAtomicLegacyPass(); }