-/* Pdeq --- double ended queue of generic pointers.
- Copyright (C) 1995, 1996 Christian von Roques */
+/*
+ * Project: libFIRM
+ * File name: ir/adt/pdeq.c
+ * Purpose: Pdeq --- double ended queue of generic pointers.
+ * Author: Christian von Roques
+ * Modified by:
+ * Created: 1999 by getting from fiasco
+ * CVS-ID: $Id$
+ * Copyright: (c) 1995, 1996 Christian von Roques
+ * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ */
-/* $Id$ */
#ifdef HAVE_CONFIG_H
# include <config.h>
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
+#include <stdbool.h>
# ifdef HAVE_STRING_H
# include <string.h>
# endif
-#include "tune.h"
+
#include "cookies.h"
#include "debug.h"
#include "pdeq.h"
+#include "xmalloc.h"
+
+/** Size of pdeq block cache */
+#define TUNE_NSAVED_PDEQS 16
#ifndef INLINE
#ifdef USE_GCC_INLINE