| //===- SAFECodeRuntime.h -- Runtime interface of SAFECode ------*- C++ -*-===// |
| // |
| // The LLVM Compiler Infrast`ructure |
| // |
| // This file was developed by the LLVM research group and is distributed under |
| // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file defines the interface of SAFECode runtime library. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef _SAFECODE_RUNTIME_H_ |
| #define _SAFECODE_RUNTIME_H_ |
| |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| struct PoolTy; |
| |
| /// All functions that perform checking return a synchronization token |
| void __sc_poolcheck(PoolTy *Pool, void *Node); |
| void __sc_poolcheckui(PoolTy *Pool, void *Node); |
| void __sc_boundscheck (PoolTy * Pool, void * Source, void * Dest); |
| void __sc_boundscheckui (PoolTy * Pool, void * Source, void * Dest) __attribute__ ((always_inline)); |
| void __sc_wait_for_completion(); |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif |
