Searched refs:f7 (Results 1 - 25 of 29) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dmany.c14 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 Dmany2_win32.c18 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 Dmany_win32.c18 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 Dheap_wrap.c53 void f7(unsigned long long *p) { function
/seL4-l4v-10.1.1/HOL4/src/tfl/src/test/
H A Dpattern_matchingScript.sml39 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 DFunctionalRecordUpdate.sml12 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 Dfc_examples.sml45 val def7 = Define `f7(x:word32,y) =
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dlinux64.S123 lfd %f7, -32-(15*8)(%r28)
182 stfd %f7, 48(%r30)
193 stfs %f7, 24(%r30)
H A Daix.S66 .set f7,7
161 lfd f7,-32-(7*8)(r28)
263 lfd f7,-16-(7*8)(r28)
H A Daix_closure.S66 .set f7,7
139 stfd f7, 128+(6*8)(r1)
312 stfd f7, 72+(6*8)(r1)
H A Dlinux64_closure.S132 stfd %f7, -104+(6*8)(%r1)
299 lfd %f7, RETVAL+48(%r1)
308 lfs %f7, RETVAL+24(%r1)
H A Ddarwin.S159 lfd f7, -SAVE_REGS_SIZE-( 7*FPR_SIZE)(r28)
234 stfd f7, -SAVE_REGS_SIZE-( 7*FPR_SIZE)(r28)
H A Dsysv.S96 lfd %f7,-16-(8*4)-(2*8)(%r28)
H A Ddarwin_closure.S165 stfd f7, (FP_SAVE_BASE + FPR_SIZE * 6 )(r1)
432 lfd f7, (FP_SAVE_BASE + FPR_SIZE * 6 )(r1)
H A Dppc_closure.S65 stfd %f7, 96(%r1)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DILTheory.sig430 |- (!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 DILTheory.sml1404 V"f7"
3132 V"f7'"
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/
H A DregAllocTest.sml86 f7 = \(v1:word32).
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dtraps.S442 INT_HANDLER_WITHOUT_ERR_CODE(f7,0)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/prog/
H A Dx64_progLib.sml282 mul r8d ; 41 f7 e0
/seL4-l4v-10.1.1/HOL4/src/meson/test/
H A Dselftest.sml2950 (!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 DDefn.sml1484 (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 DboolScript.sml3849 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 Driscv.spec4680 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 DpatternMatchesLib.sml3835 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),

Completed in 323 milliseconds

12