DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Implementation

Mercurial (b6d82b1a6b02)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
 * vim: set ts=8 sts=2 et sw=2 tw=80:
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef jit_AliasAnalysis_h
#define jit_AliasAnalysis_h

#include "jit/MIR.h"
#include "jit/MIRGraph.h"

namespace js {
namespace jit {

class LoopAliasInfo;

class AliasAnalysis {
  MIRGenerator* mir;
  MIRGraph& graph_;
  LoopAliasInfo* loop_;

  void spewDependencyList();

  TempAllocator& alloc() const { return graph_.alloc(); }

 public:
  AliasAnalysis(MIRGenerator* mir, MIRGraph& graph)
      : mir(mir), graph_(graph), loop_(nullptr) {}

  MOZ_MUST_USE bool analyze();

  static MDefinition::AliasType genericMightAlias(const MDefinition* load,
                                                  const MDefinition* store);
};

// Iterates over the flags in an AliasSet.
class AliasSetIterator {
 private:
  uint32_t flags;
  unsigned pos;

 public:
  explicit AliasSetIterator(AliasSet set) : flags(set.flags()), pos(0) {
    while (flags && (flags & 1) == 0) {
      flags >>= 1;
      pos++;
    }
  }
  AliasSetIterator& operator++(int) {
    do {
      flags >>= 1;
      pos++;
    } while (flags && (flags & 1) == 0);
    return *this;
  }
  explicit operator bool() const { return !!flags; }
  unsigned operator*() const {
    MOZ_ASSERT(pos < AliasSet::NumCategories);
    return pos;
  }
};

}  // namespace jit
}  // namespace js

#endif /* jit_AliasAnalysis_h */