diff options
| author | Chris Lattner <sabre@nondot.org> | 2005-09-08 23:22:48 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2005-09-08 23:22:48 +0000 |
| commit | 327076005d608361c9f3b036e9401f14c235a8e3 (patch) | |
| tree | 3b0b1b472bf45e7ef2bd37bec418382b0e17e944 /lib/CodeGen/RegAllocIterativeScan.cpp | |
| parent | b85c64c4d882d24fe727f28126f83fce993ed8c8 (diff) | |
Implement a complete type inference system for dag patterns, based on the
constraints defined in the DAG node definitions in the .td files. This
allows us to infer (and check!) the types for all nodes in the current
ppc .td file. For example, instead of:
Inst pattern EQV: (set GPRC:i32:$rT, (xor (xor GPRC:i32:$rA, GPRC:i32:$rB), (imm)<<Predicate_immAllOnes>>))
we now fully infer:
Inst pattern EQV: (set:void GPRC:i32:$rT, (xor:i32 (xor:i32 GPRC:i32:$rA, GPRC:i32:$rB), (imm:i32)<<Predicate_immAllOnes>>))
from: (set GPRC:$rT, (not (xor GPRC:$rA, GPRC:$rB)))
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@23284 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/RegAllocIterativeScan.cpp')
0 files changed, 0 insertions, 0 deletions