1 / 29

Decisions in C/Assembly Language

Decisions in C/Assembly Language. Jen-Chang Liu, Spring 200 6 Adapted from http://www-inst.eecs.berkeley.edu/~cs61c/. O utline. C/Assembly Decisions: if , if-else C/Assembly Loops: while , do while , for Inequalities C Switch Statement. Motivation for decision and loops.

brenna
Download Presentation

Decisions in C/Assembly Language

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

E N D

Presentation Transcript


  1. Decisions in C/Assembly Language Jen-Chang Liu, Spring 2006 Adapted from http://www-inst.eecs.berkeley.edu/~cs61c/

  2. Outline • C/Assembly Decisions: if, if-else • C/Assembly Loops: while, do while, for • Inequalities • C Switch Statement

  3. Motivation for decision and loops #include <stdio.h> main() { int fib[6]={1,1,0,0,0,0,0}; fib[2]=fib[0]+fib[1]; fib[3]=fib[1]+fib[2]; fib[4]=fib[2]+fib[3]; fib[5]=fib[3]+fib[4]; fib[6]=fib[4]+fib[5]; } Stupid code!

  4. MIPS translation .globl main .data fib: .word 1, 1, 0, 0, 0, 0, 0 .text main: la $s0, fib lw $t0, 0($s0)# fib[0] lw $t1, 4($s0)# fib[1] add $t2, $t0, $t1 sw $t2, 8($s0)#fib[2]=fib[0]+fib[1] 4 more rounds!

  5. C Decisions: if and elseStatements • 2 kinds of if statements in C • if (condition) {clause} • if (condition) {clause1} else {clause2} • Rearrange if-elseinto following: if (condition) goto L1; {clause2}goto L2;L1:{clause1} L2: However, do not use goto and labels in C labels The same goto?

  6. Stored program concept: Program counter Which instruction is currently been executed? PC(program counter)

  7. See SPIM for Program counter

  8. Experiment: set the value of PC manually in SPIM

  9. MIPS Decision Instructions • Decision instruction in MIPS: • beq register1, register2, Label • beq is “Branch if (registers are) equal” Same meaning as (using C): if (register1==register2) goto Label • Complementary MIPS decision instruction • bne register1, register2, Lable • bne is “Branch if (registers are) not equal” Same meaning as (using C): if (register1!=register2) goto Label • Called conditional branches 有條件跳躍

  10. MIPS Goto Instruction 無條件跳躍 • MIPS has an unconditional branch: j label • Called a Jump Instruction: jump (or branch) directly to the given label without needing to satisfy any condition • Same meaning as (using C): goto label • Technically, it’s the same as: beq $0,$0,label Q: Then, why define j instead of using beq?

  11. Q: Then, why define j instead of using beq? Idea: How to modify PC(32-bit) by j and beq? 能跳躍的範圍不同 (see textbook A-62, A-65)

  12. Compiling C if into MIPS (1/2) (false) i != j (true) i == j • C codes: if (i == j) f=g+h; else f=g-h; • Use this mapping: f: $s0,g: $s1,h: $s2,i: $s3,j: $s4 i == j? f=g+h f=g-h Exit

  13. Compiling C if into MIPS (2/2) (true) $s3 == $s4 (false) $s3 != $s4 • Final compiled MIPS code: beq $s3,$s4,True # branch i==j sub $s0,$s1,$s2 # f=g-h(false) j Fin # go to FinTrue: add $s0,$s1,$s2 # f=g+h (true)Fin: i == j? $s0=$s1+$s2 f=g+h $s0=$s1-$s2 f=g-h Exit • f: $s0, g: $s1, h: $s2, i: $s3, j: $s4

  14. Outline • C/Assembly Decisions: if, if-else • C/Assembly Loops: while, do while, for • Inequalities • C Switch Statement

  15. Loops in C/Assembly (1/3) • Simple loop in C do { i = i + j; } while (i != h); • Rewrite this as: Loop: i = i + j; if (i != h) goto Loop; • Use this mapping: h: $s2, i: $s3, j: $s4 i=i+j Yes i!=h No

  16. Loops in C/Assembly (2/3) • Final compiled MIPS code: Loop: add $s3,$s3,$s4 #i=i+jbne $s3,$s2,Loop# goto Loop # if i!=h i=i+j add $s3,$s3,$s4 Yes Yes i!=h $s3!=$s2 No No • h: $s2, i: $s3, j: $s4

  17. Loops in C/Assembly (3/3) • There are three types of loops in C: • while • do… while • for • The MIPS code of “for” and “while” is left for the quiz next week. 3/20 上課在電腦教室,上機練習。 • Key Concept: Though there are multiple ways of writing a loop in MIPS, conditional branch is key to decision making

  18. Outline • C/Assembly Decisions: if, if-else • C/Assembly Loops: while, do while, for • Inequalities – comparison instructions • C Switch Statement

  19. Inequalities in MIPS • beq (==), bne(!=) • what about branch on< and >? (>=) (<=)

  20. Comparison instructions in MIPS • Create a MIPS Inequality Instruction: • “Set on Less Than” • Syntax: slt reg1,reg2,reg3 • Meaning: if (reg2 < reg3) reg1 = 1; else reg1 = 0; • In computereeze, “set” means “set to 1”, “reset” means “set to 0”.

  21. Inequalities in MIPS • How do we use comparison instructions? • slt + branch • Compile by hand: if (g < h) goto Less; Let g: $s0, h: $s1 slt $t0,$s0,$s1 # $t0 = 1 ifg<h $t0,$0,Less # goto Less Less:# (if (g<h)) bne

  22. Immediates in Inequalities • There is also an immediate version of slt to test against constants: slti • Helpful in for loops if (g >= 1) goto Loop Loop: . . . slti $t0,$s0,1# $t0 = 1 if# $s0<1 (g<1) $t0,$0,Loop # goto Loop # if $t0==0# (if (g>=1)) C MIPS beq

  23. What about unsigned numbers? • there are unsigned inequality instructions: sltu, sltiu • which set result to 1 or 0 depending on unsigned comparisons • $s0 = FFFF FFFAhex, $s1 = 0000 FFFAhex • What is value of $t0, $t1? • slt $t0, $s0, $s1 • sltu $t1, $s0, $s1

  24. Outline • C/Assembly Decisions: if, if-else • C/Assembly Loops: while, do while, for • Inequalities – comparison instructions • C Switch Statement

  25. Example: The C Switch Statement (1/3) • Choose among four alternatives depending on whether k has the value 0, 1, 2 or 3. Compile this C code: switch (k) { case 0: f=i+j; break; /* k=0*/ case 1: f=g+h; break; /* k=1*/ case 2: f=g–h; break; /* k=2*/ case 3: f=i–j; break; /* k=3*/ }

  26. Example: The C Switch Statement (2/3) • This is complicated, so simplify. • Rewrite it as a chain of if-else statements, which we already know how to compile: if(k==0) f=i+j; else if(k==1) f=g+h; else if(k==2) f=g–h; else if(k==3) f=i–j; • Use this mapping: f: $s0, g: $s1, h: $s2, i: $s3, j: $s4, k: $s5

  27. Example: The C Switch Statement (3/3) • Final compiled MIPS code: bne $s5,$0,L1 #branch k!=0add $s0,$s3,$s4 #k==0 so f=i+j j Exit # end of case so ExitL1: Exit: addi $t0,$s5,-1# $t0=k-1 bne $t0,$0,L2 # branch k!=1add $s0,$s1,$s2 #k==1 so f=g+h j Exit # end of case so ExitL2: addi $t0,$s5,-2 # $t0=k-2 bne $t0,$0,L3 # branch k!=2sub $s0,$s1,$s2 #k==2 so f=g-h j Exit # end of case so ExitL3: addi $t0,$s5,-3 # $t0=k-3 bne $t0,$0,Exit # branch k!=3 sub $s0,$s3,$s4 #k==3 so f=i-j

  28. Summary (1/2) • A Decision allows us to decide which pieces of code to execute at run-time rather than at compile-time. • C Decisions are made using conditional statements within an if, while, do while or for. • MIPS Decision making instructions are the conditional branches: beq and bne. • In order to help the conditional branches make decisions concerning inequalities, we introduce a single instruction: “Set on Less Than”called slt, slti, sltu, sltui

  29. Summary (2/2) • New Instructions: beq, bne j slt, slti, sltu, sltiu

More Related