2G1518 Datorteknik allmän kurs

April 19, 2023 2G1518, föreläsning 3, ht2004 1

2G1518 Datorteknik allmän kurs

Föreläsning 3Metoder och subrutiner

Kursboken, valda delar av kapitel 4

version ht 2004för D m.fl.


Innehåll

4-stegs PIPE-LINE, repetitionMACRO, syntetisk instruktionLoad och Store med indexerad adress5-stegs PIPE-LINEhårdvara för hopp, NiosSubrutiner, anrop, retur, parametrar, Stack och Register Window


Viktiga delar i en dator

CPU

MEM

BUS

I/O


Programexekveringi två steg

(decode)EXECUTE

FETCH(update PC)


Programexekveringi fyra steg

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

ADD

IR0

IR1

IR2

RegisterFile

32 x 32

RegisterFile

32 x 32PC+2PC+Imm

PC


Mall för makro– en syntetisk instruktion

.macro CLR regMOVI\reg, 0x0.endm

Effekt: man kan använda en ny instruktionclr %ri för att nollställa register %ri

R


ADD Rdest, regA, regB

Skriv makro för add-instruktion med 3 register.macro ADD reg1, reg2, reg3MOV \reg1, \reg2ADD \reg1, \reg3

.endm

R


MOVI RA, datan

MOVI

Hur många bitar behövs? ~6+5+5!Hur stor blir varje instruktion? 16!

Nios INSTRUKTIONSFORMATmed immediate data

Exempelvis: 6 5 5


Immediate dataNios dataväg finns

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

ADD

IR0

IR1

IR2

RegisterFile

32 x 32

RegisterFile

32 x 32PC+2PC+Imm

PC


Immediate dataär bara 5 bitar

En PreFiX-instruktion PFX införs

PFX modifierar efterföljande instruktion och ger den ett längre immediate-värde

PFX använder ett specialregister K

Principen med prefixinstruktioner finns även i Pentium-serien

R


Inför ny hårdvaraK - register

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

ADD

IR0

IR1

IR2

RegisterFile

32 x 32

RegisterFile

32 x 32PC+2PC+Imm

PC


Hur används register K ?

PreFiX-instruktionen PFX Imm11

skriver ett 11 bitars värde till register K

Instruktionen direkt efter PFX Imm11

använder innehåll i K– sedan nollställs register K

Imm5 ökar till (Imm11 cat Imm5 )

R


PFX Imm11

FI PFX - -PFX Imm11

MOVI Rdst, Imm5FI FO EXE WB


Nios: MOVIA Rdst, Imm32

(MACRO) 32 bitar till Rdst alla bitar 31-00 påverkas

PFX Imm111 ;11 bitar till K-regMOVI Rdst, Imm15 ;16 bitar i Rdst

fyller ut med nollor i bit 31-16

PFX Imm211 ;11 bitar till K-regMOVHI Rdst, Imm25 ;32 bitar i Rdst

bit 15-0 påverkas ej av MOVHI

Imm211 Imm25 Imm111 Imm15

Resultat:


Hjälp från översättaren

%xhi%xlo%hi%lo

@h = 31 MSBits

Imm211 Imm25 Imm111 Imm15= value


MakrotMOVIA reg, Addr

; Ladda ett 32 bitars värde till ett register; Värdet kan vara negativt.macro MOVIA reg, value

PFX %hi(\value)MOVI \reg, %lo(\value)PFX %xhi(\value)MOVHI \reg, %xlo(\value)

.endm

R


LOAD och STORE

Vi kan utföra instruktionerna

LD Rdst, [ Raddr ]

ST [ Raddr ], Rsrc


Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

ADD

IR0

IR1

IR2

RWM

LOAD och STOREmed 4 stegs PIPE-LINE

RegisterFile

32 x 32

RegisterFile

32 x 32PC+4PC+Imm

PC


LOADA Rdest, Addr

Skriv makro för load med direkt adressering.macro LOADA reg, addrMOVIA \reg, \addrLD \reg, [\reg]

.endm

R


Behov av indexerad adress

Programvariabler ligger samlade

Ett register pekar ut variabelarean

Varje LOAD/STORE behöver först en adressberäkning med ADD

Indexerad adress

LOAD R2 ← 8(R28) ; R2 ← hm(r28 + 8)

Sparar en klockcykel vid varje LOAD


Programvariabler samlade i minnet

Variabler int i; int j; int k;

läggs efter varanni minnet av kompilatorn

minne

ijk


Ett register pekar ut variabelarean

Vid programstart tilldelas registret adressen till variabelarean i minnet

minne

ijk

register

r28


Varje LOAD/STORE behöver adressberäkning med ADD

k ska hämtas till R2R17 är ledigtADDI R17 <- R28 + 8LOAD R2 <- (R17)En extra instruktionEn extra klockcykelExtra krångel i

programkoden

minne

ijk

register

r28


Indexerad adress

Addition i LOAD-instruktionen

LOAD R2 ← 8(R28)

innebärR2 ← hm(r28+8)

Innehåll i R28, plus talet 8, blir minnesadress

minne

ijk

register

r28


Sparar en klockcykel vid varje LOAD

add följt av load

byts mot

load med "inbyggd" addition

addi r17←r28+8

load r2←(r17)

FI FO EXE WB

FI FO MEM WB

load r2←8(r17) FI FO ALU WBMEM


LOAD och STORE

Vi vill alltså kunna utföra instruktionerna

LOAD Rdst, Offset[ Raddr ]

STORE Offset[ Raddr ], Rsrc


LOAD Rdst <- Offset[Raddr]

Vi kan utföra instruktionenLOAD Rdst, Offset[ Raddr ]

med koden (tar 2 klockcykler eller hur) ADDI Radr, Offset

LD Rdst, [ Raddr ]


STORE Offset[Raddr] <- Rsrc

Vi kan utföra instruktionenSTORE Offset[ Raddr ], Rsrc

med koden (tar 2 klockcykler eller hur) ADDI Radr, Offset

ST [ Raddr ], Rsrc


5 stegs PIPE-LINE

ALU

Fetch Operand

MEM

Fetch InstructionRegister

File32 x 32

RegisterFile

32 x 32

ProgramMemory

m x 8

ALU

RegisterFile

32 x 32

RegisterFile

32 x 32

PC

ADD

IR0

IR1

IR2

RWM

IR3

Write Back

+n


Programexekveringi fem steg

FI - Fetch InstructionFO - Fetch OperandALU - CalculationMEM - Memory ReferenceWB - Write Back


Programmering med hopp

Hopp = ett värde skrivs till PCEffektivadress skrivs till PCOlika adresseringsmetoder finnsJUMP Label

brukar använda absolut adressBRA Label

brukar använda PC-relativ adress


JUMP (Raddr)inför nya datavägar

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

PC

IR0

IR1

IR2

+n

Ny dataväg

RegisterFile

32 x 32

RegisterFile

32 x 32


BRA Immn

inför ADDitionsenhet och datavägar

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

ADD

IR0

IR1

IR2

RegisterFile

32 x 32

RegisterFile

32 x 32

PC

PC+4PC+Imm


Ovillkorligt hoppVillkorligt hopp

Ovillkorligt hopp utförs alltidExempel: JMP och BRA

Villkorligt hopp utförs endast om ett angivet villkor är santExempel Bcc där cc är villkoret

Exempel på villkorEQZ = EQual to ZeroNEZ = Not Equal to Zero


JUMP och BRAOvillkorliga hopp

JUMP brukar ha direkt adress BRA brukar ha PC-relativ adress

JMP 104 ;PC := 104 ”hopp till 104”..

BRA 40 ;PC := pc + 40 ”hopp till 268”

32:

104:

224:

268:


Typisk hopp-instruktionJUMP Label

Absolut adressering

Läget Label motsvarar en binär adress

Kopiera Label till PC

Om PC har 32 bitar bör Label vara 32 bitar

Adressen Label lagras i instruktionen


Typisk hopp-instruktionBRA Label

PC-relativ adresseringLäget Label motsvarar en binär adressFöre körning beräknar assemblern hur

långt från instruktionen Label finnsAvståndet lagras i instruktionen som

displacement eller offsetVid körning adderas offset till PCoffset kan vara positivt eller negativt


Typisk hopp-instruktionJUMP (Raddr)

Kopiera registerinnehåll till PCRegister med 32 bitar betyder att

32 bits adress kan användasHur får man 32 bits adress till

registret ?MOVIA Raddr , Imm32 eller

motsvarande


Nios hopp-instruktionJMP %rA

Skifta innehåll i register %rA ett steg åt vänster och kopiera till PC


Typisk hopp-instruktionBR Immn

PC sätts till PC + Immn

Hur stor är Immn ?

Hur stor vill vi att Immn ska vara helst ?


Nios hopp-instruktionBR IMM11

Skifta IMM11 ett steg vänster gör Sign Extensionaddera till aktuellt värde i PCPC <- PC + 2 + (sext (IMM11) <<1)


Typisk instruktionSUB RsrcA, RsrcB

Subtrahera innehåll i RsrcB från RsrcA

och skriv till RsrcA

Förutom resultatet / skillnadenså lagras ytterligare informationi STATUS-flaggor


Typisk instruktionCMP RsrcA, RsrcB

Jämför innehåll i RsrcA och RsrcB genom att

Subtrahera innehåll i RsrcB från RsrcA

men skriv ej resultat till något registerInformation om resultatet / skillnaden

lagras som informationi STATUS-flaggor


STATUS-flaggor

Z - Zero; ”utfall lika med noll”N - Negativ; ”utfall med negativt

tecken”V - oVerflow; ”utfall med overflow”C - Carry; Carry-ut från ALUPåverkas av ADD, SUB, CMP ...


STATUS -flaggor

Execute

Fetch Operand

Write Back

Fetch Instruction

ProgramMemory

m x 8

ALU

PC

ADD

IR0

IR1

IR2

+n

NVZC

RegisterFile

32 x 32

RegisterFile

32 x 32


Villkorlig hopp-instruktionBcond Immn

PC sätts till PC + Immn om cond är sant

PC sätts till PC + n om cond är falskt(n är antal bytes per instruktion)

Nios har ingen instruktion Bcond Imm

Det måste finnas minst en villkorlig instruktion för att klara en IF-sats


Nios har villkorlig instruktion IFS cc_IMM4

IFS - Conditionally execute next instructionOm villkoret är sant utförs nästa instr.Om villkoret är falskt skippas nästa instruktion (Om nästa är en PFX så skippas 2 instr.)


Nios har villkorlig instruktion SKPS cc_IMM4

SKPS - Skip On Condition CodeOm villkoret är sant skippas nästa instr.(Om nästa är en PFX så skippas 2 instr.) Om villkoret är falskt utförs nästa instruktion


IFS cc_IMM4 SKPS cc_IMM4

cc_IMM4 kan väljas bland 14 olika cc_eq, cc_ne, cc_lt osv. enligt tabell

Program-exempel: if (reg1==0) goto LabelCMPI reg1, 0 ;jämför reg1 med nollIFS cc_eq ;om Z=1BR Label ;hoppa till Label


BEQ Label

Skriv makro för villkorligt hopp BEQ.macro BEQ labelIFS cc_eqBR \labelNOP

.endm

R


Bxx Label

Skriv makro-mall för villkorligt hopp Bxx.macro Bxx labelIFS cc_xxBR \labelNOP

.endmkan skrivas för xx: eq, ne, ...

R


14 olika villkor finns i Nios

cc_ncC = 0cc_c C = 1cc_nzZ = 0cc_z Z = 1cc_pl N = 0cc_mi N = 1cc_lt N xor Vcc_ge not(N xor

V)

cc_gtnot(Zor(NxorV))

cc_le Zor(NxorV)cc_nv V = 0cc_v V = 1cc_hi not (C or Z)cc-la C or Z


Alias för villkor i Nios

cc_cs = cc_c Carry Set = Carrycc_n = cc_mi Negative = MInuscc_cc = cc_nc Carry Clear = No Carrycc_vc = cc_nv oVerflow Clear = No oVe...cc_eq = cc_z Equal = Zerocc_ne = cc_nz Not Equal = Not Zerocc_vs = cc_v oVerflow Set = oVerflowcc_p = cc_pl Plus = PLus


Nios instruktionIFRZ reg

Execute next instruction if register is Zero

Exempel: if (reg1==0) goto LabelIFRZ reg1 ;om reg1 = 0BR Label ;hoppa till Label

SKPRNZ är ekvivalent med IFRZ

Om nästa är en PFX så görs två nästa


Nios instruktionIFRNZ reg

Execute next instruction if register is Not Zero

Exempel: if (reg1 != 0) goto LabelIFRNZ reg1 ;om reg1 ej är 0BR Label ;hoppa till Label

SKPRZ är ekvivalent med IFRNZOm nästa är en PFX så görs två

nästa


funktioner, subrutiner, metoder

Hur sker anrop ?Med hoppinstruktion !Hur sker återhopp ?Med hoppinstruktion !Returadress måste lagras ! Var ?


Subrutinanrop

CALL RUTRET1: ADD …

CALL RUTRET2: SUB ...

RUT: ADD …

RETURN


Subrutinanrop

CALL RUTRET1: ADD …

CALL RUTRET2: SUB ...

RUT: ADD …

CALL FKN

RETURN

FKN: MUL …

CALL NEW

RETURN


funktioner, subrutiner, metoder

Hur sker parameteröverföringVar lagras parametrar

från anropare till rutinen, inparametrarfrån rutinen till anroparen, returvärdenOlika typ av parameter värdepekare


Nios hopp-instruktionBSR IMM11

Liknar BR IMM11 med tilläggg attReturadress sparas i register %R15Returadressen är adressen till

instruktionen närmast efter hoppluckandvs adress till BSR ökat med 4

Returadressen sparas skiftad ett steg höger för att passa ihop med JMP %R15


Nios hopp-instruktionCALL %rA

Liknar JMP %rA med tillägg attReturadress sparas i register %R15=%o7Returadressen är adressen till

instruktionen närmast efter hoppluckandvs adress till CALL ökat med 4 !

Returadressen sparas skiftad ett steg höger för att passa ihop med JMP %R15


Stackhantering

Stack är speciell reserverad plats i minnet

Stack Pekare pekar på plats i stacken

PUSH-operation, lägg på stackPOP-operation, hämta från stack


STACKoperationer PUSH och POP

Stack Pointer

SP

PUSH op:SP <- sp - nmem(sp) <- op

POP dst:dst <- mem(sp)SP <- sp + n

n = antal bytes

+

-


Nios: PUSH reg

; Pusha ett register på stacken.macro PUSH regSUBI %sp,4 ;%sp = %o6ST [%sp],\reg

.endm; PUSH %o6 är inte bra


Nios: POP reg

; Poppa ett register från stacken.macro POP regLD \reg,[%sp] ADDI %sp,4 ;%sp = %o6

.endm;POP %o6 är förödande


Nios: StackReservera plats, initiera SP

Stack Pointer

SP

.equ size , 256

.data

.align 4stack: .fill size, 4, 0....text…movia %sp, stack+size*4

+

-stack:


Nios stöd för stack

Stack Pointer = %r14 = %sp (alias %o6) Finns det Stack-operationer ?LDS är LOAD Rdst <- [%sp, IMM8]

STS är STORE [%sp,IMM8] <- Rsrc

med flera variationerIngen PUSH- eller POP-instruktionIngen JSR/RTS med returadress på stack


Nios stöd för subrutiner

Anrop med CALL reg, returadress i register %r15 = %o7innehållet i reg multipliceras med 2 innan det skrivs till PC, jämför med JMP reg

Anrop med BSR LabelRetur med RET (JMP %r31 alias %i7)Retur med LRET (JMP %r15 alias %o7)


Returadress vid subrutinanrop

I ett speciellt register (fördel/nackdel)I valfritt register (fördel/nackdel)I minnet på speciell plats (fördel/nackdel)I minnet på valfri plats (fördel/nackdel)I minnet på en stack med PUSH

(fördel/nackdel)I första ordet i subrutinen (fördel/nackdel)


Register Window

Vad? Hur? Varför?


Register Window

32 registers are direct available%i0-%i7 = %r24-%r31 ; In regs%L0-%L7 = %r16-%r23 ; Local

regs%o0-%o7 = %r8 -%r15 ; Out regs%g0-%g7 = %r0 -%r7 ; Global

regs


Register Window

32 registers are direct available128 or 256 or 512 possible registers CWP - Current Window Pointer

anger vilka register som just nuär direkt åtkomliga

CWP finns i statusregister %ctl0 !


Register Window

CWP = Current Window PointerSAVE ”öppna nytt fönster”

minska CWP med 1RESTORE ”byt till gammalt fönster”

öka CWP med 1


Table 20. Smallest Nios Register File

Reg[..

Reg[..

Reg[..

Reg[..

Reg[..

Reg[..

Reg[..

Reg[..

Reg[..

Reg[24..31]

Reg[16..23]

Reg[8..15]

Reg[104..111]

Reg[112..119]

Reg[120..127]

Reg[0..7]

%o0..%o7

%L0..%L7

%i0..%i7

%g0..%g7

%o0..%o7

%L0..%L7

%i0..%i7

%g0..%g7 %g0..%g7

%o0..%o7

%L0..%L7

%i0..%i7

%g0..%g7

%o0..%o7

%L0..%L7

%i0..%i7%o0..%o7

%L0..%L7

%i0..%i7

%g0..%g7

%o0..%o7

%L0..%L7

%i0..%i7

%g0..%g7

SAVE

RESTORE

CWP = 0

CWP = 1

CWP = 5

CWP = 6

CWP = 4CWP = 2


Exempel på subrutinkodutan SAVE och RESTOREnästlat subrutinanrop går ej

RUT: kodkod;BSR RUT2 ;subrutinanrop

nix…LRET ;JMP %07


RUT: SAVE %sp,0 ;ändra inte %spkodBSR RUT2 ;fungerar…RET ;JMP %i7RESTORE ;i hopplucka

Exempel på subrutinkodmed SAVE och RESTOREnästlat subrutinanrop går bra


Parameterplatstill och från subrutin

I register (fördel/nackdel)I minnet på fast adress

(fördel/nackdel)I minnet på en stack (fördel/nackdel)


Exempel på parameteröverföringmed SAVE och RESTORE

Anroparen lagrar parametrar i %o-register (utom %o7) Anroparen gör BSR eller CALL varvid

returadress sparas i %o7 Subrutinen gör SAVE varvid

alla %oreg hamnar på platser %ireg Returadress finns nu i %i7 Parametrar finns nu i %i-register Det finns 16 ”nya” register, 8 st %Local och 8 st %Out Subrutinen gör RESTORE Returadress finns nu i %o7 varvid

retur ska göras med JMP %o7 (samma som LRET)


Programexempel - subrutinta fram max av val1 och val2

Exempel på C-kod torde kunna vara...int val1, val2, result; /* variabler */... int max (int val1, int val2); /* prototyp */...result = max ( val1, val2); /* anrop */


Programexempel - subrutin ta fram max av val1 och val2

int val1, val2, result; kan översättas till (av kompilator)

.dataval1: .word 0val2: .word 0result: .word 0...


anrop av max (val1, val2)inparametrar i register

; result = max ( val1, val2) kan översättas till.text

movia %L0, val1ld %o0, [%L0] ;parameter val1 i %o0movia %L0, val2ld %o1, [%L0] ;parameter val2 i %o1movia %L0, max@h ;dst-adress/2 till ett register call %L0 ;ea i registernopmovia %L0, resultst [%L0], %o0 ;returvärde i %o0


Programexempel - subrutinta fram max av val1 och val2

int max (int val1, int val2);{

int tmp;tmp = val1;if (val2 > val1 ) tmp = val2;return (tmp);

}kan översättas till (kompileras till)


int max (int val1, int val2)inparametrar i register

max: cmp %o0, %01ifs cc_ltmov %o0, %o1lret ;jmp %o7


Föreläsning 3Sammanfattning

4-stegs PIPE-LINE, repetitionMACRO, syntetisk instruktionLoad och Store med indexerad adress5-stegs PIPE-LINEhårdvara för hopp, NiosSubrutiner, anrop, retur, parametrar, Stack och Register Window

2G1518 Datorteknik allmän kurs

Documents

Transcript of 2G1518 Datorteknik allmän kurs