/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 | 17 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 D | many_win32.c | 17 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 D | pattern_matchingScript.sml | 34 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 D | heap_wrap.c | 49 void f6(long long *p) { function
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/decompiler/ |
H A D | mips_decomp_demoScript.sml | 32 ceil.l.d $f6, $f2 33 floor.l.d $f6, $f2
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | FunctionalRecordUpdate.sml | 11 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 D | fc_examples.sml | 28 val def6 = Define `f6(x:word32,y) =
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | linux64.S | 122 lfd %f6, -32-(16*8)(%r28) 181 stfd %f6, 40(%r30) 192 stfs %f6, 20(%r30)
|
H A D | aix.S | 65 .set f6,6 160 lfd f6,-32-(8*8)(r28) 262 lfd f6,-16-(8*8)(r28)
|
H A D | aix_closure.S | 65 .set f6,6 138 stfd f6, 128+(5*8)(r1) 311 stfd f6, 72+(5*8)(r1)
|
H A D | linux64_closure.S | 131 stfd %f6, -104+(5*8)(%r1) 298 lfd %f6, RETVAL+40(%r1) 307 lfs %f6, RETVAL+20(%r1)
|
H A D | darwin.S | 158 lfd f6, -SAVE_REGS_SIZE-( 8*FPR_SIZE)(r28) 233 stfd f6, -SAVE_REGS_SIZE-( 8*FPR_SIZE)(r28)
|
H A D | sysv.S | 95 lfd %f6,-16-(8*4)-(3*8)(%r28)
|
H A D | darwin_closure.S | 164 stfd f6, (FP_SAVE_BASE + FPR_SIZE * 5 )(r1) 431 lfd f6, (FP_SAVE_BASE + FPR_SIZE * 5 )(r1)
|
H A D | ppc_closure.S | 64 stfd %f6, 88(%r1)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | v9.S | 63 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 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 f [all...] |
H A D | ILTheory.sml | 1401 V"f6" 3129 V"f6'"
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/ |
H A D | regAllocTest.sml | 79 f6 = \(v1:word32,v2:word32,v3:word32).
|
H A D | test.sml | 257 `f6 = 272 |- f6 = 294 |- f6 =
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/ |
H A D | sysv.S | 273 ld %f6,72(%r11) 330 std %f6,152(%r15)
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | traps.S | 441 INT_HANDLER_WITHOUT_ERR_CODE(f6,0)
|
/seL4-l4v-10.1.1/HOL4/src/meson/test/ |
H A D | selftest.sml | 2949 (!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 D | Defn.sml | 1483 (f5 x = f6 (x-1)) /\ 1484 (f6 x = f5(x-1) + f7(x-2)) /\
|