mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 02:52:53 +02:00
[GlobalISel] Remove types on selected insts instead of using LLT().
LLT() has a particular meaning: it's one invalid type. But we really want selected instructions to have no type whatsoever. Also verify that types don't linger after ISel, and enable the verifier on the AArch64 select test. llvm-svn: 277001
This commit is contained in:
parent
d1eddb33a1
commit
64129e5a43
@ -190,6 +190,7 @@ public:
|
||||
void setType(LLT Ty, unsigned Idx = 0);
|
||||
LLT getType(int unsigned = 0) const;
|
||||
unsigned getNumTypes() const;
|
||||
void removeTypes();
|
||||
|
||||
/// Return true if MI is in a bundle (but not the first MI in a bundle).
|
||||
///
|
||||
|
@ -716,6 +716,8 @@ void MachineInstr::setType(LLT Ty, unsigned Idx) {}
|
||||
|
||||
LLT MachineInstr::getType(unsigned Idx) const { return LLT{}; }
|
||||
|
||||
void MachineInstr::removeTypes() {}
|
||||
|
||||
#else
|
||||
unsigned MachineInstr::getNumTypes() const { return Tys.size(); }
|
||||
|
||||
@ -728,6 +730,10 @@ void MachineInstr::setType(LLT Ty, unsigned Idx) {
|
||||
}
|
||||
|
||||
LLT MachineInstr::getType(unsigned Idx) const { return Tys[Idx]; }
|
||||
|
||||
void MachineInstr::removeTypes() {
|
||||
Tys.clear();
|
||||
}
|
||||
#endif // LLVM_BUILD_GLOBAL_ISEL
|
||||
|
||||
/// RemoveRegOperandsFromUseLists - Unlink all of the register operands in
|
||||
|
@ -879,6 +879,16 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) {
|
||||
}
|
||||
}
|
||||
|
||||
// Check types.
|
||||
const unsigned NumTypes = MI->getNumTypes();
|
||||
if (isPreISelGenericOpcode(MCID.getOpcode())) {
|
||||
if (NumTypes == 0)
|
||||
report("Generic instruction must have a type", MI);
|
||||
} else {
|
||||
if (NumTypes != 0)
|
||||
report("Non-generic instruction cannot have a type", MI);
|
||||
}
|
||||
|
||||
StringRef ErrorInfo;
|
||||
if (!TII->verifyInstruction(*MI, ErrorInfo))
|
||||
report(ErrorInfo.data(), MI);
|
||||
|
@ -150,7 +150,7 @@ bool AArch64InstructionSelector::select(MachineInstr &I) const {
|
||||
|
||||
I.setDesc(TII.get(NewOpc));
|
||||
// FIXME: Should the type be always reset in setDesc?
|
||||
I.setType(LLT());
|
||||
I.removeTypes();
|
||||
|
||||
// Now that we selected an opcode, we need to constrain the register
|
||||
// operands to use appropriate classes.
|
||||
|
@ -1,4 +1,4 @@
|
||||
# RUN: llc -O0 -run-pass=instruction-select -global-isel %s -o - | FileCheck %s
|
||||
# RUN: llc -O0 -run-pass=instruction-select -verify-machineinstrs -global-isel %s -o - | FileCheck %s
|
||||
# REQUIRES: global-isel
|
||||
|
||||
# Test the instruction selector.
|
||||
@ -6,7 +6,7 @@
|
||||
|
||||
--- |
|
||||
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
||||
target triple = "aarch64-apple-ios"
|
||||
target triple = "aarch64--"
|
||||
|
||||
define void @add_s32_gpr() { ret void }
|
||||
define void @add_s64_gpr() { ret void }
|
||||
|
Loading…
Reference in New Issue
Block a user