aca08a8515
- Bail out of TableGen if any asserts fail before running the backend. - Add asserts to validate that the `Objects` and `Modes` lists for various `HwModeSelect` subclasses are of same length. - Eliminate equivalent check in CodeGenHWModes.cpp
32 lines
1.2 KiB
TableGen
32 lines
1.2 KiB
TableGen
// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include %s 2>&1 | FileCheck %s -DFILE=%s
|
|
|
|
// The HwModeSelect class is intended to serve as a base class for other
|
|
// classes that are then used to select a value based on the HW mode.
|
|
// It contains a list of HW modes, and a derived class should provide a
|
|
// list of corresponding values.
|
|
// These two lists must have the same size. Make sure that a violation of
|
|
// this requirement is diagnosed.
|
|
|
|
include "llvm/Target/Target.td"
|
|
|
|
def TestTargetInstrInfo : InstrInfo;
|
|
|
|
def TestTarget : Target {
|
|
let InstructionSet = TestTargetInstrInfo;
|
|
}
|
|
|
|
def TestReg : Register<"testreg">;
|
|
def TestClass : RegisterClass<"TestTarget", [i32], 32, (add TestReg)>;
|
|
|
|
def HasFeat1 : Predicate<"Subtarget->hasFeat1()">;
|
|
def HasFeat2 : Predicate<"Subtarget->hasFeat2()">;
|
|
|
|
def TestMode1 : HwMode<"+feat1", [HasFeat1]>;
|
|
def TestMode2 : HwMode<"+feat2", [HasFeat2]>;
|
|
|
|
// CHECK: error: assertion failed: The Objects and Modes lists must be the same length
|
|
// CHECK: [[FILE]]:[[@LINE+1]]:5: error: assertion failed in this record
|
|
def BadDef : ValueTypeByHwMode<[TestMode1, TestMode2, DefaultMode],
|
|
[i8, i16, i32, i64]>;
|
|
|