Skip to content

Commit

Permalink
UPDATE function prologue/epilogue
Browse files Browse the repository at this point in the history
  • Loading branch information
@sheisc
sheisc committed Nov 17, 2022
1 parent 2e8280e commit 60b72cf
Show file tree
Hide file tree
Showing 30 changed files with 776 additions and 853 deletions.
13 changes: 7 additions & 6 deletions emit.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,9 +15,10 @@ void EmitPrologue(int stksize){
subl $12, %esp
**************************/
EmitAssembly("pushl %%ebp");
EmitAssembly("pushl %%ebx");
EmitAssembly("pushl %%esi");
EmitAssembly("pushl %%edi");
// We don't use these registers in our assembly now.
// EmitAssembly("pushl %%ebx");
// EmitAssembly("pushl %%esi");
// EmitAssembly("pushl %%edi");
EmitAssembly("movl %%esp, %%ebp");
if (stksize != 0){
EmitAssembly("subl $%d, %%esp",stksize);
Expand All @@ -38,9 +39,9 @@ void EmitEpilogue(void){
//EmitAssembly("movl $0, %%eax");
//---------------------------------
EmitAssembly("movl %%ebp, %%esp");
EmitAssembly("popl %%edi");
EmitAssembly("popl %%esi");
EmitAssembly("popl %%ebx");
// EmitAssembly("popl %%edi");
// EmitAssembly("popl %%esi");
// EmitAssembly("popl %%ebx");
EmitAssembly("popl %%ebp");
EmitAssembly("ret");
}
Expand Down
Binary file modified examples/ExamEnv.c.exe
View file
Binary file not shown.
184 changes: 86 additions & 98 deletions examples/ExamEnv.c.s
View file
Original file line number Diff line number Diff line change
@@ -1,130 +1,118 @@
#Auto-Genereated by SE352
.data
.input_fmtstr: .string "%d" # (main.c, 144)
.output_fmtstr: .string "%d\012" # (main.c, 145)
.input_fmtstr: .string "%d" # (main.c, 144)
.output_fmtstr: .string "%d\012" # (main.c, 145)

.text
.globl SQAless
SQAless:
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
setl %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
setl %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)

.text
.globl SQAlarger
SQAlarger:
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
setg %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
setg %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)

.text
.globl SQAequal
SQAequal:
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
sete %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)
movl 8(%esp), %eax # (main.c, 35)
cmpl %eax, 4(%esp) # (main.c, 36)
sete %al # (main.c, 37)
movzbl %al, %eax # (main.c, 38)
ret # (main.c, 39)

.text
.globl SQAstore
SQAstore:
movl 12(%esp), %eax # (main.c, 99)
movl 4(%esp), %ecx # (main.c, 100)
movl 8(%esp), %edx # (main.c, 101)
movl %eax, (%ecx,%edx) # (main.c, 102)
ret # (main.c, 103)
movl 12(%esp), %eax # (main.c, 99)
movl 4(%esp), %ecx # (main.c, 100)
movl 8(%esp), %edx # (main.c, 101)
movl %eax, (%ecx,%edx) # (main.c, 102)
ret # (main.c, 103)

.text
.globl SQAload
SQAload:
movl 4(%esp), %edx # (main.c, 119)
movl 8(%esp), %eax # (main.c, 120)
movl (%edx,%eax), %eax # (main.c, 121)
ret # (main.c, 122)
movl 4(%esp), %edx # (main.c, 119)
movl 8(%esp), %eax # (main.c, 120)
movl (%edx,%eax), %eax # (main.c, 121)
ret # (main.c, 122)

.text
.globl printStrs
printStrs:
pushl %ebp # (emit.c, 17)
pushl %ebx # (emit.c, 18)
pushl %esi # (emit.c, 19)
pushl %edi # (emit.c, 20)
movl %esp, %ebp # (emit.c, 21)
subl $12, %esp # (emit.c, 23)
movl $0, %eax # (stmt.c, 354)
movl %eax, -4(%ebp) # (stmt.c, 355)
movl -4(%ebp), %eax # (expr.c, 329)
imull $4, %eax # (expr.c, 330)
movl %eax, -16(%ebp) # (expr.c, 331)
pushl -16(%ebp) # (expr.c, 296)
pushl 20(%ebp) # (expr.c, 296)
call SQAload # (expr.c, 300)
addl $8, %esp # (expr.c, 302)
movl %eax, -12(%ebp) # (expr.c, 305)
movl -12(%ebp), %eax # (stmt.c, 354)
movl %eax, -8(%ebp) # (stmt.c, 355)
pushl %ebp # (emit.c, 17)
movl %esp, %ebp # (emit.c, 22)
subl $12, %esp # (emit.c, 24)
movl $0, %eax # (stmt.c, 354)
movl %eax, -4(%ebp) # (stmt.c, 355)
movl -4(%ebp), %eax # (expr.c, 329)
imull $4, %eax # (expr.c, 330)
movl %eax, -16(%ebp) # (expr.c, 331)
pushl -16(%ebp) # (expr.c, 296)
pushl 8(%ebp) # (expr.c, 296)
call SQAload # (expr.c, 300)
addl $8, %esp # (expr.c, 302)
movl %eax, -12(%ebp) # (expr.c, 305)
movl -12(%ebp), %eax # (stmt.c, 354)
movl %eax, -8(%ebp) # (stmt.c, 355)
Label_0:
cmpl $0, -8(%ebp) # (stmt.c, 332)
je Label_1 # (stmt.c, 333)
pushl -8(%ebp) # (expr.c, 296)
call puts # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -20(%ebp) # (expr.c, 305)
movl -4(%ebp), %eax # (expr.c, 313)
addl $1, %eax # (expr.c, 314)
movl %eax, -24(%ebp) # (expr.c, 315)
movl -24(%ebp), %eax # (stmt.c, 354)
movl %eax, -4(%ebp) # (stmt.c, 355)
movl -4(%ebp), %eax # (expr.c, 329)
imull $4, %eax # (expr.c, 330)
movl %eax, -32(%ebp) # (expr.c, 331)
pushl -32(%ebp) # (expr.c, 296)
pushl 20(%ebp) # (expr.c, 296)
call SQAload # (expr.c, 300)
addl $8, %esp # (expr.c, 302)
movl %eax, -28(%ebp) # (expr.c, 305)
movl -28(%ebp), %eax # (stmt.c, 354)
movl %eax, -8(%ebp) # (stmt.c, 355)
jmp Label_0 # (stmt.c, 335)
cmpl $0, -8(%ebp) # (stmt.c, 332)
je Label_1 # (stmt.c, 333)
pushl -8(%ebp) # (expr.c, 296)
call puts # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -20(%ebp) # (expr.c, 305)
movl -4(%ebp), %eax # (expr.c, 313)
addl $1, %eax # (expr.c, 314)
movl %eax, -24(%ebp) # (expr.c, 315)
movl -24(%ebp), %eax # (stmt.c, 354)
movl %eax, -4(%ebp) # (stmt.c, 355)
movl -4(%ebp), %eax # (expr.c, 329)
imull $4, %eax # (expr.c, 330)
movl %eax, -32(%ebp) # (expr.c, 331)
pushl -32(%ebp) # (expr.c, 296)
pushl 8(%ebp) # (expr.c, 296)
call SQAload # (expr.c, 300)
addl $8, %esp # (expr.c, 302)
movl %eax, -28(%ebp) # (expr.c, 305)
movl -28(%ebp), %eax # (stmt.c, 354)
movl %eax, -8(%ebp) # (stmt.c, 355)
jmp Label_0 # (stmt.c, 335)
Label_1:
movl %ebp, %esp # (emit.c, 40)
popl %edi # (emit.c, 41)
popl %esi # (emit.c, 42)
popl %ebx # (emit.c, 43)
popl %ebp # (emit.c, 44)
ret # (emit.c, 45)
movl %ebp, %esp # (emit.c, 41)
popl %ebp # (emit.c, 45)
ret # (emit.c, 46)

.text
.globl main
main:
pushl %ebp # (emit.c, 17)
pushl %ebx # (emit.c, 18)
pushl %esi # (emit.c, 19)
pushl %edi # (emit.c, 20)
movl %esp, %ebp # (emit.c, 21)
subl $12, %esp # (emit.c, 23)
leal .output_fmtstr, %eax # (stmt.c, 384)
pushl 20(%ebp) # (stmt.c, 385)
pushl %eax # (stmt.c, 386)
call printf # (stmt.c, 387)
addl $8, %esp # (stmt.c, 388)
pushl 24(%ebp) # (expr.c, 296)
call printStrs # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -4(%ebp) # (expr.c, 305)
pushl 28(%ebp) # (expr.c, 296)
call printStrs # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -8(%ebp) # (expr.c, 305)
movl $0, %eax # (stmt.c, 397)
movl %ebp, %esp # (emit.c, 40)
popl %edi # (emit.c, 41)
popl %esi # (emit.c, 42)
popl %ebx # (emit.c, 43)
popl %ebp # (emit.c, 44)
ret # (emit.c, 45)
pushl %ebp # (emit.c, 17)
movl %esp, %ebp # (emit.c, 22)
subl $12, %esp # (emit.c, 24)
leal .output_fmtstr, %eax # (stmt.c, 384)
pushl 8(%ebp) # (stmt.c, 385)
pushl %eax # (stmt.c, 386)
call printf # (stmt.c, 387)
addl $8, %esp # (stmt.c, 388)
pushl 12(%ebp) # (expr.c, 296)
call printStrs # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -4(%ebp) # (expr.c, 305)
pushl 16(%ebp) # (expr.c, 296)
call printStrs # (expr.c, 300)
addl $4, %esp # (expr.c, 302)
movl %eax, -8(%ebp) # (expr.c, 305)
movl $0, %eax # (stmt.c, 397)
movl %ebp, %esp # (emit.c, 41)
popl %ebp # (emit.c, 45)
ret # (emit.c, 46)
Binary file modified examples/ExamFactorial.c.exe
View file
Binary file not shown.
Loading

0 comments on commit 60b72cf

Please sign in to comment.