diff options
author | ienkovich <ienkovich@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-10 09:37:41 +0000 |
---|---|---|
committer | ienkovich <ienkovich@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-10 09:37:41 +0000 |
commit | 202baac831fcc149f81fccf362c8c35d6b5b5947 (patch) | |
tree | 4c3d129c804e483567ad1709e6159edb9e847d6e /libmpx/mpxrt/mpxrt-utils.h | |
parent | 82a9d51e8e523cb02c848ec342460dde061115c8 (diff) | |
download | gcc-202baac831fcc149f81fccf362c8c35d6b5b5947.tar.gz |
* Makefile.def: Add libmpx.
* configure.ac: Add libmpx.
* Makefile.in: Regenerate.
* configure: Regenerate.
gcc/
* config/i386/linux-common.h (LIBMPX_LIBS): New.
(LIBMPX_SPEC): New.
(CHKP_SPEC): New.
* gcc.c (CHKP_SPEC): New.
(LINK_COMMAND_SPEC): Add CHKP_SPEC.
* c-family/c.opt (static-libmpx): New.
libmpx/
Initial commit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221311 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libmpx/mpxrt/mpxrt-utils.h')
-rw-r--r-- | libmpx/mpxrt/mpxrt-utils.h | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/libmpx/mpxrt/mpxrt-utils.h b/libmpx/mpxrt/mpxrt-utils.h new file mode 100644 index 00000000000..d62937df7d0 --- /dev/null +++ b/libmpx/mpxrt/mpxrt-utils.h @@ -0,0 +1,65 @@ +/* mpxrt-utils.h -*-C++-*- + * + ************************************************************************* + * + * @copyright + * Copyright (C) 2014, Intel Corporation + * All rights reserved. + * + * @copyright + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * * Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * * Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in + * the documentation and/or other materials provided with the + * distribution. + * * Neither the name of Intel Corporation nor the names of its + * contributors may be used to endorse or promote products derived + * from this software without specific prior written permission. + * + * @copyright + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR + * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT + * HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, + * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS + * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED + * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY + * WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + * + **************************************************************************/ + +#ifndef MPXRT_UTILS_H +#define MPXRT_UTILS_H + +#include <stdint.h> + +typedef enum { + VERB_ERROR, + VERB_INFO, + VERB_BR, + VERB_DEBUG +} verbose_type; + +typedef enum { + MPX_RT_COUNT, + MPX_RT_STOP +} mpx_rt_mode_t; + +void __mpxrt_init_env_vars (int* bndpreserve); +void __mpxrt_write_uint (verbose_type vt, uint64_t val, unsigned base); +void __mpxrt_write (verbose_type vt, const char* str); +void __mpxrt_print (verbose_type vt, const char* frmt, ...); +mpx_rt_mode_t __mpxrt_mode (void); +void __mpxrt_utils_free (void); +void __mpxrt_print_summary (uint64_t num_brs, uint64_t l1_size); + +#endif /* MPXRT_UTILS_H */ |