Searched refs:f6 (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.c17 float f6,
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.c17 float f6,
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/HOL4/src/tfl/src/test/
H A Dpattern_matchingScript.sml34 val _ = def "f6"
35 `(f6 (0,0) = 0) /\
36 (f6 (0,SUC x) = x) /\
37 (f6 (SUC x, y) = y+x)`;
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dheap_wrap.c49 void f6(long long *p) { function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/decompiler/
H A Dmips_decomp_demoScript.sml32 ceil.l.d $f6, $f2
33 floor.l.d $f6, $f2
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DFunctionalRecordUpdate.sml11 fun f6 z = next f5 z function
12 fun f7 z = next f6 z
37 fun c6 from = c5 (from f6)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/examples/
H A Dfc_examples.sml28 val def6 = Define `f6(x:word32,y) =
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dlinux64.S122 lfd %f6, -32-(16*8)(%r28)
181 stfd %f6, 40(%r30)
192 stfs %f6, 20(%r30)
H A Daix.S65 .set f6,6
160 lfd f6,-32-(8*8)(r28)
262 lfd f6,-16-(8*8)(r28)
H A Daix_closure.S65 .set f6,6
138 stfd f6, 128+(5*8)(r1)
311 stfd f6, 72+(5*8)(r1)
H A Dlinux64_closure.S131 stfd %f6, -104+(5*8)(%r1)
298 lfd %f6, RETVAL+40(%r1)
307 lfs %f6, RETVAL+20(%r1)
H A Ddarwin.S158 lfd f6, -SAVE_REGS_SIZE-( 8*FPR_SIZE)(r28)
233 stfd f6, -SAVE_REGS_SIZE-( 8*FPR_SIZE)(r28)
H A Dsysv.S95 lfd %f6,-16-(8*4)-(3*8)(%r28)
H A Ddarwin_closure.S164 stfd f6, (FP_SAVE_BASE + FPR_SIZE * 5 )(r1)
431 lfd f6, (FP_SAVE_BASE + FPR_SIZE * 5 )(r1)
H A Dppc_closure.S64 stfd %f6, 88(%r1)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv9.S63 ldd [%l0+ARGS+24], %f6
122 std %f6, [%i4+56]
162 std %f6, [FP-104]
212 ldd [FP-136], %f6
/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 f
[all...]
H A DILTheory.sml1401 V"f6"
3129 V"f6'"
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/
H A DregAllocTest.sml79 f6 = \(v1:word32,v2:word32,v3:word32).
H A Dtest.sml257 `f6 =
272 |- f6 =
294 |- f6 =
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/
H A Dsysv.S273 ld %f6,72(%r11)
330 std %f6,152(%r15)
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dtraps.S441 INT_HANDLER_WITHOUT_ERR_CODE(f6,0)
/seL4-l4v-10.1.1/HOL4/src/meson/test/
H A Dselftest.sml2949 (!Z X. member(Z,second(X)) ==> little_set(f6(Z,X))) /\
2951 (!Z X. member(Z,second(X)) ==> equal(X,ordered_pair(f6(Z,X),f7(Z,X)))) /\
3079 (!A8 B8 C8. equal(A8,B8) ==> equal(f6(A8,C8),f6(B8,C8))) /\
3080 (!D8 F8 E8. equal(D8,E8) ==> equal(f6(F8,D8),f6(F8,E8))) /\
3309 (!X Vf Y Vb1 Vb2. basis(X,Vf) /\ element_of_set(Y,X) /\ element_of_collection(Vb1,Vf) /\ element_of_collection(Vb2,Vf) /\ element_of_set(Y,intersection_of_sets(Vb1,Vb2)) ==> element_of_set(Y,f6(X,Vf,Y,Vb1,Vb2))) /\
3310 (!X Y Vb1 Vb2 Vf. basis(X,Vf) /\ element_of_set(Y,X) /\ element_of_collection(Vb1,Vf) /\ element_of_collection(Vb2,Vf) /\ element_of_set(Y,intersection_of_sets(Vb1,Vb2)) ==> element_of_collection(f6(X,Vf,Y,Vb1,Vb2),Vf)) /\
3311 (!X Vf Y Vb1 Vb2. basis(X,Vf) /\ element_of_set(Y,X) /\ element_of_collection(Vb1,Vf) /\ element_of_collection(Vb2,Vf) /\ element_of_set(Y,intersection_of_sets(Vb1,Vb2)) ==> subset_sets(f6(X,Vf,Y,Vb1,Vb2),intersection_of_sets(Vb1,Vb2))) /\
3402 (!X Vf Y Vb1 Vb2. basis(X,Vf) /\ element_of_set(Y,X) /\ element_of_collection(Vb1,Vf) /\ element_of_collection(Vb2,Vf) /\ element_of_set(Y,intersection_of_sets(Vb1,Vb2)) ==> element_of_set(Y,f6(
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml1483 (f5 x = f6 (x-1)) /\
1484 (f6 x = f5(x-1) + f7(x-2)) /\

Completed in 687 milliseconds

12