1 / 22

Randal E. Bryant adapted by Jason Fritts

CS:APP Chapter 4 Computer Architecture Instruction Set Architecture. Randal E. Bryant adapted by Jason Fritts. http://csapp.cs.cmu.edu. CS:APP2e. Hardware Architecture - using Y86 ISA. For learning aspects of hardware architecture design, we’ll be using the Y86 ISA

ganesa
Télécharger la présentation

Randal E. Bryant adapted by Jason Fritts

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CS:APP Chapter 4 Computer Architecture Instruction Set Architecture Randal E. Bryant adapted by Jason Fritts http://csapp.cs.cmu.edu CS:APP2e

  2. Hardware Architecture- using Y86 ISA • For learning aspects of hardware architecture design, we’ll be using the Y86 ISA • x86 is a CISC language • too complex for educational purposes • Y86 Instruction Set Architecture • a pseudo-language based on x86 (IA-32) • similar state, but simpler set of instructions • simpler instruction formats and addressing modes • more RISC-like ISA than IA-32 • Format • 1–6 bytes of information read from memory • can determine instruction length from first byte

  3. CISC Instruction Sets • Complex Instruction Set Computer • Dominant style through mid-80’s • Stack-oriented instruction set • Use stack to pass arguments, save program counter • Explicit push and pop instructions • Arithmetic instructions can access memory • addl %eax, 12(%ebx,%ecx,4) • requires memory read and write • Complex address calculation • Condition codes • Set as side effect of arithmetic and logical instructions • Philosophy • Add instructions to perform “typical” programming tasks

  4. RISC Instruction Sets • Reduced Instruction Set Computer • Internal project at IBM, later popularized by Hennessy (Stanford) and Patterson (Berkeley) • Fewer, simpler instructions • Might take more to get given task done • Can execute them with small and fast hardware • Register-oriented instruction set • Many more (typically 32) registers • Use for arguments, return pointer, temporaries • Only load and store instructions can access memory • Similar to Y86 mrmovl and rmmovl • No Condition codes • Test instructions return 0/1 in register

  5. Byte 0 1 2 3 4 5 nop 1 0 halt 0 0 rrmovlrA, rB 2 0 rA rB irmovl V, rB 3 0 F rB V rmmovl rA, D(rB) 4 0 rA rB D mrmovl D(rB), rA 5 0 rA rB D OPl rA, rB 6 fn rA rB jXX Dest 7 fn Dest call Dest 8 0 Dest ret 9 0 pushl rA A 0 rA F popl rA B 0 rA F Y86 Instruction Set and Formatting

  6. Y86 Processor State RF: Program registers CC: Condition codes Stat: Program status • Program Registers • Same 8 as with IA32. Each 32 bits • Condition Codes • Single-bit flags set by arithmetic or logical instructions • ZF: Zero SF:Negative OF: Overflow • Program Counter • Indicates address of next instruction • Program Status • Indicates either normal operation or some error condition • Memory • Byte-addressable storage array • Words stored in little-endian byte order %eax %esi DMEM: Memory ZF SF OF %ecx %edi %edx %esp PC %ebx %ebp

  7. Byte 0 1 2 3 4 5 nop 1 0 addl 6 0 halt 0 0 subl 6 1 rrmovlrA, rB 2 0 rA rB andl 6 2 irmovl V, rB 3 0 F rB V xorl 6 3 rmmovl rA, D(rB) 4 0 rA rB D mrmovl D(rB), rA 5 0 rA rB D OPl rA, rB 6 fn rA rB jXX Dest 7 fn Dest call Dest 8 0 Dest ret 9 0 pushl rA A 0 rA F popl rA B 0 rA F Y86 Instruction Set #2

  8. Byte 0 1 2 3 4 5 nop 1 0 halt 0 0 rrmovlrA, rB 2 0 rA rB irmovl V, rB 3 0 F rB V rmmovl rA, D(rB) 4 0 rA rB D jmp 7 0 mrmovl D(rB), rA 5 0 rA rB D jle 7 1 OPl rA, rB 6 fn rA rB jl 7 2 jXX Dest 7 fn Dest je 7 3 call Dest 8 0 Dest jne 7 4 ret 9 0 jge 7 5 pushl rA A 0 rA F jg 7 6 popl rA B 0 rA F Y86 Instruction Set #3

  9. %eax 0 %esi 6 %ecx 1 %edi 7 %edx 2 %esp 4 %ebx 3 %ebp 5 Encoding Registers • Each register has 4-bit ID • Same encoding as in IA32 • Register ID 15 (0xF) indicates “no register” • Will use this in our hardware design in multiple places

  10. Generic Form Encoded Representation addl rA, rB 6 0 rA rB Instruction Example • Addition Instruction • Add value in register rA to that in register rB • Store result in register rB • Note that Y86 only allows addition to be applied to register data • Set condition codes based on result • e.g., addl %eax,%esi Encoding: 60 06 • Two-byte encoding • First indicates instruction type • Second gives source and destination registers

  11. Instruction Code Function Code addl rA, rB xorl rA, rB andl rA, rB subl rA, rB 6 6 6 6 2 3 1 0 rA rA rA rA rB rB rB rB Arithmetic and Logical Operations • Refer to generically as “OPl” • Encodings differ only by “function code” • Low-order 4 bytes in first instruction word • Set condition codes as side effect Add Subtract (rA from rB) And Exclusive-Or

  12. rA F rA rB rB rB 4 3 2 5 0 0 0 0 rA rB mrmovl D(rB), rA irmovl V, rB rmmovl rA, D(rB) D V D Move Operations • Like the IA32 movl instruction • Simpler format for memory addresses • Give different names to keep them distinct Register --> Register rrmovl rA, rB Immediate --> Register Register --> Memory Memory --> Register

  13. Move Instruction Examples IA32 Y86 Encoding movl $0xabcd, %edx irmovl $0xabcd, %edx 30 f2 cd ab 00 00 movl %esp, %ebx rrmovl %esp, %ebx 20 43 movl -12(%ebp),%ecx mrmovl -12(%ebp),%ecx 50 15 f4 ff ff ff movl %esi,0x41c(%esp) rmmovl %esi,0x41c(%esp) 40 64 1c 04 00 00 movl $0xabcd, (%eax) — movl %eax, 12(%eax,%edx) — movl (%ebp,%eax,4),%ecx —

  14. Jump When Equal Jump When Not Equal Jump Unconditionally Jump When Greater Jump When Greater or Equal Jump When Less or Equal Jump When Less jge Dest jl Dest je Dest jmp Dest jg Dest jne Dest jle Dest Dest Dest Dest Dest Dest Dest Dest 7 7 7 7 7 7 7 0 4 3 2 1 5 6 Jump Instructions • Refer to generically as “jXX” • Encodings differ only by “function code” • Based on values of condition codes • Same as IA32 counterparts • Encode full destination address • Unlike PC-relative addressing seen in IA32

  15. pushl rA popl rA A rA B rA 0 F 0 F Stack Operations • Decrement %esp by 4 • Store word from rA to memory at %esp • Like IA32 • Read word from memory at %esp • Save in rA • Increment %esp by 4 • Like IA32

  16. call Dest Dest ret 8 9 0 0 Subroutine Call and Return • Push address of next instruction onto stack • Start executing instructions at Dest • Like IA32 • Pop value from stack • Use as address for next instruction • Like IA32

  17. nop halt 1 0 0 0 Miscellaneous Instructions • Don’t do anything • Stop executing instructions • IA32 has comparable instruction, but can’t execute it in user mode • We will use it to stop the simulator • Encoding ensures that program hitting memory initialized to zero will halt

  18. Status Conditions • Normal operation • Halt instruction encountered • Bad address (either instruction or data) encountered • Invalid instruction encountered • Desired Behavior • If AOK, keep going • Otherwise, stop program execution

  19. Second Try Write with pointer code Compile with gcc34 –O1 -S Result Don’t need to do indexed addressing Y86 Code Generation Example #2 /* Find number of elements in null-terminated list */ int len2(int a[]) { intlen = 0; while (*a++) len++; return len; } .L11: incl %ecx movl (%edx), %eax addl $4, %edx testl %eax, %eax jne .L11

  20. IA32 Code Setup Y86 Code Setup Y86 Code Generation Example #3 len2: pushl %ebp # Save %ebp rrmovl %esp, %ebp # New FP pushl %esi # Save irmovl $4, %esi # Constant 4 pushl %edi # Save irmovl $1, %edi # Constant 1 mrmovl 8(%ebp), %edx # Get a irmovl $0, %ecx # len = 0 mrmovl (%edx), %eax # Get *a addl %esi, %edx # a++ andl %eax, %eax # Test *a je Done # If zero, goto Done len2: pushl %ebp movl%esp, %ebp movl8(%ebp), %edx movl$0, %ecx movl(%edx), %eax addl $4, %edx testl%eax, %eax je .L13 • Need constants 1 & 4 • Store in callee-save registers • Use andl to test register

  21. IA32 Code Loop & Exit Y86 Code Loop & Exit Y86 Code Generation Example #4 .L11: incl%ecx movl(%edx), %eax addl$4, %edx testl%eax, %eax jne.L11 .L13: movl %ecx, %eax leave ret Loop: addl %edi, %ecx # len++ mrmovl (%edx), %eax # Get *a addl %esi, %edx # a++ andl %eax, %eax # Test *a jne Loop # If !0, goto Loop Done: rrmovl %ecx, %eax # return len popl %edi # Restore %edi popl %esi # Restore %esi rrmovl %ebp, %esp # Restore SP popl %ebp # Restore FP ret

  22. Summary • Y86 Instruction Set Architecture • Similar state and instructions as IA32 • Simpler encodings • Somewhere between CISC and RISC • How Important is ISA Design? • Less now than before • With enough hardware, can make almost anything go fast • Intel has evolved from IA32 to x86-64 • Uses 64-bit words (including addresses) • Adopted some features found in RISC • More registers (16) • Less reliance on stack

More Related