/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/ |
H A D | hardware.h | 21 #define LOAD ld
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | float2.c | 24 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 D | float.c | 30 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 D | float3.c | 31 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 D | huge_struct.c | 243 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 D | sysv.S | 69 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 D | pprint-file.lisp | 23 (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 D | linux64.S | 93 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 D | aix.S | 133 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 D | linux64_closure.S | 78 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 D | aix_closure.S | 171 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 D | arcompact.S | 65 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 D | sysv.S | 65 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 D | obsd.S | 86 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 D | arm_evalLib.sig | 20 * 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 D | sysv.S | 93 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 D | v8.S | 82 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 D | untranslate-file.lisp | 140 `(ld '((program) 141 (ld ,infile)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/ |
H A D | sysv.S | 69 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 D | install-sh | 345 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 D | install-sh | 345 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 D | eabi.S | 124 ld @(fp, gr0), fp
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffitarget.h | 155 # define REG_L ld
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | PrecAnalysis.sml | 211 | (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 D | tile.S | 48 #define LW ld
|