• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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)145 static 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)150 static 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)155 static 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)160 static 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)165 static 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)170 static 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