Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- VNCoercion.h - Value Numbering Coercion Utilities --------*- 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 | /// \file / This file provides routines used by LLVM's value numbering passes to |
||
| 9 | /// perform various forms of value extraction from memory when the types are not |
||
| 10 | /// identical. For example, given |
||
| 11 | /// |
||
| 12 | /// store i32 8, i32 *%foo |
||
| 13 | /// %a = bitcast i32 *%foo to i16 |
||
| 14 | /// %val = load i16, i16 *%a |
||
| 15 | /// |
||
| 16 | /// It possible to extract the value of the load of %a from the store to %foo. |
||
| 17 | /// These routines know how to tell whether they can do that (the analyze* |
||
| 18 | /// routines), and can also insert the necessary IR to do it (the get* |
||
| 19 | /// routines). |
||
| 20 | |||
| 21 | #ifndef LLVM_TRANSFORMS_UTILS_VNCOERCION_H |
||
| 22 | #define LLVM_TRANSFORMS_UTILS_VNCOERCION_H |
||
| 23 | |||
| 24 | namespace llvm { |
||
| 25 | class Constant; |
||
| 26 | class StoreInst; |
||
| 27 | class LoadInst; |
||
| 28 | class MemIntrinsic; |
||
| 29 | class Instruction; |
||
| 30 | class IRBuilderBase; |
||
| 31 | class Value; |
||
| 32 | class Type; |
||
| 33 | class DataLayout; |
||
| 34 | namespace VNCoercion { |
||
| 35 | /// Return true if CoerceAvailableValueToLoadType would succeed if it was |
||
| 36 | /// called. |
||
| 37 | bool canCoerceMustAliasedValueToLoad(Value *StoredVal, Type *LoadTy, |
||
| 38 | const DataLayout &DL); |
||
| 39 | |||
| 40 | /// If we saw a store of a value to memory, and then a load from a must-aliased |
||
| 41 | /// pointer of a different type, try to coerce the stored value to the loaded |
||
| 42 | /// type. LoadedTy is the type of the load we want to replace. IRB is |
||
| 43 | /// IRBuilder used to insert new instructions. |
||
| 44 | /// |
||
| 45 | /// If we can't do it, return null. |
||
| 46 | Value *coerceAvailableValueToLoadType(Value *StoredVal, Type *LoadedTy, |
||
| 47 | IRBuilderBase &IRB, const DataLayout &DL); |
||
| 48 | |||
| 49 | /// This function determines whether a value for the pointer LoadPtr can be |
||
| 50 | /// extracted from the store at DepSI. |
||
| 51 | /// |
||
| 52 | /// On success, it returns the offset into DepSI that extraction would start. |
||
| 53 | /// On failure, it returns -1. |
||
| 54 | int analyzeLoadFromClobberingStore(Type *LoadTy, Value *LoadPtr, |
||
| 55 | StoreInst *DepSI, const DataLayout &DL); |
||
| 56 | |||
| 57 | /// This function determines whether a value for the pointer LoadPtr can be |
||
| 58 | /// extracted from the load at DepLI. |
||
| 59 | /// |
||
| 60 | /// On success, it returns the offset into DepLI that extraction would start. |
||
| 61 | /// On failure, it returns -1. |
||
| 62 | int analyzeLoadFromClobberingLoad(Type *LoadTy, Value *LoadPtr, LoadInst *DepLI, |
||
| 63 | const DataLayout &DL); |
||
| 64 | |||
| 65 | /// This function determines whether a value for the pointer LoadPtr can be |
||
| 66 | /// extracted from the memory intrinsic at DepMI. |
||
| 67 | /// |
||
| 68 | /// On success, it returns the offset into DepMI that extraction would start. |
||
| 69 | /// On failure, it returns -1. |
||
| 70 | int analyzeLoadFromClobberingMemInst(Type *LoadTy, Value *LoadPtr, |
||
| 71 | MemIntrinsic *DepMI, const DataLayout &DL); |
||
| 72 | |||
| 73 | /// If analyzeLoadFromClobberingStore returned an offset, this function can be |
||
| 74 | /// used to actually perform the extraction of the bits from the store. It |
||
| 75 | /// inserts instructions to do so at InsertPt, and returns the extracted value. |
||
| 76 | Value *getStoreValueForLoad(Value *SrcVal, unsigned Offset, Type *LoadTy, |
||
| 77 | Instruction *InsertPt, const DataLayout &DL); |
||
| 78 | // This is the same as getStoreValueForLoad, except it performs no insertion |
||
| 79 | // It only allows constant inputs. |
||
| 80 | Constant *getConstantStoreValueForLoad(Constant *SrcVal, unsigned Offset, |
||
| 81 | Type *LoadTy, const DataLayout &DL); |
||
| 82 | |||
| 83 | /// If analyzeLoadFromClobberingLoad returned an offset, this function can be |
||
| 84 | /// used to actually perform the extraction of the bits from the load, including |
||
| 85 | /// any necessary load widening. It inserts instructions to do so at InsertPt, |
||
| 86 | /// and returns the extracted value. |
||
| 87 | Value *getLoadValueForLoad(LoadInst *SrcVal, unsigned Offset, Type *LoadTy, |
||
| 88 | Instruction *InsertPt, const DataLayout &DL); |
||
| 89 | // This is the same as getLoadValueForLoad, except it is given the load value as |
||
| 90 | // a constant. It returns nullptr if it would require widening the load. |
||
| 91 | Constant *getConstantLoadValueForLoad(Constant *SrcVal, unsigned Offset, |
||
| 92 | Type *LoadTy, const DataLayout &DL); |
||
| 93 | |||
| 94 | /// If analyzeLoadFromClobberingMemInst returned an offset, this function can be |
||
| 95 | /// used to actually perform the extraction of the bits from the memory |
||
| 96 | /// intrinsic. It inserts instructions to do so at InsertPt, and returns the |
||
| 97 | /// extracted value. |
||
| 98 | Value *getMemInstValueForLoad(MemIntrinsic *SrcInst, unsigned Offset, |
||
| 99 | Type *LoadTy, Instruction *InsertPt, |
||
| 100 | const DataLayout &DL); |
||
| 101 | // This is the same as getStoreValueForLoad, except it performs no insertion. |
||
| 102 | // It returns nullptr if it cannot produce a constant. |
||
| 103 | Constant *getConstantMemInstValueForLoad(MemIntrinsic *SrcInst, unsigned Offset, |
||
| 104 | Type *LoadTy, const DataLayout &DL); |
||
| 105 | } |
||
| 106 | } |
||
| 107 | #endif |