6024e5c395
clang 20.0.0 (based on r547379) from build 12806354. Bug: http://b/379133546 Test: N/A Change-Id: I2eb8938af55d809de674be63cb30cf27e801862b Upstream-Commit: ad834e67b1105d15ef907f6255d4c96e8e733f57
49 lines
1.7 KiB
C++
49 lines
1.7 KiB
C++
//===---- AlignmentFromAssumptions.h ----------------------------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file implements a ScalarEvolution-based transformation to set
|
|
// the alignments of load, stores and memory intrinsics based on the truth
|
|
// expressions of assume intrinsics. The primary motivation is to handle
|
|
// complex alignment assumptions that apply to vector loads and stores that
|
|
// appear after vectorization and unrolling.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H
|
|
#define LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H
|
|
|
|
#include "llvm/IR/PassManager.h"
|
|
|
|
namespace llvm {
|
|
|
|
class AssumptionCache;
|
|
class CallInst;
|
|
class DominatorTree;
|
|
class ScalarEvolution;
|
|
class SCEV;
|
|
class Value;
|
|
|
|
struct AlignmentFromAssumptionsPass
|
|
: public PassInfoMixin<AlignmentFromAssumptionsPass> {
|
|
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
|
|
|
|
// Glue for old PM.
|
|
bool runImpl(Function &F, AssumptionCache &AC, ScalarEvolution *SE_,
|
|
DominatorTree *DT_);
|
|
|
|
ScalarEvolution *SE = nullptr;
|
|
DominatorTree *DT = nullptr;
|
|
|
|
bool extractAlignmentInfo(CallInst *I, unsigned Idx, Value *&AAPtr,
|
|
const SCEV *&AlignSCEV, const SCEV *&OffSCEV);
|
|
bool processAssumption(CallInst *I, unsigned Idx);
|
|
};
|
|
}
|
|
|
|
#endif // LLVM_TRANSFORMS_SCALAR_ALIGNMENTFROMASSUMPTIONS_H
|