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 // The position of the low CC bit in an IPM result. 91 const unsigned IPM_CC = 28; 92 93 // Mask assignments for PFD. 94 const unsigned PFD_READ = 1; 95 const unsigned PFD_WRITE = 2; 96 97 // Number of bits in a vector register. 98 const unsigned VectorBits = 128; 99 100 // Number of bytes in a vector register (and consequently the number of 101 // bytes in a general permute vector). 102 const unsigned VectorBytes = VectorBits / 8; 103 104 // Return true if Val fits an LLILL operand. isImmLL(uint64_t Val)105static inline bool isImmLL(uint64_t Val) { 106 return (Val & ~0x000000000000ffffULL) == 0; 107 } 108 109 // Return true if Val fits an LLILH operand. isImmLH(uint64_t Val)110static inline bool isImmLH(uint64_t Val) { 111 return (Val & ~0x00000000ffff0000ULL) == 0; 112 } 113 114 // Return true if Val fits an LLIHL operand. isImmHL(uint64_t Val)115static inline bool isImmHL(uint64_t Val) { 116 return (Val & ~0x00000ffff00000000ULL) == 0; 117 } 118 119 // Return true if Val fits an LLIHH operand. isImmHH(uint64_t Val)120static inline bool isImmHH(uint64_t Val) { 121 return (Val & ~0xffff000000000000ULL) == 0; 122 } 123 124 // Return true if Val fits an LLILF operand. isImmLF(uint64_t Val)125static inline bool isImmLF(uint64_t Val) { 126 return (Val & ~0x00000000ffffffffULL) == 0; 127 } 128 129 // Return true if Val fits an LLIHF operand. isImmHF(uint64_t Val)130static inline bool isImmHF(uint64_t Val) { 131 return (Val & ~0xffffffff00000000ULL) == 0; 132 } 133 } // end namespace SystemZ 134 135 FunctionPass *createSystemZISelDag(SystemZTargetMachine &TM, 136 CodeGenOpt::Level OptLevel); 137 FunctionPass *createSystemZElimComparePass(SystemZTargetMachine &TM); 138 FunctionPass *createSystemZShortenInstPass(SystemZTargetMachine &TM); 139 FunctionPass *createSystemZLongBranchPass(SystemZTargetMachine &TM); 140 FunctionPass *createSystemZLDCleanupPass(SystemZTargetMachine &TM); 141 } // end namespace llvm 142 143 #endif 144