/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | many.c | 14 static float ABI_ATTR many(float f1, float f2, float f3, float f4, float f5, float f6, float f7, float f8, float f9, float f10, float f11, float f12, float f13) argument 19 (double) f6, (double) f7, (double) f8, (double) f9, (double) f10, 23 return f1+f2+f3+f4+f5+f6+f7+f8+f9+f10+f11+f12+f13;
|
H A D | many2_win32.c | 18 float f7, 26 return ((f1/f2+f3/f4+f5/f6+f7/f8+f9/f10+f11/f12) * f13); 12 fastcall_many(float f1, float f2, float f3, float f4, float f5, float f6, float f7, float f8, float f9, float f10, float f11, float f12, float f13) argument
|
H A D | many_win32.c | 18 float f7, 26 return ((f1/f2+f3/f4+f5/f6+f7/f8+f9/f10+f11/f12) * f13); 12 stdcall_many(float f1, float f2, float f3, float f4, float f5, float f6, float f7, float f8, float f9, float f10, float f11, float f12, float f13) argument
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | heap_wrap.c | 53 void f7(unsigned long long *p) { function
|
/seL4-l4v-10.1.1/HOL4/src/tfl/src/test/ |
H A D | pattern_matchingScript.sml | 39 val _ = def "f7" 40 `(f7 (SUC 0, CONS h t) = 1) /\ 41 (f7 (SUC(SUC n), CONS h1 (CONS h2 t)) = (h1:num))`;
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | FunctionalRecordUpdate.sml | 12 fun f7 z = next f6 z function 13 fun f8 z = next f7 z 38 fun c7 from = c6 (from f7)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/examples/ |
H A D | fc_examples.sml | 45 val def7 = Define `f7(x:word32,y) =
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | linux64.S | 123 lfd %f7, -32-(15*8)(%r28) 182 stfd %f7, 48(%r30) 193 stfs %f7, 24(%r30)
|
H A D | aix.S | 66 .set f7,7 161 lfd f7,-32-(7*8)(r28) 263 lfd f7,-16-(7*8)(r28)
|
H A D | aix_closure.S | 66 .set f7,7 139 stfd f7, 128+(6*8)(r1) 312 stfd f7, 72+(6*8)(r1)
|
H A D | linux64_closure.S | 132 stfd %f7, -104+(6*8)(%r1) 299 lfd %f7, RETVAL+48(%r1) 308 lfs %f7, RETVAL+24(%r1)
|
H A D | darwin.S | 159 lfd f7, -SAVE_REGS_SIZE-( 7*FPR_SIZE)(r28) 234 stfd f7, -SAVE_REGS_SIZE-( 7*FPR_SIZE)(r28)
|
H A D | sysv.S | 96 lfd %f7,-16-(8*4)-(2*8)(%r28)
|
H A D | darwin_closure.S | 165 stfd f7, (FP_SAVE_BASE + FPR_SIZE * 6 )(r1) 432 lfd f7, (FP_SAVE_BASE + FPR_SIZE * 6 )(r1)
|
H A D | ppc_closure.S | 65 stfd %f7, 96(%r1)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | ILTheory.sig | 430 |- (!f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 a0 a1. 431 DOPER_case f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 434 (!f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 a0 a1. 435 DOPER_case f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 438 (!f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 a0 a1. 439 DOPER_case f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 442 (!f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 a0 a1 a2. 443 DOPER_case f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 446 (!f f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 a0 a1 a2. 447 DOPER_case f f1 f2 f3 f4 f5 f6 f7 f [all...] |
H A D | ILTheory.sml | 1404 V"f7" 3132 V"f7'"
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/ |
H A D | regAllocTest.sml | 86 f7 = \(v1:word32).
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | traps.S | 442 INT_HANDLER_WITHOUT_ERR_CODE(f7,0)
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/prog/ |
H A D | x64_progLib.sml | 282 mul r8d ; 41 f7 e0
|
/seL4-l4v-10.1.1/HOL4/src/meson/test/ |
H A D | selftest.sml | 2950 (!Z X. member(Z,second(X)) ==> little_set(f7(Z,X))) /\ 2951 (!Z X. member(Z,second(X)) ==> equal(X,ordered_pair(f6(Z,X),f7(Z,X)))) /\ 2952 (!Z X. member(Z,second(X)) ==> member(Z,f7(Z,X))) /\ 3081 (!G8 H8 I8. equal(G8,H8) ==> equal(f7(G8,I8),f7(H8,I8))) /\ 3082 (!J8 L8 K8. equal(J8,K8) ==> equal(f7(L8,J8),f7(L8,K8))) /\ 3312 (!Vf X. equal_sets(union_of_members(Vf),X) ==> basis(X,Vf) \/ element_of_set(f7(X,Vf),X)) /\ 3315 (!X Vf. equal_sets(union_of_members(Vf),X) ==> basis(X,Vf) \/ element_of_set(f7(X,Vf),intersection_of_sets(f8(X,Vf),f9(X,Vf)))) /\ 3316 (!Uu9 X Vf. equal_sets(union_of_members(Vf),X) /\ element_of_set(f7( [all...] |
/seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
H A D | Defn.sml | 1484 (f6 x = f5(x-1) + f7(x-2)) /\ 1485 (f7 0 = f8 3 + f9 4) /\ 1486 (f7 (SUC n) = SUC n * f7 n + f9 n) /\
|
/seL4-l4v-10.1.1/HOL4/src/bool/ |
H A D | boolScript.sml | 3849 val f7 = GEN g (DISCH (mk_comb(P,g)) f6) value 3851 val a1 = MP (or_imp a0) (UNDISCH (SPEC KT f7)) 3852 val a2 = MP (or_imp a1) (UNDISCH (SPEC KF f7)) 3853 val a3 = MP (or_imp a2) (UNDISCH (SPEC Ibool f7)) 3854 val a = MP (NOT_ELIM (UNDISCH (SPEC dual f7))) a3
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/src/ |
H A D | riscv.spec | 4680 word Rtype(o::opcode, f3::bits(3), rd::reg, rs1::reg, rs2::reg, f7::bits(7)) = 4681 f7 : rs2 : rs1 : f3 : rd : o
|
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | patternMatchesLib.sml | 3835 fun pmi_genupdate f1 f2 f3 f4 f5 f6 f7 f8 f9 3843 pmi_has_lambda_in_pat = f7 (#pmi_has_lambda_in_pat pmi),
|