Searched refs:GCC (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1905 /* Override any GCC internal prototype to avoid an error.
1906 Use char because int might match the return type of a GCC
4309 GCC=yes
4311 GCC=
4381 if test "$GCC" = yes; then
4387 if test "$GCC" = yes; then
5377 if test yes = "$GCC"; then
5400 # If it fails, then pretend we aren't using GCC.
5969 if test yes != "$GCC"; then
5974 if test yes = "$GCC"; the
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S139 subl $12,%esp # Align stack ptr - GCC prefers this
H A Dx86assembly_masm32.S118 sub esp,12 ; Align stack ptr - GCC prefers this
H A Dglobals.h385 the beginning of the object. Later versions of GCC get this right. */
387 #error Poly/ML requires GCC version 3 or newer
/seL4-l4v-master/HOL4/examples/CCS/
H A DExpansionScript.sml957 (WEAK_EQUIV O (GCC Wbsm) O $expands) E1 E2) /\
960 ($expands O (GCC Wbsm) O WEAK_EQUIV) E1 E2)) /\
962 ?E2. EPS E' E2 /\ (WEAK_EQUIV O (GCC Wbsm) O $expands) E1 E2) /\
964 ?E1. EPS E E1 /\ ($expands O (GCC Wbsm) O WEAK_EQUIV) E1 E2)``);
H A DContractionScript.sml1091 (WEAK_EQUIV O (GCC Wbsm) O $contracts) E1 E2) /\
1094 ($contracts O (GCC Wbsm) O WEAK_EQUIV) E1 E2)) /\
1096 ?E2. EPS E' E2 /\ (WEAK_EQUIV O (GCC Wbsm) O $contracts) E1 E2) /\
1098 ?E1. EPS E E1 /\ ($contracts O (GCC Wbsm) O WEAK_EQUIV) E1 E2)``);
H A DCongruenceScript.sml502 GCC R = (\g h. !c. GCONTEXT c ==> R (c g) (c h))`;
/seL4-l4v-master/seL4/manual/parts/
H A Dbootup.tex158 code and data is mapped (e.g.\ in GCC, with the standard linker script, the
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml391 FFI_SYSV (* Unix 32 bit and Windows GCC 32-bit *)
393 | FFI_MS_CDECL (* VS 32-bit. Same as SYSV except when returning a struct. Default on Windows including GCC in Mingw. *)
558 (* Always align the stack. It's not always necessary on 32-bits but GCC prefers it. *)
687 (* Stack space. In order to align the stack correctly for GCC we need the value in memRegCStackPtr
/seL4-l4v-master/HOL4/polyml/basis/
H A DForeign.sml576 (* Void: doesn't really have a size but GCC treats it as 1. *)

Completed in 205 milliseconds