Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 25 additions & 0 deletions llvm/test/TableGen/dag-pattern-crash-on-set.td
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include -o /dev/null %s 2>&1 | FileCheck %s

include "llvm/Target/Target.td"

def MyTargetInstrInfo : InstrInfo;
def MyTarget : Target {
let InstructionSet = MyTargetInstrInfo;
}

def R0 : Register<"r0">;
def GPR : RegisterClass<"MyTarget", [i32], 32, (add R0)>;

def LOAD : Instruction {
let Size = 2;
let OutOperandList = (outs GPR:$dst);
let InOperandList = (ins GPR:$addr);
let AsmString = "movimm $dst, $addr";
}

// CHECK: [[@LINE+1]]:5: error: In CrashPat: unknown node type 'set' in input pattern
def CrashPat : Pat <
(set R0, (load GPR:$addr)),
(LOAD $addr)
>;

6 changes: 5 additions & 1 deletion llvm/utils/TableGen/Common/CodeGenDAGPatterns.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2795,7 +2795,11 @@ bool TreePatternNode::ApplyTypeConstraints(TreePattern &TP, bool NotRegisters) {
return MadeChange;
}

assert(getOperator()->isSubClassOf("SDNodeXForm") && "Unknown node type!");
if (!getOperator()->isSubClassOf("SDNodeXForm")) {
TP.error("unknown node type '" + getOperator()->getName() +
"' in input pattern");
return false;
}

// Node transforms always take one operand.
if (getNumChildren() != 1) {
Expand Down