1 //===---- AlignmentFromAssumptions.h ----------------------------*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file implements a ScalarEvolution-based transformation to set 10 // the alignments of load, stores and memory intrinsics based on the truth 11 // expressions of assume intrinsics. The primary motivation is to handle 12 // complex alignment assumptions that apply to vector loads and stores that 13 // appear after vectorization and unrolling. 14 // 15 //===----------------------------------------------------------------------===// 16 17 #ifndef LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H 18 #define LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H 19 20 #include "llvm/IR/PassManager.h" 21 22 namespace llvm { 23 24 class AssumptionCache; 25 class CallInst; 26 class DominatorTree; 27 class ScalarEvolution; 28 class SCEV; 29 class Value; 30 31 struct AlignmentFromAssumptionsPass 32 : public PassInfoMixin<AlignmentFromAssumptionsPass> { 33 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM); 34 35 // Glue for old PM. 36 bool runImpl(Function &F, AssumptionCache &AC, ScalarEvolution *SE_, 37 DominatorTree *DT_); 38 39 ScalarEvolution *SE = nullptr; 40 DominatorTree *DT = nullptr; 41 42 bool extractAlignmentInfo(CallInst *I, unsigned Idx, Value *&AAPtr, 43 const SCEV *&AlignSCEV, const SCEV *&OffSCEV); 44 bool processAssumption(CallInst *I, unsigned Idx); 45 }; 46 } 47 48 #endif // LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H 49