cprover
Loading...
Searching...
No Matches
arm_builtin_headers.h
Go to the documentation of this file.
1
// clang-format off
2
void
__breakpoint
(
int
val
);
3
void
__cdp
(
unsigned
int
coproc
,
unsigned
int
ops
,
unsigned
int
regs
);
4
void
__clrex
(
void
);
5
unsigned
char
__clz
(
unsigned
int
val
);
6
unsigned
int
__current_pc
(
void
);
7
unsigned
int
__current_sp
(
void
);
8
int
__disable_fiq
(
void
);
9
int
__disable_irq
(
void
);
10
void
__enable_fiq
(
void
);
11
void
__enable_irq
(
void
);
12
double
__fabs
(
double
val
);
13
float
__fabs
(
float
val
);
14
void
__force_stores
(
void
);
15
unsigned
int
__ldrex
(
volatile
void
*ptr);
16
unsigned
long
long
__ldrexd
(
volatile
void
*ptr);
17
unsigned
int
__ldrt
(
const
volatile
void
*ptr);
18
void
__memory_changed
(
void
);
19
void
__nop
(
void
);
20
void
__pld
();
21
void
__pldw
();
22
void
__pli
();
23
void
__promise
(expr);
24
int
__qadd
(
int
val1
,
int
val2
);
25
int
__qdbl
(
int
val
);
26
int
__qsub
(
int
val1
,
int
val2
);
27
unsigned
int
__rbit
(
unsigned
int
val
);
28
unsigned
int
__rev
(
unsigned
int
val
);
29
unsigned
int
__return_address
(
void
);
30
unsigned
int
__ror
(
unsigned
int
val
,
unsigned
int
shift);
31
void
__schedule_barrier
(
void
);
32
int
__semihost
(
int
val
,
const
void
*ptr);
33
void
__sev
(
void
);
34
void
__sev
(
void
);
35
float
__sqrtf
(
float
);
36
int
__ssat
(
int
val
,
unsigned
int
sat
);
37
int
__strex
(
unsigned
int
val
,
volatile
void
*ptr);
38
int
__strexd
(
unsigned
long
long
val
,
volatile
void
*ptr);
39
void
__strt
(
unsigned
int
val
,
volatile
void
*ptr);
40
unsigned
int
__swp
(
unsigned
int
val
,
volatile
void
*ptr);
41
int
__usat
(
unsigned
int
val
,
unsigned
int
sat
);
42
void
__wfe
(
void
);
43
void
__wfi
(
void
);
44
void
__yield
(
void
);
45
// clang-format on
__yield
void __yield(void)
__enable_irq
void __enable_irq(void)
__strt
void __strt(unsigned int val, volatile void *ptr)
__qadd
int __qadd(int val1, int val2)
__ldrt
unsigned int __ldrt(const volatile void *ptr)
__strex
int __strex(unsigned int val, volatile void *ptr)
__pldw
void __pldw()
__wfi
void __wfi(void)
__return_address
unsigned int __return_address(void)
__clrex
void __clrex(void)
__swp
unsigned int __swp(unsigned int val, volatile void *ptr)
__rbit
unsigned int __rbit(unsigned int val)
__sqrtf
float __sqrtf(float)
__current_sp
unsigned int __current_sp(void)
__sev
void __sev(void)
__force_stores
void __force_stores(void)
__qsub
int __qsub(int val1, int val2)
__clz
unsigned char __clz(unsigned int val)
__ssat
int __ssat(int val, unsigned int sat)
__rev
unsigned int __rev(unsigned int val)
__fabs
double __fabs(double val)
__cdp
void __cdp(unsigned int coproc, unsigned int ops, unsigned int regs)
__ror
unsigned int __ror(unsigned int val, unsigned int shift)
__strexd
int __strexd(unsigned long long val, volatile void *ptr)
__ldrex
unsigned int __ldrex(volatile void *ptr)
__memory_changed
void __memory_changed(void)
__promise
void __promise(expr)
__semihost
int __semihost(int val, const void *ptr)
__enable_fiq
void __enable_fiq(void)
__disable_fiq
int __disable_fiq(void)
__ldrexd
unsigned long long __ldrexd(volatile void *ptr)
__current_pc
unsigned int __current_pc(void)
__qdbl
int __qdbl(int val)
__disable_irq
int __disable_irq(void)
__pli
void __pli()
__pld
void __pld()
__usat
int __usat(unsigned int val, unsigned int sat)
__wfe
void __wfe(void)
__schedule_barrier
void __schedule_barrier(void)
__nop
void __nop(void)
__breakpoint
void __breakpoint(int val)
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:563
ansi-c
compiler_headers
arm_builtin_headers.h
Generated by
1.10.0