[PowerPC] Add statistics to show the number of entries in the TOC.

[stefanp]

Summary

On Power PC some data is stored in the TOC. This pass adds statistics
to show how many entries are emitted to the TOC and what types of
entries those are.

[stefanp]

Fixed a couple of spacing issues that I missed when I put the patch up.

[stefanp]

Split the global TOC entries into Local and External Linkage.

[amyk]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

701

Do we not care about the other TLS related target flags (that I suppose are mainly used for Linux)?

llvm/test/CodeGen/PowerPC/ppc-TOC-stats.ll

14

[stefanp]

Updated test case to include another thread local value.
Updated the code to include all of the thread local flags.

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

701

Do we not care about the other TLS related target flags (that I suppose are mainly used for Linux)?

This patch is supposed to count TOC entries for both AIX and Linux. On AIX I expect to see all of the TLS entries in the TOC. However, on Linux the entries are in the GOT or they are accessed directly from the TBSS section. You can take a look at the test for this patch to get the idea.

Having said that, I agree that I should add all the rest of the flags here as well. We want to make sure that if there are changes made to AIX in the future they are covered here.

[amyk]

Thanks for addressing my comments. I don't have any further comments but I just had one clarification question.
Other than that, the patch LGTM.

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

2862

I might be missing something but how do we know that the type will be TOCType_GlobalInternal?
I realized I am not quite sure what the TType means.

[stefanp]

Based on the question from Amy I realized that I had made an incorrect assumption.
Fixed the TType ouput to check if we have an internal or external global.

[stefanp]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

2862

The TType that we emit here is used for Exception Handling on AIX.
I had originally assumed that exception handling could only be local but after you asked the question I looked into it some more and realized that I was wrong. Therefore, I've fixed this code to check if this is an internal or external symbol.

[amyk]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

2862

Thanks Stefan! The change you made LGTM. Thanks for looking into this.

[stefanp]

Did a final rebase to top of main and a clang-format.

[nemanjai]

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

463–465

Just out of curiosity, why couldn't this have been added to the conditional block on line 476?

llvm/test/CodeGen/PowerPC/ppc-TOC-stats.ll

4

Don't you need something like REQUIRES asserts here?

llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp

 #include "PPCInstrInfo.h"
 #include "PPCMachineFunctionInfo.h"
 #include "PPCSubtarget.h"
 #include "PPCTargetMachine.h"
 #include "PPCTargetStreamer.h"
 #include "TargetInfo/PowerPCTargetInfo.h"
 #include "llvm/ADT/MapVector.h"
 #include "llvm/ADT/SmallPtrSet.h"
+#include "llvm/ADT/Statistic.h"
 #include "llvm/ADT/StringRef.h"
 #include "llvm/ADT/Twine.h"
 #include "llvm/BinaryFormat/ELF.h"
 #include "llvm/CodeGen/AsmPrinter.h"
 #include "llvm/CodeGen/MachineBasicBlock.h"
 #include "llvm/CodeGen/MachineFrameInfo.h"
 #include "llvm/CodeGen/MachineFunction.h"
 #include "llvm/CodeGen/MachineInstr.h"

 #include <memory>
 #include <new>
 
 using namespace llvm;
 using namespace llvm::XCOFF;
 
 #define DEBUG_TYPE "asmprinter"
 
+STATISTIC(NumTOCEntries, "Number of Total TOC Entries Emitted.");
+STATISTIC(NumTOCConstPool, "Number of Constant Pool TOC Entries.");
+STATISTIC(NumTOCGlobal, "Number of Global TOC Entries.");
+STATISTIC(NumTOCJumpTable, "Number of Jump Table TOC Entries.");
+STATISTIC(NumTOCThreadLocal, "Number of Thread Local TOC Entries.");
+STATISTIC(NumTOCBlockAddress, "Number of Block Address TOC Entries.");
+STATISTIC(NumTOCEHBlock, "Number of EH Block TOC Entries.");
+
 static cl::opt<bool> EnableSSPCanaryBitInTB(
     "aix-ssp-tb-bit", cl::init(false),
     cl::desc("Enable Passing SSP Canary info in Trackback on AIX"), cl::Hidden);
 
 // Specialize DenseMapInfo to allow
 // std::pair<const MCSymbol *, MCSymbolRefExpr::VariantKind> in DenseMap.
 // This specialization is needed here because that type is used as keys in the
 // map representing TOC entries.

 
 public:
   explicit PPCAsmPrinter(TargetMachine &TM,
                          std::unique_ptr<MCStreamer> Streamer)
       : AsmPrinter(TM, std::move(Streamer)) {}
 
   StringRef getPassName() const override { return "PowerPC Assembly Printer"; }
 
-  MCSymbol *lookUpOrCreateTOCEntry(const MCSymbol *Sym,
+  enum TOCEntryType {
+    TOCType_ConstantPool,
+    TOCType_Global,
+    TOCType_JumpTable,
+    TOCType_ThreadLocal,
+    TOCType_BlockAddress,
+    TOCType_EHBlock
+  };
+
+  MCSymbol *lookUpOrCreateTOCEntry(const MCSymbol *Sym, TOCEntryType Type,
                                    MCSymbolRefExpr::VariantKind Kind =
                                        MCSymbolRefExpr::VariantKind::VK_None);
 
   bool doInitialization(Module &M) override {
     if (!TOC.empty())
       TOC.clear();
     return AsmPrinter::doInitialization(M);
   }
bool PPCAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
 
   assert(MI->getOperand(OpNo).isReg());
   O << "0(";
   printOperand(MI, OpNo, O);
   O << ")";
   return false;
 }
 
+static void collectTOCStats(PPCAsmPrinter::TOCEntryType Type) {
+  ++NumTOCEntries;
+  switch (Type) {
+  case PPCAsmPrinter::TOCType_ConstantPool:
+    ++NumTOCConstPool;
+    break;
+  case PPCAsmPrinter::TOCType_Global:
+    ++NumTOCGlobal;
+    break;
+  case PPCAsmPrinter::TOCType_JumpTable:
+    ++NumTOCJumpTable;
+    break;
+  case PPCAsmPrinter::TOCType_ThreadLocal:
+    ++NumTOCThreadLocal;
+    break;
+  case PPCAsmPrinter::TOCType_BlockAddress:
+    ++NumTOCBlockAddress;
+    break;
+  case PPCAsmPrinter::TOCType_EHBlock:
+    ++NumTOCEHBlock;
+    break;
+  }
+}
+
 /// lookUpOrCreateTOCEntry -- Given a symbol, look up whether a TOC entry
 /// exists for it.  If not, create one.  Then return a symbol that references
 /// the TOC entry.
 MCSymbol *
-PPCAsmPrinter::lookUpOrCreateTOCEntry(const MCSymbol *Sym,
+PPCAsmPrinter::lookUpOrCreateTOCEntry(const MCSymbol *Sym, TOCEntryType Type,
                                       MCSymbolRefExpr::VariantKind Kind) {
+  // If this is a new TOC entry add statistics about it.
+  if (!TOC.contains({Sym, Kind}))
+    collectTOCStats(Type);
+
   MCSymbol *&TOCEntry = TOC[{Sym, Kind}];
   if (!TOCEntry)
     TOCEntry = createTempSymbol("C");
   return TOCEntry;
 }
 
 void PPCAsmPrinter::LowerSTACKMAP(StackMaps &SM, const MachineInstr &MI) {
   unsigned NumNOPBytes = MI.getOperand(1).getImm();
case MachineOperand::MO_JumpTableIndex:
     return AP.GetJTISymbol(MO.getIndex());
   case MachineOperand::MO_BlockAddress:
     return AP.GetBlockAddressSymbol(MO.getBlockAddress());
   default:
     llvm_unreachable("Unexpected operand type to get symbol.");
   }
 }
 
+static PPCAsmPrinter::TOCEntryType
+getTOCEntryTypeForMO(const MachineOperand &MO) {
+  // Use the target flags to determine if this MO is Thread Local.
+  // If we don't do this it comes out as Global.
+  if (MO.getTargetFlags() & PPCII::MO_TLSGDM_FLAG ||
+      MO.getTargetFlags() & PPCII::MO_TLSGD_FLAG)
+    return PPCAsmPrinter::TOCType_ThreadLocal;
+
+  switch (MO.getType()) {
+  case MachineOperand::MO_GlobalAddress:
+    return PPCAsmPrinter::TOCType_Global;
+  case MachineOperand::MO_ConstantPoolIndex:
+    return PPCAsmPrinter::TOCType_ConstantPool;
+  case MachineOperand::MO_JumpTableIndex:
+    return PPCAsmPrinter::TOCType_JumpTable;
+  case MachineOperand::MO_BlockAddress:
+    return PPCAsmPrinter::TOCType_BlockAddress;
+  default:
+    llvm_unreachable("Unexpected operand type to get TOC type.");
+  }
+}
 /// EmitInstruction -- Print out a single PowerPC MI in Darwin syntax to
 /// the current output stream.
 ///
 void PPCAsmPrinter::emitInstruction(const MachineInstr *MI) {
   PPC_MC::verifyInstructionPredicates(MI->getOpcode(),
                                       getSubtargetInfo().getFeatureBits());
 
   MCInst TmpInst;
if (PL == PICLevel::SmallPIC && !IsAIX) {
       return;
     }
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     // Otherwise, use the TOC. 'TOCEntry' is a label used to reference the
     // storage allocated in the TOC which contains the address of
     // 'MOSymbol'. Said TOC entry will be synthesized later.
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol, VK);
+    MCSymbol *TOCEntry =
+        lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
     const MCExpr *Exp =
         MCSymbolRefExpr::create(TOCEntry, MCSymbolRefExpr::VK_None, OutContext);
 
     // AIX uses the label directly as the lwz displacement operand for
     // references into the toc section. The displacement value will be generated
     // relative to the toc-base.
     if (IsAIX) {
       assert(
case PPC::LDtoc: {
     // Map the operand to its corresponding MCSymbol.
     const MCSymbol *const MOSymbol = getMCSymbolForTOCPseudoMO(MO, *this);
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     // Map the machine operand to its corresponding MCSymbol, then map the
     // global address operand to be a reference to the TOC entry we will
     // synthesize later.
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol, VK);
+    MCSymbol *TOCEntry =
+        lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
 
     MCSymbolRefExpr::VariantKind VKExpr =
         IsAIX ? MCSymbolRefExpr::VK_None : MCSymbolRefExpr::VK_PPC_TOC;
     const MCExpr *Exp = MCSymbolRefExpr::create(TOCEntry, VKExpr, OutContext);
     TmpInst.getOperand(1) = MCOperand::createExpr(
         IsAIX ? getTOCEntryLoadingExprForXCOFF(MOSymbol, Exp, VK) : Exp);
 
     // Print MO for better readability
case PPC::ADDIStocHA: {
     MCSymbol *MOSymbol = getMCSymbolForTOCPseudoMO(MO, *this);
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     // Always use TOC on AIX. Map the global address operand to be a reference
     // to the TOC entry we will synthesize later. 'TOCEntry' is a label used to
     // reference the storage allocated in the TOC which contains the address of
     // 'MOSymbol'.
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol, VK);
+    MCSymbol *TOCEntry =
+        lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
     const MCExpr *Exp = MCSymbolRefExpr::create(TOCEntry,
                                                 MCSymbolRefExpr::VK_PPC_U,
                                                 OutContext);
     TmpInst.getOperand(2) = MCOperand::createExpr(Exp);
     EmitToStreamer(*OutStreamer, TmpInst);
     return;
   }
   case PPC::LWZtocL: {
case PPC::LWZtocL: {
     MCSymbol *MOSymbol = getMCSymbolForTOCPseudoMO(MO, *this);
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     // Always use TOC on AIX. Map the global address operand to be a reference
     // to the TOC entry we will synthesize later. 'TOCEntry' is a label used to
     // reference the storage allocated in the TOC which contains the address of
     // 'MOSymbol'.
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol, VK);
+    MCSymbol *TOCEntry =
+        lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
     const MCExpr *Exp = MCSymbolRefExpr::create(TOCEntry,
                                                 MCSymbolRefExpr::VK_PPC_L,
                                                 OutContext);
     TmpInst.getOperand(1) = MCOperand::createExpr(Exp);
     EmitToStreamer(*OutStreamer, TmpInst);
     return;
   }
   case PPC::ADDIStocHA8: {
case PPC::ADDIStocHA8: {
     const MCSymbol *MOSymbol = getMCSymbolForTOCPseudoMO(MO, *this);
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     const bool GlobalToc =
         MO.isGlobal() && Subtarget->isGVIndirectSymbol(MO.getGlobal());
     if (GlobalToc || MO.isJTI() || MO.isBlockAddress() ||
         (MO.isCPI() && TM.getCodeModel() == CodeModel::Large))
-      MOSymbol = lookUpOrCreateTOCEntry(MOSymbol, VK);
+      MOSymbol = lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
 
     VK = IsAIX ? MCSymbolRefExpr::VK_PPC_U : MCSymbolRefExpr::VK_PPC_TOC_HA;
 
     const MCExpr *Exp =
         MCSymbolRefExpr::create(MOSymbol, VK, OutContext);
 
     if (!MO.isJTI() && MO.getOffset())
       Exp = MCBinaryExpr::createAdd(Exp,
LLVM_DEBUG(assert(
         "LDtocL used on symbol that could be accessed directly is "
         "invalid. Must match ADDIStocHA8."));
 
     const MCSymbol *MOSymbol = getMCSymbolForTOCPseudoMO(MO, *this);
 
     MCSymbolRefExpr::VariantKind VK = GetVKForMO(MO);
 
     if (!MO.isCPI() || TM.getCodeModel() == CodeModel::Large)
-      MOSymbol = lookUpOrCreateTOCEntry(MOSymbol, VK);
+      MOSymbol = lookUpOrCreateTOCEntry(MOSymbol, getTOCEntryTypeForMO(MO), VK);
 
     VK = IsAIX ? MCSymbolRefExpr::VK_PPC_L : MCSymbolRefExpr::VK_PPC_TOC_LO;
     const MCExpr *Exp =
         MCSymbolRefExpr::create(MOSymbol, VK, OutContext);
     TmpInst.getOperand(1) = MCOperand::createExpr(Exp);
     EmitToStreamer(*OutStreamer, TmpInst);
     return;
   }
CommentOS << "ExtensionTableFlag = "
               << getExtendedTBTableFlagString(ExtensionTableFlag);
     EmitCommentAndValue(ExtensionTableFlag, sizeof(ExtensionTableFlag));
   }
 
   if (ExtensionTableFlag & ExtendedTBTableFlag::TB_EH_INFO) {
     auto &Ctx = OutStreamer->getContext();
     MCSymbol *EHInfoSym =
         TargetLoweringObjectFileXCOFF::getEHInfoTableSymbol(MF);
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(EHInfoSym);
+    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(EHInfoSym, TOCType_EHBlock);
     const MCSymbol *TOCBaseSym =
         cast<MCSectionXCOFF>(getObjFileLowering().getTOCBaseSection())
             ->getQualNameSymbol();
     const MCExpr *Exp =
         MCBinaryExpr::createSub(MCSymbolRefExpr::create(TOCEntry, Ctx),
                                 MCSymbolRefExpr::create(TOCBaseSym, Ctx), Ctx);
 
     const DataLayout &DL = getDataLayout();
llvm::GlobalAlias::create(
         cast<Function>(S.Func));
   }
 }
 
 void PPCAIXAsmPrinter::emitTTypeReference(const GlobalValue *GV,
                                           unsigned Encoding) {
   if (GV) {
     MCSymbol *TypeInfoSym = TM.getSymbol(GV);
-    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(TypeInfoSym);
+    MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(TypeInfoSym, TOCType_Global);
     const MCSymbol *TOCBaseSym =
         cast<MCSectionXCOFF>(getObjFileLowering().getTOCBaseSection())
             ->getQualNameSymbol();
     auto &Ctx = OutStreamer->getContext();
     const MCExpr *Exp =
         MCBinaryExpr::createSub(MCSymbolRefExpr::create(TOCEntry, Ctx),
                                 MCSymbolRefExpr::create(TOCBaseSym, Ctx), Ctx);
     OutStreamer->emitValue(Exp, GetSizeOfEncodedValue(Encoding));
   } else

llvm/test/CodeGen/PowerPC/ppc-TOC-stats.ll

+;;  Note: The checks for this test are manually generated. Please do not
+;;        run a script to update these checks.
+
+; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff -mcpu=pwr8 \
+; RUN:   --stats < %s 2>&1 | FileCheck %s --check-prefix=AIX
+; RUN: llc -verify-machineinstrs -mtriple powerpc64-ibm-aix-xcoff -mcpu=pwr8 \
+; RUN:   --stats < %s 2>&1 | FileCheck %s --check-prefix=AIX
+; RUN: llc -verify-machineinstrs -mtriple powerpc64-unknown-linux -mcpu=pwr8 \
+; RUN:   --stats < %s 2>&1 | FileCheck %s --check-prefix=LINUX
+; RUN: llc -verify-machineinstrs -mtriple powerpc64le-unknown-linux -mcpu=pwr8 \
+; RUN:   --stats < %s 2>&1 | FileCheck %s --check-prefix=LINUX
+
+; The puropose of this test is to check that the statistics about the TOC are
+; are collected correctly. This test tries to have all of the different types 
+; of TOC entries.
+
+; AIX: Statistics Collected
+; AIX:   1 asmprinter           - Number of Block Address TOC Entries.
+; AIX:  13 asmprinter           - Number of Constant Pool TOC Entries.
+; AIX:   1 asmprinter           - Number of EH Block TOC Entries.
+; AIX:  21 asmprinter           - Number of Total TOC Entries Emitted.
+; AIX:   3 asmprinter           - Number of Global TOC Entries.
+; AIX:   1 asmprinter           - Number of Jump Table TOC Entries.
+; AIX:   2 asmprinter           - Number of Thread Local TOC Entries.
+
+; LINUX: Statistics Collected
+; LINUX:   1 asmprinter            - Number of Block Address TOC Entries.
+; LINUX:   5 asmprinter            - Number of Total TOC Entries Emitted.
+; LINUX:   3 asmprinter            - Number of Global TOC Entries.
+; LINUX:   1 asmprinter            - Number of Jump Table TOC Entries.
+
+
+@gDouble = local_unnamed_addr global double 0.000000e+00, align 8
+@TLS1 = thread_local global i32 0, align 4
+@_ZTIi = external constant ptr
+
+define noundef double @testd1() local_unnamed_addr {
+entry:
+  ret double 3.784320e+02
+}
+
+define noundef float @testf1() local_unnamed_addr {
+entry:
+  ret float 0x40039999A0000000
+}
+
+define noundef double @testd2() local_unnamed_addr {
+entry:
+  ret double 6.920000e+00
+}
+
+define noundef <4 x i32> @testv1() local_unnamed_addr {
+entry:
+  ret <4 x i32> <i32 13, i32 78, i32 -13, i32 100>
+}
+
+define noundef double @testd3() local_unnamed_addr {
+entry:
+  %call = tail call noundef double @calleeddf(double noundef 4.582600e+01, double noundef 0x40564F0A3D70A3D7, float noundef 0x402225E360000000)
+  ret double %call
+}
+
+declare noundef double @calleeddf(double noundef, double noundef, float noundef) local_unnamed_addr
+
+define noundef i64 @testi() local_unnamed_addr {
+entry:
+  ret i64 893471915
+}
+
+define noundef double @testld1() local_unnamed_addr {
+entry:
+  ret double 0x417179806D5CDEBE
+}
+
+define noundef signext i32 @testJT(i32 noundef signext %in) {
+entry:
+  switch i32 %in, label %sw.epilog [
+    i32 45, label %return
+    i32 86, label %sw.bb1
+    i32 91, label %sw.bb2
+    i32 101, label %sw.bb3
+    i32 107, label %sw.bb4
+    i32 76832712, label %sw.bb5
+  ]
+
+sw.bb1:                                           ; preds = %entry
+  br label %return
+
+sw.bb2:                                           ; preds = %entry
+  br label %return
+
+sw.bb3:                                           ; preds = %entry
+  br label %return
+
+sw.bb4:                                           ; preds = %entry
+  br label %return
+
+sw.bb5:                                           ; preds = %entry
+  br label %return
+
+sw.epilog:                                        ; preds = %entry
+  br label %return
+
+return:                                           ; preds = %entry, %sw.epilog, %sw.bb5, %sw.bb4, %sw.bb3, %sw.bb2, %sw.bb1
+  %retval.0 = phi i32 [ 0, %sw.epilog ], [ 222, %sw.bb5 ], [ 15, %sw.bb4 ], [ 11, %sw.bb3 ], [ 17, %sw.bb2 ], [ 16, %sw.bb1 ], [ 19, %entry ]
+  ret i32 %retval.0
+}
+
+define void @setGDouble(double noundef %a) local_unnamed_addr {
+entry:
+  store double %a, ptr @gDouble, align 8
+  ret void
+}
+
+define noundef double @getGDouble() local_unnamed_addr {
+entry:
+  %0 = load double, ptr @gDouble, align 8
+  ret double %0
+}
+
+define noundef signext i32 @testTLS(i32 noundef signext %a, i32 noundef signext %b, ptr nocapture noundef readonly %fIn) {
+entry:
+  %add = add nsw i32 %b, %a
+  %0 = tail call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @TLS1)
+  store i32 %add, ptr %0, align 4
+  tail call void @calleef(ptr noundef nonnull @testJT)
+  %1 = load i32, ptr %0, align 4
+  %call = tail call noundef signext i32 %fIn(i32 noundef signext %1)
+  %2 = load i32, ptr %0, align 4
+  %add1 = add nsw i32 %2, %call
+  ret i32 %add1
+}
+
+declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull)
+declare void @calleef(ptr noundef) local_unnamed_addr
+
+define noundef signext i32 @testEH(i32 noundef signext %i) personality ptr @__xlcxx_personality_v1 {
+entry:
+  %cmp = icmp slt i32 %i, 1
+  br i1 %cmp, label %if.then, label %try.cont
+
+if.then:                                          ; preds = %entry
+  %exception = tail call ptr @__cxa_allocate_exception(i64 4)
+  store i32 10, ptr %exception, align 16
+  invoke void @__cxa_throw(ptr nonnull %exception, ptr nonnull @_ZTIi, ptr null)
+          to label %unreachable unwind label %lpad
+
+lpad:                                             ; preds = %if.then
+  %0 = landingpad { ptr, i32 }
+          cleanup
+          catch ptr @_ZTIi
+  %1 = extractvalue { ptr, i32 } %0, 1
+  %2 = tail call i32 @llvm.eh.typeid.for(ptr nonnull @_ZTIi)
+  %matches = icmp eq i32 %1, %2
+  br i1 %matches, label %catch, label %ehcleanup
+
+catch:                                            ; preds = %lpad
+  %3 = extractvalue { ptr, i32 } %0, 0
+  %4 = tail call ptr @__cxa_begin_catch(ptr %3)
+  tail call void @__cxa_end_catch()
+  br label %try.cont
+
+try.cont:                                         ; preds = %entry, %catch
+  %ret.0 = phi i32 [ 1, %catch ], [ 0, %entry ]
+  ret i32 %ret.0
+
+ehcleanup:                                        ; preds = %lpad
+  resume { ptr, i32 } %0
+
+unreachable:                                      ; preds = %if.then
+  unreachable
+}
+
+declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr
+declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr
+declare i32 @__xlcxx_personality_v1(...)
+declare i32 @llvm.eh.typeid.for(ptr)
+declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr
+declare void @__cxa_end_catch() local_unnamed_addr
+
+define noundef double @testISel1(i32 noundef signext %i) {
+entry:
+  %cmp = icmp slt i32 %i, 0
+  %cmp1.not = icmp eq i32 %i, 0
+  %. = select i1 %cmp1.not, double 1.618030e+00, double 2.718280e+00
+  %retval.0 = select i1 %cmp, double 3.141590e+00, double %.
+  ret double %retval.0
+}
+
+define noundef double @testISel2(i32 noundef signext %i) {
+entry:
+  %cmp = icmp slt i32 %i, 0
+  br i1 %cmp, label %return, label %if.else
+
+if.else:                                          ; preds = %entry
+  %cmp1 = icmp ugt i32 %i, 30
+  br i1 %cmp1, label %return, label %if.else3
+
+if.else3:                                         ; preds = %if.else
+  %cmp4 = icmp ugt i32 %i, 5
+  %. = select i1 %cmp4, double 8.644600e+00, double 1.618030e+00
+  br label %return
+
+return:                                           ; preds = %if.else3, %if.else, %entry
+  %retval.0 = phi double [ 3.141590e+00, %entry ], [ 2.718280e+00, %if.else ], [ %., %if.else3 ]
+  ret double %retval.0
+}
+
+
+define i8* @testBlockAddr() {
+entry:
+  br label %here
+
+here:
+  ret i8* blockaddress(@testBlockAddr, %here)
+}