Searched refs:esi (Results 1 - 25 of 34) sorted by relevance

12

/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.h62 seL4_Word esi; member in struct:__anon210::__anon211
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dtraps.S31 pushl %esi; \
368 popl %esi
420 popl %esi
442 movl %cr4, %esi
443 pushl %esi
444 movl %cr3, %esi
445 pushl %esi
446 movl %cr2, %esi
447 pushl %esi
448 movl %cr0, %esi
[all...]
H A Dhead.S57 movl %ebx, %esi /* multiboot_info_ptr */
67 pushl %esi /* 2nd parameter: multiboot_info_ptr */
75 popl %esi
80 pushl %esi /* 2nd parameter: multiboot_info_ptr */
/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/libffi/src/x86/
H A Ddarwin.S69 /* Protect %esi. We're going to pop it in the epilogue. */
70 pushl %esi
105 pop %esi
106 add (%esi, %ecx, 4), %esi
107 jmp *%esi
173 popl %esi
277 pushl %esi
280 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */
287 movl %esi, (
[all...]
H A Dfreebsd.S70 /* Protect %esi. We're going to pop it in the epilogue. */
71 pushl %esi
108 pop %esi
109 add (%esi, %ecx, 4), %esi
110 jmp *%esi
176 popl %esi
289 pushl %esi
292 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */
299 movl %esi, (
[all...]
H A Dsysv.S70 /* Protect %esi. We're going to pop it in the epilogue. */
71 pushl %esi
106 pop %esi
107 add (%esi, %ecx, 4), %esi
108 jmp *%esi
162 popl %esi
286 pushl %esi
289 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */
296 movl %esi, (
[all...]
H A Dwin32.S335 ffi_closure_raw_THISCALL PROC NEAR USES esi FORCEFRAME
337 mov esi, [eax + RAW_CLOSURE_CIF_OFFSET] ;; closure->cif
344 ffi_closure_raw_SYSV PROC NEAR USES esi FORCEFRAME
348 mov esi, [eax + RAW_CLOSURE_CIF_OFFSET] ;; closure->cif
356 mov [esp], esi ;; cif
358 mov eax, [esi + CIF_FLAGS_OFFSET] ;; cif->flags
909 pushl %esi
911 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closure->cif */
932 pushl %esi
935 movl RAW_CLOSURE_CIF_OFFSET(%eax), %esi /* closur
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/demo/
H A Ddecompiler_demoScript.sml65 85F6 (* L1: test esi, esi *)
68 8B36 (* mov esi, [esi] *)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_Lib.sml166 val th = x86_step (x86_encode "mov [esi],45")
168 val th = x86_step (x86_encode "div esi")
169 val th = x86_step (x86_encode "jmp esi")
171 val th = x86_step (x86_encode "mov BYTE [esi],edx");
172 val th = x86_step (x86_encode "movzx edx,BYTE [esi]");
174 val th = x86_step "8B3E"; (* mov edi,[esi] *)
182 val th = x86_step "81FE38000000"; (* cmp esi,56 *)
186 val th = x86_step "893E"; (* mov [esi],edi *)
187 val th = x86_step "8B3E"; (* mov edi,[esi] *)
189 val th = x86_step "81CE38000000"; (* or esi,5
[all...]
H A Dprog_x86Lib.sml308 val th = x86_spec "89EE"; (* mov esi,ebp *)
309 val th = x86_spec "81E603000000"; (* and esi,3 *)
310 val th = x86_spec "4E"; (* dec esi *)
316 val th = x86_spec "8B36"; (* mov esi, [esi] *)
318 val th = x86_spec "8B7204"; (* mov esi,[edx+4] *)
320 val th = x86_spec "897104"; (* mov [ecx+4],esi *)
325 val th = x86_spec "F7F6"; (* div esi *)
326 val th = x86_spec "883E"; (* mov_byte [esi],edi *)
327 val th = x86_spec "0FB63E"; (* mov_byte edi,[esi] *)
[all...]
H A Dx86_decoderScript.sml491 val th = EVAL ``x86_decode(bytebits "8D84B6EE711202")``; (* lea eax, [esi + 4*esi + 34763246] *)
508 val th = EVAL ``x86_decode(bytebits "81FE38000000")``; (* cmp esi,56 *)
512 val th = EVAL ``x86_decode(bytebits "893E")``; (* mov [esi],edi *)
513 val th = EVAL ``x86_decode(bytebits "8B3E")``; (* mov edi,[esi] *)
515 val th = EVAL ``x86_decode(bytebits "81CE38000000")``; (* or esi,56 *)
519 val th = EVAL ``x86_decode(bytebits "81EE38000000")``; (* sub esi,56 *)
523 val th = EVAL ``x86_decode(bytebits "F7C638000000")``; (* test esi,56 *)
526 val th = EVAL ``x86_decode(bytebits "81F638000000")``; (* xor esi,56 *)
531 val th = EVAL ``x86_decode(bytebits "0FC11E")``; (* xadd [esi],eb
[all...]
H A Dprog_x86Script.sml836 val th = x86_step (x86_encode "jmp esi")
937 (xR ESI esi * xPC eip * xBYTE_MEMORY_X df f)
939 (xR ESI esi * xPC esi * xCODE (xCODE_SET df f))``,
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S34 %%esi: General register.
124 pushl %esi # Push callee-save registers
135 movl Arg_SaveRSI(%ebp),%esi
148 movl %esi,Arg_SaveRSI(%ebp)
155 popl %esi
H A Dx86assembly_masm32.S28 ; esi: General register.
97 push esi
108 mov esi,[ArgVector.SaveRSI+ebp]
120 mov [ArgVector.SaveRSI+ebp],esi
127 pop esi ; Restore saved registers
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Djit_opsScript.sml445 xSTACK t * xR EDX edx * xPC edx * ~xS * xR ESI esi``
471 ``!esi f. CODE_IN_MEM (xs,l,0,ns) esi df f =
472 CODE_IN_MEM ([],0,0,ns) esi df f``,
477 SEP_EXISTS f esi. cond (CODE_IN_MEM ([]:word32 list,0,0,ns) esi df f) *
478 xR ESI esi * xBYTE_MEMORY_X df f`;
491 val th3 = EXISTS_PRE `esi` th3
/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
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} ]
258 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi} ]
260 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi}, moveRR{source=r8, output=edx} ]
262 [ moveRR{source=eax, output=edi}, moveRR{source=ebx, output=esi}, moveRR{source=r8, output=edx}, moveRR{source=r9, output=ecx} ]
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.sml10 (* 8: *) 8975E4 (* mov %esi,-0x1c(%rbp) *)
/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/seL4/src/arch/x86/64/
H A Dhead.S329 movl %ebx, %esi /* multiboot_info_ptr */
341 pushl %esi /* 2nd parameter: multiboot_info_ptr */
/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/lisp/
H A DdivideScript.sml12 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi"),(10,"ebp")]
H A Dlisp_finalScript.sml399 val post = ``(let (eax,ecx,edi,esi,ebp,dh,h,df,f,dm,m,dg,g) =
404 ~xR EDX * xR ESI esi * ~xS) *
543 [(3,"eax"),(4,"ecx"),(5,"edx"),(6,"ebx"),(7,"edi"),(8,"esi")]

Completed in 186 milliseconds

12