1 //==- SystemZ.h - Top-Level Interface for SystemZ representation -*- C++ -*-==// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file contains the entry points for global functions defined in 11 // the LLVM SystemZ backend. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H 16 #define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H 17 18 #include "MCTargetDesc/SystemZMCTargetDesc.h" 19 #include "llvm/Support/CodeGen.h" 20 21 namespace llvm { 22 class SystemZTargetMachine; 23 class FunctionPass; 24 25 namespace SystemZ { 26 // Condition-code mask values. 27 const unsigned CCMASK_0 = 1 << 3; 28 const unsigned CCMASK_1 = 1 << 2; 29 const unsigned CCMASK_2 = 1 << 1; 30 const unsigned CCMASK_3 = 1 << 0; 31 const unsigned CCMASK_ANY = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3; 32 33 // Condition-code mask assignments for integer and floating-point 34 // comparisons. 35 const unsigned CCMASK_CMP_EQ = CCMASK_0; 36 const unsigned CCMASK_CMP_LT = CCMASK_1; 37 const unsigned CCMASK_CMP_GT = CCMASK_2; 38 const unsigned CCMASK_CMP_NE = CCMASK_CMP_LT | CCMASK_CMP_GT; 39 const unsigned CCMASK_CMP_LE = CCMASK_CMP_EQ | CCMASK_CMP_LT; 40 const unsigned CCMASK_CMP_GE = CCMASK_CMP_EQ | CCMASK_CMP_GT; 41 42 // Condition-code mask assignments for floating-point comparisons only. 43 const unsigned CCMASK_CMP_UO = CCMASK_3; 44 const unsigned CCMASK_CMP_O = CCMASK_ANY ^ CCMASK_CMP_UO; 45 46 // All condition-code values produced by comparisons. 47 const unsigned CCMASK_ICMP = CCMASK_0 | CCMASK_1 | CCMASK_2; 48 const unsigned CCMASK_FCMP = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3; 49 50 // Condition-code mask assignments for CS. 51 const unsigned CCMASK_CS_EQ = CCMASK_0; 52 const unsigned CCMASK_CS_NE = CCMASK_1; 53 const unsigned CCMASK_CS = CCMASK_0 | CCMASK_1; 54 55 // Condition-code mask assignments for a completed SRST loop. 56 const unsigned CCMASK_SRST_FOUND = CCMASK_1; 57 const unsigned CCMASK_SRST_NOTFOUND = CCMASK_2; 58 const unsigned CCMASK_SRST = CCMASK_1 | CCMASK_2; 59 60 // Condition-code mask assignments for TEST UNDER MASK. 61 const unsigned CCMASK_TM_ALL_0 = CCMASK_0; 62 const unsigned CCMASK_TM_MIXED_MSB_0 = CCMASK_1; 63 const unsigned CCMASK_TM_MIXED_MSB_1 = CCMASK_2; 64 const unsigned CCMASK_TM_ALL_1 = CCMASK_3; 65 const unsigned CCMASK_TM_SOME_0 = CCMASK_TM_ALL_1 ^ CCMASK_ANY; 66 const unsigned CCMASK_TM_SOME_1 = CCMASK_TM_ALL_0 ^ CCMASK_ANY; 67 const unsigned CCMASK_TM_MSB_0 = CCMASK_0 | CCMASK_1; 68 const unsigned CCMASK_TM_MSB_1 = CCMASK_2 | CCMASK_3; 69 const unsigned CCMASK_TM = CCMASK_ANY; 70 71 // Condition-code mask assignments for TRANSACTION_BEGIN. 72 const unsigned CCMASK_TBEGIN_STARTED = CCMASK_0; 73 const unsigned CCMASK_TBEGIN_INDETERMINATE = CCMASK_1; 74 const unsigned CCMASK_TBEGIN_TRANSIENT = CCMASK_2; 75 const unsigned CCMASK_TBEGIN_PERSISTENT = CCMASK_3; 76 const unsigned CCMASK_TBEGIN = CCMASK_ANY; 77 78 // Condition-code mask assignments for TRANSACTION_END. 79 const unsigned CCMASK_TEND_TX = CCMASK_0; 80 const unsigned CCMASK_TEND_NOTX = CCMASK_2; 81 const unsigned CCMASK_TEND = CCMASK_TEND_TX | CCMASK_TEND_NOTX; 82 83 // Condition-code mask assignments for vector comparisons (and similar 84 // operations). 85 const unsigned CCMASK_VCMP_ALL = CCMASK_0; 86 const unsigned CCMASK_VCMP_MIXED = CCMASK_1; 87 const unsigned CCMASK_VCMP_NONE = CCMASK_3; 88 const unsigned CCMASK_VCMP = CCMASK_0 | CCMASK_1 | CCMASK_3; 89 90 // Condition-code mask assignments for Test Data Class. 91 const unsigned CCMASK_TDC_NOMATCH = CCMASK_0; 92 const unsigned CCMASK_TDC_MATCH = CCMASK_1; 93 const unsigned CCMASK_TDC = CCMASK_TDC_NOMATCH | CCMASK_TDC_MATCH; 94 95 // The position of the low CC bit in an IPM result. 96 const unsigned IPM_CC = 28; 97 98 // Mask assignments for PFD. 99 const unsigned PFD_READ = 1; 100 const unsigned PFD_WRITE = 2; 101 102 // Mask assignments for TDC 103 const unsigned TDCMASK_ZERO_PLUS = 0x800; 104 const unsigned TDCMASK_ZERO_MINUS = 0x400; 105 const unsigned TDCMASK_NORMAL_PLUS = 0x200; 106 const unsigned TDCMASK_NORMAL_MINUS = 0x100; 107 const unsigned TDCMASK_SUBNORMAL_PLUS = 0x080; 108 const unsigned TDCMASK_SUBNORMAL_MINUS = 0x040; 109 const unsigned TDCMASK_INFINITY_PLUS = 0x020; 110 const unsigned TDCMASK_INFINITY_MINUS = 0x010; 111 const unsigned TDCMASK_QNAN_PLUS = 0x008; 112 const unsigned TDCMASK_QNAN_MINUS = 0x004; 113 const unsigned TDCMASK_SNAN_PLUS = 0x002; 114 const unsigned TDCMASK_SNAN_MINUS = 0x001; 115 116 const unsigned TDCMASK_ZERO = TDCMASK_ZERO_PLUS | TDCMASK_ZERO_MINUS; 117 const unsigned TDCMASK_POSITIVE = TDCMASK_NORMAL_PLUS | 118 TDCMASK_SUBNORMAL_PLUS | 119 TDCMASK_INFINITY_PLUS; 120 const unsigned TDCMASK_NEGATIVE = TDCMASK_NORMAL_MINUS | 121 TDCMASK_SUBNORMAL_MINUS | 122 TDCMASK_INFINITY_MINUS; 123 const unsigned TDCMASK_NAN = TDCMASK_QNAN_PLUS | 124 TDCMASK_QNAN_MINUS | 125 TDCMASK_SNAN_PLUS | 126 TDCMASK_SNAN_MINUS; 127 const unsigned TDCMASK_PLUS = TDCMASK_POSITIVE | 128 TDCMASK_ZERO_PLUS | 129 TDCMASK_QNAN_PLUS | 130 TDCMASK_SNAN_PLUS; 131 const unsigned TDCMASK_MINUS = TDCMASK_NEGATIVE | 132 TDCMASK_ZERO_MINUS | 133 TDCMASK_QNAN_MINUS | 134 TDCMASK_SNAN_MINUS; 135 const unsigned TDCMASK_ALL = TDCMASK_PLUS | TDCMASK_MINUS; 136 137 // Number of bits in a vector register. 138 const unsigned VectorBits = 128; 139 140 // Number of bytes in a vector register (and consequently the number of 141 // bytes in a general permute vector). 142 const unsigned VectorBytes = VectorBits / 8; 143 144 // Return true if Val fits an LLILL operand. isImmLL(uint64_t Val)145static inline bool isImmLL(uint64_t Val) { 146 return (Val & ~0x000000000000ffffULL) == 0; 147 } 148 149 // Return true if Val fits an LLILH operand. isImmLH(uint64_t Val)150static inline bool isImmLH(uint64_t Val) { 151 return (Val & ~0x00000000ffff0000ULL) == 0; 152 } 153 154 // Return true if Val fits an LLIHL operand. isImmHL(uint64_t Val)155static inline bool isImmHL(uint64_t Val) { 156 return (Val & ~0x00000ffff00000000ULL) == 0; 157 } 158 159 // Return true if Val fits an LLIHH operand. isImmHH(uint64_t Val)160static inline bool isImmHH(uint64_t Val) { 161 return (Val & ~0xffff000000000000ULL) == 0; 162 } 163 164 // Return true if Val fits an LLILF operand. isImmLF(uint64_t Val)165static inline bool isImmLF(uint64_t Val) { 166 return (Val & ~0x00000000ffffffffULL) == 0; 167 } 168 169 // Return true if Val fits an LLIHF operand. isImmHF(uint64_t Val)170static inline bool isImmHF(uint64_t Val) { 171 return (Val & ~0xffffffff00000000ULL) == 0; 172 } 173 } // end namespace SystemZ 174 175 FunctionPass *createSystemZISelDag(SystemZTargetMachine &TM, 176 CodeGenOpt::Level OptLevel); 177 FunctionPass *createSystemZElimComparePass(SystemZTargetMachine &TM); 178 FunctionPass *createSystemZShortenInstPass(SystemZTargetMachine &TM); 179 FunctionPass *createSystemZLongBranchPass(SystemZTargetMachine &TM); 180 FunctionPass *createSystemZLDCleanupPass(SystemZTargetMachine &TM); 181 FunctionPass *createSystemZTDCPass(); 182 } // end namespace llvm 183 184 #endif 185