CSCE 212Chapter 2: Instruction Set Architecture
Instructor: Jason D. Bakos
CSCE 212 2
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 3
Instruction Set Architecture
CSCE 212 4
Instruction Set Architecture
• Instruction Set Architecture:1. abtraction that hides the low-level details of a processor from the user2. the interface between the hardware and software3. everything you need to know to “use” the processor:
• instruction set• instruction representations• addressing modes• etc…
• “Families” of processors are defined by their ISA:– Sun Sparc– Intel IA-32– MIPS– IBM 360– Motorola/IBM PowerPC
CSCE 212 5
ISAs Today
CSCE 212 6
Processor Classes
CSCE 212 7
MIPS ISA
• 100 million MIPS processors manufactured in 2002
• MIPS processors used in:– Products from ATI, Broadcom, NEC, Texas Instruments, Toshiba– SGI workstations– Series2 TiVo– Windows CE devices– Cisco/Linksys routers– Nintendo 64– Sony Playstation 1, PS2 (Emotion), PSP– Cable boxes
– Competes against XScale/ARM for cell phones
• John L. Hennessy (Stanford, 1981)– 1984: MIPS Computer Systems– R2000 (1985), R3000 (1988), R4000 (64-bit, 1991)– SGI acquisition (1992) => MIPS Technologies– Transition to licensed IP: MIPS32 and MIPS64 (1999)– “Heavyweight” embedded processor
CSCE 212 8
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 9
MIPS Microarchitecture
CSCE 212 10
RISC vs. CISC
• Design “philosophies” for ISAs: RISC vs. CISC– CISC = Complex Instruction Set Computer– RISC = Reduced Instruction Set Computer
• Execution time =– instructions per program * cycles per instruction * seconds per cycle
• MIPS is the first implementation of a RISC architecture
CSCE 212 11
RISC vs. CISC
• MIPS R2000 ISA
– Designed for use with high-level programming languages• Easy for compilers• Example: mapping IA32 instruction CRC32 (accumulate CRC32 value)
– Balance amount of work per instruction (pipelining)
– Load-store machine• Force user to minimize off-chip accesses
– Fixed instruction width (32-bits), small set of uniform instruction encodings
• Reduce implementation complexity
CSCE 212 12
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 13
MIPS Instruction Types
• MIPS instructions fall into 5 classes:– Arithmetic/logical/shift/comparison– Control instructions (branch and jump)– Load/store– Other (exception, register movement to/from GP registers, etc.)
• Three instruction encoding formats:– R-type (6-bit opcode, 5-bit rs, 5-bit rt, 5-bit rd, 5-bit shamt, 6-bit function code)
– I-type (6-bit opcode, 5-bit rs, 5-bit rt, 16-bit immediate)
– J-type (6-bit opcode, 26-bit pseudo-direct address)
CSCE 212 14
Partial MIPS Instruction Set (see Appendix. A)
• Arithmetic R-type: add, addu, sub, subu• Arithmetic I-type: addi, addiu• Logical R-type: and, or, nor, xor• Logical I-type: andi, ori, xori• Compare R-type: slt, sltu• Compare I-type: slti, sltiu• Shift R-type: sll, sllv, srl, srlv, sra, srav• Load/Store I-type: lui, lw, lh, lhu, lb, lbu, sw, sh, sb• Branch I-type:
– beq, bne, bgez, bgezal, bgtz, blez, blezal, bltz• Jump J-type: j, jal• Jump R-type: jr, jalr• OS support: syscall• Multiply/divide: mult, multu, div, divu
– result held in 2 special registers (hi,lo)
• Floating-point instructions
CSCE 212 15
MIPS Registers
• 32 x 32-bit general purpose integer registers– Some have special purposes– These are the only registers the programmer can directly use
• $0 => constant 0• $1 => $at (reserved for assembler)• $2,$3 => $v0,$v1 (expression evaluation and results of a function)• $4-$7 => $a0-$a3 (arguments 1-4)• $8-$15 => $t0-$t7 (temporary values)
– Used when evaluating expressions that contain more than two operands (partial solutions)
– Not preserved across function calls• $16-$23 => $s0->$s7 (for local variables, preserved across function calls)• $24, $25 => $t8, $t9 (more temps)• $26,$27 => $k0, $k1 (reserved for OS kernel)• $28 => $gp (pointer to global area)• $29 => $sp (stack pointer)• $30 => $fp (frame pointer)• $31 => $ra (return address, for branch-and-links)
• Program counter (PC) contains address of next instruction to be executed
CSCE 212 16
Design Considerations
• Most arithmetic instructions have 3 operands simplifies the hardware– Limits the number of datapaths on the processor
• Limiting to 32 registers speeds up register access– For memories, smaller is faster– Influences clock cycle time
CSCE 212 17
Arithmetic
• Arithmetic (R-type) instructionsadd a,b,c
sub a,b,c
• C code:– f = (g + h) – (i + j)
• To…add t0,g,h
add t1,i,j
sub f,t0,t1
• t0, t1, f, g, h, i, j must be registers
CSCE 212 18
Registers
• f, g, h, i, j in $s0, $s1, $s2, $s3, $s4
• To…add $t0,$s1,$s2
add $t1,$s3,$s4
sub $s0,$t0,$t1
• Similar instructions:– addu, subu– and, or, nor, xor– slt, sltu
CSCE 212 19
Encoding R-type Instructions
• ADD $2, $3, $4– R-type A/L/S/C instruction– Opcode is 0’s, rd=2, rs=3, rt=4, func=000010– 000000 00011 00100 00010 00000 000010
– 0000 0000 0110 0100 0001 0000 0000 0010
– 00641002
CSCE 212 20
Shift Instructions
• Shift left-logical:– 001010012 by 210 => 101001002
– Multiply 4110 by 2210 = 16410
• Shift right-logical:– 001010012 by 210 => 000010102
– Divide 4110 by 2210 (round down) = 1010
• Shift right-arithmetic– 111101012 by 210 => 111111012
– Divide -1110 by 2210 (round down) = -310
• Amount (0-31) is encoded in SHAMT field for SLL, SRL, SRA• Held in a register (rs field) for SLLV, SRLV, SRAV
CSCE 212 21
Load and Store
• Memory units:– word (32 bits, 4 bytes)– halfword (16 bits, 2 bytes)– byte (8 bits)
• Assume f, g, h, i, j are stored as words and contiguously– la $t2, f– lw $s1,4($t2)– lw $s2,8($t2)– lw $s3,12($t2)– lw $s4,16($t2)– …– sw $s0,0($t2)
• Similar instructions:– lh, lhu, lb, lbu– sh, sb
CSCE 212 22
Encoding I-Type Load/Store
• SW $2, 128($3)– I-type memory address instruction– Opcode is 101011, rs=00011, rt=00010, imm=0000000010000000– 101011 00011 00010 0000000010000000
CSCE 212 23
Immediate Instructions
• Second operand is a 16-bit immediate• Signed (-32,768 to 32,767) or unsigned (0 to 65,535)• Encoded with I-type
• addi $s0, $t0, -4
• Similar I-type instructions:– addiu– andi, ori, xori– lui
CSCE 212 24
Encoding I-Type Arithmetic/Logical/Compare
• ADDI $2, $3, 12– I-type A/L/S/C instruction– Opcode is 001000, rs=3, rt=2, imm=12– 001000 00011 00010 0000000000001100
CSCE 212 25
Load Upper Immediate
• Need more than 16 bits?
• Example:– Initialize register $t0 with 1234567816
– lui $t0, 1234– addi $t1, $0, 5678– or $t0, $t0, $t1
CSCE 212 26
Branch Instructions
• Branch and jump instructions are required for program control– if-statements– loops– procedure calls
• Unconditional branch– b <label>
• Conditional branch– beq, bgez, bgezal, bgtz, blez
• “and-link” variants write address of next instruction into $31 (only if branch is taken)
• Branch targets are 16-bit immediate offset (offset in words)
CSCE 212 27
Encoding I-Type Branch
• BEQ $3, $4, 4– I-type conditional branch instruction– Opcode is 000100, rs=00011, rt=00100, imm=4 (skips next 4
instructions)– 000100 00011 00100 0000000000000100
• Note:– bltz, bltzal, bgez, bgezal all have opcode 1, func in rt field
CSCE 212 28
Jump Instructions
• Unconditional branch• Two types: R-type and J-type
• JR $31• JALR $3
– R-type jump instruction– Opcode is 0’s, rs=3, rt=0, rd=31 (by default), func=001001– 000000 00011 00000 11111 00000 001001
• J 128– J-type pseudodirect jump instruction– Opcode is 000010, 26-bit pseudodirect address is 128/4 = 32– 000010 00000000000000000000100000
CSCE 212 29
MIPS Addressing Modes
• MIPS addresses register operands using 5-bit field– Example: ADD $2, $3, $4
• MIPS addresses branch targets as signed instruction offset– relative to next instruction (“PC relative”)– in units of instructions (words)– held in 16-bit offset in I-type– Example: BEQ $2, $3, 12
• Immediate addressing– Operand is help as constant (literal) in instruction word– Example: ADDI $2, $3, 64
CSCE 212 30
MIPS Addressing Modes (con’t)
• MIPS addresses jump targets as register content or 26-bit “pseudo-direct” address– Example: JR $31, J 128
• MIPS addresses load/store locations– base register + 16-bit signed offset (byte addressed)
• Example: LW $2, 128($3)
– 16-bit direct address (base register is 0)• Example: LW $2, 4092($0)
– indirect (offset is 0)• Example: LW $2, 0($4)
CSCE 212 31
Integer Multiply and Divide
• mult $2, $3– result in hi (32 bits) and lo (32 bits)– mul $2, $3, $4 is psuedo (low 32 bits)– madd $2, $3 – multiply and accumulate in hi and lo
• div $2, $3– quotient in lo and reminder in hi– div $2, $3, $4 is psuedo (quotient)
CSCE 212 32
Pseudoinstructions
• Some MIPS instructions don’t have direct hardware implementations– Ex: abs $2, $3
• Resolved to:– bgez $3, pos– sub $2, $0, $3– j out– pos: add $2, $0, $3– out: …
– Ex: rol $2, $3, $4• Resolved to:
– addi $1, $0, 32– sub $1, $1, $4– srlv $1, $3, $1– sllv $2, $3, $4– or $2, $2, $1
CSCE 212 33
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 34
Complex Arithmetic Example
z=(a*b)+(c/d)-(e+f*g);lw $s0,alw $s1,bmult $s0,$s1mflo $t0lw $s0,clw $s1,ddiv $s0,$s1mflo $t1add $t0,$t0,$t1lw $s0,elw $s1,flw $s2,gmult $s1,$s2mflo $t1add $t1,$s0,$t1sub $t0,$t0,$t1sw $t0,z
CSCE 212 35
If-Statement
if ((a>b)&&(c=d)) e=0; else e=f;
lw $s0,a
lw $s1,b
bgt $s0,$s1,next0
b nope
next0: lw $s0,c
lw $s1,d
beq $s0,$s1,yup
nope: lw $s0,f
sw $s0,e
b out
yup: xor $s0,$s0,$s0
sw $s0,e
out: …
CSCE 212 36
For Loop
for (i=0;i<a;i++) b[i]=i;
lw $s0,a
li $s1,0
loop0: blt $s1,$s0,loop1
b out
loop1: sll $s2,S1,2
sw $s1,b($s2)
addi $s1,$s1,1
b loop0
out: …
CSCE 212 37
Pre-Test While Loop
while (a<b) {
a++;
}
lw $s0,a
lw $s1,b
loop0: blt $s0,$s1,loop1
b out
loop1: addi $s0,Ss0,1
sw $s0,a
b loop0
out: …
CSCE 212 38
Post-Test While Loop
• do {– a++;
• } while (a<b);
lw $s0,a
lw $s1,b
loop0: addi $s0,$s0,1
sw $s0,a
blt $s0,$s1,loop0
…
CSCE 212 39
Complex Loop
for (i=0;i<n;i++) a[i]=b[i]+10;
li $2,$0 # zero out index register (i)
lw $3,n # load iteration limit
sll $3,$3,2 # multiply by 4 (words)
la $4,a # get address of a (assume < 216)
la $5,b # get address of b (assume < 216)
j test
loop: add $6,$5,$2 # compute address of b[i]
lw $7,0($6) # load b[i]
addi $7,$7,10 # compute b[i]=b[i]+10
add $6,$4,$2 # compute address of a[i]
sw $7,0($6) # store into a[i]
addi $2,$2,4 # increment i
test: blt $2,$3,loop # loop if test succeeds
CSCE 212 40
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 41
SPIM
CSCE 212 42
SPIM
• ASM file must be edited with text editor• Must have main label• Must jr $31 at end
• Use .data and .text to specify sections
• Load source file into SPIM• Run, step, or use breakpoints
• Appendix A is good reference
• In-class example: ASCII to binary conversion
CSCE 212 43
Example Code
.datamystr: .asciiz "2887"
.textmain: addi $s0,$0,0 # initialize $s0 (current value)
addi $s1,$0,0 # initialize $s1 (string index)addi $s3,$0,10 # initialize $s3 (value 10)
loop: lb $s2,mystr($s1)# load a character from stringbeqz $s2,done # exit if it's the NULL charactermul $s0,$s0,$s3 # multiply current value by 10addi $s2,$s2,-48 # subtract 48 from character (convert to binary)add $s0,$s0,$s2 # add converted value to current valueaddi $s1,$s1,1 # add one to indexb loop # loop
done: jr $31 # return to OS
CSCE 212 44
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 45
Procedures
• JAL, JALR, and BGEZAL are designed to call subroutines• Return address is linked into $31 ($ra)
• Need to:– save the return address on a stack to save the return address– save the state of the callee’s registers on a stack– have a place for arguments– have a place for return value(s)
CSCE 212 46
Memory Allocation
CSCE 212 47
The Stack
• Stack is designed to hold variable-sized records• Stack grows down
• Normally the old $fp must be stored in the AR to pop• Don’t need $fp for fixed-sized AR’s
CSCE 212 48
A Simple Procedure Calling Convention
• Caller:– Place arguments in $a0 - $a3 (limit to 4)– Jump-and-link or branch-and-link to subroutine
• Callee:– Pushes an activation record onto the stack (decrement $sp)– Save the return address ($ra) on the AR– Save registers $s0 - $s7 on the AR– Perform computation– Save return values to $v0 and $v1– Restore $s0 - $s7– Restore $ra– JR $ra
• Caller:– Reads $v0 and $v1 and continues
CSCE 212 49
Notes
• This convention:– Limited to 4 arguments and 2 return values (bad!)– Doesn’t save $t0 - $t9, $v0 - $v1, and $a0 - $a3 (bad!)– Doesn’t allow (variable-size) space on the AR for argument list (saves
regs)– Doesn’t allow (variable-size) space on the AR for callee’s local variables
(bad!)– Doesn’t allow space on the AR for return value (saves regs)– Fixed AR size (good!)– Doesn’t require the caller to prepare and/or teardown the AR (good!)
CSCE 212 50
Stack Example
CSCE 212 51
A Simple Procedure Calling Convention
comp: …
add $s0,$s1,$s2
jal fact
fact: add $sp,$sp,-36
sw $s0,0($sp)
sw $s1,4($sp)
…
sw $ra,32($sp)
…
lw $s0,0($sp)
lw $s1,4($sp)
…
lw $ra,32($sp)
add $sp,$sp,36
jr $ra
(instruction after jal fact)
$ra for comp
$sn for comp’s caller
$sp
$sp+36
$ra for comp
$sn for comp’s caller
$sp+36
$sp+72
$ra for fact
$sn for comp caller
$sp
CSCE 212 52
Example
fact:slti $t0,$a0,3 # test for n < 3beq $t0,$zero,L1 # if n >= 1, go to L1addi $v0,$zero,2 # return 2jr $ra # return
L1:addi $sp,$sp,-8 # allocate space for 2 itemssw $ra,4($sp) # save return addresssw $a0,0($sp) # save argumentaddi $a0,$a0,-1 # set argument to n-1jal fact # recurselw $a0,0($sp) # restore original argumentlw $ra,4($sp) # restore the return addressaddi $sp,$sp,8 # pop 2 itemsmul $v0,$a0,$v0 # return value = n * fact(n-1) -glad we saved $a0jr $ra # go back to caller
CSCE 212 53
Lecture Outline
• Instruction Set Architectures• MIPS ISA• MIPS Instructions, Encoding, Addressing Modes• MIPS Assembly Examples• SPIM• Procedure Calling Conventions• I/O
CSCE 212 54
I/O
• I/O is performed with reserved instructions / memory space• Performed by the operating system on behalf of user code
• Use syscall instruction• Call code in $v0 and argument in $a0• Return value in $v0 (or $f0)
• SPIM services:
CSCE 212 55
Example
str:
.asciiz “the answer = “
.text
li $v0,4
la $a0, str
syscall
li $v0,1
la $a0,5
syscall