Compare and branch patterns in ARM Architecture - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is the purpose of compare and branch instructions in ARM architecture?

They are used to compare values and then decide which part of the code to execute next by branching based on the comparison result.

beginner

How does the 'CMP' instruction work in ARM?

The 'CMP' instruction subtracts one value from another but does not store the result. Instead, it updates condition flags used by branch instructions.

intermediate

What role do condition flags play in compare and branch patterns?

Condition flags indicate the result of a comparison (like equal, greater, or less) and control whether a branch instruction will jump to a different code section.

beginner

Explain the difference between 'BEQ' and 'BNE' instructions.

'BEQ' branches if the compared values are equal (zero flag set), while 'BNE' branches if they are not equal (zero flag clear).

intermediate

Why is it efficient to use compare and branch patterns in ARM assembly?

Because they allow the program to make decisions quickly without extra instructions, using condition flags and branch instructions to control flow efficiently.

What does the CMP instruction do in ARM?

A Branches to a new address

B Adds two values and stores the result

C Subtracts two values and updates condition flags without storing the result

D Loads a value from memory

CMP subtracts one value from another and updates condition flags but does not save the subtraction result.

Which branch instruction will jump if two values are equal?

A BNE

B BEQ

C BGT

D BLT

BEQ branches when the zero flag is set, meaning the compared values are equal.

What condition flag is checked by the BEQ instruction?

A Zero flag

B Carry flag

C Overflow flag

D Negative flag

BEQ checks the zero flag to determine if the compared values are equal.

If you want to branch when a value is greater than another, which instruction would you use?

A BGT

B BLE

C BEQ

D BNE

BGT branches if the first value is greater than the second after comparison.

Why do ARM compare and branch instructions improve program flow?

A They use many extra instructions

B They always jump to the start of the program

C They avoid using condition flags

D They allow quick decisions based on comparisons without extra calculations

Compare and branch instructions use condition flags to make quick decisions, improving efficiency.

Describe how compare and branch patterns work together in ARM assembly to control program flow.

Think about how comparing values sets flags and how branches use those flags to jump.

Explain the difference between BEQ and BNE instructions and when you would use each.

Focus on the zero flag and what it means for equality.

Practice

1. What is the main purpose of the CMP instruction in ARM assembly?

easy

A. To jump to a different part of the program unconditionally

B. To compare two values and set condition flags

C. To add two numbers and store the result

D. To load a value from memory into a register

Solution

1. Step 1: Understand the role of CMP

   The CMP instruction compares two values by subtracting one from the other without storing the result, but it sets flags based on the outcome.

2. Step 2: Identify what CMP affects

   These flags are then used by conditional branch instructions to decide program flow.

3. Final Answer:

   To compare two values and set condition flags -> Option B

4. Quick Check:

   CMP sets flags for branching decisions [OK]

Hint: CMP sets flags after comparing values for branching [OK]

Common Mistakes:

• Thinking CMP jumps directly
• Confusing CMP with arithmetic instructions
• Assuming CMP stores the subtraction result

2. Which of the following is the correct syntax for a conditional branch in ARM assembly that jumps if two values are equal?

easy

A. BGT label

B. BNE label

C. BEQ label

D. BLT label

Solution

1. Step 1: Recall condition codes for branching

   BEQ stands for 'Branch if Equal', which means it jumps if the zero flag is set after a CMP instruction.

2. Step 2: Match condition with instruction

   BNE means 'Branch if Not Equal', BGT is 'Branch if Greater Than', and BLT is 'Branch if Less Than'. Only BEQ matches the condition for equality.

3. Final Answer:

   BEQ label -> Option C

4. Quick Check:

   BEQ jumps when values are equal [OK]

Hint: BEQ means branch if equal (zero flag set) [OK]

Common Mistakes:

• Using BNE instead of BEQ for equality
• Confusing greater than and equal conditions
• Forgetting to use CMP before branch

3. Given the following ARM assembly code snippet, what will be the value in register r2 after execution?

CMP r0, r1
BEQ equal_label
MOV r2, #0
B end_label
equal_label:
MOV r2, #1
end_label:

Assume r0 = 5 and r1 = 5.

medium

A. Undefined

B. 0

C. 5

D. 1

Solution

1. Step 1: Analyze the CMP and BEQ instructions

   CMP compares r0 and r1. Since both are 5, they are equal, so the zero flag is set. BEQ will branch to equal_label.

2. Step 2: Follow the branch and MOV instructions

   The code jumps to equal_label and executes MOV r2, #1, setting r2 to 1. The instructions after BEQ are skipped.

3. Final Answer:

   1 -> Option D

4. Quick Check:

   Equal values cause BEQ to set r2 to 1 [OK]

Hint: If CMP finds equal, BEQ jumps to set r2=1 [OK]

Common Mistakes:

• Ignoring the branch and setting r2 to 0
• Confusing BEQ with BNE
• Assuming MOV after BEQ always runs

4. Identify the error in this ARM assembly snippet:

CMP r3, r4
BGT greater_label
MOV r5, #10
greater_label:
MOV r5, #20

What is the problem?

medium

A. Missing unconditional branch to skip MOV after BGT

B. CMP instruction is incorrect

C. MOV instructions use wrong registers

D. BGT should be BGE for correct branching

Solution

1. Step 1: Understand the flow of conditional branch

   BGT branches to greater_label if r3 > r4. If not, execution continues to MOV r5, #10.

2. Step 2: Identify missing jump to skip unwanted instruction

   After executing MOV r5, #10, the code falls through to greater_label and executes MOV r5, #20, overwriting the previous value. To avoid this, an unconditional branch is needed after MOV r5, #10.

3. Final Answer:

   Missing unconditional branch to skip MOV after BGT -> Option A

4. Quick Check:

   Need unconditional branch to prevent fall-through [OK]

Hint: Add unconditional branch after conditional MOV to avoid fall-through [OK]

Common Mistakes:

• Thinking CMP is wrong
• Assuming MOV instructions are incorrect
• Confusing BGT with BGE

5. You want to write ARM assembly code that sets r0 to 1 if r1 is less than r2, and to 0 otherwise. Which sequence correctly implements this using compare and branch patterns?

hard

A. CMP r1, r2
BLT set_one
MOV r0, #0
B end
set_one:
MOV r0, #1
end:

B. CMP r1, r2
BGT set_one
MOV r0, #0
B end
set_one:
MOV r0, #1
end:

C. CMP r2, r1
BLT set_one
MOV r0, #0
B end
set_one:
MOV r0, #1
end:

D. CMP r1, r2
BEQ set_one
MOV r0, #0
B end
set_one:
MOV r0, #1
end:

Solution

1. Step 1: Understand the comparison needed

   We want to check if r1 < r2. The CMP instruction compares r1 and r2, setting flags accordingly.

2. Step 2: Use the correct branch condition

   BLT (Branch if Less Than) jumps if r1 < r2. If true, branch to set_one to set r0 to 1. Otherwise, set r0 to 0.

3. Step 3: Confirm the flow

   If BLT is taken, r0 = 1; else r0 = 0. The unconditional branch after MOV r0, #0 skips the set_one label to avoid overwriting.

4. Final Answer:

   CMP r1, r2 BLT set_one MOV r0, #0 B end set_one: MOV r0, #1 end: -> Option A

5. Quick Check:

   Use CMP + BLT for less than check [OK]

Hint: Use CMP then BLT to branch if less, else set zero [OK]

Common Mistakes:

• Swapping operands in CMP
• Using BGT instead of BLT
• Forgetting unconditional branch after MOV 0