LLVM 20.0.0git
MergedLoadStoreMotion.h
Go to the documentation of this file.
1//===- MergedLoadStoreMotion.h - merge and hoist/sink load/stores ---------===//
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//! \file
10//! This pass performs merges of loads and stores on both sides of a
11// diamond (hammock). It hoists the loads and sinks the stores.
12//
13// The algorithm iteratively hoists two loads to the same address out of a
14// diamond (hammock) and merges them into a single load in the header. Similar
15// it sinks and merges two stores to the tail block (footer). The algorithm
16// iterates over the instructions of one side of the diamond and attempts to
17// find a matching load/store on the other side. It hoists / sinks when it
18// thinks it safe to do so. This optimization helps with eg. hiding load
19// latencies, triggering if-conversion, and reducing static code size.
20//
21//===----------------------------------------------------------------------===//
22
23#ifndef LLVM_TRANSFORMS_SCALAR_MERGEDLOADSTOREMOTION_H
24#define LLVM_TRANSFORMS_SCALAR_MERGEDLOADSTOREMOTION_H
25
27#include "llvm/IR/PassManager.h"
28
29namespace llvm {
30class Function;
35
37 SplitFooterBB = SFBB;
38 return *this;
39 }
40};
41
43 : public PassInfoMixin<MergedLoadStoreMotionPass> {
45
46public:
50 : Options(PassOptions) {}
53 function_ref<StringRef(StringRef)> MapClassName2PassName);
54};
55}
56
57#endif // LLVM_TRANSFORMS_SCALAR_MERGEDLOADSTOREMOTION_H
#define F(x, y, z)
Definition: MD5.cpp:55
This header defines various interfaces for pass management in LLVM.
raw_pwrite_stream & OS
A container for analyses that lazily runs them and caches their results.
Definition: PassManager.h:253
MergedLoadStoreMotionPass(const MergedLoadStoreMotionOptions &PassOptions)
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
A set of analyses that are preserved following a run of a transformation pass.
Definition: Analysis.h:111
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
An efficient, type-erasing, non-owning reference to a callable.
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
MergedLoadStoreMotionOptions(bool SplitFooterBB=false)
MergedLoadStoreMotionOptions & splitFooterBB(bool SFBB)
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:69