1 //==- SystemZ.h - Top-Level Interface for SystemZ representation -*- C++ -*-==//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the entry points for global functions defined in
11 // the LLVM SystemZ backend.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H
16 #define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H
18 #include "MCTargetDesc/SystemZMCTargetDesc.h"
19 #include "llvm/Support/CodeGen.h"
22 class SystemZTargetMachine;
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;
33 // Condition-code mask assignments for integer and floating-point
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;
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;
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;
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;
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;
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;
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;
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;
83 // Condition-code mask assignments for vector comparisons (and similar
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;
90 // The position of the low CC bit in an IPM result.
91 const unsigned IPM_CC = 28;
93 // Mask assignments for PFD.
94 const unsigned PFD_READ = 1;
95 const unsigned PFD_WRITE = 2;
97 // Number of bits in a vector register.
98 const unsigned VectorBits = 128;
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;
104 // Return true if Val fits an LLILL operand.
105 static inline bool isImmLL(uint64_t Val) {
106 return (Val & ~0x000000000000ffffULL) == 0;
109 // Return true if Val fits an LLILH operand.
110 static inline bool isImmLH(uint64_t Val) {
111 return (Val & ~0x00000000ffff0000ULL) == 0;
114 // Return true if Val fits an LLIHL operand.
115 static inline bool isImmHL(uint64_t Val) {
116 return (Val & ~0x00000ffff00000000ULL) == 0;
119 // Return true if Val fits an LLIHH operand.
120 static inline bool isImmHH(uint64_t Val) {
121 return (Val & ~0xffff000000000000ULL) == 0;
124 // Return true if Val fits an LLILF operand.
125 static inline bool isImmLF(uint64_t Val) {
126 return (Val & ~0x00000000ffffffffULL) == 0;
129 // Return true if Val fits an LLIHF operand.
130 static inline bool isImmHF(uint64_t Val) {
131 return (Val & ~0xffffffff00000000ULL) == 0;
133 } // end namespace SystemZ
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