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 |