Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 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 SYSTEMZ_H |
| 16 | #define 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 | |
Richard Sandiford | 3d768e3 | 2013-07-31 12:30:20 +0000 | [diff] [blame] | 33 | // Condition-code mask assignments for integer and floating-point |
| 34 | // comparisons. |
Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 35 | const unsigned CCMASK_CMP_EQ = CCMASK_0; |
| 36 | const unsigned CCMASK_CMP_LT = CCMASK_1; |
| 37 | const unsigned CCMASK_CMP_GT = CCMASK_2; |
Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 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; |
Richard Sandiford | 3d768e3 | 2013-07-31 12:30:20 +0000 | [diff] [blame] | 41 | |
| 42 | // Condition-code mask assignments for floating-point comparisons only. |
| 43 | const unsigned CCMASK_CMP_UO = CCMASK_3; |
Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 44 | const unsigned CCMASK_CMP_O = CCMASK_ANY ^ CCMASK_CMP_UO; |
| 45 | |
Richard Sandiford | 3d768e3 | 2013-07-31 12:30:20 +0000 | [diff] [blame] | 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 | |
Richard Sandiford | 6f6d551 | 2013-08-20 09:38:48 +0000 | [diff] [blame] | 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 | |
Richard Sandiford | 0348133 | 2013-08-23 11:36:42 +0000 | [diff] [blame^] | 60 | // Mask assignments for PFD. |
| 61 | const unsigned PFD_READ = 1; |
| 62 | const unsigned PFD_WRITE = 2; |
| 63 | |
Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 64 | // Return true if Val fits an LLILL operand. |
| 65 | static inline bool isImmLL(uint64_t Val) { |
| 66 | return (Val & ~0x000000000000ffffULL) == 0; |
| 67 | } |
| 68 | |
| 69 | // Return true if Val fits an LLILH operand. |
| 70 | static inline bool isImmLH(uint64_t Val) { |
| 71 | return (Val & ~0x00000000ffff0000ULL) == 0; |
| 72 | } |
| 73 | |
| 74 | // Return true if Val fits an LLIHL operand. |
| 75 | static inline bool isImmHL(uint64_t Val) { |
| 76 | return (Val & ~0x00000ffff00000000ULL) == 0; |
| 77 | } |
| 78 | |
| 79 | // Return true if Val fits an LLIHH operand. |
| 80 | static inline bool isImmHH(uint64_t Val) { |
| 81 | return (Val & ~0xffff000000000000ULL) == 0; |
| 82 | } |
| 83 | |
| 84 | // Return true if Val fits an LLILF operand. |
| 85 | static inline bool isImmLF(uint64_t Val) { |
| 86 | return (Val & ~0x00000000ffffffffULL) == 0; |
| 87 | } |
| 88 | |
| 89 | // Return true if Val fits an LLIHF operand. |
| 90 | static inline bool isImmHF(uint64_t Val) { |
| 91 | return (Val & ~0xffffffff00000000ULL) == 0; |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | FunctionPass *createSystemZISelDag(SystemZTargetMachine &TM, |
| 96 | CodeGenOpt::Level OptLevel); |
Richard Sandiford | bdbb8af | 2013-08-05 10:58:53 +0000 | [diff] [blame] | 97 | FunctionPass *createSystemZElimComparePass(SystemZTargetMachine &TM); |
Richard Sandiford | 312425f | 2013-05-20 14:23:08 +0000 | [diff] [blame] | 98 | FunctionPass *createSystemZLongBranchPass(SystemZTargetMachine &TM); |
Ulrich Weigand | 5f613df | 2013-05-06 16:15:19 +0000 | [diff] [blame] | 99 | } // end namespace llvm; |
| 100 | #endif |