2013-05-06 16:15:19 +00:00
|
|
|
//==- SystemZ.h - Top-Level Interface for SystemZ representation -*- C++ -*-==//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file contains the entry points for global functions defined in
|
|
|
|
// the LLVM SystemZ backend.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef SYSTEMZ_H
|
|
|
|
#define SYSTEMZ_H
|
|
|
|
|
|
|
|
#include "MCTargetDesc/SystemZMCTargetDesc.h"
|
|
|
|
#include "llvm/Support/CodeGen.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class SystemZTargetMachine;
|
|
|
|
class FunctionPass;
|
|
|
|
|
|
|
|
namespace SystemZ {
|
|
|
|
// Condition-code mask values.
|
|
|
|
const unsigned CCMASK_0 = 1 << 3;
|
|
|
|
const unsigned CCMASK_1 = 1 << 2;
|
|
|
|
const unsigned CCMASK_2 = 1 << 1;
|
|
|
|
const unsigned CCMASK_3 = 1 << 0;
|
|
|
|
const unsigned CCMASK_ANY = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3;
|
|
|
|
|
[SystemZ] Be more careful about inverting CC masks
System z branches have a mask to select which of the 4 CC values should
cause the branch to be taken. We can invert a branch by inverting the mask.
However, not all instructions can produce all 4 CC values, so inverting
the branch like this can lead to some oddities. For example, integer
comparisons only produce a CC of 0 (equal), 1 (less) or 2 (greater).
If an integer EQ is reversed to NE before instruction selection,
the branch will test for 1 or 2. If instead the branch is reversed
after instruction selection (by inverting the mask), it will test for
1, 2 or 3. Both are correct, but the second isn't really canonical.
This patch therefore keeps track of which CC values are possible
and uses this when inverting a mask.
Although this is mostly cosmestic, it fixes undefined behavior
for the CIJNLH in branch-08.ll. Another fix would have been
to mask out bit 0 when generating the fused compare and branch,
but the point of this patch is that we shouldn't need to do that
in the first place.
The patch also makes it easier to reuse CC results from other instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187495 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-31 12:30:20 +00:00
|
|
|
// Condition-code mask assignments for integer and floating-point
|
|
|
|
// comparisons.
|
2013-05-06 16:15:19 +00:00
|
|
|
const unsigned CCMASK_CMP_EQ = CCMASK_0;
|
|
|
|
const unsigned CCMASK_CMP_LT = CCMASK_1;
|
|
|
|
const unsigned CCMASK_CMP_GT = CCMASK_2;
|
|
|
|
const unsigned CCMASK_CMP_NE = CCMASK_CMP_LT | CCMASK_CMP_GT;
|
|
|
|
const unsigned CCMASK_CMP_LE = CCMASK_CMP_EQ | CCMASK_CMP_LT;
|
|
|
|
const unsigned CCMASK_CMP_GE = CCMASK_CMP_EQ | CCMASK_CMP_GT;
|
[SystemZ] Be more careful about inverting CC masks
System z branches have a mask to select which of the 4 CC values should
cause the branch to be taken. We can invert a branch by inverting the mask.
However, not all instructions can produce all 4 CC values, so inverting
the branch like this can lead to some oddities. For example, integer
comparisons only produce a CC of 0 (equal), 1 (less) or 2 (greater).
If an integer EQ is reversed to NE before instruction selection,
the branch will test for 1 or 2. If instead the branch is reversed
after instruction selection (by inverting the mask), it will test for
1, 2 or 3. Both are correct, but the second isn't really canonical.
This patch therefore keeps track of which CC values are possible
and uses this when inverting a mask.
Although this is mostly cosmestic, it fixes undefined behavior
for the CIJNLH in branch-08.ll. Another fix would have been
to mask out bit 0 when generating the fused compare and branch,
but the point of this patch is that we shouldn't need to do that
in the first place.
The patch also makes it easier to reuse CC results from other instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187495 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-31 12:30:20 +00:00
|
|
|
|
|
|
|
// Condition-code mask assignments for floating-point comparisons only.
|
|
|
|
const unsigned CCMASK_CMP_UO = CCMASK_3;
|
2013-05-06 16:15:19 +00:00
|
|
|
const unsigned CCMASK_CMP_O = CCMASK_ANY ^ CCMASK_CMP_UO;
|
|
|
|
|
[SystemZ] Be more careful about inverting CC masks
System z branches have a mask to select which of the 4 CC values should
cause the branch to be taken. We can invert a branch by inverting the mask.
However, not all instructions can produce all 4 CC values, so inverting
the branch like this can lead to some oddities. For example, integer
comparisons only produce a CC of 0 (equal), 1 (less) or 2 (greater).
If an integer EQ is reversed to NE before instruction selection,
the branch will test for 1 or 2. If instead the branch is reversed
after instruction selection (by inverting the mask), it will test for
1, 2 or 3. Both are correct, but the second isn't really canonical.
This patch therefore keeps track of which CC values are possible
and uses this when inverting a mask.
Although this is mostly cosmestic, it fixes undefined behavior
for the CIJNLH in branch-08.ll. Another fix would have been
to mask out bit 0 when generating the fused compare and branch,
but the point of this patch is that we shouldn't need to do that
in the first place.
The patch also makes it easier to reuse CC results from other instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187495 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-31 12:30:20 +00:00
|
|
|
// All condition-code values produced by comparisons.
|
|
|
|
const unsigned CCMASK_ICMP = CCMASK_0 | CCMASK_1 | CCMASK_2;
|
|
|
|
const unsigned CCMASK_FCMP = CCMASK_0 | CCMASK_1 | CCMASK_2 | CCMASK_3;
|
|
|
|
|
|
|
|
// Condition-code mask assignments for CS.
|
|
|
|
const unsigned CCMASK_CS_EQ = CCMASK_0;
|
|
|
|
const unsigned CCMASK_CS_NE = CCMASK_1;
|
|
|
|
const unsigned CCMASK_CS = CCMASK_0 | CCMASK_1;
|
|
|
|
|
2013-08-20 09:38:48 +00:00
|
|
|
// Condition-code mask assignments for a completed SRST loop.
|
|
|
|
const unsigned CCMASK_SRST_FOUND = CCMASK_1;
|
|
|
|
const unsigned CCMASK_SRST_NOTFOUND = CCMASK_2;
|
|
|
|
const unsigned CCMASK_SRST = CCMASK_1 | CCMASK_2;
|
|
|
|
|
2013-08-28 10:31:43 +00:00
|
|
|
// Condition-code mask assignments for TEST UNDER MASK.
|
|
|
|
const unsigned CCMASK_TM_ALL_0 = CCMASK_0;
|
|
|
|
const unsigned CCMASK_TM_MIXED_MSB_0 = CCMASK_1;
|
|
|
|
const unsigned CCMASK_TM_MIXED_MSB_1 = CCMASK_2;
|
|
|
|
const unsigned CCMASK_TM_ALL_1 = CCMASK_3;
|
2013-09-03 15:38:35 +00:00
|
|
|
const unsigned CCMASK_TM_SOME_0 = CCMASK_TM_ALL_1 ^ CCMASK_ANY;
|
|
|
|
const unsigned CCMASK_TM_SOME_1 = CCMASK_TM_ALL_0 ^ CCMASK_ANY;
|
|
|
|
const unsigned CCMASK_TM_MSB_0 = CCMASK_0 | CCMASK_1;
|
|
|
|
const unsigned CCMASK_TM_MSB_1 = CCMASK_2 | CCMASK_3;
|
2013-08-28 10:31:43 +00:00
|
|
|
const unsigned CCMASK_TM = CCMASK_ANY;
|
|
|
|
|
2013-10-16 11:10:55 +00:00
|
|
|
// The position of the low CC bit in an IPM result.
|
|
|
|
const unsigned IPM_CC = 28;
|
|
|
|
|
2013-08-23 11:36:42 +00:00
|
|
|
// Mask assignments for PFD.
|
|
|
|
const unsigned PFD_READ = 1;
|
|
|
|
const unsigned PFD_WRITE = 2;
|
|
|
|
|
2013-05-06 16:15:19 +00:00
|
|
|
// Return true if Val fits an LLILL operand.
|
|
|
|
static inline bool isImmLL(uint64_t Val) {
|
|
|
|
return (Val & ~0x000000000000ffffULL) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return true if Val fits an LLILH operand.
|
|
|
|
static inline bool isImmLH(uint64_t Val) {
|
|
|
|
return (Val & ~0x00000000ffff0000ULL) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return true if Val fits an LLIHL operand.
|
|
|
|
static inline bool isImmHL(uint64_t Val) {
|
|
|
|
return (Val & ~0x00000ffff00000000ULL) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return true if Val fits an LLIHH operand.
|
|
|
|
static inline bool isImmHH(uint64_t Val) {
|
|
|
|
return (Val & ~0xffff000000000000ULL) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return true if Val fits an LLILF operand.
|
|
|
|
static inline bool isImmLF(uint64_t Val) {
|
|
|
|
return (Val & ~0x00000000ffffffffULL) == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return true if Val fits an LLIHF operand.
|
|
|
|
static inline bool isImmHF(uint64_t Val) {
|
|
|
|
return (Val & ~0xffffffff00000000ULL) == 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *createSystemZISelDag(SystemZTargetMachine &TM,
|
|
|
|
CodeGenOpt::Level OptLevel);
|
2013-08-05 10:58:53 +00:00
|
|
|
FunctionPass *createSystemZElimComparePass(SystemZTargetMachine &TM);
|
2013-09-25 10:11:07 +00:00
|
|
|
FunctionPass *createSystemZShortenInstPass(SystemZTargetMachine &TM);
|
[SystemZ] Add long branch pass
Before this change, the SystemZ backend would use BRCL for all branches
and only consider shortening them to BRC when generating an object file.
E.g. a branch on equal would use the JGE alias of BRCL in assembly output,
but might be shortened to the JE alias of BRC in ELF output. This was
a useful first step, but it had two problems:
(1) The z assembler isn't traditionally supposed to perform branch shortening
or branch relaxation. We followed this rule by not relaxing branches
in assembler input, but that meant that generating assembly code and
then assembling it would not produce the same result as going directly
to object code; the former would give long branches everywhere, whereas
the latter would use short branches where possible.
(2) Other useful branches, like COMPARE AND BRANCH, do not have long forms.
We would need to do something else before supporting them.
(Although COMPARE AND BRANCH does not change the condition codes,
the plan is to model COMPARE AND BRANCH as a CC-clobbering instruction
during codegen, so that we can safely lower it to a separate compare
and long branch where necessary. This is not a valid transformation
for the assembler proper to make.)
This patch therefore moves branch relaxation to a pre-emit pass.
For now, calls are still shortened from BRASL to BRAS by the assembler,
although this too is not really the traditional behaviour.
The first test takes about 1.5s to run, and there are likely to be
more tests in this vein once further branch types are added. The feeling
on IRC was that 1.5s is a bit much for a single test, so I've restricted
it to SystemZ hosts for now.
The patch exposes (and fixes) some typos in the main CodeGen/SystemZ tests.
A later patch will remove the {{g}}s from that directory.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182274 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-20 14:23:08 +00:00
|
|
|
FunctionPass *createSystemZLongBranchPass(SystemZTargetMachine &TM);
|
2013-05-06 16:15:19 +00:00
|
|
|
} // end namespace llvm;
|
|
|
|
#endif
|