Searched refs:edi (Results 1 - 25 of 30) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dhead.S73 movl $boot_pml4, %edi
77 movl %edx, (%edi)
78 addl $4, %edi
81 movl $boot_pdpt, %edi
84 movl %edx, (%edi)
85 addl $4, %edi
89 movl $boot_pdpt, %edi
94 movl %edx, (%edi)
95 movl %ebx, 4(%edi)
102 addl $8, %edi
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dtypes.h28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
H A Ddeprecated.h63 seL4_Word edi; member in struct:__anon210::__anon211
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dhead.S56 movl %eax, %edi /* multiboot_magic */
68 pushl %edi /* 1st parameter: multiboot_magic */
74 popl %edi
81 pushl %edi /* 1st parameter: multiboot_magic */
H A Dtraps.S30 pushl %edi; \
369 popl %edi
421 popl %edi
438 movl %esp, %edi
439 addl $68, %edi # EDI contains ESP when exception happened
451 pushl %edi
474 pushl %edi
520 pushl %edi # save EDI (message register)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Djit_basicScript.sml26 val ((th2,_,_),_) = spec (x86_encode "lea edi,[ebp+4]")
49 ~xR EAX * xR EDI edi * xPC eip * xSTACK2 EBP (x::xs,l)``
61 val ((th1,_,_),_) = spec (x86_encode "mov [edi-4],eax")
62 val ((th2,_,_),_) = spec (x86_encode "lea ebp,[edi-4]")
64 val th = Q.INST [`df`|->`{edi-4w}`] (DISCH_ALL th)
69 val th = SPEC_BOOL_FRAME_RULE th ``ALIGNED edi``
70 val th = SPEC_FRAME_RULE th ``xLIST edi xs * xSPACE (edi-4w) l``
79 \\ Q.EXISTS_TAC `edi-4w`
82 val th = HIDE_PRE_RULE ``xM (edi
[all...]
H A Djit_opsScript.sml20 edi - point to top of rest of stack
24 (* sub is 2B07 i.e. x86_encode "sub eax,[edi]" *)
61 SEP_EXISTS edi. xR EAX x * xR EDI edi * cond (ALIGNED edi) *
62 xLIST edi xs * xSPACE edi l)`;
144 val th = Q.INST [`df`|->`{edi}`] (DISCH_ALL th)
155 val th = Q.INST [`df`|->`{edi}`] (DISCH_ALL th)
190 val ((th1,_,_),_) = spec (x86_encode "mov eax,[edi]")
[all...]
H A Djit_incrementalScript.sml28 [(1,"eax"),(6,"ebx"),(5,"ecx"),(2,"edx"),(3,"edi"),(4,"esi"),(7,"ebp")]
34 r3 edi - preserved (rest of stack)
176 r3 edi - preserved (rest of stack)
1729 ``x86_inc (eax,edx,edi,esi,ecx,ebx,ebp,dh,h,df,f,dg,g) =
1730 (eax,edx,edi,w,0w,ebx,ebp,dh,h3,df,f3,dg,g)`` x86_inc_th
1731 val th = DISCH ``ALIGNED edi`` th
1749 val th = Q.SPEC `xLIST edi xs * xSPACE edi l` (MATCH_MP SPEC_FRAME th)
1804 \\ POP_ASSUM (STRIP_ASSUME_TAC o Q.SPECL [`ebx`,`edi`,`edx`,`x`])
1820 \\ Q.EXISTS_TAC `edi`
[all...]
H A Djit_codegenScript.sml32 [(1,"eax"),(6,"ebx"),(5,"ecx"),(2,"edx"),(3,"edi"),(4,"esi"),(7,"ebp")]
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dtypes.h47 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S35 %%edi: General register.
123 pushl %edi
136 movl Arg_SaveRDI(%ebp),%edi
149 movl %edi,Arg_SaveRDI(%ebp)
156 popl %edi
199 movl %edi,%eax # On X86_64 the argument is passed in %edi
H A Dx86assembly_masm32.S29 ; edi: General register.
96 push edi
109 mov edi,[ArgVector.SaveRDI+ebp]
121 mov [ArgVector.SaveRDI+ebp],edi
128 pop edi
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml110 ebx, edi, esi, ebp and esp are saved by the called function.
111 We use esi to hold the argument data pointer and edi to save the ML stack pointer
150 then [moveRR{source=esp, output=edi}] (* Needed if we have to load from the stack. *)
163 (X64Unix, 0) => [ loadMemory(edi, ebp, memRegThreadSelf) ]
164 | (X64Unix, 1) => [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi} ]
166 [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi}, moveRR{source=ebx, output=edx} ]
168 [ loadMemory(edi, ebp, memRegThreadSelf), moveRR{source=eax, output=esi}, moveRR{source=ebx, output=edx}, moveRR{source=r8, output=ecx} ]
181 PushToStack(MemoryArg{base=edi, offset=4, index=NoIndex}), pushR ebx, pushR eax,
226 if isX64 then (r11, r13) else (ecx, edi)
256 | (X64Unix, 1) => [ moveRR{source=eax, output=edi} ]
[all...]
H A DX86CODESIG.sml39 and edi: genReg and esi: genReg and esp: genReg and ebp: genReg value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/decompiler/
H A Dx64_decomp_demoScript.sml52 (* 20: *) 89c7 (* mov %eax,%edi *)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dlisp_finalScript.sml336 prog_x86Lib.x86_tools "test" [QUOTE (x86_encodeLib.x86_encode "push edi")]
340 val post = ``xSTACK (esp-4w) [edi] * xR EDI edi * xR ESP (esp - 0x4w) * xPC (p + 0x1w)``
346 val pre = ``xSTACK (esp-4w) [w] * xR EDI edi * xR ESP esp * xPC p``
357 prog_x86Lib.x86_tools "test" [QUOTE (x86_encodeLib.x86_encode "mov edi, [esp]")]
378 prog_x86Lib.x86_tools "test" [QUOTE (x86_encodeLib.x86_encode "pop edi")]
399 val post = ``(let (eax,ecx,edi,esi,ebp,dh,h,df,f,dm,m,dg,g) =
429 val post = ``SEP_EXISTS edi dg g dm m dh h. xR EDI edi * xSTRING edi (sexp2strin
[all...]
H A DdivideScript.sml12 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(10,"ebp")]
H A Dlisp_equalScript.sml18 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(9,"ebp")]
H A Dlisp_parseScript.sml18 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(9,"ebp")]
3129 ("7","edi"),("8","esi"),("9","ebp")])
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/demo/
H A Dcompiler_demoScript.sml108 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(9,"ebp")]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dprog_x86Lib.sml326 val th = x86_spec "883E"; (* mov_byte [esi],edi *)
327 val th = x86_spec "0FB63E"; (* mov_byte edi,[esi] *)
344 val s = (x86_encode "mov [edi+400],3477")
H A Dx86_Lib.sml174 val th = x86_step "8B3E"; (* mov edi,[esi] *)
186 val th = x86_step "893E"; (* mov [esi],edi *)
187 val th = x86_step "8B3E"; (* mov edi,[esi] *)
H A Dx86_decoderScript.sml512 val th = EVAL ``x86_decode(bytebits "893E")``; (* mov [esi],edi *)
513 val th = EVAL ``x86_decode(bytebits "8B3E")``; (* mov edi,[esi] *)
566 val th = EVAL ``x86_decode(bytebits "0FB1F8")``; (* cmpxchg eax, edi *)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dcodegen_x86Lib.sml9 (4,"edi"), (5,"esi"), (6,"ebp")];
/seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/
H A Darm_improved_gcScript.sml19 [(1,"eax"),(2,"ecx"),(3,"edx"),(4,"ebx"),(5,"edi"),(6,"esi"),(7,"ebp")]

Completed in 213 milliseconds

12