TSB -- AArch32

TSB

Trace Synchronization Barrier. This instruction is a barrier that synchronizes the trace operations of instructions, see Trace Synchronization Barrier (TSB).

If FEAT_TRF is not implemented, this instruction executes as a NOP.

It has encodings from the following instruction sets: A32 ( A1 ) and T32 ( T1 ) .

A1
(FEAT_TRF)

31	30	29	28	27	26	25	24	23	22	21	20	19	18	17	16	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
!= 1111				0	0	1	1	0	0	1	0	0	0	0	0	(1)	(1)	(1)	(1)	(0)	(0)	(0)	(0)	0	0	0	1	0	0	1	0
cond

Encoding for the A1 variant

TSB{<c>}{<q>} CSYNC

Decode for this encoding

if !IsFeatureImplemented(FEAT_TRF) then ExecuteAsNOP(); if cond != '1110' then UNPREDICTABLE; // TSB must be encoded with AL condition

CONSTRAINED UNPREDICTABLE behavior

If cond != '1110', then one of the following behaviors must occur:

The instruction is undefined.
The instruction executes as NOP.
The instruction executes unconditionally.
The instruction executes conditionally.

T1
(FEAT_TRF)

15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	1	1	1	0	0	1	1	1	0	1	0	(1)	(1)	(1)	(1)	1	0	(0)	0	(0)	0	0	0	0	0	0	1	0	0	1	0

Encoding for the T1 variant

TSB{<c>}{<q>} CSYNC

Decode for this encoding

if !IsFeatureImplemented(FEAT_TRF) then ExecuteAsNOP(); if InITBlock() then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

If InITBlock(), then one of the following behaviors must occur:

The instruction is undefined.
The instruction executes as NOP.
The instruction executes unconditionally.
The instruction executes conditionally.

Assembler Symbols

<c>	See Standard assembler syntax fields.

<q>	See Standard assembler syntax fields.

Operation

if ConditionPassed() then EncodingSpecificOperations(); TraceSynchronizationBarrier();

Internal version only: isa v01_32, pseudocode v2024-12_rel ; Build timestamp: 2024-12-16T10:54

15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	1	1	1	0	0	1	1	1	0	1	0	(1)	(1)	(1)	(1)	1	0	(0)	0	(0)	0	0	0	0	0	0	1	0	0	1	0

15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	1	1	1	0	0	1	1	1	0	1	0	(1)	(1)	(1)	(1)	1	0	(0)	0	(0)	0	0	0	0	0	0	1	0	0	1	0

TSB

A1(FEAT_TRF)

Encoding for the A1 variant

Decode for this encoding

CONSTRAINED UNPREDICTABLE behavior

T1(FEAT_TRF)

Encoding for the T1 variant

Decode for this encoding

CONSTRAINED UNPREDICTABLE behavior

Assembler Symbols

Operation

A1
(FEAT_TRF)

T1
(FEAT_TRF)

15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	1	1	1	0	0	1	1	1	0	1	0	(1)	(1)	(1)	(1)	1	0	(0)	0	(0)	0	0	0	0	0	0	1	0	0	1	0