10b57cec5SDimitry Andric //===- FunctionComparator.h - Function Comparator -------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the FunctionComparator and GlobalNumberState classes
100b57cec5SDimitry Andric // which are used by the MergeFunctions pass for comparing functions.
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #include "llvm/Transforms/Utils/FunctionComparator.h"
150b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h"
160b57cec5SDimitry Andric #include "llvm/ADT/APInt.h"
170b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
180b57cec5SDimitry Andric #include "llvm/ADT/Hashing.h"
190b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h"
200b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
210b57cec5SDimitry Andric #include "llvm/IR/Attributes.h"
220b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
230b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
240b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
250b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h"
260b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
270b57cec5SDimitry Andric #include "llvm/IR/Function.h"
280b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
290b57cec5SDimitry Andric #include "llvm/IR/InlineAsm.h"
300b57cec5SDimitry Andric #include "llvm/IR/InstrTypes.h"
310b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
320b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
330b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
340b57cec5SDimitry Andric #include "llvm/IR/Metadata.h"
350b57cec5SDimitry Andric #include "llvm/IR/Module.h"
360b57cec5SDimitry Andric #include "llvm/IR/Operator.h"
370b57cec5SDimitry Andric #include "llvm/IR/Type.h"
380b57cec5SDimitry Andric #include "llvm/IR/Value.h"
390b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
400b57cec5SDimitry Andric #include "llvm/Support/Compiler.h"
410b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
420b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
430b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
440b57cec5SDimitry Andric #include <cassert>
450b57cec5SDimitry Andric #include <cstddef>
460b57cec5SDimitry Andric #include <cstdint>
470b57cec5SDimitry Andric #include <utility>
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric using namespace llvm;
500b57cec5SDimitry Andric 
510b57cec5SDimitry Andric #define DEBUG_TYPE "functioncomparator"
520b57cec5SDimitry Andric 
cmpNumbers(uint64_t L,uint64_t R) const530b57cec5SDimitry Andric int FunctionComparator::cmpNumbers(uint64_t L, uint64_t R) const {
545ffd83dbSDimitry Andric   if (L < R)
555ffd83dbSDimitry Andric     return -1;
565ffd83dbSDimitry Andric   if (L > R)
575ffd83dbSDimitry Andric     return 1;
580b57cec5SDimitry Andric   return 0;
590b57cec5SDimitry Andric }
600b57cec5SDimitry Andric 
cmpOrderings(AtomicOrdering L,AtomicOrdering R) const610b57cec5SDimitry Andric int FunctionComparator::cmpOrderings(AtomicOrdering L, AtomicOrdering R) const {
625ffd83dbSDimitry Andric   if ((int)L < (int)R)
635ffd83dbSDimitry Andric     return -1;
645ffd83dbSDimitry Andric   if ((int)L > (int)R)
655ffd83dbSDimitry Andric     return 1;
660b57cec5SDimitry Andric   return 0;
670b57cec5SDimitry Andric }
680b57cec5SDimitry Andric 
cmpAPInts(const APInt & L,const APInt & R) const690b57cec5SDimitry Andric int FunctionComparator::cmpAPInts(const APInt &L, const APInt &R) const {
700b57cec5SDimitry Andric   if (int Res = cmpNumbers(L.getBitWidth(), R.getBitWidth()))
710b57cec5SDimitry Andric     return Res;
725ffd83dbSDimitry Andric   if (L.ugt(R))
735ffd83dbSDimitry Andric     return 1;
745ffd83dbSDimitry Andric   if (R.ugt(L))
755ffd83dbSDimitry Andric     return -1;
760b57cec5SDimitry Andric   return 0;
770b57cec5SDimitry Andric }
780b57cec5SDimitry Andric 
cmpAPFloats(const APFloat & L,const APFloat & R) const790b57cec5SDimitry Andric int FunctionComparator::cmpAPFloats(const APFloat &L, const APFloat &R) const {
800b57cec5SDimitry Andric   // Floats are ordered first by semantics (i.e. float, double, half, etc.),
810b57cec5SDimitry Andric   // then by value interpreted as a bitstring (aka APInt).
820b57cec5SDimitry Andric   const fltSemantics &SL = L.getSemantics(), &SR = R.getSemantics();
830b57cec5SDimitry Andric   if (int Res = cmpNumbers(APFloat::semanticsPrecision(SL),
840b57cec5SDimitry Andric                            APFloat::semanticsPrecision(SR)))
850b57cec5SDimitry Andric     return Res;
860b57cec5SDimitry Andric   if (int Res = cmpNumbers(APFloat::semanticsMaxExponent(SL),
870b57cec5SDimitry Andric                            APFloat::semanticsMaxExponent(SR)))
880b57cec5SDimitry Andric     return Res;
890b57cec5SDimitry Andric   if (int Res = cmpNumbers(APFloat::semanticsMinExponent(SL),
900b57cec5SDimitry Andric                            APFloat::semanticsMinExponent(SR)))
910b57cec5SDimitry Andric     return Res;
920b57cec5SDimitry Andric   if (int Res = cmpNumbers(APFloat::semanticsSizeInBits(SL),
930b57cec5SDimitry Andric                            APFloat::semanticsSizeInBits(SR)))
940b57cec5SDimitry Andric     return Res;
950b57cec5SDimitry Andric   return cmpAPInts(L.bitcastToAPInt(), R.bitcastToAPInt());
960b57cec5SDimitry Andric }
970b57cec5SDimitry Andric 
cmpMem(StringRef L,StringRef R) const980b57cec5SDimitry Andric int FunctionComparator::cmpMem(StringRef L, StringRef R) const {
990b57cec5SDimitry Andric   // Prevent heavy comparison, compare sizes first.
1000b57cec5SDimitry Andric   if (int Res = cmpNumbers(L.size(), R.size()))
1010b57cec5SDimitry Andric     return Res;
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric   // Compare strings lexicographically only when it is necessary: only when
1040b57cec5SDimitry Andric   // strings are equal in size.
1050b57cec5SDimitry Andric   return L.compare(R);
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric 
cmpAttrs(const AttributeList L,const AttributeList R) const1080b57cec5SDimitry Andric int FunctionComparator::cmpAttrs(const AttributeList L,
1090b57cec5SDimitry Andric                                  const AttributeList R) const {
1100b57cec5SDimitry Andric   if (int Res = cmpNumbers(L.getNumAttrSets(), R.getNumAttrSets()))
1110b57cec5SDimitry Andric     return Res;
1120b57cec5SDimitry Andric 
1130b57cec5SDimitry Andric   for (unsigned i = L.index_begin(), e = L.index_end(); i != e; ++i) {
1140b57cec5SDimitry Andric     AttributeSet LAS = L.getAttributes(i);
1150b57cec5SDimitry Andric     AttributeSet RAS = R.getAttributes(i);
1160b57cec5SDimitry Andric     AttributeSet::iterator LI = LAS.begin(), LE = LAS.end();
1170b57cec5SDimitry Andric     AttributeSet::iterator RI = RAS.begin(), RE = RAS.end();
1180b57cec5SDimitry Andric     for (; LI != LE && RI != RE; ++LI, ++RI) {
1190b57cec5SDimitry Andric       Attribute LA = *LI;
1200b57cec5SDimitry Andric       Attribute RA = *RI;
1210b57cec5SDimitry Andric       if (LA.isTypeAttribute() && RA.isTypeAttribute()) {
1220b57cec5SDimitry Andric         if (LA.getKindAsEnum() != RA.getKindAsEnum())
1230b57cec5SDimitry Andric           return cmpNumbers(LA.getKindAsEnum(), RA.getKindAsEnum());
1240b57cec5SDimitry Andric 
1250b57cec5SDimitry Andric         Type *TyL = LA.getValueAsType();
1260b57cec5SDimitry Andric         Type *TyR = RA.getValueAsType();
127*af732203SDimitry Andric         if (TyL && TyR) {
128*af732203SDimitry Andric           if (int Res = cmpTypes(TyL, TyR))
129*af732203SDimitry Andric             return Res;
130*af732203SDimitry Andric           continue;
131*af732203SDimitry Andric         }
1320b57cec5SDimitry Andric 
1330b57cec5SDimitry Andric         // Two pointers, at least one null, so the comparison result is
1340b57cec5SDimitry Andric         // independent of the value of a real pointer.
135*af732203SDimitry Andric         if (int Res = cmpNumbers((uint64_t)TyL, (uint64_t)TyR))
136*af732203SDimitry Andric           return Res;
137*af732203SDimitry Andric         continue;
1380b57cec5SDimitry Andric       }
1390b57cec5SDimitry Andric       if (LA < RA)
1400b57cec5SDimitry Andric         return -1;
1410b57cec5SDimitry Andric       if (RA < LA)
1420b57cec5SDimitry Andric         return 1;
1430b57cec5SDimitry Andric     }
1440b57cec5SDimitry Andric     if (LI != LE)
1450b57cec5SDimitry Andric       return 1;
1460b57cec5SDimitry Andric     if (RI != RE)
1470b57cec5SDimitry Andric       return -1;
1480b57cec5SDimitry Andric   }
1490b57cec5SDimitry Andric   return 0;
1500b57cec5SDimitry Andric }
1510b57cec5SDimitry Andric 
cmpRangeMetadata(const MDNode * L,const MDNode * R) const1520b57cec5SDimitry Andric int FunctionComparator::cmpRangeMetadata(const MDNode *L,
1530b57cec5SDimitry Andric                                          const MDNode *R) const {
1540b57cec5SDimitry Andric   if (L == R)
1550b57cec5SDimitry Andric     return 0;
1560b57cec5SDimitry Andric   if (!L)
1570b57cec5SDimitry Andric     return -1;
1580b57cec5SDimitry Andric   if (!R)
1590b57cec5SDimitry Andric     return 1;
1600b57cec5SDimitry Andric   // Range metadata is a sequence of numbers. Make sure they are the same
1610b57cec5SDimitry Andric   // sequence.
1620b57cec5SDimitry Andric   // TODO: Note that as this is metadata, it is possible to drop and/or merge
1630b57cec5SDimitry Andric   // this data when considering functions to merge. Thus this comparison would
1640b57cec5SDimitry Andric   // return 0 (i.e. equivalent), but merging would become more complicated
1650b57cec5SDimitry Andric   // because the ranges would need to be unioned. It is not likely that
1660b57cec5SDimitry Andric   // functions differ ONLY in this metadata if they are actually the same
1670b57cec5SDimitry Andric   // function semantically.
1680b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getNumOperands(), R->getNumOperands()))
1690b57cec5SDimitry Andric     return Res;
1700b57cec5SDimitry Andric   for (size_t I = 0; I < L->getNumOperands(); ++I) {
1710b57cec5SDimitry Andric     ConstantInt *LLow = mdconst::extract<ConstantInt>(L->getOperand(I));
1720b57cec5SDimitry Andric     ConstantInt *RLow = mdconst::extract<ConstantInt>(R->getOperand(I));
1730b57cec5SDimitry Andric     if (int Res = cmpAPInts(LLow->getValue(), RLow->getValue()))
1740b57cec5SDimitry Andric       return Res;
1750b57cec5SDimitry Andric   }
1760b57cec5SDimitry Andric   return 0;
1770b57cec5SDimitry Andric }
1780b57cec5SDimitry Andric 
cmpOperandBundlesSchema(const CallBase & LCS,const CallBase & RCS) const1795ffd83dbSDimitry Andric int FunctionComparator::cmpOperandBundlesSchema(const CallBase &LCS,
1805ffd83dbSDimitry Andric                                                 const CallBase &RCS) const {
1815ffd83dbSDimitry Andric   assert(LCS.getOpcode() == RCS.getOpcode() && "Can't compare otherwise!");
1820b57cec5SDimitry Andric 
1830b57cec5SDimitry Andric   if (int Res =
1840b57cec5SDimitry Andric           cmpNumbers(LCS.getNumOperandBundles(), RCS.getNumOperandBundles()))
1850b57cec5SDimitry Andric     return Res;
1860b57cec5SDimitry Andric 
1875ffd83dbSDimitry Andric   for (unsigned I = 0, E = LCS.getNumOperandBundles(); I != E; ++I) {
1885ffd83dbSDimitry Andric     auto OBL = LCS.getOperandBundleAt(I);
1895ffd83dbSDimitry Andric     auto OBR = RCS.getOperandBundleAt(I);
1900b57cec5SDimitry Andric 
1910b57cec5SDimitry Andric     if (int Res = OBL.getTagName().compare(OBR.getTagName()))
1920b57cec5SDimitry Andric       return Res;
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric     if (int Res = cmpNumbers(OBL.Inputs.size(), OBR.Inputs.size()))
1950b57cec5SDimitry Andric       return Res;
1960b57cec5SDimitry Andric   }
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric   return 0;
1990b57cec5SDimitry Andric }
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric /// Constants comparison:
2020b57cec5SDimitry Andric /// 1. Check whether type of L constant could be losslessly bitcasted to R
2030b57cec5SDimitry Andric /// type.
2040b57cec5SDimitry Andric /// 2. Compare constant contents.
2050b57cec5SDimitry Andric /// For more details see declaration comments.
cmpConstants(const Constant * L,const Constant * R) const2060b57cec5SDimitry Andric int FunctionComparator::cmpConstants(const Constant *L,
2070b57cec5SDimitry Andric                                      const Constant *R) const {
2080b57cec5SDimitry Andric   Type *TyL = L->getType();
2090b57cec5SDimitry Andric   Type *TyR = R->getType();
2100b57cec5SDimitry Andric 
2110b57cec5SDimitry Andric   // Check whether types are bitcastable. This part is just re-factored
2120b57cec5SDimitry Andric   // Type::canLosslesslyBitCastTo method, but instead of returning true/false,
2130b57cec5SDimitry Andric   // we also pack into result which type is "less" for us.
2140b57cec5SDimitry Andric   int TypesRes = cmpTypes(TyL, TyR);
2150b57cec5SDimitry Andric   if (TypesRes != 0) {
2160b57cec5SDimitry Andric     // Types are different, but check whether we can bitcast them.
2170b57cec5SDimitry Andric     if (!TyL->isFirstClassType()) {
2180b57cec5SDimitry Andric       if (TyR->isFirstClassType())
2190b57cec5SDimitry Andric         return -1;
2200b57cec5SDimitry Andric       // Neither TyL nor TyR are values of first class type. Return the result
2210b57cec5SDimitry Andric       // of comparing the types
2220b57cec5SDimitry Andric       return TypesRes;
2230b57cec5SDimitry Andric     }
2240b57cec5SDimitry Andric     if (!TyR->isFirstClassType()) {
2250b57cec5SDimitry Andric       if (TyL->isFirstClassType())
2260b57cec5SDimitry Andric         return 1;
2270b57cec5SDimitry Andric       return TypesRes;
2280b57cec5SDimitry Andric     }
2290b57cec5SDimitry Andric 
2300b57cec5SDimitry Andric     // Vector -> Vector conversions are always lossless if the two vector types
2310b57cec5SDimitry Andric     // have the same size, otherwise not.
2320b57cec5SDimitry Andric     unsigned TyLWidth = 0;
2330b57cec5SDimitry Andric     unsigned TyRWidth = 0;
2340b57cec5SDimitry Andric 
2350b57cec5SDimitry Andric     if (auto *VecTyL = dyn_cast<VectorType>(TyL))
2365ffd83dbSDimitry Andric       TyLWidth = VecTyL->getPrimitiveSizeInBits().getFixedSize();
2370b57cec5SDimitry Andric     if (auto *VecTyR = dyn_cast<VectorType>(TyR))
2385ffd83dbSDimitry Andric       TyRWidth = VecTyR->getPrimitiveSizeInBits().getFixedSize();
2390b57cec5SDimitry Andric 
2400b57cec5SDimitry Andric     if (TyLWidth != TyRWidth)
2410b57cec5SDimitry Andric       return cmpNumbers(TyLWidth, TyRWidth);
2420b57cec5SDimitry Andric 
2430b57cec5SDimitry Andric     // Zero bit-width means neither TyL nor TyR are vectors.
2440b57cec5SDimitry Andric     if (!TyLWidth) {
2450b57cec5SDimitry Andric       PointerType *PTyL = dyn_cast<PointerType>(TyL);
2460b57cec5SDimitry Andric       PointerType *PTyR = dyn_cast<PointerType>(TyR);
2470b57cec5SDimitry Andric       if (PTyL && PTyR) {
2480b57cec5SDimitry Andric         unsigned AddrSpaceL = PTyL->getAddressSpace();
2490b57cec5SDimitry Andric         unsigned AddrSpaceR = PTyR->getAddressSpace();
2500b57cec5SDimitry Andric         if (int Res = cmpNumbers(AddrSpaceL, AddrSpaceR))
2510b57cec5SDimitry Andric           return Res;
2520b57cec5SDimitry Andric       }
2530b57cec5SDimitry Andric       if (PTyL)
2540b57cec5SDimitry Andric         return 1;
2550b57cec5SDimitry Andric       if (PTyR)
2560b57cec5SDimitry Andric         return -1;
2570b57cec5SDimitry Andric 
2580b57cec5SDimitry Andric       // TyL and TyR aren't vectors, nor pointers. We don't know how to
2590b57cec5SDimitry Andric       // bitcast them.
2600b57cec5SDimitry Andric       return TypesRes;
2610b57cec5SDimitry Andric     }
2620b57cec5SDimitry Andric   }
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric   // OK, types are bitcastable, now check constant contents.
2650b57cec5SDimitry Andric 
2660b57cec5SDimitry Andric   if (L->isNullValue() && R->isNullValue())
2670b57cec5SDimitry Andric     return TypesRes;
2680b57cec5SDimitry Andric   if (L->isNullValue() && !R->isNullValue())
2690b57cec5SDimitry Andric     return 1;
2700b57cec5SDimitry Andric   if (!L->isNullValue() && R->isNullValue())
2710b57cec5SDimitry Andric     return -1;
2720b57cec5SDimitry Andric 
2730b57cec5SDimitry Andric   auto GlobalValueL = const_cast<GlobalValue *>(dyn_cast<GlobalValue>(L));
2740b57cec5SDimitry Andric   auto GlobalValueR = const_cast<GlobalValue *>(dyn_cast<GlobalValue>(R));
2750b57cec5SDimitry Andric   if (GlobalValueL && GlobalValueR) {
2760b57cec5SDimitry Andric     return cmpGlobalValues(GlobalValueL, GlobalValueR);
2770b57cec5SDimitry Andric   }
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getValueID(), R->getValueID()))
2800b57cec5SDimitry Andric     return Res;
2810b57cec5SDimitry Andric 
2820b57cec5SDimitry Andric   if (const auto *SeqL = dyn_cast<ConstantDataSequential>(L)) {
2830b57cec5SDimitry Andric     const auto *SeqR = cast<ConstantDataSequential>(R);
2840b57cec5SDimitry Andric     // This handles ConstantDataArray and ConstantDataVector. Note that we
2850b57cec5SDimitry Andric     // compare the two raw data arrays, which might differ depending on the host
2860b57cec5SDimitry Andric     // endianness. This isn't a problem though, because the endiness of a module
2870b57cec5SDimitry Andric     // will affect the order of the constants, but this order is the same
2880b57cec5SDimitry Andric     // for a given input module and host platform.
2890b57cec5SDimitry Andric     return cmpMem(SeqL->getRawDataValues(), SeqR->getRawDataValues());
2900b57cec5SDimitry Andric   }
2910b57cec5SDimitry Andric 
2920b57cec5SDimitry Andric   switch (L->getValueID()) {
2930b57cec5SDimitry Andric   case Value::UndefValueVal:
294*af732203SDimitry Andric   case Value::PoisonValueVal:
2950b57cec5SDimitry Andric   case Value::ConstantTokenNoneVal:
2960b57cec5SDimitry Andric     return TypesRes;
2970b57cec5SDimitry Andric   case Value::ConstantIntVal: {
2980b57cec5SDimitry Andric     const APInt &LInt = cast<ConstantInt>(L)->getValue();
2990b57cec5SDimitry Andric     const APInt &RInt = cast<ConstantInt>(R)->getValue();
3000b57cec5SDimitry Andric     return cmpAPInts(LInt, RInt);
3010b57cec5SDimitry Andric   }
3020b57cec5SDimitry Andric   case Value::ConstantFPVal: {
3030b57cec5SDimitry Andric     const APFloat &LAPF = cast<ConstantFP>(L)->getValueAPF();
3040b57cec5SDimitry Andric     const APFloat &RAPF = cast<ConstantFP>(R)->getValueAPF();
3050b57cec5SDimitry Andric     return cmpAPFloats(LAPF, RAPF);
3060b57cec5SDimitry Andric   }
3070b57cec5SDimitry Andric   case Value::ConstantArrayVal: {
3080b57cec5SDimitry Andric     const ConstantArray *LA = cast<ConstantArray>(L);
3090b57cec5SDimitry Andric     const ConstantArray *RA = cast<ConstantArray>(R);
3100b57cec5SDimitry Andric     uint64_t NumElementsL = cast<ArrayType>(TyL)->getNumElements();
3110b57cec5SDimitry Andric     uint64_t NumElementsR = cast<ArrayType>(TyR)->getNumElements();
3120b57cec5SDimitry Andric     if (int Res = cmpNumbers(NumElementsL, NumElementsR))
3130b57cec5SDimitry Andric       return Res;
3140b57cec5SDimitry Andric     for (uint64_t i = 0; i < NumElementsL; ++i) {
3150b57cec5SDimitry Andric       if (int Res = cmpConstants(cast<Constant>(LA->getOperand(i)),
3160b57cec5SDimitry Andric                                  cast<Constant>(RA->getOperand(i))))
3170b57cec5SDimitry Andric         return Res;
3180b57cec5SDimitry Andric     }
3190b57cec5SDimitry Andric     return 0;
3200b57cec5SDimitry Andric   }
3210b57cec5SDimitry Andric   case Value::ConstantStructVal: {
3220b57cec5SDimitry Andric     const ConstantStruct *LS = cast<ConstantStruct>(L);
3230b57cec5SDimitry Andric     const ConstantStruct *RS = cast<ConstantStruct>(R);
3240b57cec5SDimitry Andric     unsigned NumElementsL = cast<StructType>(TyL)->getNumElements();
3250b57cec5SDimitry Andric     unsigned NumElementsR = cast<StructType>(TyR)->getNumElements();
3260b57cec5SDimitry Andric     if (int Res = cmpNumbers(NumElementsL, NumElementsR))
3270b57cec5SDimitry Andric       return Res;
3280b57cec5SDimitry Andric     for (unsigned i = 0; i != NumElementsL; ++i) {
3290b57cec5SDimitry Andric       if (int Res = cmpConstants(cast<Constant>(LS->getOperand(i)),
3300b57cec5SDimitry Andric                                  cast<Constant>(RS->getOperand(i))))
3310b57cec5SDimitry Andric         return Res;
3320b57cec5SDimitry Andric     }
3330b57cec5SDimitry Andric     return 0;
3340b57cec5SDimitry Andric   }
3350b57cec5SDimitry Andric   case Value::ConstantVectorVal: {
3360b57cec5SDimitry Andric     const ConstantVector *LV = cast<ConstantVector>(L);
3370b57cec5SDimitry Andric     const ConstantVector *RV = cast<ConstantVector>(R);
3385ffd83dbSDimitry Andric     unsigned NumElementsL = cast<FixedVectorType>(TyL)->getNumElements();
3395ffd83dbSDimitry Andric     unsigned NumElementsR = cast<FixedVectorType>(TyR)->getNumElements();
3400b57cec5SDimitry Andric     if (int Res = cmpNumbers(NumElementsL, NumElementsR))
3410b57cec5SDimitry Andric       return Res;
3420b57cec5SDimitry Andric     for (uint64_t i = 0; i < NumElementsL; ++i) {
3430b57cec5SDimitry Andric       if (int Res = cmpConstants(cast<Constant>(LV->getOperand(i)),
3440b57cec5SDimitry Andric                                  cast<Constant>(RV->getOperand(i))))
3450b57cec5SDimitry Andric         return Res;
3460b57cec5SDimitry Andric     }
3470b57cec5SDimitry Andric     return 0;
3480b57cec5SDimitry Andric   }
3490b57cec5SDimitry Andric   case Value::ConstantExprVal: {
3500b57cec5SDimitry Andric     const ConstantExpr *LE = cast<ConstantExpr>(L);
3510b57cec5SDimitry Andric     const ConstantExpr *RE = cast<ConstantExpr>(R);
3520b57cec5SDimitry Andric     unsigned NumOperandsL = LE->getNumOperands();
3530b57cec5SDimitry Andric     unsigned NumOperandsR = RE->getNumOperands();
3540b57cec5SDimitry Andric     if (int Res = cmpNumbers(NumOperandsL, NumOperandsR))
3550b57cec5SDimitry Andric       return Res;
3560b57cec5SDimitry Andric     for (unsigned i = 0; i < NumOperandsL; ++i) {
3570b57cec5SDimitry Andric       if (int Res = cmpConstants(cast<Constant>(LE->getOperand(i)),
3580b57cec5SDimitry Andric                                  cast<Constant>(RE->getOperand(i))))
3590b57cec5SDimitry Andric         return Res;
3600b57cec5SDimitry Andric     }
3610b57cec5SDimitry Andric     return 0;
3620b57cec5SDimitry Andric   }
3630b57cec5SDimitry Andric   case Value::BlockAddressVal: {
3640b57cec5SDimitry Andric     const BlockAddress *LBA = cast<BlockAddress>(L);
3650b57cec5SDimitry Andric     const BlockAddress *RBA = cast<BlockAddress>(R);
3660b57cec5SDimitry Andric     if (int Res = cmpValues(LBA->getFunction(), RBA->getFunction()))
3670b57cec5SDimitry Andric       return Res;
3680b57cec5SDimitry Andric     if (LBA->getFunction() == RBA->getFunction()) {
3690b57cec5SDimitry Andric       // They are BBs in the same function. Order by which comes first in the
3700b57cec5SDimitry Andric       // BB order of the function. This order is deterministic.
3710b57cec5SDimitry Andric       Function *F = LBA->getFunction();
3720b57cec5SDimitry Andric       BasicBlock *LBB = LBA->getBasicBlock();
3730b57cec5SDimitry Andric       BasicBlock *RBB = RBA->getBasicBlock();
3740b57cec5SDimitry Andric       if (LBB == RBB)
3750b57cec5SDimitry Andric         return 0;
3760b57cec5SDimitry Andric       for (BasicBlock &BB : F->getBasicBlockList()) {
3770b57cec5SDimitry Andric         if (&BB == LBB) {
3780b57cec5SDimitry Andric           assert(&BB != RBB);
3790b57cec5SDimitry Andric           return -1;
3800b57cec5SDimitry Andric         }
3810b57cec5SDimitry Andric         if (&BB == RBB)
3820b57cec5SDimitry Andric           return 1;
3830b57cec5SDimitry Andric       }
3840b57cec5SDimitry Andric       llvm_unreachable("Basic Block Address does not point to a basic block in "
3850b57cec5SDimitry Andric                        "its function.");
3860b57cec5SDimitry Andric       return -1;
3870b57cec5SDimitry Andric     } else {
3880b57cec5SDimitry Andric       // cmpValues said the functions are the same. So because they aren't
3890b57cec5SDimitry Andric       // literally the same pointer, they must respectively be the left and
3900b57cec5SDimitry Andric       // right functions.
3910b57cec5SDimitry Andric       assert(LBA->getFunction() == FnL && RBA->getFunction() == FnR);
3920b57cec5SDimitry Andric       // cmpValues will tell us if these are equivalent BasicBlocks, in the
3930b57cec5SDimitry Andric       // context of their respective functions.
3940b57cec5SDimitry Andric       return cmpValues(LBA->getBasicBlock(), RBA->getBasicBlock());
3950b57cec5SDimitry Andric     }
3960b57cec5SDimitry Andric   }
3970b57cec5SDimitry Andric   default: // Unknown constant, abort.
3980b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "Looking at valueID " << L->getValueID() << "\n");
3990b57cec5SDimitry Andric     llvm_unreachable("Constant ValueID not recognized.");
4000b57cec5SDimitry Andric     return -1;
4010b57cec5SDimitry Andric   }
4020b57cec5SDimitry Andric }
4030b57cec5SDimitry Andric 
cmpGlobalValues(GlobalValue * L,GlobalValue * R) const4040b57cec5SDimitry Andric int FunctionComparator::cmpGlobalValues(GlobalValue *L, GlobalValue *R) const {
4050b57cec5SDimitry Andric   uint64_t LNumber = GlobalNumbers->getNumber(L);
4060b57cec5SDimitry Andric   uint64_t RNumber = GlobalNumbers->getNumber(R);
4070b57cec5SDimitry Andric   return cmpNumbers(LNumber, RNumber);
4080b57cec5SDimitry Andric }
4090b57cec5SDimitry Andric 
4100b57cec5SDimitry Andric /// cmpType - compares two types,
4110b57cec5SDimitry Andric /// defines total ordering among the types set.
4120b57cec5SDimitry Andric /// See method declaration comments for more details.
cmpTypes(Type * TyL,Type * TyR) const4130b57cec5SDimitry Andric int FunctionComparator::cmpTypes(Type *TyL, Type *TyR) const {
4140b57cec5SDimitry Andric   PointerType *PTyL = dyn_cast<PointerType>(TyL);
4150b57cec5SDimitry Andric   PointerType *PTyR = dyn_cast<PointerType>(TyR);
4160b57cec5SDimitry Andric 
4170b57cec5SDimitry Andric   const DataLayout &DL = FnL->getParent()->getDataLayout();
4180b57cec5SDimitry Andric   if (PTyL && PTyL->getAddressSpace() == 0)
4190b57cec5SDimitry Andric     TyL = DL.getIntPtrType(TyL);
4200b57cec5SDimitry Andric   if (PTyR && PTyR->getAddressSpace() == 0)
4210b57cec5SDimitry Andric     TyR = DL.getIntPtrType(TyR);
4220b57cec5SDimitry Andric 
4230b57cec5SDimitry Andric   if (TyL == TyR)
4240b57cec5SDimitry Andric     return 0;
4250b57cec5SDimitry Andric 
4260b57cec5SDimitry Andric   if (int Res = cmpNumbers(TyL->getTypeID(), TyR->getTypeID()))
4270b57cec5SDimitry Andric     return Res;
4280b57cec5SDimitry Andric 
4290b57cec5SDimitry Andric   switch (TyL->getTypeID()) {
4300b57cec5SDimitry Andric   default:
4310b57cec5SDimitry Andric     llvm_unreachable("Unknown type!");
4320b57cec5SDimitry Andric   case Type::IntegerTyID:
4330b57cec5SDimitry Andric     return cmpNumbers(cast<IntegerType>(TyL)->getBitWidth(),
4340b57cec5SDimitry Andric                       cast<IntegerType>(TyR)->getBitWidth());
4350b57cec5SDimitry Andric   // TyL == TyR would have returned true earlier, because types are uniqued.
4360b57cec5SDimitry Andric   case Type::VoidTyID:
4370b57cec5SDimitry Andric   case Type::FloatTyID:
4380b57cec5SDimitry Andric   case Type::DoubleTyID:
4390b57cec5SDimitry Andric   case Type::X86_FP80TyID:
4400b57cec5SDimitry Andric   case Type::FP128TyID:
4410b57cec5SDimitry Andric   case Type::PPC_FP128TyID:
4420b57cec5SDimitry Andric   case Type::LabelTyID:
4430b57cec5SDimitry Andric   case Type::MetadataTyID:
4440b57cec5SDimitry Andric   case Type::TokenTyID:
4450b57cec5SDimitry Andric     return 0;
4460b57cec5SDimitry Andric 
4470b57cec5SDimitry Andric   case Type::PointerTyID:
4480b57cec5SDimitry Andric     assert(PTyL && PTyR && "Both types must be pointers here.");
4490b57cec5SDimitry Andric     return cmpNumbers(PTyL->getAddressSpace(), PTyR->getAddressSpace());
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric   case Type::StructTyID: {
4520b57cec5SDimitry Andric     StructType *STyL = cast<StructType>(TyL);
4530b57cec5SDimitry Andric     StructType *STyR = cast<StructType>(TyR);
4540b57cec5SDimitry Andric     if (STyL->getNumElements() != STyR->getNumElements())
4550b57cec5SDimitry Andric       return cmpNumbers(STyL->getNumElements(), STyR->getNumElements());
4560b57cec5SDimitry Andric 
4570b57cec5SDimitry Andric     if (STyL->isPacked() != STyR->isPacked())
4580b57cec5SDimitry Andric       return cmpNumbers(STyL->isPacked(), STyR->isPacked());
4590b57cec5SDimitry Andric 
4600b57cec5SDimitry Andric     for (unsigned i = 0, e = STyL->getNumElements(); i != e; ++i) {
4610b57cec5SDimitry Andric       if (int Res = cmpTypes(STyL->getElementType(i), STyR->getElementType(i)))
4620b57cec5SDimitry Andric         return Res;
4630b57cec5SDimitry Andric     }
4640b57cec5SDimitry Andric     return 0;
4650b57cec5SDimitry Andric   }
4660b57cec5SDimitry Andric 
4670b57cec5SDimitry Andric   case Type::FunctionTyID: {
4680b57cec5SDimitry Andric     FunctionType *FTyL = cast<FunctionType>(TyL);
4690b57cec5SDimitry Andric     FunctionType *FTyR = cast<FunctionType>(TyR);
4700b57cec5SDimitry Andric     if (FTyL->getNumParams() != FTyR->getNumParams())
4710b57cec5SDimitry Andric       return cmpNumbers(FTyL->getNumParams(), FTyR->getNumParams());
4720b57cec5SDimitry Andric 
4730b57cec5SDimitry Andric     if (FTyL->isVarArg() != FTyR->isVarArg())
4740b57cec5SDimitry Andric       return cmpNumbers(FTyL->isVarArg(), FTyR->isVarArg());
4750b57cec5SDimitry Andric 
4760b57cec5SDimitry Andric     if (int Res = cmpTypes(FTyL->getReturnType(), FTyR->getReturnType()))
4770b57cec5SDimitry Andric       return Res;
4780b57cec5SDimitry Andric 
4790b57cec5SDimitry Andric     for (unsigned i = 0, e = FTyL->getNumParams(); i != e; ++i) {
4800b57cec5SDimitry Andric       if (int Res = cmpTypes(FTyL->getParamType(i), FTyR->getParamType(i)))
4810b57cec5SDimitry Andric         return Res;
4820b57cec5SDimitry Andric     }
4830b57cec5SDimitry Andric     return 0;
4840b57cec5SDimitry Andric   }
4850b57cec5SDimitry Andric 
4865ffd83dbSDimitry Andric   case Type::ArrayTyID: {
4875ffd83dbSDimitry Andric     auto *STyL = cast<ArrayType>(TyL);
4885ffd83dbSDimitry Andric     auto *STyR = cast<ArrayType>(TyR);
4890b57cec5SDimitry Andric     if (STyL->getNumElements() != STyR->getNumElements())
4900b57cec5SDimitry Andric       return cmpNumbers(STyL->getNumElements(), STyR->getNumElements());
4910b57cec5SDimitry Andric     return cmpTypes(STyL->getElementType(), STyR->getElementType());
4920b57cec5SDimitry Andric   }
4935ffd83dbSDimitry Andric   case Type::FixedVectorTyID:
4945ffd83dbSDimitry Andric   case Type::ScalableVectorTyID: {
4955ffd83dbSDimitry Andric     auto *STyL = cast<VectorType>(TyL);
4965ffd83dbSDimitry Andric     auto *STyR = cast<VectorType>(TyR);
497*af732203SDimitry Andric     if (STyL->getElementCount().isScalable() !=
498*af732203SDimitry Andric         STyR->getElementCount().isScalable())
499*af732203SDimitry Andric       return cmpNumbers(STyL->getElementCount().isScalable(),
500*af732203SDimitry Andric                         STyR->getElementCount().isScalable());
501*af732203SDimitry Andric     if (STyL->getElementCount() != STyR->getElementCount())
502*af732203SDimitry Andric       return cmpNumbers(STyL->getElementCount().getKnownMinValue(),
503*af732203SDimitry Andric                         STyR->getElementCount().getKnownMinValue());
5045ffd83dbSDimitry Andric     return cmpTypes(STyL->getElementType(), STyR->getElementType());
5055ffd83dbSDimitry Andric   }
5060b57cec5SDimitry Andric   }
5070b57cec5SDimitry Andric }
5080b57cec5SDimitry Andric 
5090b57cec5SDimitry Andric // Determine whether the two operations are the same except that pointer-to-A
5100b57cec5SDimitry Andric // and pointer-to-B are equivalent. This should be kept in sync with
5110b57cec5SDimitry Andric // Instruction::isSameOperationAs.
5120b57cec5SDimitry Andric // Read method declaration comments for more details.
cmpOperations(const Instruction * L,const Instruction * R,bool & needToCmpOperands) const5130b57cec5SDimitry Andric int FunctionComparator::cmpOperations(const Instruction *L,
5140b57cec5SDimitry Andric                                       const Instruction *R,
5150b57cec5SDimitry Andric                                       bool &needToCmpOperands) const {
5160b57cec5SDimitry Andric   needToCmpOperands = true;
5170b57cec5SDimitry Andric   if (int Res = cmpValues(L, R))
5180b57cec5SDimitry Andric     return Res;
5190b57cec5SDimitry Andric 
5200b57cec5SDimitry Andric   // Differences from Instruction::isSameOperationAs:
5210b57cec5SDimitry Andric   //  * replace type comparison with calls to cmpTypes.
5220b57cec5SDimitry Andric   //  * we test for I->getRawSubclassOptionalData (nuw/nsw/tail) at the top.
5230b57cec5SDimitry Andric   //  * because of the above, we don't test for the tail bit on calls later on.
5240b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getOpcode(), R->getOpcode()))
5250b57cec5SDimitry Andric     return Res;
5260b57cec5SDimitry Andric 
5270b57cec5SDimitry Andric   if (const GetElementPtrInst *GEPL = dyn_cast<GetElementPtrInst>(L)) {
5280b57cec5SDimitry Andric     needToCmpOperands = false;
5290b57cec5SDimitry Andric     const GetElementPtrInst *GEPR = cast<GetElementPtrInst>(R);
5300b57cec5SDimitry Andric     if (int Res =
5310b57cec5SDimitry Andric             cmpValues(GEPL->getPointerOperand(), GEPR->getPointerOperand()))
5320b57cec5SDimitry Andric       return Res;
5330b57cec5SDimitry Andric     return cmpGEPs(GEPL, GEPR);
5340b57cec5SDimitry Andric   }
5350b57cec5SDimitry Andric 
5360b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getNumOperands(), R->getNumOperands()))
5370b57cec5SDimitry Andric     return Res;
5380b57cec5SDimitry Andric 
5390b57cec5SDimitry Andric   if (int Res = cmpTypes(L->getType(), R->getType()))
5400b57cec5SDimitry Andric     return Res;
5410b57cec5SDimitry Andric 
5420b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getRawSubclassOptionalData(),
5430b57cec5SDimitry Andric                            R->getRawSubclassOptionalData()))
5440b57cec5SDimitry Andric     return Res;
5450b57cec5SDimitry Andric 
5460b57cec5SDimitry Andric   // We have two instructions of identical opcode and #operands.  Check to see
5470b57cec5SDimitry Andric   // if all operands are the same type
5480b57cec5SDimitry Andric   for (unsigned i = 0, e = L->getNumOperands(); i != e; ++i) {
5490b57cec5SDimitry Andric     if (int Res =
5500b57cec5SDimitry Andric             cmpTypes(L->getOperand(i)->getType(), R->getOperand(i)->getType()))
5510b57cec5SDimitry Andric       return Res;
5520b57cec5SDimitry Andric   }
5530b57cec5SDimitry Andric 
5540b57cec5SDimitry Andric   // Check special state that is a part of some instructions.
5550b57cec5SDimitry Andric   if (const AllocaInst *AI = dyn_cast<AllocaInst>(L)) {
5560b57cec5SDimitry Andric     if (int Res = cmpTypes(AI->getAllocatedType(),
5570b57cec5SDimitry Andric                            cast<AllocaInst>(R)->getAllocatedType()))
5580b57cec5SDimitry Andric       return Res;
5590b57cec5SDimitry Andric     return cmpNumbers(AI->getAlignment(), cast<AllocaInst>(R)->getAlignment());
5600b57cec5SDimitry Andric   }
5610b57cec5SDimitry Andric   if (const LoadInst *LI = dyn_cast<LoadInst>(L)) {
5620b57cec5SDimitry Andric     if (int Res = cmpNumbers(LI->isVolatile(), cast<LoadInst>(R)->isVolatile()))
5630b57cec5SDimitry Andric       return Res;
5640b57cec5SDimitry Andric     if (int Res =
5650b57cec5SDimitry Andric             cmpNumbers(LI->getAlignment(), cast<LoadInst>(R)->getAlignment()))
5660b57cec5SDimitry Andric       return Res;
5670b57cec5SDimitry Andric     if (int Res =
5680b57cec5SDimitry Andric             cmpOrderings(LI->getOrdering(), cast<LoadInst>(R)->getOrdering()))
5690b57cec5SDimitry Andric       return Res;
5700b57cec5SDimitry Andric     if (int Res = cmpNumbers(LI->getSyncScopeID(),
5710b57cec5SDimitry Andric                              cast<LoadInst>(R)->getSyncScopeID()))
5720b57cec5SDimitry Andric       return Res;
5735ffd83dbSDimitry Andric     return cmpRangeMetadata(
5745ffd83dbSDimitry Andric         LI->getMetadata(LLVMContext::MD_range),
5750b57cec5SDimitry Andric         cast<LoadInst>(R)->getMetadata(LLVMContext::MD_range));
5760b57cec5SDimitry Andric   }
5770b57cec5SDimitry Andric   if (const StoreInst *SI = dyn_cast<StoreInst>(L)) {
5780b57cec5SDimitry Andric     if (int Res =
5790b57cec5SDimitry Andric             cmpNumbers(SI->isVolatile(), cast<StoreInst>(R)->isVolatile()))
5800b57cec5SDimitry Andric       return Res;
5810b57cec5SDimitry Andric     if (int Res =
5820b57cec5SDimitry Andric             cmpNumbers(SI->getAlignment(), cast<StoreInst>(R)->getAlignment()))
5830b57cec5SDimitry Andric       return Res;
5840b57cec5SDimitry Andric     if (int Res =
5850b57cec5SDimitry Andric             cmpOrderings(SI->getOrdering(), cast<StoreInst>(R)->getOrdering()))
5860b57cec5SDimitry Andric       return Res;
5870b57cec5SDimitry Andric     return cmpNumbers(SI->getSyncScopeID(),
5880b57cec5SDimitry Andric                       cast<StoreInst>(R)->getSyncScopeID());
5890b57cec5SDimitry Andric   }
5900b57cec5SDimitry Andric   if (const CmpInst *CI = dyn_cast<CmpInst>(L))
5910b57cec5SDimitry Andric     return cmpNumbers(CI->getPredicate(), cast<CmpInst>(R)->getPredicate());
5925ffd83dbSDimitry Andric   if (auto *CBL = dyn_cast<CallBase>(L)) {
5935ffd83dbSDimitry Andric     auto *CBR = cast<CallBase>(R);
5945ffd83dbSDimitry Andric     if (int Res = cmpNumbers(CBL->getCallingConv(), CBR->getCallingConv()))
5950b57cec5SDimitry Andric       return Res;
5965ffd83dbSDimitry Andric     if (int Res = cmpAttrs(CBL->getAttributes(), CBR->getAttributes()))
5970b57cec5SDimitry Andric       return Res;
5985ffd83dbSDimitry Andric     if (int Res = cmpOperandBundlesSchema(*CBL, *CBR))
5990b57cec5SDimitry Andric       return Res;
6000b57cec5SDimitry Andric     if (const CallInst *CI = dyn_cast<CallInst>(L))
6010b57cec5SDimitry Andric       if (int Res = cmpNumbers(CI->getTailCallKind(),
6020b57cec5SDimitry Andric                                cast<CallInst>(R)->getTailCallKind()))
6030b57cec5SDimitry Andric         return Res;
6040b57cec5SDimitry Andric     return cmpRangeMetadata(L->getMetadata(LLVMContext::MD_range),
6050b57cec5SDimitry Andric                             R->getMetadata(LLVMContext::MD_range));
6060b57cec5SDimitry Andric   }
6070b57cec5SDimitry Andric   if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(L)) {
6080b57cec5SDimitry Andric     ArrayRef<unsigned> LIndices = IVI->getIndices();
6090b57cec5SDimitry Andric     ArrayRef<unsigned> RIndices = cast<InsertValueInst>(R)->getIndices();
6100b57cec5SDimitry Andric     if (int Res = cmpNumbers(LIndices.size(), RIndices.size()))
6110b57cec5SDimitry Andric       return Res;
6120b57cec5SDimitry Andric     for (size_t i = 0, e = LIndices.size(); i != e; ++i) {
6130b57cec5SDimitry Andric       if (int Res = cmpNumbers(LIndices[i], RIndices[i]))
6140b57cec5SDimitry Andric         return Res;
6150b57cec5SDimitry Andric     }
6160b57cec5SDimitry Andric     return 0;
6170b57cec5SDimitry Andric   }
6180b57cec5SDimitry Andric   if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(L)) {
6190b57cec5SDimitry Andric     ArrayRef<unsigned> LIndices = EVI->getIndices();
6200b57cec5SDimitry Andric     ArrayRef<unsigned> RIndices = cast<ExtractValueInst>(R)->getIndices();
6210b57cec5SDimitry Andric     if (int Res = cmpNumbers(LIndices.size(), RIndices.size()))
6220b57cec5SDimitry Andric       return Res;
6230b57cec5SDimitry Andric     for (size_t i = 0, e = LIndices.size(); i != e; ++i) {
6240b57cec5SDimitry Andric       if (int Res = cmpNumbers(LIndices[i], RIndices[i]))
6250b57cec5SDimitry Andric         return Res;
6260b57cec5SDimitry Andric     }
6270b57cec5SDimitry Andric   }
6280b57cec5SDimitry Andric   if (const FenceInst *FI = dyn_cast<FenceInst>(L)) {
6290b57cec5SDimitry Andric     if (int Res =
6300b57cec5SDimitry Andric             cmpOrderings(FI->getOrdering(), cast<FenceInst>(R)->getOrdering()))
6310b57cec5SDimitry Andric       return Res;
6320b57cec5SDimitry Andric     return cmpNumbers(FI->getSyncScopeID(),
6330b57cec5SDimitry Andric                       cast<FenceInst>(R)->getSyncScopeID());
6340b57cec5SDimitry Andric   }
6350b57cec5SDimitry Andric   if (const AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(L)) {
6360b57cec5SDimitry Andric     if (int Res = cmpNumbers(CXI->isVolatile(),
6370b57cec5SDimitry Andric                              cast<AtomicCmpXchgInst>(R)->isVolatile()))
6380b57cec5SDimitry Andric       return Res;
6395ffd83dbSDimitry Andric     if (int Res =
6405ffd83dbSDimitry Andric             cmpNumbers(CXI->isWeak(), cast<AtomicCmpXchgInst>(R)->isWeak()))
6410b57cec5SDimitry Andric       return Res;
6420b57cec5SDimitry Andric     if (int Res =
6430b57cec5SDimitry Andric             cmpOrderings(CXI->getSuccessOrdering(),
6440b57cec5SDimitry Andric                          cast<AtomicCmpXchgInst>(R)->getSuccessOrdering()))
6450b57cec5SDimitry Andric       return Res;
6460b57cec5SDimitry Andric     if (int Res =
6470b57cec5SDimitry Andric             cmpOrderings(CXI->getFailureOrdering(),
6480b57cec5SDimitry Andric                          cast<AtomicCmpXchgInst>(R)->getFailureOrdering()))
6490b57cec5SDimitry Andric       return Res;
6500b57cec5SDimitry Andric     return cmpNumbers(CXI->getSyncScopeID(),
6510b57cec5SDimitry Andric                       cast<AtomicCmpXchgInst>(R)->getSyncScopeID());
6520b57cec5SDimitry Andric   }
6530b57cec5SDimitry Andric   if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(L)) {
6540b57cec5SDimitry Andric     if (int Res = cmpNumbers(RMWI->getOperation(),
6550b57cec5SDimitry Andric                              cast<AtomicRMWInst>(R)->getOperation()))
6560b57cec5SDimitry Andric       return Res;
6570b57cec5SDimitry Andric     if (int Res = cmpNumbers(RMWI->isVolatile(),
6580b57cec5SDimitry Andric                              cast<AtomicRMWInst>(R)->isVolatile()))
6590b57cec5SDimitry Andric       return Res;
6600b57cec5SDimitry Andric     if (int Res = cmpOrderings(RMWI->getOrdering(),
6610b57cec5SDimitry Andric                                cast<AtomicRMWInst>(R)->getOrdering()))
6620b57cec5SDimitry Andric       return Res;
6630b57cec5SDimitry Andric     return cmpNumbers(RMWI->getSyncScopeID(),
6640b57cec5SDimitry Andric                       cast<AtomicRMWInst>(R)->getSyncScopeID());
6650b57cec5SDimitry Andric   }
6665ffd83dbSDimitry Andric   if (const ShuffleVectorInst *SVI = dyn_cast<ShuffleVectorInst>(L)) {
6675ffd83dbSDimitry Andric     ArrayRef<int> LMask = SVI->getShuffleMask();
6685ffd83dbSDimitry Andric     ArrayRef<int> RMask = cast<ShuffleVectorInst>(R)->getShuffleMask();
6695ffd83dbSDimitry Andric     if (int Res = cmpNumbers(LMask.size(), RMask.size()))
6705ffd83dbSDimitry Andric       return Res;
6715ffd83dbSDimitry Andric     for (size_t i = 0, e = LMask.size(); i != e; ++i) {
6725ffd83dbSDimitry Andric       if (int Res = cmpNumbers(LMask[i], RMask[i]))
6735ffd83dbSDimitry Andric         return Res;
6745ffd83dbSDimitry Andric     }
6755ffd83dbSDimitry Andric   }
6760b57cec5SDimitry Andric   if (const PHINode *PNL = dyn_cast<PHINode>(L)) {
6770b57cec5SDimitry Andric     const PHINode *PNR = cast<PHINode>(R);
6780b57cec5SDimitry Andric     // Ensure that in addition to the incoming values being identical
6790b57cec5SDimitry Andric     // (checked by the caller of this function), the incoming blocks
6800b57cec5SDimitry Andric     // are also identical.
6810b57cec5SDimitry Andric     for (unsigned i = 0, e = PNL->getNumIncomingValues(); i != e; ++i) {
6820b57cec5SDimitry Andric       if (int Res =
6830b57cec5SDimitry Andric               cmpValues(PNL->getIncomingBlock(i), PNR->getIncomingBlock(i)))
6840b57cec5SDimitry Andric         return Res;
6850b57cec5SDimitry Andric     }
6860b57cec5SDimitry Andric   }
6870b57cec5SDimitry Andric   return 0;
6880b57cec5SDimitry Andric }
6890b57cec5SDimitry Andric 
6900b57cec5SDimitry Andric // Determine whether two GEP operations perform the same underlying arithmetic.
6910b57cec5SDimitry Andric // Read method declaration comments for more details.
cmpGEPs(const GEPOperator * GEPL,const GEPOperator * GEPR) const6920b57cec5SDimitry Andric int FunctionComparator::cmpGEPs(const GEPOperator *GEPL,
6930b57cec5SDimitry Andric                                 const GEPOperator *GEPR) const {
6940b57cec5SDimitry Andric   unsigned int ASL = GEPL->getPointerAddressSpace();
6950b57cec5SDimitry Andric   unsigned int ASR = GEPR->getPointerAddressSpace();
6960b57cec5SDimitry Andric 
6970b57cec5SDimitry Andric   if (int Res = cmpNumbers(ASL, ASR))
6980b57cec5SDimitry Andric     return Res;
6990b57cec5SDimitry Andric 
7000b57cec5SDimitry Andric   // When we have target data, we can reduce the GEP down to the value in bytes
7010b57cec5SDimitry Andric   // added to the address.
7020b57cec5SDimitry Andric   const DataLayout &DL = FnL->getParent()->getDataLayout();
7030b57cec5SDimitry Andric   unsigned BitWidth = DL.getPointerSizeInBits(ASL);
7040b57cec5SDimitry Andric   APInt OffsetL(BitWidth, 0), OffsetR(BitWidth, 0);
7050b57cec5SDimitry Andric   if (GEPL->accumulateConstantOffset(DL, OffsetL) &&
7060b57cec5SDimitry Andric       GEPR->accumulateConstantOffset(DL, OffsetR))
7070b57cec5SDimitry Andric     return cmpAPInts(OffsetL, OffsetR);
7085ffd83dbSDimitry Andric   if (int Res =
7095ffd83dbSDimitry Andric           cmpTypes(GEPL->getSourceElementType(), GEPR->getSourceElementType()))
7100b57cec5SDimitry Andric     return Res;
7110b57cec5SDimitry Andric 
7120b57cec5SDimitry Andric   if (int Res = cmpNumbers(GEPL->getNumOperands(), GEPR->getNumOperands()))
7130b57cec5SDimitry Andric     return Res;
7140b57cec5SDimitry Andric 
7150b57cec5SDimitry Andric   for (unsigned i = 0, e = GEPL->getNumOperands(); i != e; ++i) {
7160b57cec5SDimitry Andric     if (int Res = cmpValues(GEPL->getOperand(i), GEPR->getOperand(i)))
7170b57cec5SDimitry Andric       return Res;
7180b57cec5SDimitry Andric   }
7190b57cec5SDimitry Andric 
7200b57cec5SDimitry Andric   return 0;
7210b57cec5SDimitry Andric }
7220b57cec5SDimitry Andric 
cmpInlineAsm(const InlineAsm * L,const InlineAsm * R) const7230b57cec5SDimitry Andric int FunctionComparator::cmpInlineAsm(const InlineAsm *L,
7240b57cec5SDimitry Andric                                      const InlineAsm *R) const {
7250b57cec5SDimitry Andric   // InlineAsm's are uniqued. If they are the same pointer, obviously they are
7260b57cec5SDimitry Andric   // the same, otherwise compare the fields.
7270b57cec5SDimitry Andric   if (L == R)
7280b57cec5SDimitry Andric     return 0;
7290b57cec5SDimitry Andric   if (int Res = cmpTypes(L->getFunctionType(), R->getFunctionType()))
7300b57cec5SDimitry Andric     return Res;
7310b57cec5SDimitry Andric   if (int Res = cmpMem(L->getAsmString(), R->getAsmString()))
7320b57cec5SDimitry Andric     return Res;
7330b57cec5SDimitry Andric   if (int Res = cmpMem(L->getConstraintString(), R->getConstraintString()))
7340b57cec5SDimitry Andric     return Res;
7350b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->hasSideEffects(), R->hasSideEffects()))
7360b57cec5SDimitry Andric     return Res;
7370b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->isAlignStack(), R->isAlignStack()))
7380b57cec5SDimitry Andric     return Res;
7390b57cec5SDimitry Andric   if (int Res = cmpNumbers(L->getDialect(), R->getDialect()))
7400b57cec5SDimitry Andric     return Res;
7410b57cec5SDimitry Andric   assert(L->getFunctionType() != R->getFunctionType());
7420b57cec5SDimitry Andric   return 0;
7430b57cec5SDimitry Andric }
7440b57cec5SDimitry Andric 
7450b57cec5SDimitry Andric /// Compare two values used by the two functions under pair-wise comparison. If
7460b57cec5SDimitry Andric /// this is the first time the values are seen, they're added to the mapping so
7470b57cec5SDimitry Andric /// that we will detect mismatches on next use.
7480b57cec5SDimitry Andric /// See comments in declaration for more details.
cmpValues(const Value * L,const Value * R) const7490b57cec5SDimitry Andric int FunctionComparator::cmpValues(const Value *L, const Value *R) const {
7500b57cec5SDimitry Andric   // Catch self-reference case.
7510b57cec5SDimitry Andric   if (L == FnL) {
7520b57cec5SDimitry Andric     if (R == FnR)
7530b57cec5SDimitry Andric       return 0;
7540b57cec5SDimitry Andric     return -1;
7550b57cec5SDimitry Andric   }
7560b57cec5SDimitry Andric   if (R == FnR) {
7570b57cec5SDimitry Andric     if (L == FnL)
7580b57cec5SDimitry Andric       return 0;
7590b57cec5SDimitry Andric     return 1;
7600b57cec5SDimitry Andric   }
7610b57cec5SDimitry Andric 
7620b57cec5SDimitry Andric   const Constant *ConstL = dyn_cast<Constant>(L);
7630b57cec5SDimitry Andric   const Constant *ConstR = dyn_cast<Constant>(R);
7640b57cec5SDimitry Andric   if (ConstL && ConstR) {
7650b57cec5SDimitry Andric     if (L == R)
7660b57cec5SDimitry Andric       return 0;
7670b57cec5SDimitry Andric     return cmpConstants(ConstL, ConstR);
7680b57cec5SDimitry Andric   }
7690b57cec5SDimitry Andric 
7700b57cec5SDimitry Andric   if (ConstL)
7710b57cec5SDimitry Andric     return 1;
7720b57cec5SDimitry Andric   if (ConstR)
7730b57cec5SDimitry Andric     return -1;
7740b57cec5SDimitry Andric 
7750b57cec5SDimitry Andric   const InlineAsm *InlineAsmL = dyn_cast<InlineAsm>(L);
7760b57cec5SDimitry Andric   const InlineAsm *InlineAsmR = dyn_cast<InlineAsm>(R);
7770b57cec5SDimitry Andric 
7780b57cec5SDimitry Andric   if (InlineAsmL && InlineAsmR)
7790b57cec5SDimitry Andric     return cmpInlineAsm(InlineAsmL, InlineAsmR);
7800b57cec5SDimitry Andric   if (InlineAsmL)
7810b57cec5SDimitry Andric     return 1;
7820b57cec5SDimitry Andric   if (InlineAsmR)
7830b57cec5SDimitry Andric     return -1;
7840b57cec5SDimitry Andric 
7850b57cec5SDimitry Andric   auto LeftSN = sn_mapL.insert(std::make_pair(L, sn_mapL.size())),
7860b57cec5SDimitry Andric        RightSN = sn_mapR.insert(std::make_pair(R, sn_mapR.size()));
7870b57cec5SDimitry Andric 
7880b57cec5SDimitry Andric   return cmpNumbers(LeftSN.first->second, RightSN.first->second);
7890b57cec5SDimitry Andric }
7900b57cec5SDimitry Andric 
7910b57cec5SDimitry Andric // Test whether two basic blocks have equivalent behaviour.
cmpBasicBlocks(const BasicBlock * BBL,const BasicBlock * BBR) const7920b57cec5SDimitry Andric int FunctionComparator::cmpBasicBlocks(const BasicBlock *BBL,
7930b57cec5SDimitry Andric                                        const BasicBlock *BBR) const {
7940b57cec5SDimitry Andric   BasicBlock::const_iterator InstL = BBL->begin(), InstLE = BBL->end();
7950b57cec5SDimitry Andric   BasicBlock::const_iterator InstR = BBR->begin(), InstRE = BBR->end();
7960b57cec5SDimitry Andric 
7970b57cec5SDimitry Andric   do {
7980b57cec5SDimitry Andric     bool needToCmpOperands = true;
7990b57cec5SDimitry Andric     if (int Res = cmpOperations(&*InstL, &*InstR, needToCmpOperands))
8000b57cec5SDimitry Andric       return Res;
8010b57cec5SDimitry Andric     if (needToCmpOperands) {
8020b57cec5SDimitry Andric       assert(InstL->getNumOperands() == InstR->getNumOperands());
8030b57cec5SDimitry Andric 
8040b57cec5SDimitry Andric       for (unsigned i = 0, e = InstL->getNumOperands(); i != e; ++i) {
8050b57cec5SDimitry Andric         Value *OpL = InstL->getOperand(i);
8060b57cec5SDimitry Andric         Value *OpR = InstR->getOperand(i);
8070b57cec5SDimitry Andric         if (int Res = cmpValues(OpL, OpR))
8080b57cec5SDimitry Andric           return Res;
8090b57cec5SDimitry Andric         // cmpValues should ensure this is true.
8100b57cec5SDimitry Andric         assert(cmpTypes(OpL->getType(), OpR->getType()) == 0);
8110b57cec5SDimitry Andric       }
8120b57cec5SDimitry Andric     }
8130b57cec5SDimitry Andric 
8140b57cec5SDimitry Andric     ++InstL;
8150b57cec5SDimitry Andric     ++InstR;
8160b57cec5SDimitry Andric   } while (InstL != InstLE && InstR != InstRE);
8170b57cec5SDimitry Andric 
8180b57cec5SDimitry Andric   if (InstL != InstLE && InstR == InstRE)
8190b57cec5SDimitry Andric     return 1;
8200b57cec5SDimitry Andric   if (InstL == InstLE && InstR != InstRE)
8210b57cec5SDimitry Andric     return -1;
8220b57cec5SDimitry Andric   return 0;
8230b57cec5SDimitry Andric }
8240b57cec5SDimitry Andric 
compareSignature() const8250b57cec5SDimitry Andric int FunctionComparator::compareSignature() const {
8260b57cec5SDimitry Andric   if (int Res = cmpAttrs(FnL->getAttributes(), FnR->getAttributes()))
8270b57cec5SDimitry Andric     return Res;
8280b57cec5SDimitry Andric 
8290b57cec5SDimitry Andric   if (int Res = cmpNumbers(FnL->hasGC(), FnR->hasGC()))
8300b57cec5SDimitry Andric     return Res;
8310b57cec5SDimitry Andric 
8320b57cec5SDimitry Andric   if (FnL->hasGC()) {
8330b57cec5SDimitry Andric     if (int Res = cmpMem(FnL->getGC(), FnR->getGC()))
8340b57cec5SDimitry Andric       return Res;
8350b57cec5SDimitry Andric   }
8360b57cec5SDimitry Andric 
8370b57cec5SDimitry Andric   if (int Res = cmpNumbers(FnL->hasSection(), FnR->hasSection()))
8380b57cec5SDimitry Andric     return Res;
8390b57cec5SDimitry Andric 
8400b57cec5SDimitry Andric   if (FnL->hasSection()) {
8410b57cec5SDimitry Andric     if (int Res = cmpMem(FnL->getSection(), FnR->getSection()))
8420b57cec5SDimitry Andric       return Res;
8430b57cec5SDimitry Andric   }
8440b57cec5SDimitry Andric 
8450b57cec5SDimitry Andric   if (int Res = cmpNumbers(FnL->isVarArg(), FnR->isVarArg()))
8460b57cec5SDimitry Andric     return Res;
8470b57cec5SDimitry Andric 
8480b57cec5SDimitry Andric   // TODO: if it's internal and only used in direct calls, we could handle this
8490b57cec5SDimitry Andric   // case too.
8500b57cec5SDimitry Andric   if (int Res = cmpNumbers(FnL->getCallingConv(), FnR->getCallingConv()))
8510b57cec5SDimitry Andric     return Res;
8520b57cec5SDimitry Andric 
8530b57cec5SDimitry Andric   if (int Res = cmpTypes(FnL->getFunctionType(), FnR->getFunctionType()))
8540b57cec5SDimitry Andric     return Res;
8550b57cec5SDimitry Andric 
8560b57cec5SDimitry Andric   assert(FnL->arg_size() == FnR->arg_size() &&
8570b57cec5SDimitry Andric          "Identically typed functions have different numbers of args!");
8580b57cec5SDimitry Andric 
8590b57cec5SDimitry Andric   // Visit the arguments so that they get enumerated in the order they're
8600b57cec5SDimitry Andric   // passed in.
8610b57cec5SDimitry Andric   for (Function::const_arg_iterator ArgLI = FnL->arg_begin(),
8620b57cec5SDimitry Andric                                     ArgRI = FnR->arg_begin(),
8630b57cec5SDimitry Andric                                     ArgLE = FnL->arg_end();
8640b57cec5SDimitry Andric        ArgLI != ArgLE; ++ArgLI, ++ArgRI) {
8650b57cec5SDimitry Andric     if (cmpValues(&*ArgLI, &*ArgRI) != 0)
8660b57cec5SDimitry Andric       llvm_unreachable("Arguments repeat!");
8670b57cec5SDimitry Andric   }
8680b57cec5SDimitry Andric   return 0;
8690b57cec5SDimitry Andric }
8700b57cec5SDimitry Andric 
8710b57cec5SDimitry Andric // Test whether the two functions have equivalent behaviour.
compare()8720b57cec5SDimitry Andric int FunctionComparator::compare() {
8730b57cec5SDimitry Andric   beginCompare();
8740b57cec5SDimitry Andric 
8750b57cec5SDimitry Andric   if (int Res = compareSignature())
8760b57cec5SDimitry Andric     return Res;
8770b57cec5SDimitry Andric 
8780b57cec5SDimitry Andric   // We do a CFG-ordered walk since the actual ordering of the blocks in the
8790b57cec5SDimitry Andric   // linked list is immaterial. Our walk starts at the entry block for both
8800b57cec5SDimitry Andric   // functions, then takes each block from each terminator in order. As an
8810b57cec5SDimitry Andric   // artifact, this also means that unreachable blocks are ignored.
8820b57cec5SDimitry Andric   SmallVector<const BasicBlock *, 8> FnLBBs, FnRBBs;
8830b57cec5SDimitry Andric   SmallPtrSet<const BasicBlock *, 32> VisitedBBs; // in terms of F1.
8840b57cec5SDimitry Andric 
8850b57cec5SDimitry Andric   FnLBBs.push_back(&FnL->getEntryBlock());
8860b57cec5SDimitry Andric   FnRBBs.push_back(&FnR->getEntryBlock());
8870b57cec5SDimitry Andric 
8880b57cec5SDimitry Andric   VisitedBBs.insert(FnLBBs[0]);
8890b57cec5SDimitry Andric   while (!FnLBBs.empty()) {
8900b57cec5SDimitry Andric     const BasicBlock *BBL = FnLBBs.pop_back_val();
8910b57cec5SDimitry Andric     const BasicBlock *BBR = FnRBBs.pop_back_val();
8920b57cec5SDimitry Andric 
8930b57cec5SDimitry Andric     if (int Res = cmpValues(BBL, BBR))
8940b57cec5SDimitry Andric       return Res;
8950b57cec5SDimitry Andric 
8960b57cec5SDimitry Andric     if (int Res = cmpBasicBlocks(BBL, BBR))
8970b57cec5SDimitry Andric       return Res;
8980b57cec5SDimitry Andric 
8990b57cec5SDimitry Andric     const Instruction *TermL = BBL->getTerminator();
9000b57cec5SDimitry Andric     const Instruction *TermR = BBR->getTerminator();
9010b57cec5SDimitry Andric 
9020b57cec5SDimitry Andric     assert(TermL->getNumSuccessors() == TermR->getNumSuccessors());
9030b57cec5SDimitry Andric     for (unsigned i = 0, e = TermL->getNumSuccessors(); i != e; ++i) {
9040b57cec5SDimitry Andric       if (!VisitedBBs.insert(TermL->getSuccessor(i)).second)
9050b57cec5SDimitry Andric         continue;
9060b57cec5SDimitry Andric 
9070b57cec5SDimitry Andric       FnLBBs.push_back(TermL->getSuccessor(i));
9080b57cec5SDimitry Andric       FnRBBs.push_back(TermR->getSuccessor(i));
9090b57cec5SDimitry Andric     }
9100b57cec5SDimitry Andric   }
9110b57cec5SDimitry Andric   return 0;
9120b57cec5SDimitry Andric }
9130b57cec5SDimitry Andric 
9140b57cec5SDimitry Andric namespace {
9150b57cec5SDimitry Andric 
9160b57cec5SDimitry Andric // Accumulate the hash of a sequence of 64-bit integers. This is similar to a
9170b57cec5SDimitry Andric // hash of a sequence of 64bit ints, but the entire input does not need to be
9180b57cec5SDimitry Andric // available at once. This interface is necessary for functionHash because it
9190b57cec5SDimitry Andric // needs to accumulate the hash as the structure of the function is traversed
9200b57cec5SDimitry Andric // without saving these values to an intermediate buffer. This form of hashing
9210b57cec5SDimitry Andric // is not often needed, as usually the object to hash is just read from a
9220b57cec5SDimitry Andric // buffer.
9230b57cec5SDimitry Andric class HashAccumulator64 {
9240b57cec5SDimitry Andric   uint64_t Hash;
9250b57cec5SDimitry Andric 
9260b57cec5SDimitry Andric public:
9270b57cec5SDimitry Andric   // Initialize to random constant, so the state isn't zero.
HashAccumulator64()9280b57cec5SDimitry Andric   HashAccumulator64() { Hash = 0x6acaa36bef8325c5ULL; }
9290b57cec5SDimitry Andric 
add(uint64_t V)9305ffd83dbSDimitry Andric   void add(uint64_t V) { Hash = hashing::detail::hash_16_bytes(Hash, V); }
9310b57cec5SDimitry Andric 
9320b57cec5SDimitry Andric   // No finishing is required, because the entire hash value is used.
getHash()9330b57cec5SDimitry Andric   uint64_t getHash() { return Hash; }
9340b57cec5SDimitry Andric };
9350b57cec5SDimitry Andric 
9360b57cec5SDimitry Andric } // end anonymous namespace
9370b57cec5SDimitry Andric 
9380b57cec5SDimitry Andric // A function hash is calculated by considering only the number of arguments and
9390b57cec5SDimitry Andric // whether a function is varargs, the order of basic blocks (given by the
9400b57cec5SDimitry Andric // successors of each basic block in depth first order), and the order of
9410b57cec5SDimitry Andric // opcodes of each instruction within each of these basic blocks. This mirrors
9420b57cec5SDimitry Andric // the strategy compare() uses to compare functions by walking the BBs in depth
9430b57cec5SDimitry Andric // first order and comparing each instruction in sequence. Because this hash
9440b57cec5SDimitry Andric // does not look at the operands, it is insensitive to things such as the
9450b57cec5SDimitry Andric // target of calls and the constants used in the function, which makes it useful
9460b57cec5SDimitry Andric // when possibly merging functions which are the same modulo constants and call
9470b57cec5SDimitry Andric // targets.
functionHash(Function & F)9480b57cec5SDimitry Andric FunctionComparator::FunctionHash FunctionComparator::functionHash(Function &F) {
9490b57cec5SDimitry Andric   HashAccumulator64 H;
9500b57cec5SDimitry Andric   H.add(F.isVarArg());
9510b57cec5SDimitry Andric   H.add(F.arg_size());
9520b57cec5SDimitry Andric 
9530b57cec5SDimitry Andric   SmallVector<const BasicBlock *, 8> BBs;
9540b57cec5SDimitry Andric   SmallPtrSet<const BasicBlock *, 16> VisitedBBs;
9550b57cec5SDimitry Andric 
9560b57cec5SDimitry Andric   // Walk the blocks in the same order as FunctionComparator::cmpBasicBlocks(),
9570b57cec5SDimitry Andric   // accumulating the hash of the function "structure." (BB and opcode sequence)
9580b57cec5SDimitry Andric   BBs.push_back(&F.getEntryBlock());
9590b57cec5SDimitry Andric   VisitedBBs.insert(BBs[0]);
9600b57cec5SDimitry Andric   while (!BBs.empty()) {
9610b57cec5SDimitry Andric     const BasicBlock *BB = BBs.pop_back_val();
9620b57cec5SDimitry Andric     // This random value acts as a block header, as otherwise the partition of
9630b57cec5SDimitry Andric     // opcodes into BBs wouldn't affect the hash, only the order of the opcodes
9640b57cec5SDimitry Andric     H.add(45798);
9650b57cec5SDimitry Andric     for (auto &Inst : *BB) {
9660b57cec5SDimitry Andric       H.add(Inst.getOpcode());
9670b57cec5SDimitry Andric     }
9680b57cec5SDimitry Andric     const Instruction *Term = BB->getTerminator();
9690b57cec5SDimitry Andric     for (unsigned i = 0, e = Term->getNumSuccessors(); i != e; ++i) {
9700b57cec5SDimitry Andric       if (!VisitedBBs.insert(Term->getSuccessor(i)).second)
9710b57cec5SDimitry Andric         continue;
9720b57cec5SDimitry Andric       BBs.push_back(Term->getSuccessor(i));
9730b57cec5SDimitry Andric     }
9740b57cec5SDimitry Andric   }
9750b57cec5SDimitry Andric   return H.getHash();
9760b57cec5SDimitry Andric }
977