| //===- subzero/src/IceSwitchLowering.h - Switch lowering --------*- C++ -*-===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// \brief Helpers for switch lowering. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef SUBZERO_SRC_ICESWITCHLOWERING_H |
| #define SUBZERO_SRC_ICESWITCHLOWERING_H |
| |
| #include "IceDefs.h" |
| #include "IceStringPool.h" |
| |
| #include <string> |
| |
| namespace Ice { |
| |
| class CaseCluster; |
| |
| using CaseClusterArray = CfgVector<CaseCluster>; |
| |
| /// A cluster of cases can be tested by a common method during switch lowering. |
| class CaseCluster { |
| CaseCluster() = delete; |
| |
| public: |
| enum CaseClusterKind { |
| Range, /// Numerically adjacent case values with same target. |
| JumpTable, /// Different targets and possibly sparse. |
| }; |
| |
| CaseCluster(const CaseCluster &) = default; |
| CaseCluster &operator=(const CaseCluster &) = default; |
| |
| /// Create a cluster of a single case represented by a unitary range. |
| CaseCluster(uint64_t Value, CfgNode *Target) |
| : Kind(Range), Low(Value), High(Value), Target(Target) {} |
| /// Create a case consisting of a jump table. |
| CaseCluster(uint64_t Low, uint64_t High, InstJumpTable *JT) |
| : Kind(JumpTable), Low(Low), High(High), JT(JT) {} |
| |
| CaseClusterKind getKind() const { return Kind; } |
| uint64_t getLow() const { return Low; } |
| uint64_t getHigh() const { return High; } |
| CfgNode *getTarget() const { |
| assert(Kind == Range); |
| return Target; |
| } |
| InstJumpTable *getJumpTable() const { |
| assert(Kind == JumpTable); |
| return JT; |
| } |
| |
| bool isUnitRange() const { return Low == High; } |
| bool isPairRange() const { return Low == High - 1; } |
| |
| /// Discover cases which can be clustered together and return the clusters |
| /// ordered by case value. |
| static CaseClusterArray clusterizeSwitch(Cfg *Func, const InstSwitch *Instr); |
| |
| private: |
| CaseClusterKind Kind; |
| uint64_t Low; |
| uint64_t High; |
| union { |
| CfgNode *Target; /// Target for a range. |
| InstJumpTable *JT; /// Jump table targets. |
| }; |
| |
| /// Try and append a cluster returning whether or not it was successful. |
| bool tryAppend(const CaseCluster &New); |
| }; |
| |
| /// Store the jump table data so that it can be emitted later in the correct ELF |
| /// section once the offsets from the start of the function are known. |
| class JumpTableData { |
| JumpTableData() = delete; |
| JumpTableData &operator=(const JumpTableData &) = delete; |
| |
| public: |
| using TargetList = std::vector<intptr_t>; |
| |
| JumpTableData(GlobalString Name, GlobalString FuncName, SizeT Id, |
| const TargetList &TargetOffsets) |
| : Name(Name), FuncName(FuncName), Id(Id), TargetOffsets(TargetOffsets) {} |
| JumpTableData(const JumpTableData &) = default; |
| JumpTableData(JumpTableData &&) = default; |
| JumpTableData &operator=(JumpTableData &&) = default; |
| |
| GlobalString getName() const { return Name; } |
| GlobalString getFunctionName() const { return FuncName; } |
| SizeT getId() const { return Id; } |
| const TargetList &getTargetOffsets() const { return TargetOffsets; } |
| static std::string createSectionName(const GlobalString Name) { |
| if (Name.hasStdString()) { |
| return Name.toString() + "$jumptable"; |
| } |
| return std::to_string(Name.getID()) + "$jumptable"; |
| } |
| std::string getSectionName() const { return createSectionName(FuncName); } |
| |
| private: |
| GlobalString Name; |
| GlobalString FuncName; |
| SizeT Id; |
| TargetList TargetOffsets; |
| }; |
| |
| using JumpTableDataList = std::vector<JumpTableData>; |
| |
| } // end of namespace Ice |
| |
| #endif // SUBZERO_SRC_ICESWITCHLOWERING_H |