blob: 408bd63e33140bb678ac155c64166f13636a9440 [file] [log] [blame]
Chris Lattner36e646c2010-02-24 07:06:50 +00001//===- DAGISelMatcherOpt.cpp - Optimize a DAG Matcher ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the DAG Matcher optimizer.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DAGISelMatcher.h"
15using namespace llvm;
16
Chris Lattner9feb1e32010-02-24 19:52:48 +000017static void ContractNodes(OwningPtr<MatcherNode> &Matcher) {
Chris Lattner3ee1bc42010-02-24 07:31:45 +000018 // If we reached the end of the chain, we're done.
19 MatcherNode *N = Matcher.get();
20 if (N == 0) return;
21
22 // If we have a push node, walk down both edges.
23 if (PushMatcherNode *Push = dyn_cast<PushMatcherNode>(N))
Chris Lattner9feb1e32010-02-24 19:52:48 +000024 ContractNodes(Push->getFailurePtr());
Chris Lattner3ee1bc42010-02-24 07:31:45 +000025
Chris Lattner9feb1e32010-02-24 19:52:48 +000026 // If we found a movechild node with a node that comes in a 'foochild' form,
27 // transform it.
Chris Lattner3ee1bc42010-02-24 07:31:45 +000028 if (MoveChildMatcherNode *MC = dyn_cast<MoveChildMatcherNode>(N)) {
Chris Lattner9feb1e32010-02-24 19:52:48 +000029 if (RecordMatcherNode *RM = dyn_cast<RecordMatcherNode>(MC->getNext())) {
30 MatcherNode *New
31 = new RecordChildMatcherNode(MC->getChildNo(), RM->getWhatFor());
32 New->setNext(Matcher.take());
33 Matcher.reset(New);
34 MC->setNext(RM->takeNext());
35 return ContractNodes(Matcher);
36 }
Chris Lattner3ee1bc42010-02-24 07:31:45 +000037 }
Chris Lattner9feb1e32010-02-24 19:52:48 +000038
39 if (MoveChildMatcherNode *MC = dyn_cast<MoveChildMatcherNode>(N))
40 if (MoveParentMatcherNode *MP =
41 dyn_cast<MoveParentMatcherNode>(MC->getNext())) {
42 Matcher.reset(MP->takeNext());
43 return ContractNodes(Matcher);
44 }
45
46 ContractNodes(N->getNextPtr());
Chris Lattner3ee1bc42010-02-24 07:31:45 +000047}
48
49
50MatcherNode *llvm::OptimizeMatcher(MatcherNode *Matcher) {
51 OwningPtr<MatcherNode> MatcherPtr(Matcher);
Chris Lattner9feb1e32010-02-24 19:52:48 +000052 ContractNodes(MatcherPtr);
Chris Lattner3ee1bc42010-02-24 07:31:45 +000053 return MatcherPtr.take();
Chris Lattner36e646c2010-02-24 07:06:50 +000054}