Searched refs:ld (Results 1 - 25 of 49) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/
H A Dhardware.h21 #define LOAD ld
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dfloat2.c24 long double ld; local
41 ld = 666;
42 ffi_call(&cif, FFI_FN(ldblit), &ld, values);
48 printf ("%Lf, %Lf, %Lf, %Lf\n", ld, ldblit(f), ld - ldblit(f), LDBL_EPSILON);
52 if (ld - ldblit(f) < LDBL_EPSILON)
H A Dfloat.c30 long double ld; local
39 values[3] = &ld;
48 ld = 2.71828182846L;
50 floating (si1, f, d, ld);
54 printf ("%d vs %d\n", (int)rint, floating (si1, f, d, ld));
56 CHECK((int)rint == floating(si1, f, d, ld));
H A Dfloat3.c31 long double ld; local
38 values[2] = &ld;
46 ld = 2.71828182846L;
48 floating_1 (f, d, ld);
52 CHECK(rd - floating_1(f, d, ld) < DBL_EPSILON);
55 values[0] = &ld;
65 floating_2 (ld, d, f);
69 CHECK(rd - floating_2(ld, d, f) < DBL_EPSILON);
H A Dhuge_struct.c243 long double ld = 11; local
289 argValues[10] = argValues[22] = argValues[34] = argValues[46] = &ld;
322 ui8, si8, ui16, si16, ui32, si32, ui64, si64, f, d, ld, p,
323 ui8, si8, ui16, si16, ui32, si32, ui64, si64, f, d, ld, p,
324 ui8, si8, ui16, si16, ui32, si32, ui64, si64, f, d, ld, p,
325 ui8, si8, ui16, si16, ui32, si32, ui64, si64, f, d, ld, p,
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m32r/
H A Dsysv.S69 ld r0, @(0,sp)
70 ld r1, @(4,sp)
71 ld r2, @(8,sp)
72 ld r3, @(12,sp)
75 ld lr, @(8,fp)
83 ld lr, @(28,fp)
90 ld r2, @(24,sp)
93 ld r3, @(12,sp)
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/obsolete/
H A Dpprint-file.lisp23 (defun pprint-file-fn (infile outfile ld-p state)
26 (if ld-p
27 (ld `((ld ,infile :ld-skip-proofsp t)))
33 (defmacro pprint-file (infile outfile &optional (ld-p 't))
36 `(pprint-file-fn ,infile ,outfile ,ld-p state))
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dlinux64.S93 ld %r12, 0(%r29)
94 ld %r2, 8(%r29)
95 ld %r11, 16(%r29)
104 ld %r3, -32-(8*8)(%r28)
105 ld %r4, -32-(7*8)(%r28)
106 ld %r5, -32-(6*8)(%r28)
107 ld %r6, -32-(5*8)(%r28)
109 ld %r7, -32-(4*8)(%r28)
110 ld %r8, -32-(3*8)(%r28)
111 ld
[all...]
H A Daix.S133 ld r0, 0(r29)
134 ld r2, 8(r29)
135 ld r11, 16(r29)
141 ld r3, 40+(1*8)(r1)
142 ld r4, 40+(2*8)(r1)
143 ld r5, 40+(3*8)(r1)
144 ld r6, 40+(4*8)(r1)
146 ld r7, 40+(5*8)(r1)
147 ld r8, 40+(6*8)(r1)
148 ld r
[all...]
H A Dlinux64_closure.S78 ld %r12, FFI_TRAMPOLINE_SIZE(%r11) # closure->cif
105 ld %r2, 16(%r11)
166 ld %r0, STACKFRAME+16(%r1)
267 ld %r3, RETVAL+0(%r1)
272 ld %r3, RETVAL+0(%r1)
282 ld %r3, RETVAL+0(%r1)
314 ld %r3,RETVAL+0(%r1)
316 ld %r4,RETVAL+8(%r1)
326 ld %r3,RETVAL+0(%r1)
329 ld
[all...]
H A Daix_closure.S171 ld r4, LC..60(2) /* get address of jump table */
173 ld r0, 240+16(r1) /* load return address */
251 ld r3, 112+0(r1)
257 ld r3, 112+0(r1)
269 ld r3, 112+0(r1)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/
H A Darcompact.S65 ld.ab r12, [fp, 4] /* cif->bytes */
66 ld.ab r11, [fp, 4] /* fn */
73 ld r4, [sp, 16]
74 ld r5, [sp, 20]
75 ld r6, [sp, 24]
76 ld r7, [sp, 28]
105 ld.ab fp, [sp, 4]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/avr32/
H A Dsysv.S65 ld.w r1, r0[36]
72 ld.w r1, sp[32]
75 ld.w r9, sp[12]
78 ld.w r8, sp[16]
182 ld.w r11, sp[0]
183 ld.w r10, sp[4]
187 ld.w r12, sp[0]
191 ld.uh r12, sp[0]
195 ld.ub r12, sp[0]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/
H A Dobsd.S86 ld %r1, %r4, 16
89 ld.d %r2, %r31, (0 * 4)
90 ld.d %r4, %r31, (2 * 4)
91 ld.d %r6, %r31, (4 * 4)
92 ld.d %r8, %r31, (6 * 4)
102 ld %r5, %r31, 12 | rvalue
103 ld %r4, %r31, 8 | flags
118 ld %r1, %r31, 0
119 ld %r30, %r31, 4
157 ld
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Darm_evalLib.sig20 * arm_load_from_elf <start address> <elf filename> <ld>
21 e.g. val ld = arm_load_from_elf "0" "a.out" arm_load_empty
26 * arm_load_from_file <start address> <assembler filename> <ld>
27 e.g. val ld = arm_load_from_file "A00" "code.s" arm_load_empty
30 e.g. val ld = arm_load_from_string "B00" "add r1,r2" arm_load_empty
33 e.g. val ld = arm_load_from_quote "C00" `ascii "hello"` arm_load_empty
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/
H A Dsysv.S93 ld.l r15, 0, r19
232 ld.q r15, 0, r2
234 ld.q r15, 0, r3
236 ld.q r15, 0, r4
238 ld.q r15, 0, r5
240 ld.q r15, 0, r6
242 ld.q r15, 0, r7
244 ld.q r15, 0, r8
246 ld.q r15, 0, r9
307 ld
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S82 ld [%l0+ARGS], %o0 ! call foreign function
83 ld [%l0+ARGS+4], %o1
84 ld [%l0+ARGS+8], %o2
85 ld [%l0+ARGS+12], %o3
86 ld [%l0+ARGS+16], %o4
87 ld [%l0+ARGS+20], %o5
192 ld [%g2+FFI_TRAMPOLINE_SIZE], %g1
193 ld [%g1+4], %g1
223 ld [%fp-8], %i0
227 ld [
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Duntranslate-file.lisp140 `(ld '((program)
141 (ld ,infile)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/
H A Dsysv.S69 ld %f0,32(%r11)
70 ld %f2,40(%r11)
140 ld %f0,96+64(%r15) # Load return registers
270 ld %f0,48(%r11)
271 ld %f2,56(%r11)
272 ld %f4,64(%r11)
273 ld %f6,72(%r11)
343 ld %f0,160+128(%r15) # Load return registers
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dinstall-sh345 ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
352 ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dinstall-sh345 ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
352 ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/frv/
H A Deabi.S124 ld @(fp, gr0), fp
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dffitarget.h155 # define REG_L ld
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPrecAnalysis.sml211 | (ld,rd,lsp:mini_lspec)::more_lsps =>
216 if tk <> ld then recurse (c1 rel A) lsps more_rels
217 else (* tk = ld *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/tile/
H A Dtile.S48 #define LW ld

Completed in 357 milliseconds

12