Why branching controls program execution in ARM Architecture - Visual Breakdown

Concept Flow - Why branching controls program execution

Start

↓

Check Condition

Yes|No↓

Branch Taken

↓

Execute Branch

↓

End

The program checks a condition, then decides to branch (jump) or continue sequentially, controlling which instructions run next.

Execution Sample

ARM Architecture

CMP R0, #0
BEQ label
MOV R1, #1
label: MOV R1, #2

Compare R0 to zero; if equal, jump to label; else continue to set R1 to 1; label sets R1 to 2.

Analysis Table

Step	Instruction	Condition	Branch Taken?	Action	R1 Value
1	CMP R0, #0	R0 == 0?	N/A	Compare R0 with 0	Undefined
2	BEQ label	R0 == 0?	Yes if R0=0	Jump to label if equal	Undefined
3	MOV R1, #1	N/A	No if branch taken	Set R1 to 1	1
4	label: MOV R1, #2	N/A	Executed if branch taken or after MOV R1=1	Set R1 to 2	2

💡 Execution ends after MOV R1, #2; branch changes flow to label skipping MOV R1=1 if taken.

State Tracker

Variable	Start	After Step 1	After Step 2	After Step 3	After Step 4
R0	Input value	Input value	Input value	Input value	Input value
R1	Undefined	Undefined	Undefined or skipped	1 or skipped	2

Key Insights - 2 Insights

Why does the program jump to 'label' and skip setting R1 to 1?

Because the branch instruction BEQ checks if R0 equals zero; if true, it jumps to 'label', skipping the next instruction (MOV R1, #1). See execution_table step 2 and 3.

What happens if R0 is not zero?

The branch is not taken, so the program continues sequentially, executing MOV R1, #1 before reaching the label. See execution_table step 2 and 3.

Visual Quiz - 3 Questions

Look at the execution_table, what is the value of R1 after step 3 if R0 is not zero?

A 2

B 1

C Undefined

D 0

💡 Hint

Check the 'R1 Value' column at step 3 in execution_table.

At which step does the program decide to branch or not?

A Step 2

B Step 1

C Step 3

D Step 4

💡 Hint

Look at the 'Branch Taken?' column in execution_table.

If R0 equals zero, which instruction is skipped?

A CMP R0, #0

B MOV R1, #2

C MOV R1, #1

D BEQ label

💡 Hint

See execution_table steps 2 and 3 to see which instruction is skipped when branch is taken.

Concept Snapshot

Branching lets a program choose different paths based on conditions.
A condition is checked (like comparing a register).
If true, the program jumps to a new instruction (branch).
If false, it continues in order.
This controls which instructions run next.

Full Transcript

Branching controls program execution by checking conditions and deciding whether to jump to a different instruction or continue sequentially. For example, the CMP instruction compares a register to a value. The BEQ instruction branches if the comparison is equal. If the branch is taken, the program jumps to a label, skipping some instructions. If not, it runs instructions in order. This lets programs make decisions and change behavior dynamically.