IT block for conditional execution (Thumb-2) in ARM Architecture - Step-by-Step Execution

Concept Flow - IT block for conditional execution (Thumb-2)

Evaluate Condition

Yes↓

Execute First Instruction

↓

Check IT Mask

Yes↓

Execute Next Instruction(s) Conditionally

↓

End of IT Block

No↓

Skip Instruction or Exit

The IT block evaluates a condition once, then executes up to four following instructions conditionally based on that initial condition and an IT mask.

Execution Sample

ARM Architecture

ITTE EQ
MOV R0, #1
MOV R0, #0
MOV R1, #2

This code sets up an IT block with condition EQ, then executes the first two instructions if EQ (MOV R0,#1 then MOV R0,#0), and the third if NE.

Analysis Table

Step	Instruction	Condition Evaluated	Condition Result	Action Taken	Register Changes
1	ITTE EQ	EQ	True	Set IT mask: Then, Then, Else	No change
2	MOV R0, #1	EQ	True	Executed	R0 = 1
3	MOV R0, #0	EQ	True	Executed	R0 = 0
4	MOV R1, #2	NE	False	Skipped	R1 unchanged
5	Next instruction outside IT block	N/A	N/A	Executed unconditionally	Depends on instruction

💡 IT block ends after executing instructions as per IT mask; subsequent instructions execute normally.

State Tracker

Register	Start	After Step 2	After Step 3	After Step 4	Final
R0	undefined	1	0	0	0
R1	undefined	undefined	undefined	undefined	undefined

Key Insights - 3 Insights

Why does MOV R1, #2 get skipped even though the IT block is active?

Because the condition NE (Else in IT mask) is false at step 4 (execution_table row 4), so the instruction is skipped as per the IT mask.

How many instructions can an IT block conditionally execute?

Up to four instructions following the IT instruction can be conditionally executed based on the IT mask, as shown in the concept_flow and execution_table.

What happens after the IT block ends?

Instructions after the IT block execute normally without condition, as shown in step 5 of the execution_table.

Visual Quiz - 3 Questions

Look at the execution_table, what is the value of R0 after step 3?

A undefined

B 1

C 0

D 2

💡 Hint

Check the Register Changes column at step 3 in the execution_table.

At which step does the condition NE evaluate to false causing the instruction to be skipped?

A Step 1

B Step 4

C Step 3

D Step 2

💡 Hint

Look at the Condition Evaluated and Condition Result columns in the execution_table.

If the initial condition was NE instead of EQ, which instruction would execute at step 3?

A MOV R0, #0

B MOV R0, #1

C MOV R1, #2

D None

💡 Hint

Consider how the IT mask applies conditions to instructions after ITTE EQ in the execution_table.

Concept Snapshot

IT block allows up to 4 conditional instructions after an IT instruction.
IT instruction sets condition and mask (e.g., ITTE EQ).
Each following instruction executes if its condition matches.
Conditions are evaluated once at IT instruction.
Instructions outside IT block run normally.

Full Transcript

The IT block in Thumb-2 architecture lets the processor conditionally execute up to four instructions based on a single condition check. First, the IT instruction sets the condition and a mask that defines which following instructions run if the condition is true or false. Then, each instruction after the IT is executed or skipped depending on its condition and the mask. For example, with ITTE EQ, the first two instructions run if equal, the third if not equal. After the IT block ends, instructions run normally without condition. This mechanism helps write compact conditional code without branching.