blob: b3a7310f04b96c83fdfe0444525cb230084f8913 [file] [log] [blame]
Ulrich Weigand5f613df2013-05-06 16:15:19 +00001//==- 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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000015#ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H
16#define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZ_H
Ulrich Weigand5f613df2013-05-06 16:15:19 +000017
18#include "MCTargetDesc/SystemZMCTargetDesc.h"
19#include "llvm/Support/CodeGen.h"
20
21namespace llvm {
Richard Sandifordc2312692014-03-06 10:38:30 +000022class SystemZTargetMachine;
23class FunctionPass;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000024
Richard Sandifordc2312692014-03-06 10:38:30 +000025namespace SystemZ {
26// Condition-code mask values.
27const unsigned CCMASK_0 = 1 << 3;
28const unsigned CCMASK_1 = 1 << 2;
29const unsigned CCMASK_2 = 1 << 1;
30const unsigned CCMASK_3 = 1 << 0;
31const unsigned CCMASK_ANY = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000032
Richard Sandifordc2312692014-03-06 10:38:30 +000033// Condition-code mask assignments for integer and floating-point
34// comparisons.
35const unsigned CCMASK_CMP_EQ = CCMASK_0;
36const unsigned CCMASK_CMP_LT = CCMASK_1;
37const unsigned CCMASK_CMP_GT = CCMASK_2;
38const unsigned CCMASK_CMP_NE = CCMASK_CMP_LT | CCMASK_CMP_GT;
39const unsigned CCMASK_CMP_LE = CCMASK_CMP_EQ | CCMASK_CMP_LT;
40const unsigned CCMASK_CMP_GE = CCMASK_CMP_EQ | CCMASK_CMP_GT;
Richard Sandiford3d768e32013-07-31 12:30:20 +000041
Richard Sandifordc2312692014-03-06 10:38:30 +000042// Condition-code mask assignments for floating-point comparisons only.
43const unsigned CCMASK_CMP_UO = CCMASK_3;
44const unsigned CCMASK_CMP_O = CCMASK_ANY ^ CCMASK_CMP_UO;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000045
Richard Sandifordc2312692014-03-06 10:38:30 +000046// All condition-code values produced by comparisons.
47const unsigned CCMASK_ICMP = CCMASK_0 | CCMASK_1 | CCMASK_2;
48const unsigned CCMASK_FCMP = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3;
Richard Sandiford3d768e32013-07-31 12:30:20 +000049
Richard Sandifordc2312692014-03-06 10:38:30 +000050// Condition-code mask assignments for CS.
51const unsigned CCMASK_CS_EQ = CCMASK_0;
52const unsigned CCMASK_CS_NE = CCMASK_1;
53const unsigned CCMASK_CS = CCMASK_0 | CCMASK_1;
Richard Sandiford3d768e32013-07-31 12:30:20 +000054
Richard Sandifordc2312692014-03-06 10:38:30 +000055// Condition-code mask assignments for a completed SRST loop.
56const unsigned CCMASK_SRST_FOUND = CCMASK_1;
57const unsigned CCMASK_SRST_NOTFOUND = CCMASK_2;
58const unsigned CCMASK_SRST = CCMASK_1 | CCMASK_2;
Richard Sandiford6f6d5512013-08-20 09:38:48 +000059
Richard Sandifordc2312692014-03-06 10:38:30 +000060// Condition-code mask assignments for TEST UNDER MASK.
61const unsigned CCMASK_TM_ALL_0 = CCMASK_0;
62const unsigned CCMASK_TM_MIXED_MSB_0 = CCMASK_1;
63const unsigned CCMASK_TM_MIXED_MSB_1 = CCMASK_2;
64const unsigned CCMASK_TM_ALL_1 = CCMASK_3;
65const unsigned CCMASK_TM_SOME_0 = CCMASK_TM_ALL_1 ^ CCMASK_ANY;
66const unsigned CCMASK_TM_SOME_1 = CCMASK_TM_ALL_0 ^ CCMASK_ANY;
67const unsigned CCMASK_TM_MSB_0 = CCMASK_0 | CCMASK_1;
68const unsigned CCMASK_TM_MSB_1 = CCMASK_2 | CCMASK_3;
69const unsigned CCMASK_TM = CCMASK_ANY;
Richard Sandiford35b9be22013-08-28 10:31:43 +000070
Ulrich Weigand57c85f52015-04-01 12:51:43 +000071// Condition-code mask assignments for TRANSACTION_BEGIN.
72const unsigned CCMASK_TBEGIN_STARTED = CCMASK_0;
73const unsigned CCMASK_TBEGIN_INDETERMINATE = CCMASK_1;
74const unsigned CCMASK_TBEGIN_TRANSIENT = CCMASK_2;
75const unsigned CCMASK_TBEGIN_PERSISTENT = CCMASK_3;
76const unsigned CCMASK_TBEGIN = CCMASK_ANY;
77
78// Condition-code mask assignments for TRANSACTION_END.
79const unsigned CCMASK_TEND_TX = CCMASK_0;
80const unsigned CCMASK_TEND_NOTX = CCMASK_2;
81const unsigned CCMASK_TEND = CCMASK_TEND_TX | CCMASK_TEND_NOTX;
82
Richard Sandifordc2312692014-03-06 10:38:30 +000083// The position of the low CC bit in an IPM result.
84const unsigned IPM_CC = 28;
Richard Sandifordf722a8e302013-10-16 11:10:55 +000085
Richard Sandifordc2312692014-03-06 10:38:30 +000086// Mask assignments for PFD.
87const unsigned PFD_READ = 1;
88const unsigned PFD_WRITE = 2;
Richard Sandiford03481332013-08-23 11:36:42 +000089
Richard Sandifordc2312692014-03-06 10:38:30 +000090// Return true if Val fits an LLILL operand.
91static inline bool isImmLL(uint64_t Val) {
92 return (Val & ~0x000000000000ffffULL) == 0;
93}
Ulrich Weigand5f613df2013-05-06 16:15:19 +000094
Richard Sandifordc2312692014-03-06 10:38:30 +000095// Return true if Val fits an LLILH operand.
96static inline bool isImmLH(uint64_t Val) {
97 return (Val & ~0x00000000ffff0000ULL) == 0;
98}
Ulrich Weigand5f613df2013-05-06 16:15:19 +000099
Richard Sandifordc2312692014-03-06 10:38:30 +0000100// Return true if Val fits an LLIHL operand.
101static inline bool isImmHL(uint64_t Val) {
102 return (Val & ~0x00000ffff00000000ULL) == 0;
103}
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000104
Richard Sandifordc2312692014-03-06 10:38:30 +0000105// Return true if Val fits an LLIHH operand.
106static inline bool isImmHH(uint64_t Val) {
107 return (Val & ~0xffff000000000000ULL) == 0;
108}
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000109
Richard Sandifordc2312692014-03-06 10:38:30 +0000110// Return true if Val fits an LLILF operand.
111static inline bool isImmLF(uint64_t Val) {
112 return (Val & ~0x00000000ffffffffULL) == 0;
113}
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000114
Richard Sandifordc2312692014-03-06 10:38:30 +0000115// Return true if Val fits an LLIHF operand.
116static inline bool isImmHF(uint64_t Val) {
117 return (Val & ~0xffffffff00000000ULL) == 0;
118}
119} // end namespace SystemZ
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000120
Richard Sandifordc2312692014-03-06 10:38:30 +0000121FunctionPass *createSystemZISelDag(SystemZTargetMachine &TM,
122 CodeGenOpt::Level OptLevel);
123FunctionPass *createSystemZElimComparePass(SystemZTargetMachine &TM);
124FunctionPass *createSystemZShortenInstPass(SystemZTargetMachine &TM);
125FunctionPass *createSystemZLongBranchPass(SystemZTargetMachine &TM);
Ulrich Weigand7db69182015-02-18 09:13:27 +0000126FunctionPass *createSystemZLDCleanupPass(SystemZTargetMachine &TM);
Richard Sandifordc2312692014-03-06 10:38:30 +0000127} // end namespace llvm
128
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000129#endif