\documentclass[12pt]{article} \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} \usepackage{a4} \usepackage[danish]{babel} \usepackage{moreverb} \begin{document} \begin{titlepage} \begin{flushleft} Aarhus Universitet \hspace{\fill} \today \\ {\bf Datalogisk Institut} \\ Ny Munkegade \\ 8000 Århus C \\ \end{flushleft} \vspace{7cm} \begin{center} \begin{LARGE} Arkitektur\\ Obligatorisk opgave \\ \end{LARGE} \end{center} \vspace{\fill} \noindent Obligatorisk opgave besvaret af Per Abrahamsen, årskort 2001358, hold~3, Mads Peter Lindberg, årskort 20001990, hold~3, og Søren S. Munk, årskort 20001614, hold~3.\\ Besvarelsen omfatter \pageref{end} nummererede sider.\\ \\ Enten: Rettidigt afleveret i den røde kasse udenfor Informationskontoret, R2, senest den 19.~december 2001 kl.~12.00.\\ Eller: \textbf{Ikke} rettidigt afleveret den \hspace{.2cm} / \hspace{.2cm} til \underline{\hspace{3cm}}.\\ \end{titlepage} \newpage \tableofcontents \newpage \section{Indledning} Denne rapport er besvarelse af obligatorisk opgave i kurset Arkitektur. Vi har i ijvm implementeret imul, idiv, ishr, iushr, ishl og if\_icmplt til kørsel på mic1. Disse er blevet afprøvet og ser ud il at virke tilfredstillede. Læseren forudsættes at kende opgaveformuleringen samt bogen Structured Computer Organization af Andrew Tanenbaum. \section{Ændringer i IJVM} De seks nye ordrer \texttt{imul}, \texttt{idiv}, \texttt{if\_icmplt}, \texttt{ishl}, \texttt{ishr} og \texttt{iushr} er tilføjet IJVM og deres virkning er som beskrevet i nedenstående tabel. {\scriptsize \begin{center} \begin{tabular}{|l|l|l|} \hline \textbf{Opcode} & \textbf{Mnemonic} & \textbf{Description} \\ \hline 0x10 & BIPUSH byte\_exp & Push a byte onto stack \\ 0x59 & DUP & Copy top word on stack and push onto stack \\ 0xA7 & GOTO label & Unconditional jump \\ 0x60 & IADD & Pop two words from stack; push their sum \\ 0x7E & IAND & Pop two words from stack; push Boolean AND \\ 0x99 & IFEQ label & Pop word from stack and branch if it is zero \\ 0x9B & IFLT label & Pop word from stack and branch if it is less than zero \\ 0x9F & IF\_ICMPEQ label & Pop two words from stack and branch if they are equal \\ 0x84 & IINC varnum\_exp, byte\_exp & Add a constant value to a local variable \\ 0x15 & ILOAD varnum\_exp & Push local variable onto stack \\ 0xB6 & INVOKEVIRTUAL method & Invoke a method \\ 0x80 & IOR & Pop two words from stack; push Boolean OR \\ 0xAC & IRETURN & Return from method with integer value \\ 0x36 & ISTORE varnum\_exp & Pop word from stack and store in local variable \\ 0x64 & ISUB & Pop two words from stack; push their difference \\ 0x13 & LDC\_W constant\_exp & Push constant from constant pool onto stack \\ 0x00 & NOP & Do nothing \\ 0x57 & POP & Delete word from top of stack \\ 0x5F & SWAP & Swap the two top words on the stack \\ 0xC4 & WIDE & Prefix instruction; next instruction has a 16-bit index\\ \hline 0x68 & imul & Pop two words from stack; Push their multiplication\\ \hline 0x6C & idiv & Pop two words of the stack; Divides the second with the top; Push the result\\ \hline 0xA1 & if\_icmplt label & compares the top two integers of the stack. If value1 is less than value2,\\ & & it goes to the label.\\ \hline 0x78 & ishl & Pops two ints off the stack. Shifts value1 left by the amount indicated in the five \\ & & low bits of value2. The result is pushed on the stack.\\ \hline 0x7A & ishr & Pops two ints off the stack. Shifts value1 right by the amount indicated\\ & & in the five low bits of value2. The int result is then pushed back onto the stack.\\ & & value1 is shifted arithmetically\\ \hline 0x7C & iushr & Pops two ints off the operand stack. Shifts value1 right by the amount indicated\\ & & in the five low bits of value2. The int result is then pushed back onto the stack.\\ \hline \end{tabular} \end{center}} \section{Ændringer i \texttt{ijvm.mal}} De seks nye ordrer er blevet implementeret ved at ændre og tilføje i mikroprogrammet \texttt{ijvm.mal}. Ændringerne og tilføjelserne er vist i appendiks~\ref{simulator_mal}. Implementationen af de seks nye ordrer er foretaget, så deres udførelse nøje svarer til udførelsen af de tilsvarende ordrer på JVM. I ugeopgave~41 blev de seks nye ordrer tilføjet den eksisterende IJVM simulator. Disse tilføjelserne er vist i appendiks~\ref{simulator_c}. I de følgende afsnit beskrives i yderligere detaljer, hvordan hver af de seks nye ordrer er blevet tilføjet i mikroprogrammet. \subsection{Skifteoperationer -- \texttt{ishl}, \texttt{ishr} og \texttt{iushr}} Venstreskift (\texttt{ishl}) er implementeret således: \vspace{5mm} \noindent \begin{verbatim} ishl = 0x78: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC = OPC - 1 TOS = TOS AND H ishl_test: Z = TOS; if (Z) goto ishl_end; else goto ishl_st ishl_st: H = MDR MDR = MDR + H TOS = TOS - 1; goto ishl_test ishl_end: TOS = MDR; wr goto main Vi har brugt følgende til implementationen: x ishl y: y = (y AND 31) while (y > 0){ x = x * 2 y = y -1} \end{verbatim} Vi bruger OPC til at danne tallet 31 som vi AND'er med TOS som svarrer til vores y i højniveaualgoritmen. Så står vi med de fem mindstbetydende bit af den oprindelige TOS i TOS. Så går vi ind i vores while løkke, så længe TOS ikke er 0 så ganger vi MDR, som svarrer til vores x, med 2 ved at lægge MDR over i H og så lægge H = MDR ind i MDR, hvilket svarrer til at flytte bittene i MDR 1 til venstre. Vi tæller så TOS 1 ned. Når TOS så bliver 0 betyder det at vi har flyttet bittene i MDR y antal gange og vi lægger MDR på stakken.\\ \newpage \vspace{5mm} \noindent Aritmetisk højreskift (\texttt{ishr}) er implementeret således: \vspace{5mm} \noindent \begin{verbatim} ishr = 0x7A: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC - 1 TOS = H AND TOS ishr_while: TOS = TOS - 1; if (N) goto ishr_endwhile; else goto ishr_do ishr_do: MDR = MDR >> 1; goto ishr_while ishr_endwhile: TOS = MDR; wr; goto main Vi har brugt denne algoritme til implementationen: x ishr y: y = y AND 31 while (y > 0){ x >> 1 y = y - 1} \end{verbatim} Vi bruger OPC til at lave tallet 31 som vi AND'er med TOS, som svarrer til vores y. Vi har så de fem mindste bit af y i TOS. Så Går vi ind i whileløkken hvor vi tester på om TOS er 0 hvis den ikke er nul laver vi 1 højreskift på MDR, som svarrer til vores x. Vi tæller samtidig TOS 1 ned. Når TOS så bliver 0 springer vi ud af løkken og skriver MDR til stakken. \vspace{5mm} \noindent \newpage Logisk højreskift (\texttt{iushr}) er implementeret således: \begin{verbatim} iushr = 0x7c: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC - 1 TOS = H AND TOS iushr_test: Z = TOS; if (Z) goto iushr_end; else goto iushr_st iushr_st: MDR = MDR >> 1 TOS = TOS - 1 N = MDR; if (N) goto iushr_st2; else goto iushr_test iushr_st2: H = 1 << 8 H = H << 8 H = H << 8 H = H >> 1 H = H << 8 MDR = MDR - H; goto iushr_test iushr_end: TOS = MDR; wr; goto main \end{verbatim} \vspace{5mm} \noindent Vi bruger OPC til at skabe tallet 31 som vi AND'er med TOS, så har vi de fem mindste bit i TOS som nu er det antal gange vi skal skifte til højre.Vi går nu ind i vores whileløkke hvor vi tester på om TOS er 0. Hvis det ikke er tilfældet Skifter vi MDR 1 til højre og tæller TOS 1 ned. Vi tjekker så på om MDR er negativ altså om der er 1 i højeste bit. Hvis der er det så danner vi i H et bitmønster hvor der er 1 i højeste bit og 0 i resten, og den trækker vi så fra MDR, på den måde har vi sikret os at der nu bliver sat 0 ind i højeste bit, når vi skifter MDR. Vi springer nu tilbage og tjekker på TOS når den så er blevet 0 skriver vi MDR på stakken. \newpage \subsection{Aritmetiske operationer -- \texttt{imul} og \texttt{idiv}} Multiplikation (\texttt{imul}) er implementeret således: \vspace{5mm} \noindent \begin{verbatim} imul = 0x68: MAR = SP = SP - 1; rd H = TOS OPC = MDR MDR = 0 imul_test: Z = TOS; if (Z) goto imul_end; else goto imul_while imul_while: H = 1 Z = H AND TOS; if (Z) goto imul_lige; else goto imul_ulige imul_lige: N = TOS = TOS >> 1; if(N) goto imul_fix; else goto imul_cont imul_fix: H = 1 << 8 H = H << 8 H = H >> 1 H = H << 8 H = H << 8 TOS = TOS + H imul_cont: H = OPC OPC = OPC + H; goto imul_test imul_ulige: H = OPC MDR = MDR + H; goto imul_lige imul_invert: LV = MDR H = -H; goto imul_finish_end imul_end: H = MDR; rd Z = LV; if (Z) goto imul_invert; else goto imul_finish_end imul_finish_end: TOS = MDR = H; wr; goto main \end{verbatim} \newpage \begin{verbatim} Vi har brugt følgende algoritme: x imul y: z:= 0; u:= x; v:= y; while u <> 0 do begin if odd(u) then z:= z + v; u:= u div 2; v:= 2*v; end \end{verbatim} Vi kører en while så længe TOS, som svarrer til u, ikke er 0, og vi spørger så om TOS er ulige ved at spørge om TOS AND 1 er 0, hvis TOS AND 1 er 0 så er tallet lige og vi dividerer TOS med 2 og ganger OPC med 2. OPC svarer til vores v. Hvis TOS derimod var ulige lægger vi OPC til MDR, som svarer til vores z. Når TOS så på et tispunkt er blevet 0 springer vi ud af løkken og skriver MDR til stakken. \vspace{5mm} \noindent Division (\texttt{idiv}) er implementeret således: \begin{verbatim} idiv = 0x6c: MAR = SP = SP - 1; rd H = LV OPC = MDR MDR = H; wr MAR = SP = SP + 1 H = LV = TOS MDR = CPP; wr empty MDR = CPP = 0 ## test for nævner er nul idiv_test_nul: Z = TOS; if (Z) goto idiv_nul; else goto idiv_test_equal idiv_test_equal: Z = OPC - H; if (Z) goto idiv_facit1; else goto idiv_test_neg idiv_test_neg: N = TOS; if (N) goto idiv_neg; else goto idiv_test1 idiv_neg: N = TOS = LV = H = -H; if (N) goto idiv_nul_branch; else goto idiv_neg_cont idiv_nul_branch: goto idiv_nul idiv_neg_cont: CPP = 1 MDR = 0; goto idiv_test1 idiv_test1: N = H = H + TOS; if (N) goto idiv_while1_end; else goto idiv_while1 idiv_while1: TOS = H; goto idiv_test1 idiv_while1_end: H = TOS; goto idiv_test2 idiv_test2: N = OPC; if (N) goto idiv_neg2; else goto idiv_while3 idiv_neg2: H = OPC N = OPC = -H; if (N) goto idiv_neg3; else goto idiv_neg4 idiv_neg4: CPP = CPP - 1; goto idiv_while3 idiv_neg3: CPP = CPP - 1 H = TOS MDR = MDR + 1 OPC = OPC - H; goto idiv_while3 idiv_test4: H = TOS Z = LV - H; if (Z) goto idiv_end2; else goto idiv_st3 idiv_st3: TOS = TOS >> 1 H = MDR MDR = MDR + H idiv_while3: H = TOS N = OPC - H; if (N) goto idiv_st2; else goto idiv_st idiv_st2: H = TOS; goto idiv_test4 idiv_st: MDR = MDR + 1 OPC = OPC - H; goto idiv_test4 idiv_facit1: MDR = 1; goto idiv_end2 idiv_nul: goto idiv_end2 idiv_end2: H = MDR; rd Z = CPP; if (Z) goto idiv_finish_end; else goto idiv_invert idiv_invert: H = - H; goto idiv_finish_end idiv_finish_end: MAR = SP = SP - 1 CPP = MDR; rd empty LV = MDR TOS = MDR = H; wr; goto main Vi har brugt følgende algoritme som udgangspunt: begin r:=x; q:=0; w:=y; while (w <= r) do w := 2*w; { w = 2^n * y > x } while w <> y do begin { q*w + r = x, r>= 0 } q:= 2*q; w:= w div 2; if w <= r then begin r:= r - w; q:= q + 1 end end { q*y + r = x, 0 <= r < y; q = x div y } end Dog har vi for at gøre koden perfekt brugt: While (2*w >= 0) do w:= 2*w While (1) do{ if (w <= r ) do{ r:= r - w; q = q + 1; }; if ( w == y ) do break; w:= w/2; q:= 2*q }; \end{verbatim} \vspace{5mm} \noindent Vi gemmer LV og CPP på stakken, så vi kan bruge disse registre igennem algoritmen. I LV gemmer vi vores y som er det samme som TOS i begyndelsen. CPP bruger vi til at holde styr på om der skal skiftes fortegn til sidst, altså om x og y har forskelligt fortegn. TOS svarer til vores w, OPC til vores r og MDR til vores q. Først tester vi om TOS er lig 0 for hvis den er det så er vi færdige og vi har så valgt at hvis man prøver at dividerer med 0 så ligger vi 0 på stakken. Her kunne vi have valgt at kalde mic1\_exit, der stopper programkørslen. Vi prioriterede at programmet skulle fortsætte med at køre, selvom der opstår fejl\\ Dernæst tester vi om TOS og OPC er ens, hvis de er det sætter vi MDR lig 1 og skriver det til stakken, efter at have hentet CPP og LV's oprindelige værdier og lagt dem i CPP og LV.\\ Er de ikke ens tester vi om TOS er negativ, er den det negerer vi både TOS og LV, der endnu er ens. Så tester vi igen om TOS er negativ for hvis den er det, er den lig det $-2^{31}$ og det tilfælde behandler vi som at dividerer med 0 da resultatet kun er forskelligt fra nul hvis tælleren også er $-2^{31}$, og det har vi allerede testet for tidligere i algoritmen. \\ Hvis negationen har gjort TOS positiv så sætter vi CPP til 1. Vi går nu ind i en whileløkke, hvor vi så længe 2*TOS er positivt ganger TOS med 2, dvs. når TOS ikke længere kan fordobles uden der sker overløb forlades løkken. Der kan maksimalt komme 30 gennemløb i denne lykke\\ Vi tjekker så om OPC er negativ(idiv\_test2), hvis det er tilfældet negeres den (idiv\_neg2) og CPP ændres(idiv\_neg4). Hvis OPC efter negeringen stadig er negativ er den $-2^{31}$ og man betragter $-2^{31}$ som unsigned. Så kan man trække nævneren fra og så er man sikker på at man har et positivt 2-kompliment tal. Herefter kan vi med god samvittighed ændre CPP, der senere bruges til at tjekke om der skal skiftes fortegn(idiv\_invert).\\ Nu har vi taget hensyn til alle special-tilfælde og fortsætter til vores divisions-algoritme(idiv\_while3), der er beskrevet ovenfor(s.9). Her starter algoritmen med at teste om TOS - OPC > 0( w <= r ) og er det tilfældet trækkes TOS fra OPC ( r = r - w ) og MDR tælles 1 op( q = q + 1 )(idiv\_st). Ligemeget om TOS - OPC > 0( w <= r ) er sand eller ej fortsætter vi med at teste om TOS = LV( w = y ). Hvis de ikke er lig hinanden halveres TOS( w = w/2 ) og MDR fordobles( q = 2q ). Når de bliver lig hinanden er vi færdige og vi mangler kun at negere resultatet i de tilfælde hvor kun den ene var negativ(CPP = 0)( idiv\_invert) og ordne registrene, så både LV og CPP får deres værdier indlæst fra stakken. Resultat gemmes i TOS og skrives til stakken.\\ Vi er sikre på at vores algoritme virker for alle 2-komplement-tal, der kan repræsenteres med 32 bit. Det har vi gjort ved at tage hensyn til alle specialtilfælde, fra division med 0 til de mere specifikke f.eks. $-2^{31}$'s negation, der som bekendt stadig er negativ(sig selv) og derfor er et specialtilfælde. \newpage \subsection{Betinget hop -- \texttt{if\_icmplt}} Det betingede hop (\texttt{if\_icmplt}) er implementeret således: \noindent \begin{verbatim} if_icmplt = 0xA1: MAR = SP = SP - 1; rd MAR = SP = SP - 1 OPC = MDR; rd; if (N) goto xNeg; else goto xPos xPos: H = TOS; if (N) goto if_icmpltF; else goto if_icmpltPOS xNeg: H = TOS; if (N) goto if_icmpltNEG; else goto if_icmpltT if_icmpltT: TOS = MDR; goto T if_icmpltF: TOS = MDR; goto F if_icmpltPOS: TOS = MDR; goto if_icmplt_end if_icmpltNEG: TOS = MDR; goto if_icmplt_end if_icmplt_end: N = OPC - H; if (N) goto T; else goto F Vi har brugt denne algoritme til implementationen, hvor vi spørger er x mindre end y: if ( x >= 0 And Y >= 0 ) { if( (x - y) < 0) { return TRUE;} else return False; elseif( x < 0 And Y < 0 ) { if( (x - y) < 0) { return TRUE;} else return False; elseif ( x < 0 and y >= 0){ return True} elseif ( x >= 0 and y < 0){ reurn FALSE} \end{verbatim} Vi bruger OPC som x og TOS som y, og vi tjekker først om OPC er negativ, og derefter tjekker vi om TOS er negativ, hvis de har samme fortegn tester vi om OPC - TOS er negativ, hvis den er det så er OPC mindre end TOS og vi går til T, og hvis ikke går vi til F.\\ Har de ikke samme fortegn dvs. hvis OPC er ikke negativ og TOS er negativ går vi til F, men hvis OPC er negativ og TOS er ikke negativ går vi til T. \section{Afprøvning} Det udvidede mikroprogram \texttt{ijvm2.mal} er afprøvet med henblik på følgende: \begin{itemize} \item De gamle ordrer virker som før. Dette er afprøvet ved at køre programmet \texttt{test.j} fra IJVM manualen. Kildeteksten til dette program er vist i appendiks~\ref{test_gamle}. Kørslerne med programmet er ligeledes vist i appendiks~\ref{test_gamle}. \item En intern afprøvning af mikroprogrammet, der sikrer at alle de tilføjede mikroordrer er afprøvet mindst \'{e}n gang og at alle de tilføjede betingede hop er afprøvet, så betingelsen har været både sand og falsk. Dette er afprøvet med de testprogrammer som er vist i appendiks~\ref{test_nye}. Disse testprogrammer er konstrueret i overensstemmelse med nedenstående tabel, der angiver valg af testdata. Kørslerne med testprogrammerne er ligeledes vist i appendiks~\ref{test_nye}. \item En ekstern afprøvning af mikroprogrammet, der sikrer, at de nye ordrer virker som på IJVM2 simulatoren. Dette er afprøvet med de testprogrammer som er vist i appendiks~\ref{test_nye}. Kørslerne er ligeledes vist i appendiks~\ref{test_nye}. \end{itemize} \noindent Vi har for hver ordre kigget på de betingede hop og udfra hvad der sker før vi kommer til betingelsen valgt nogle tal der sørger for at vi kommer til begge labels der er efter betingelsen.\\ Hvis man kigger på koden for vores ordre, vil man kunne se at hvis blot man har været gennem alle betingelserne og her har haft både sandt og falsk resultat, så har man også været gennem alle mikroordrene.\\ De testdata vi har brugt har udover de tal der er angivet i tabellen nedenfor også andre tal, så vores testprogrammer er faktisk blevet brugt både til den interne og den eksterne test.\\ Nedenstående tabel angiver for alle tilføjede betingede hop i mikroprogrammet, hvilke testdata, der er anvendt for at sikre, at det betingede hop har været udført så betingelsen har været både sand og falsk. Valg af testdata i appendiks~\ref{test_nye} er foretaget systematisk udfra denne tabel. {\scriptsize \begin{center} \begin{tabular}{|l|l|l|l|} \hline \textbf{Ordre} & \textbf{Betinget hop} & \textbf{Test tilfælde/data} & \textbf{Resultat} \\ \hline ishr & TOS = TOS - 1; if (N) goto ishr\_endwhile; else goto ishr\_do & N=0: a = 4, b = -1 & -1 \\ & & N=1: a = 0, b = 1 & 1 \\ \hline imul & Z = TOS; if (Z) goto imul\_end; else goto imul\_while & Z=0: a = 53, b = 3 & 159\\ & & Z=1: a = 0, b = 53 & 0\\ \hline imul & Z = H AND TOS; if (Z) goto imul\_lige; else goto imul\_ulige & Z=0: a = 2, b = 53, H=1 & 106\\ & & Z=1: a = 3, b = 53, H=1 & 159\\ \hline imul & N = TOS = TOS >> 1; if(N) goto imul\_fix; else goto imul\_cont & Z=0: a = 2, b = 53 & 106\\ & & Z=1: a = -3, b = 53 & -169\\ \hline idiv & Z = TOS; if (Z) goto idiv\_nul; else goto idiv\_test\_equal & Z=0: a = 1, b = 42 & 42 \\ & & Z=1: a = 0, b = 42 & 0\\ \hline idiv & Z = OPC - H; if (Z) goto idiv\_facit1; else goto idiv\_test\_neg & Z=0: a = 1, b = 42 & 42\\ & & Z=1: a = $-2^{31}$, b = $-2^{31}$ & 1 \\ \hline idiv & N = TOS; if (N) goto idiv\_neg; else goto idiv\_test1 & N=0: a = 2, b = 42 & 21\\ & & N=1: a = -2, b = 42 & -21\\ \hline idiv & N=TOS=LV=H=-H;if(N)goto idiv\_nul\_branch; else goto idiv\_neg\_cont & N=0: a = -2, b = 42 & -21\\ & & N=1: a = $-2^{31}$, b = 42 & 0\\ \hline idiv & N = H = H + TOS; if (N) goto idiv\_while1\_end; else goto idiv\_while1 & N=0: a = 2, b = 42 & 21\\ & & N=1: a = $2^{31}-1$, b = 42 & 0\\ \hline idiv & N = OPC; if (N) goto idiv\_neg2; else goto idiv\_while3 & N=0: a = 4, b = 42 & 10\\ & & N=1: a = 7, b = -42 & -6\\ \hline idiv & N = OPC = -H; if (N) goto idiv\_neg3; else goto idiv\_neg4 & N=0: a = 7, b = -42 & -6\\ & & N=1: a = $2^{31}$-1, b = -$2^{31}$ & -1\\ \hline idiv & Z = LV - H; if (Z) goto idiv\_end2; else goto idiv\_st3 & se pkt. 1 & \\ & & &\\ \hline idiv & N = OPC - H; if (N) goto idiv\_st2; else goto idiv\_st & N=0: a = 1, b = $2^{31}$-1 & $2^{31}$-1\\ & & N=1: a = 2, b = 42 & 21\\ \hline idiv & Z = CPP; if (Z) goto idiv\_finish\_end; else goto idiv\_invert & Z=0: a = 2, b = -42 & -21\\ & & Z=1: a = 2, b = 42 & 21\\ \hline ishl & TOS = TOS - 1; if (N) goto ishl\_end; else goto ishl\_st & N=0: a = 2, b = 1 & 4\\ & & N=1: a = 0, b = 2 & 2\\ \hline iushr & Z = TOS; if (Z) goto iushr\_end; else goto iushr\_st & Z=0: a = 20, b = -3 & 4095\\ & & Z=1: a = 0, b = 1 & 1\\ \hline iushr & N = MDR; if (N) goto iushr\_st2; else goto iushr\_test & N=0: a = 4, b = 2 & 0\\ & & N=1: a = 20, b = -3 & 4095\\ \hline if\_icmplt & OPC = MDR; rd; if (N) goto xNeg; else goto xPos & N=0: a = 2, b = 4 & False\\ & & N=1: a = 2, b = -4 & True\\ \hline if\_icmplt & H = TOS; if (N) goto if\_icmpltF; else goto if\_icmpltPOS & N=0: a = 4, b = 2 & True\\ & & N=1: a = -2, b = 4 & False\\ \hline if\_icmplt & H = TOS; if (N) goto if\_icmpltNEG; else goto if\_icmpltT & N=0: a = 6, b = -8 & True\\ & & N=1: a = -6, b = -3 & False\\ \hline if\_icmplt & N = OPC - H; if (N) goto T; else goto F & N=0: a = 3, b = 7 & False\\ & & N=1: a = -3, b = -7 & True\\ \hline \end{tabular} \end{center}} Pkt 1: Denne if svarer til algoritmens 'while w $<>$ y do' som vi altid vil komme ind i mindst en gang, og at den hopper ud af den igen er også indlysende da, w starter som y og vi ganger så w med 2 et vist antal gange og derefter dividerer vi w med 2 for hvert gennemløb af løkken. \newpage \section{Udførelsestider for IJVM2 ordrer.} For de 20 eksisterende ordrer fås følgende udførelsestider målt i maskincykler: {\scriptsize \begin{center} \begin{tabular}{|l|c|} \hline \textbf{Ordre} & \textbf{Antal maskincykler} \\ \hline bipush & $4$ \\ dup & $3$ \\ goto & $7$ \\ iadd & $4$ \\ iand & $4$ \\ ifeq & $5$ \\ iflt & $5$ \\ if\_icmpeq & $7$ \\ iinc & $7$ \\ iload & $6$ \\ invokevirtual & $23$ \\ ior & $4$ \\ ireturn & $9$ \\ istore & $7$ \\ isub & $4$ \\ ldc\_w & $5$ \\ nop & $2$ \\ pop & $4$ \\ swap & $7$ \\ wide & $2$ \\ \hline \end{tabular} \end{center}} \noindent For de seks nye ordrer fås følgende udførelsestider målt i maskincykler: {\scriptsize \begin{center} \begin{tabular}{|l|c|} \hline \textbf{Ordre} & \textbf{Antal maskincykler} \\ \hline imul & $7 + 3\frac{1}{3}x$ \\ idiv & $50\frac{2}{13} + 9(\frac{x}{y}$) \\ ishl & 11 + 4n \\ ishr & 10 + 2n \\ iushr & $14\frac{2}{3} + \frac{2}{3}$n \\ if\_icmplt & $8\frac{1}{2}$ \\ \hline \end{tabular} \end{center}} \noindent Af de nye er det kun if\_icmplt der ikker afhænger af de brugte værdier.\\ imul afhænger af x som svarer til vores value1, vi har tre tilfælde i imul, og det angivede er et gennemsnitlige antal maskincykler, worst case er 7+14x.\\ I idiv har vi igen givet et gennemsnit, mens worstcase hedder $89 + 9\frac{x}{y}$. Hvor x er value2 og Y er value1. \\ I ishl er n value1 altså det antal gange vi vil skifte value2 til højre dette tal er fast det tager lige meget hvad 11 + 4n.\\ I ishr er n value2 igen det antal pladser der skal skiftes, det samme er tilfældet for iushr.\\ \newpage \section{Afslutning} Vi mener at vi hermed har løst denne opgave til fulde, da vi nu ved brug af mic1 kan løse samme problemer som vi kunne med vores ijvm, og med samme resultat. Dog er der den forskel at vi har valgt ikke at kaste en exception hvis man prøver at dividere med 0, men istedet smider vi et 0 på stakken.\\ Vi har haft nogle småproblemer med mic-1 assembleren, som dog forsvandt ved re-assembling.\\ Dette er vi kommet frem til ved en konklussion om at vi naturligvis ikke har begået nogen fejl...\\ \appendix \newpage \section{IJVM2 simulator} \label{simulator_c} C-programmet som implementerer IJVM simulatoren blev i ugeopgave~40 ændret ved at følgende er blevet tilføjet: \vspace{1cm} \noindent Nedenunder ses vores tilføjelser til ijvm.c: \begin{verbatim} case IJVM_OPCODE_IMUL: a = ijvm_pop (i); b = ijvm_pop (i); ijvm_push (i, a * b); break; case IJVM_OPCODE_IDIV: a = ijvm_pop (i); b = ijvm_pop (i); ijvm_push (i, b / a); break; case IJVM_OPCODE_IF_ICMPLT: offset = ijvm_fetch_int16 (i); a = ijvm_pop (i); b = ijvm_pop (i); if (a < b) i->pc = opc + offset; break; case IJVM_OPCODE_ISHL: a = ijvm_pop (i); b = ijvm_pop (i); a = a & 31; ijvm_push (i, b << a ); break; case IJVM_OPCODE_IUSHR: a = ijvm_pop (i); b = ijvm_pop (i); a = a & 31; ijvm_push (i,((uint32) b) >> a ); break; case IJVM_OPCODE_ISHR: a = ijvm_pop (i); b = ijvm_pop (i); a = a & 31; if ( b < 0 ) { b = ~b; b=b>>a; b = ~b; } else { b=b>>a; } ijvm_push (i, b ); break; \end{verbatim} Og her kommer tilføjelserne til ijvm.spec: \begin{verbatim} 0x68 imul 0x6C idiv 0xA1 if_icmplt 0x78 ishl 0x7A ishr 0x7C iushr \end{verbatim} Tilføjelser til ijvm-util.h: \begin{verbatim} #define IJVM_OPCODE_IMUL 0x68 #define IJVM_OPCODE_IF_ICMPLT 0xA1 #define IJVM_OPCODE_IDIV 0x6C #define IJVM_OPCODE_ISHL 0x78 #define IJVM_OPCODE_ISHR 0x7A #define IJVM_OPCODE_IUSHR 0x7C \end{verbatim} \newpage \section{ijvm2.mal} \label{simulator_mal} Mikroprogrammet \texttt{ijvm.mal} er blevet ændret ved at følgende er blevet tilføjet: \vspace{1cm} \noindent Her er de tilføjelser vi har gjort til ijvm.mal: \begin{verbatim} # Made by US # MDR = z, TOS = x, OPC = y imul = 0x68: MAR = SP = SP - 1; rd H = TOS OPC = MDR MDR = 0 imul_test: Z = TOS; if (Z) goto imul_end; else goto imul_while imul_while: H = 1 Z = H AND TOS; if (Z) goto imul_lige; else goto imul_ulige imul_lige: N = TOS = TOS >> 1; if(N) goto imul_fix; else goto imul_cont imul_fix: H = 1 << 8 H = H << 8 H = H >> 1 H = H << 8 H = H << 8 TOS = TOS + H imul_cont: H = OPC OPC = OPC + H; goto imul_test imul_ulige: H = OPC MDR = MDR + H; goto imul_lige imul_end: TOS = MDR; wr; goto main \end{verbatim} \newpage \begin{verbatim} idiv = 0x6c: MAR = SP = SP - 1; rd H = LV OPC = MDR MDR = H; wr MAR = SP = SP + 1 H = LV = TOS MDR = CPP; wr empty MDR = CPP = 0 ## test for nævner er nul idiv_test_nul: Z = TOS; if (Z) goto idiv_nul; else goto idiv_test_equal idiv_test_equal: Z = OPC - H; if (Z) goto idiv_facit1; else goto idiv_test_neg idiv_test_neg: N = TOS; if (N) goto idiv_neg; else goto idiv_test1 idiv_neg: N = TOS = LV = H = -H; if (N) goto idiv_nul_branch; else goto idiv_neg_cont idiv_nul_branch: goto idiv_nul idiv_neg_cont: CPP = 1 MDR = 0; goto idiv_test1 idiv_test1: N = H = H + TOS; if (N) goto idiv_while1_end; else goto idiv_while1 idiv_while1: TOS = H; goto idiv_test1 idiv_while1_end: H = TOS; goto idiv_test2 idiv_test2: N = OPC; if (N) goto idiv_neg2; else goto idiv_while3 idiv_neg2: H = OPC N = OPC = -H; if (N) goto idiv_neg3; else goto idiv_neg4 idiv_neg4: CPP = CPP - 1; goto idiv_while3 idiv_neg3: ##Tager højde for -2^31/w CPP = CPP - 1 H = TOS MDR = MDR + 1 OPC = OPC - H; goto idiv_while3 idiv_test4: H = TOS Z = LV - H; if (Z) goto idiv_end2; else goto idiv_st3 idiv_st3: TOS = TOS >> 1 H = MDR MDR = MDR + H idiv_while3: H = TOS N = OPC - H; if (N) goto idiv_st2; else goto idiv_st idiv_st2: H = TOS; goto idiv_test4 idiv_st: MDR = MDR + 1 OPC = OPC - H; goto idiv_test4 idiv_facit1: MDR = 1; goto idiv_end2 idiv_nul: goto idiv_end2 idiv_end2: H = MDR; rd Z = CPP; if (Z) goto idiv_finish_end; else goto idiv_invert idiv_invert: H = - H; goto idiv_finish_end idiv_finish_end: MAR = SP = SP - 1 CPP = MDR; rd empty LV = MDR TOS = MDR = H; wr; goto main \end{verbatim} \newpage \begin{verbatim} ishl = 0x78: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC = OPC - 1 TOS = TOS AND H ishl_test: TOS = TOS - 1; if (N) goto ishl_end; else goto ishl_st ishl_st: H = MDR MDR = MDR + H; goto ishl_test ishl_end: TOS = MDR; wr goto main #################################################### ishr = 0x7A: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC - 1 TOS = H AND TOS ishr_while: TOS = TOS - 1; if (N) goto ishr_endwhile; else goto ishr_do ishr_do: MDR = MDR >> 1; goto ishr_while ishr_endwhile: TOS = MDR; wr; goto main \end{verbatim} \newpage \begin{verbatim} iushr = 0x7c: MAR = SP = SP - 1; rd OPC = 1 << 8 OPC = OPC >> 1 OPC = OPC >> 1 OPC = OPC >> 1 H = OPC - 1 TOS = H AND TOS iushr_test: Z = TOS; if (Z) goto iushr_end; else goto iushr_st iushr_st: MDR = MDR >> 1 TOS = TOS - 1 N = MDR; if (N) goto iushr_st2; else goto iushr_test iushr_st2: H = 1 << 8 H = H << 8 H = H << 8 H = H >> 1 H = H << 8 MDR = MDR - H; goto iushr_test iushr_end: TOS = MDR; wr; goto main ############################################# if_icmplt = 0xA1: MAR = SP = SP - 1; rd MAR = SP = SP - 1 OPC = MDR; rd; if (N) goto xNeg; else goto xPos xPos: H = TOS; if (N) goto if_icmpltF; else goto if_icmpltPOS xNeg: H = TOS; if (N) goto if_icmpltNEG; else goto if_icmpltT if_icmpltT: TOS = MDR; goto T if_icmpltF: TOS = MDR; goto F if_icmpltPOS: TOS = MDR; goto if_icmplt_end if_icmpltNEG: TOS = MDR; goto if_icmplt_end if_icmplt_end: N = OPC - H; if (N) goto T; else goto F \end{verbatim} \newpage \section{Afprøvning af gamle ordrer} \label{test_gamle} Koden for test.j: \begin{verbatim} .method main // int main .args 3 // ( int a, int b ) .define a = 1 .define b = 2 // { bipush 88 // Push object reference. iload a iload b invokevirtual min ireturn // return min ( a, b ); // } .method min // int min .args 3 // ( int a, int b ){ .define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub // stack = a - b, ... ; a - b < 0 => a < b iflt else iload b // r = b; istore r goto end_if else: iload a // r = a; istore r end_if: iload r // return r; ireturn // } Her er så vores mic1 trace: Mic1 Trace of ../ijvm.mic1 with test2.bc Tue Dec 18 01:12:21 2001 stack = 0, 1, 82, 17, 15 bipush 88 [10 58] stack = 88, 0, 1, 82, 17, 15 iload 1 [15 01] stack = 17, 88, 0, 1, 82, 17, 15 iload 2 [15 02] stack = 82, 17, 88, 0, 1, 82, 17, 15 invokevirtual 1 [b6 00 01] stack = 12, 13, 0, 82, 17, 21, 0, 1 iload 1 [15 01] stack = 17, 12, 13, 0, 82, 17, 21, 0 iload 2 [15 02] stack = 82, 17, 12, 13, 0, 82, 17, 21 isub [64] stack = -65, 12, 13, 0, 82, 17, 21, 0 iflt 10 [9b 00 0a] stack = 12, 13, 0, 82, 17, 21, 0, 1 iload 1 [15 01] stack = 17, 12, 13, 0, 82, 17, 21, 0 istore 3 [36 03] stack = 12, 13, 17, 82, 17, 21, 0, 1 iload 3 [15 03] stack = 17, 12, 13, 17, 82, 17, 21, 0 ireturn [ac] stack = 17, 0, 1, 82, 17, 15 ireturn [ac] stack = 17 return value: 17 Ved kørsel af diff på trace fra hhv. mic1 og ijvm fik vi: 1c1 < IJVM Trace of /users/smunk/ijvm/tests/test2.bc Tue Dec 18 01:12:14 2001 --- > Mic1 Trace of ../ijvm.mic1 with test2.bc Tue Dec 18 01:12:21 2001 \end{verbatim} Forskellene er ganske enkelt overskriften som ved den ene hedder ijvm trace og den anden mic1 trace, og så er stien forskellig. \newpage \section{Afprøvning af nye ordrer} \label{test_nye} \begin{verbatim} Først en test af idiv, her testprogrammet: .method main .args 1 .define OBJREF = 42 .define MAXINT = 2147483647 .define MININT = -2147483648 stack = 0, 1, 55 bipush 42 [10 2a] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 42, 0, 1, 55 idiv [6c] stack = 42, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush -9 [10 f7] stack = -9, 42, 42, 0, 1, 55 idiv [6c] stack = -4, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 42, 0, 1, 55 idiv [6c] stack = 42, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 42, 42, 0, 1, 55 idiv [6c] stack = 21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush -2 [10 fe] stack = -2, 42, 42, 0, 1, 55 idiv [6c] stack = -21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 42, 42, 0, 1, 55 idiv [6c] stack = 21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 4 [10 04] stack = 4, 42, 42, 0, 1, 55 idiv [6c] stack = 10, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 bipush 7 [10 07] stack = 7, -42, 42, 0, 1, 55 idiv [6c] stack = -6, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 2147483647, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, -42, 42, 0, 1, 55 idiv [6c] stack = -21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 1, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 3 [10 03] stack = 3, 42, 0, 1, 55 bipush -9 [10 f7] stack = -9, 3, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -1 [10 ff] stack = -1, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, -1, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, -42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, -42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MAXINT [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 4194303, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -4194304, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w MININT [13 00 01] stack = -2147483648, 42, 0, 1, 55 bipush -16 [10 f0] stack = -16, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 134217728, 42, 0, 1, 55 bipush 0 [10 00] stack = 0, 134217728, 42, 0, 1, 55 ireturn [ac] stack = 0 return value: 0 \end{verbatim} \newpage \begin{verbatim} Trace fra mic1: Mic1 Trace of ../ijvm.mic1 with idiv.bc Tue Dec 18 00:12:51 2001 stack = 0, 1, 55 bipush 42 [10 2a] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 42, 0, 1, 55 idiv [6c] stack = 42, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush -9 [10 f7] stack = -9, 42, 42, 0, 1, 55 idiv [6c] stack = -4, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 42, 0, 1, 55 idiv [6c] stack = 42, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 42, 42, 0, 1, 55 idiv [6c] stack = 21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush -2 [10 fe] stack = -2, 42, 42, 0, 1, 55 idiv [6c] stack = -21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 42, 42, 0, 1, 55 idiv [6c] stack = 21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 bipush 4 [10 04] stack = 4, 42, 42, 0, 1, 55 idiv [6c] stack = 10, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 bipush 7 [10 07] stack = 7, -42, 42, 0, 1, 55 idiv [6c] stack = -6, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 2147483647, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, -42, 42, 0, 1, 55 idiv [6c] stack = -21, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 1 [10 01] stack = 1, 42, 0, 1, 55 bipush 2 [10 02] stack = 2, 1, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 3 [10 03] stack = 3, 42, 0, 1, 55 bipush -9 [10 f7] stack = -9, 3, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -1 [10 ff] stack = -1, 42, 0, 1, 55 bipush 1 [10 01] stack = 1, -1, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, -42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 1, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush 42 [10 2a] stack = 42, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, 42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 bipush -42 [10 d6] stack = -42, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, -42, 42, 0, 1, 55 idiv [6c] stack = 0, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 2 [13 00 02] stack = 2147483647, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, 2147483647, 42, 0, 1, 55 idiv [6c] stack = 4194303, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 ldc_w 3 [13 00 03] stack = 512, -2147483648, 42, 0, 1, 55 idiv [6c] stack = -4194304, 42, 0, 1, 55 pop [57] stack = 42, 0, 1, 55 ldc_w 1 [13 00 01] stack = -2147483648, 42, 0, 1, 55 bipush -16 [10 f0] stack = -16, -2147483648, 42, 0, 1, 55 idiv [6c] stack = 134217728, 42, 0, 1, 55 bipush 0 [10 00] stack = 0, 134217728, 42, 0, 1, 55 ireturn [ac] stack = 0 return value: 0 \end{verbatim} \newpage \begin{verbatim} Resultat af diff: 1c1 < IJVM Trace of /users/smunk/ijvm/tests/idiv.bc Tue Dec 18 00:58:02 2001 --- > Mic1 Trace of ../ijvm.mic1 with idiv.bc Tue Dec 18 00:12:51 2001 Forskellen her er overskriften. Det skal så her tilføjes at denne test ikke tester for division med nul, da ijvm ikke kan håndtere dette, men kaster en exception, vi har valgt i vores implementation til mic1 at den blot smider 0 på stakken, dette håndteres af vores allerførste betingede hop, som, hvis nævneren er lig 0, hopper til slutningen af programmet og lægger 0 på stakken. \end{verbatim} \newpage \begin{verbatim} Test af imul: Testkoden: .method main .args 1 .define OBJREF = 42 bipush OBJREF // stack = 42 bipush 53 // stack = 53, 42 bipush 3 // stack = 3, 53, 42 imul // stack = 159, 42 pop // stack = 42 bipush 3 // stack = 3 bipush 53 // stack = 53, 3 imul // stack = 159, 42 pop // stack = 42 bipush 53 // stack = 53, 42 bipush 0 // stack = 0, 53, 42 imul // stack = 0, 42 pop // stack = 42 bipush 53 // stack = 53, 42 bipush 2 // stack = 2, 53, 42 imul // stack = 106, 42 pop // stack = 42 bipush 53 // stack = 53, 42 bipush -3 // stack = -3, 53, 42 imul // stack = -159, 42 pop // stack = 42 bipush -1 // stack = -1, 42 bipush -53 // stack = -53, -1, 42 imul // stack = 53, 42 bipush -53 // stack = -53, 53, 42 imul // stack = -2809, 42 bipush 3 // stack = 3, -2809, 42 imul // stack = -8427, 42 bipush 55 // stack = 55, -8427, 42 imul // stack = -463485, 42 bipush -55 // stack = -55, -463485, 42 imul // stack = 25491675, 42 bipush 55 // stack = 55, 25491675, 42 imul // stack = 1402042125, 42 bipush 55 // stack = 55, 1402042125, 42 imul // stack = -197094453, 42 bipush 0 // stack = 0, -197094453, 42 imul // stack = 0, 42 // Negativ overløb bipush -53 // stack = -53, 0, 42 bipush 3 // stack = 3, -53, 0, 42 imul // stack = -159, 0, 42 bipush 3 // stack = 3, -159, 0, 42 imul // stack = -477, 0, 42 bipush -3 // stack = -3, -477, 0 , 42 imul // stack = 1431, 0, 42 bipush -3 // stack = -3, 1431, 0, 42 imul // stack = -4293, 0, 42 bipush 3 // stack = 3, -4293, 0, 42 imul // stack = -12879, 0, 42 bipush -53 // stack = -53, -12879, 0, 42 imul // stack = 682587, 0, 42 bipush -53 // stack = -53, 682587, 0, 42 imul // stack = -36177111, 0, 42 bipush 3 // stack = 3, -36177111, 0, 42 imul // stack = -108531333, 0, 42 bipush 55 // stack = 55, -108531333, 0, 42 imul // stack = -5969223315, 0, 42 bipush 0 // stack = 0, -5969223315, 0, 42 imul // stack = 0, 0, 42 bipush 0 // stack = 0, 0, 0, 42 ireturn // return 0 \end{verbatim} \newpage \begin{verbatim} Trace af mic1 kørsel: Mic1 Trace of ../ijvm.mic1 with imul.bc Mon Dec 17 22:38:21 2001 stack = 0, 1, 27 bipush 42 [10 2a] stack = 42, 0, 1, 27 bipush 53 [10 35] stack = 53, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, 53, 42, 0, 1, 27 imul [68] stack = 159, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 3 [10 03] stack = 3, 42, 0, 1, 27 bipush 53 [10 35] stack = 53, 3, 42, 0, 1, 27 imul [68] stack = 159, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 53 [10 35] stack = 53, 42, 0, 1, 27 bipush 0 [10 00] stack = 0, 53, 42, 0, 1, 27 imul [68] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 53 [10 35] stack = 53, 42, 0, 1, 27 bipush 2 [10 02] stack = 2, 53, 42, 0, 1, 27 imul [68] stack = 106, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 53 [10 35] stack = 53, 42, 0, 1, 27 bipush -3 [10 fd] stack = -3, 53, 42, 0, 1, 27 imul [68] stack = -159, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush -1 [10 ff] stack = -1, 42, 0, 1, 27 bipush -53 [10 cb] stack = -53, -1, 42, 0, 1, 27 imul [68] stack = 53, 42, 0, 1, 27 bipush -53 [10 cb] stack = -53, 53, 42, 0, 1, 27 imul [68] stack = -2809, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, -2809, 42, 0, 1, 27 imul [68] stack = -8427, 42, 0, 1, 27 bipush 55 [10 37] stack = 55, -8427, 42, 0, 1, 27 imul [68] stack = -463485, 42, 0, 1, 27 bipush -55 [10 c9] stack = -55, -463485, 42, 0, 1, 27 imul [68] stack = 25491675, 42, 0, 1, 27 bipush 55 [10 37] stack = 55, 25491675, 42, 0, 1, 27 imul [68] stack = 1402042125, 42, 0, 1, 27 bipush 55 [10 37] stack = 55, 1402042125, 42, 0, 1, 27 imul [68] stack = -197094453, 42, 0, 1, 27 bipush 0 [10 00] stack = 0, -197094453, 42, 0, 1, 27 imul [68] stack = 0, 42, 0, 1, 27 bipush -53 [10 cb] stack = -53, 0, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, -53, 0, 42, 0, 1, 27 imul [68] stack = -159, 0, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, -159, 0, 42, 0, 1, 27 imul [68] stack = -477, 0, 42, 0, 1, 27 bipush -3 [10 fd] stack = -3, -477, 0, 42, 0, 1, 27 imul [68] stack = 1431, 0, 42, 0, 1, 27 bipush -3 [10 fd] stack = -3, 1431, 0, 42, 0, 1, 27 imul [68] stack = -4293, 0, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, -4293, 0, 42, 0, 1, 27 imul [68] stack = -12879, 0, 42, 0, 1, 27 bipush -53 [10 cb] stack = -53, -12879, 0, 42, 0, 1, 27 imul [68] stack = 682587, 0, 42, 0, 1, 27 bipush -53 [10 cb] stack = -53, 682587, 0, 42, 0, 1, 27 imul [68] stack = -36177111, 0, 42, 0, 1, 27 bipush 3 [10 03] stack = 3, -36177111, 0, 42, 0, 1, 27 imul [68] stack = -108531333, 0, 42, 0, 1, 27 bipush 55 [10 37] stack = 55, -108531333, 0, 42, 0, 1, 27 imul [68] stack = -1674256019, 0, 42, 0, 1, 27 bipush 0 [10 00] stack = 0, -1674256019, 0, 42, 0, 1, 27 imul [68] stack = 0, 0, 42, 0, 1, 27 bipush 0 [10 00] stack = 0, 0, 0, 42, 0, 1, 27 ireturn [ac] stack = 0 return value: 0 Resultat af diff: 1c1 < IJVM Trace of /users/smunk/ijvm/tests/imul.bc Mon Dec 17 22:37:58 2001 --- > Mic1 Trace of ../ijvm.mic1 with imul.bc Mon Dec 17 22:38:21 2001 Forskellen er overskriften. \end{verbatim} \newpage \begin{verbatim} Test af ishr: Testkoden til ishr: .method main .args 1 .define OBJREF = 42 bipush OBJREF // stack = 42 bipush 1 // stack = 1, 42 bipush 0 // stack = 0, 1, 42 ishr // stack = 1, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 1 // stack = 1, 1, 42 ishr // stack = 0, 42 pop // stack = 42 bipush 2 // stack = 2, 42 bipush 4 // stack = 4, 2, 42 ishr // stack = 0, 42 pop // stack = 42 bipush 31 // stack = 31, 42 ldc_w 2147483647 // stack = 2147483647, 31, 42 ishr // stack = 0, 42 pop // stack = 42 bipush 33 // stack = 33, 42 bipush 32 // stack = 32, 33, 42 ishr // stack = 33, 42 pop // stack = 42 bipush 4 // stack = 4, 42 bipush -1 // stack = -1, 2, 42 ishr // stack = 0, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 0 // stack = 0, 3, 42 ishr // stack = 1, 42 pop // stack = 42 bipush 2 // stack = 2, 42 ldc_w -2147483648 // stack = -2147483648, 2, 42 ishr // stack = 2, 42 pop // stack = 42 bipush 24 // stack = 24, 42 bipush 3 // stack = 3, 24, 42 ishr // stack = 3, 42 pop // stack = 42 bipush -3 // stack = -3, 42 bipush 20 // stack = 20, -3, 42 ishr // stack = -1, 42 pop // stack = 42 bipush -5 // stack = -5, 42 ldc_w 2147483647 // stack = 2147483647, -5, 42 ishr // stack = -1, 42 pop // stack = 42 bipush 0 // stack = 0, 42 ireturn // return 0 \end{verbatim} \newpage \begin{verbatim} Her er der så et trace af kørsel på mic1: Mic1 Trace of ../ijvm.mic1 with ishr.bc Mon Dec 17 22:52:11 2001 stack = 0, 1, 24 bipush 42 [10 2a] stack = 42, 0, 1, 24 bipush 1 [10 01] stack = 1, 42, 0, 1, 24 bipush 0 [10 00] stack = 0, 1, 42, 0, 1, 24 ishr [7a] stack = 1, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 1 [10 01] stack = 1, 42, 0, 1, 24 bipush 1 [10 01] stack = 1, 1, 42, 0, 1, 24 ishr [7a] stack = 0, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 2 [10 02] stack = 2, 42, 0, 1, 24 bipush 4 [10 04] stack = 4, 2, 42, 0, 1, 24 ishr [7a] stack = 0, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 31 [10 1f] stack = 31, 42, 0, 1, 24 ldc_w 1 [13 00 01] stack = 2147483647, 31, 42, 0, 1, 24 ishr [7a] stack = 0, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 33 [10 21] stack = 33, 42, 0, 1, 24 bipush 32 [10 20] stack = 32, 33, 42, 0, 1, 24 ishr [7a] stack = 33, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 4 [10 04] stack = 4, 42, 0, 1, 24 bipush -1 [10 ff] stack = -1, 4, 42, 0, 1, 24 ishr [7a] stack = 0, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 1 [10 01] stack = 1, 42, 0, 1, 24 bipush 0 [10 00] stack = 0, 1, 42, 0, 1, 24 ishr [7a] stack = 1, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 2 [10 02] stack = 2, 42, 0, 1, 24 ldc_w 2 [13 00 02] stack = -2147483648, 2, 42, 0, 1, 24 ishr [7a] stack = 2, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 24 [10 18] stack = 24, 42, 0, 1, 24 bipush 3 [10 03] stack = 3, 24, 42, 0, 1, 24 ishr [7a] stack = 3, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush -3 [10 fd] stack = -3, 42, 0, 1, 24 bipush 20 [10 14] stack = 20, -3, 42, 0, 1, 24 ishr [7a] stack = -1, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush -5 [10 fb] stack = -5, 42, 0, 1, 24 ldc_w 1 [13 00 01] stack = 2147483647, -5, 42, 0, 1, 24 ishr [7a] stack = -1, 42, 0, 1, 24 pop [57] stack = 42, 0, 1, 24 bipush 0 [10 00] stack = 0, 42, 0, 1, 24 ireturn [ac] stack = 0 return value: 0 Her er resultatet af kørsel af diff: 1c1 < IJVM Trace of /users/smunk/ijvm/tests/ishr.bc Mon Dec 17 22:52:29 2001 --- > Mic1 Trace of ../ijvm.mic1 with ishr.bc Mon Dec 17 22:52:11 2001 Forskellen er overskriften på de to tracefiler. \end{verbatim} \newpage \begin{verbatim} Test af ishl: Testkoden til ishl: .method main .args 1 .define OBJREF = 42 bipush OBJREF // stack = 42 bipush 1 // stack = 1, 42 bipush 1 // stack = 1, 1, 42 ishl // stack = 2, 42 pop // stack = 42 bipush 0 // stack = 0, 42 bipush 1 // stack = 1, 0, 42 ishl // stack = 0, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 0 // stack = 0, 1, 42 ishl // stack = 1, 42 pop // stack = 42 bipush -1 // stack = -1, 42 bipush 1 // stack = 1, -1, 42 ishl // stack = -2, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush -1 // stack = -1, 1, 42 ishl // stack = -2147483648, 42 pop // stack = 42 // 2^26 = 67108864 ldc_w 67108864 // stack = 67108864, 42 bipush 5 // stack = 5, 67108864, 42 ishl // stack = -2147483648, 42 pop // stack = 42 // 2^25 = 33554432 ldc_w 33554432 // stack = 33554432, 42 bipush 5 // stack = 5, 33554432, 42 ishl // stack = 1073741824, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 31 // stack = 31, 1, 42 ishl // stack = -2147483648, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 32 // stack = 32, 1, 42 ishl // stack = 1, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush -31 // stack = -31, 1, 42 ishl // stack = 2, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush -32 // stack = -32, 1, 42 ishl // stack = 1, 42 pop // stack = 42 bipush 2 // stack = 2, 42 bipush 0 // stack = 0, 2, 42 ishl // stack = 2, 42 pop // stack = 42 bipush 0 // stack = 0, 42 bipush 0 // stack = 0, 0, 42 ishl // stack = 0, 42 pop // stack = 42 bipush -2 // stack = -2, 42 bipush 0 // stack = 0, -2, 42 ishl // stack = -2, 42 pop // stack = 42 bipush 0 // stack = 0, 42 bipush -3 // stack = -3, 0, 42 ishl // stack = 0, 42 pop // stack = 42 bipush -1 // stack = -1, 42 bipush -1 // stack = -1, -1, 42 ishl // stack = -2147483648, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 2 // stack = 2, 1, 42 ishl // stack = -2147483648, 42 pop // stack = 42 bipush 0 // stack = 0 ireturn // return 0 \end{verbatim} \newpage \begin{verbatim} Trace af kørsel på mic1: Mic1 Trace of ../../ijvm.mic1 with ../ishl.bc Tue Dec 18 02:26:31 2001 stack = 0, 1, 33 bipush 42 [10 2a] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 1, 42, 0, 1, 33 ishl [78] stack = 2, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 0, 42, 0, 1, 33 ishl [78] stack = 0, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 1, 42, 0, 1, 33 ishl [78] stack = 1, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush -1 [10 ff] stack = -1, 42, 0, 1, 33 bipush 1 [10 01] stack = 1, -1, 42, 0, 1, 33 ishl [78] stack = -2, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush -1 [10 ff] stack = -1, 1, 42, 0, 1, 33 ishl [78] stack = -2147483648, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 ldc_w 1 [13 00 01] stack = 67108864, 42, 0, 1, 33 bipush 5 [10 05] stack = 5, 67108864, 42, 0, 1, 33 ishl [78] stack = -2147483648, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 ldc_w 2 [13 00 02] stack = 33554432, 42, 0, 1, 33 bipush 5 [10 05] stack = 5, 33554432, 42, 0, 1, 33 ishl [78] stack = 1073741824, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush 31 [10 1f] stack = 31, 1, 42, 0, 1, 33 ishl [78] stack = -2147483648, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush 32 [10 20] stack = 32, 1, 42, 0, 1, 33 ishl [78] stack = 1, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush -31 [10 e1] stack = -31, 1, 42, 0, 1, 33 ishl [78] stack = 2, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush -32 [10 e0] stack = -32, 1, 42, 0, 1, 33 ishl [78] stack = 1, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 2 [10 02] stack = 2, 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 2, 42, 0, 1, 33 ishl [78] stack = 2, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 0, 42, 0, 1, 33 ishl [78] stack = 0, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush -2 [10 fe] stack = -2, 42, 0, 1, 33 bipush 0 [10 00] stack = 0, -2, 42, 0, 1, 33 ishl [78] stack = -2, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 42, 0, 1, 33 bipush -3 [10 fd] stack = -3, 0, 42, 0, 1, 33 ishl [78] stack = 0, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush -1 [10 ff] stack = -1, 42, 0, 1, 33 bipush -1 [10 ff] stack = -1, -1, 42, 0, 1, 33 ishl [78] stack = -2147483648, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 1 [10 01] stack = 1, 42, 0, 1, 33 bipush 2 [10 02] stack = 2, 1, 42, 0, 1, 33 ishl [78] stack = 4, 42, 0, 1, 33 pop [57] stack = 42, 0, 1, 33 bipush 0 [10 00] stack = 0, 42, 0, 1, 33 ireturn [ac] stack = 0 return value: 0 Resultat af kørsel af diff på to trace fra hhv. ijvm og mic1: < Mic1 Trace of ../../ijvm.mic1 with ../ishl.bc Tue Dec 18 02:26:31 2001 --- > IJVM Trace of /users/smunk/ijvm/tests/ishl.bc Tue Dec 18 02:26:28 2001 Forskellen er her kun overskriften på tracet. Test af iushr: Testkoden til iushr: .method main .args 1 .define OBJREF = 42 bipush OBJREF // stack = 42 bipush 1 // stack = 1, 42 bipush 0 // stack = 0, 1, 42 iushr // stack = 0, 42 pop // stack = 42 bipush 1 // stack = 1, 42 bipush 1 // stack = 1, 1, 42 iushr // stack = 0, 42 pop // stack = 42 bipush 2 // stack = 2, 42 bipush 4 // stack = 4, 2, 42 iushr // stack = 1, 42 pop // stack = 42 bipush 31 // stack = 31, 42 // 2^31-1 = 2147483647 ldc_w 2147483647 // stack = 2147483647, 31, 42 iushr // stack = 0, 42 pop // stack = 42 bipush 33 // stack = 33, 42 bipush 32 // stack = 32, 33, 42 iushr // stack = 16, 42 pop // stack = 42 bipush 2 // stack = 2, 42 bipush -4 // stack = -4, 2, 42 // 2^30-1 = 1073741823 iushr // stack = 1073741823, 42 pop // stack = 42 bipush 3 // stack = 3, 42 bipush -17 // stack = -17, 3, 42 iushr // stack = 536870909, 42 pop // stack = 42 bipush 12 // stack = 12, 42 // -2^31 = -2147483648 ldc_w -2147483648 // stack = -2147483648, 12, 42 iushr // stack = 524288, 42 pop // stack = 42 bipush 24 // stack = 24, 42 bipush -3 // stack = -3, 24, 42 iushr // stack = 255, 42 pop // stack = 42 bipush -3 // stack = -3, 42 bipush 20 // stack = 20, -3, 42 iushr // stack = 0, 42 pop // stack = 42 bipush 5 // stack = 5, 42 ldc_w -257 // stack = -257, 5, 42 iushr // stack = 134217719, 42 pop // stack = 42 bipush 3 // stack = 3, 42 // -2^31 = -2147483648 ldc_w -2147483648 // stack = -2147483648, 3, 42 // 2^28 = 268435456 iushr // stack = 268435456, 42 pop // stack = 42 bipush 0 // stack = 0, 42 ireturn // return 0 \end{verbatim} \newpage \begin{verbatim} Trace fra kørsel på mic1: Mic1 Trace of ../../ijvm.mic1 with ../iushr.bc Tue Dec 18 02:28:17 2001 stack = 0, 1, 27 bipush 42 [10 2a] stack = 42, 0, 1, 27 bipush 1 [10 01] stack = 1, 42, 0, 1, 27 bipush 0 [10 00] stack = 0, 1, 42, 0, 1, 27 iushr [7c] stack = 1, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 1 [10 01] stack = 1, 42, 0, 1, 27 bipush 1 [10 01] stack = 1, 1, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 2 [10 02] stack = 2, 42, 0, 1, 27 bipush 4 [10 04] stack = 4, 2, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 31 [10 1f] stack = 31, 42, 0, 1, 27 ldc_w 1 [13 00 01] stack = 2147483647, 31, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 33 [10 21] stack = 33, 42, 0, 1, 27 bipush 32 [10 20] stack = 32, 33, 42, 0, 1, 27 iushr [7c] stack = 33, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 2 [10 02] stack = 2, 42, 0, 1, 27 bipush -4 [10 fc] stack = -4, 2, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 3 [10 03] stack = 3, 42, 0, 1, 27 bipush -17 [10 ef] stack = -17, 3, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 12 [10 0c] stack = 12, 42, 0, 1, 27 ldc_w 2 [13 00 02] stack = -2147483648, 12, 42, 0, 1, 27 iushr [7c] stack = 12, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 24 [10 18] stack = 24, 42, 0, 1, 27 bipush -3 [10 fd] stack = -3, 24, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush -3 [10 fd] stack = -3, 42, 0, 1, 27 bipush 20 [10 14] stack = 20, -3, 42, 0, 1, 27 iushr [7c] stack = 4095, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 5 [10 05] stack = 5, 42, 0, 1, 27 ldc_w 3 [13 00 03] stack = -257, 5, 42, 0, 1, 27 iushr [7c] stack = 0, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 3 [10 03] stack = 3, 42, 0, 1, 27 ldc_w 2 [13 00 02] stack = -2147483648, 3, 42, 0, 1, 27 iushr [7c] stack = 3, 42, 0, 1, 27 pop [57] stack = 42, 0, 1, 27 bipush 0 [10 00] stack = 0, 42, 0, 1, 27 ireturn [ac] stack = 0 return value: 0 Resultat af diff: 1c1 < IJVM Trace of /users/smunk/ijvm/tests/iushr.bc Mon Dec 17 20:10:08 2001 --- > Mic1 Trace of ../ijvm.mic1 with iushr.bc Mon Dec 17 20:19:13 2001 Forskellen er kun overskriften. \end{verbatim} \newpage \begin{verbatim} Test af if_icmplt: Testkoden til if_icmplt: .method main bipush 42 // stack = 42 bipush 4 // stack = 4, 42 bipush 2 // stack = 2, 4, 42 if_icmplt ok1 // stack = 42 fejl1: bipush 0 // stack = 0, 42 ok1: bipush -4 // stack = -4, 0, 42 bipush 2 // stack = 2, -4, 0, 42 if_icmplt ok2 // stack = 0, 42 fejl2: bipush 0 ok2: bipush 2 // stack = 2, 0, 42 bipush 4 // stack = 4, 2, 0, 42 if_icmplt ok3 // stack = 0, 42 fejl3: bipush 0 ok3: bipush 4 // stack = 4, 0, 42 bipush -2 // stack = -2, 4, 0, 42 if_icmplt ok4 // stack = 0, 42 fejl4: bipush 0 // stack = 0 ,0, 42 ok4: bipush -8 // stack = -8, 0, 0, 42 bipush 6 // stack = 6, -8, 0, 0, 42 if_icmplt ok5 // stack = 0, 0, 42 fejl5: bipush 0 ok5: bipush -3 // stack = -3, 0, 0, 42 bipush -6 // stack = -6, -3, 0, 0, 42 if_icmplt ok6 // stack = 0, 0, 42 fejl6: bipush 0 // stack = 0, 0, 0, 42 ok6: bipush 7 // stack = 7, 0, 0, 0, 42 bipush 3 // stack = 3, 7, 0, 0, 0, 42 if_icmplt ok7 // stack = 0, 0, 0, 42 fejl7: bipush 0 // stack = 0, 0, 0, 0, 42 ok7: bipush -7 // stack = -7, 0, 0, 0, 0, 42 bipush -3 // stack = -3, -7, 0, 0, 0, 0, 42 if_icmplt ok8 // stack = 0, 0, 0, 0, 42 fejl8: bipush 0 ok8: bipush 2 // stack = 2, 0, 0, 0, 0, 42 bipush 1 // stack = 1, 2, 0, 0, 0, 0, 42 if_icmplt ok9 // stack = 0, 0, 0, 0, 42 fejl9: bipush 0 // stack = 0, 0, 0, 0, 0, 42 ok9: bipush 0 // stack = 0, 0, 0, 0, 0, 0, 42 ireturn // stack = 0 \end{verbatim} \newpage \begin{verbatim} Trace af mic1 kørsel: Mic1 Trace of ../../ijvm.mic1 with ../if_icmplt.bc Tue Dec 18 02:43:17 2001 stack = 0, 1, 25 bipush 42 [10 2a] stack = 42, 0, 1, 25 bipush 4 [10 04] stack = 4, 42, 0, 1, 25 bipush 2 [10 02] stack = 2, 4, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 42, 0, 1, 25 bipush 0 [10 00] stack = 0, 42, 0, 1, 25 bipush -4 [10 fc] stack = -4, 0, 42, 0, 1, 25 bipush 2 [10 02] stack = 2, -4, 0, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 0, 42, 0, 1, 25 bipush 2 [10 02] stack = 2, 0, 42, 0, 1, 25 bipush 4 [10 04] stack = 4, 2, 0, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 0, 42, 0, 1, 25 bipush 4 [10 04] stack = 4, 0, 42, 0, 1, 25 bipush -2 [10 fe] stack = -2, 4, 0, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 0, 42, 0, 1, 25 bipush 0 [10 00] stack = 0, 0, 42, 0, 1, 25 bipush -8 [10 f8] stack = -8, 0, 0, 42, 0, 1, 25 bipush 6 [10 06] stack = 6, -8, 0, 0, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 0, 0, 42, 0, 1, 25 bipush -3 [10 fd] stack = -3, 0, 0, 42, 0, 1, 25 bipush -6 [10 fa] stack = -6, -3, 0, 0, 42, 0, 1, 25 if_icmplt 5 [a1 00 05] stack = 0, 0, 42, 0, 1, 25 bipush 0 [10 00] stack = 0, 0, 0, 42, 0, 1, 25 bipush 7 [10 07] stack = 7, 0, 0, 0, 42, 0, 1, 25 bipush 3 [10 03] stack = 3, 7, 0, 0, 0, 42, 0, 1 if_icmplt 5 [a1 00 05] stack = 0, 0, 0, 42, 0, 1, 25 bipush 0 [10 00] stack = 0, 0, 0, 0, 42, 0, 1, 25 bipush -7 [10 f9] stack = -7, 0, 0, 0, 0, 42, 0, 1 bipush -3 [10 fd] stack = -3, -7, 0, 0, 0, 0, 42, 0 if_icmplt 5 [a1 00 05] stack = 0, 0, 0, 0, 42, 0, 1, 25 bipush 2 [10 02] stack = 2, 0, 0, 0, 0, 42, 0, 1 bipush 1 [10 01] stack = 1, 2, 0, 0, 0, 0, 42, 0 if_icmplt 5 [a1 00 05] stack = 0, 0, 0, 0, 42, 0, 1, 25 bipush 0 [10 00] stack = 0, 0, 0, 0, 0, 42, 0, 1 bipush 0 [10 00] stack = 0, 0, 0, 0, 0, 0, 42, 0 ireturn [ac] stack = 0 return value: 0 \end{verbatim} \newpage \begin{verbatim} Resultatet af dif: 1c1 < Mic1 Trace of ../../ijvm.mic1 with ../if_icmplt.bc Tue Dec 18 02:43:17 2001 --- > IJVM Trace of /users/smunk/ijvm/tests/if_icmplt.bc Tue Dec 18 02:42:52 2001 Og endnu en gang er forskellen kun i overskriften. \end{verbatim} % % kommandoen '\label{end}' SKAL stå lige før '\end{document}' % \label{end} \end{document}