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.

Practice

1. What is the main purpose of the IT block in Thumb-2 ARM architecture?

easy

A. To execute a few instructions conditionally without using jumps

B. To perform arithmetic operations faster

C. To switch between ARM and Thumb modes

D. To handle interrupts automatically

Solution

1. Step 1: Understand the IT block function

   The IT block allows conditional execution of up to four instructions without branching.

2. Step 2: Compare with other options

   Options B, C, and D describe unrelated features: arithmetic speed, mode switching, and interrupts.

3. Final Answer:

   To execute a few instructions conditionally without using jumps -> Option A

4. Quick Check:

   IT block = conditional execution without jumps [OK]

Hint: IT block runs instructions conditionally without branch jumps [OK]

Common Mistakes:

• Confusing IT block with interrupt handling
• Thinking IT block speeds up arithmetic
• Assuming IT block switches CPU modes

2. Which of the following is the correct syntax to start an IT block in Thumb-2 assembly?

easy

A. THUMB IT EQ

B. IF EQ

C. IT EQ

D. COND EQ

Solution

1. Step 1: Recall IT block syntax

   The IT instruction is followed by a condition code like EQ (equal).

2. Step 2: Check options

   Only IT EQ uses the correct keyword 'IT' followed by the condition 'EQ'. Others are invalid syntax.

3. Final Answer:

   IT EQ -> Option C

4. Quick Check:

   IT + condition code = IT EQ [OK]

Hint: IT block starts with 'IT' plus condition code (e.g., EQ) [OK]

Common Mistakes:

• Using 'IF' instead of 'IT'
• Adding extra keywords like 'COND' or 'THUMB'
• Omitting the condition code after IT

3. Consider the following Thumb-2 code snippet:

IT NE
MOVNE R0, #1
MOVNE R1, #2
MOVNE R2, #3
MOVNE R3, #4

How many instructions will execute if the condition NE (not equal) is false?

medium

A. Only the last MOV instruction executes

B. All 4 MOV instructions execute

C. Only the first MOV instruction executes

D. None of the MOV instructions execute

Solution

1. Step 1: Understand IT NE block behavior

   The IT NE block applies the NE condition to up to 4 following instructions.

2. Step 2: Evaluate condition false case

   If NE is false, none of the MOVNE instructions execute because they depend on NE condition.

3. Final Answer:

   None of the MOV instructions execute -> Option D

4. Quick Check:

   Condition false means no instructions run [OK]

Hint: If condition false, IT block instructions skip execution [OK]

Common Mistakes:

• Assuming some instructions run despite condition false
• Confusing NE with EQ condition
• Thinking IT block always executes instructions

4. Identify the error in this Thumb-2 IT block usage:

IT EQ
MOVNE R0, #1
MOVNE R1, #2

medium

A. Condition codes in IT and instructions do not match

B. Too many instructions in IT block

C. MOV instructions cannot be conditional

D. IT block must be followed by exactly 4 instructions

Solution

1. Step 1: Check IT condition and instruction conditions

   The IT block is started with EQ condition, but instructions use NE condition.

2. Step 2: Understand condition mismatch impact

   Instructions must use the same condition as IT block or its allowed variations; here they differ, causing an error.

3. Final Answer:

   Condition codes in IT and instructions do not match -> Option A

4. Quick Check:

   IT EQ but instructions use MOVNE = mismatch [OK]

Hint: Instruction conditions must match IT block condition [OK]

Common Mistakes:

• Thinking IT block requires exactly 4 instructions
• Believing MOV cannot be conditional
• Ignoring condition code mismatch

5. You want to conditionally execute three instructions only if the zero flag is set (EQ). Which IT block suffix correctly represents this?

hard

A. ITTEE EQ

B. ITTE EQ

C. ITTT EQ

D. ITTE NE

Solution

1. Step 1: Understand IT block suffix letters

   Each letter after IT indicates if the following instructions use the same (T) or inverse (E) condition.

2. Step 2: Match suffix to three instructions

   For three instructions, suffix length is 3 letters. 'ITTE' means first two instructions use EQ (T), third uses inverse (E).

3. Step 3: Choose correct suffix for three instructions all EQ

   'ITTE' is valid for three instructions with last inverted; 'ITTT' is for four instructions; 'ITTEE' is for four instructions; 'ITTE NE' uses wrong condition.

4. Final Answer:

   ITTE EQ -> Option B

5. Quick Check:

   Three instructions with correct suffix = ITTE EQ [OK]

Hint: Suffix length = number of instructions; T = same, E = inverse condition [OK]

Common Mistakes:

• Using suffix length not matching instruction count
• Confusing T and E letters
• Applying wrong condition code after IT