/* Thumb-2 IT blocks test program.
|
/* Thumb-2 IT blocks test program.
|
|
|
Copyright 2010 Free Software Foundation, Inc.
|
Copyright 2010 Free Software Foundation, Inc.
|
|
|
This file is part of GDB.
|
This file is part of GDB.
|
|
|
This program is free software; you can redistribute it and/or modify
|
This program is free software; you can redistribute it and/or modify
|
it under the terms of the GNU General Public License as published by
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 3 of the License, or
|
the Free Software Foundation; either version 3 of the License, or
|
(at your option) any later version.
|
(at your option) any later version.
|
|
|
This program is distributed in the hope that it will be useful,
|
This program is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with this program. If not, see . */
|
along with this program. If not, see . */
|
|
|
.syntax unified
|
.syntax unified
|
.text
|
.text
|
.p2align 2
|
.p2align 2
|
.code 16
|
.code 16
|
|
|
#ifndef __thumb2__
|
#ifndef __thumb2__
|
|
|
.type main,%function
|
.type main,%function
|
.thumb_func
|
.thumb_func
|
.globl main
|
.globl main
|
main:
|
main:
|
mov r0, #0
|
mov r0, #0
|
bx lr @ No Thumb-2
|
bx lr @ No Thumb-2
|
|
|
#else
|
#else
|
|
|
.type main,%function
|
.type main,%function
|
.thumb_func
|
.thumb_func
|
.globl main
|
.globl main
|
main:
|
main:
|
mov r0, #0
|
mov r0, #0
|
bx lr @ Thumb-2 OK
|
bx lr @ Thumb-2 OK
|
|
|
@ One conditional instruction, executed.
|
@ One conditional instruction, executed.
|
.type it_1,%function
|
.type it_1,%function
|
.thumb_func
|
.thumb_func
|
it_1:
|
it_1:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
it eq @ IT instruction, Expected == 1
|
it eq @ IT instruction, Expected == 1
|
addeq r0, #1 @ Reached
|
addeq r0, #1 @ Reached
|
bx lr @ Done
|
bx lr @ Done
|
|
|
@ One conditional instruction, skipped.
|
@ One conditional instruction, skipped.
|
.type it_2,%function
|
.type it_2,%function
|
.thumb_func
|
.thumb_func
|
it_2:
|
it_2:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
it ne @ IT instruction, Expected == 0
|
it ne @ IT instruction, Expected == 0
|
addne r0, #1 @ Not reached
|
addne r0, #1 @ Not reached
|
bx lr @ Done, Check $r0 == 0
|
bx lr @ Done, Check $r0 == 0
|
|
|
@ Block of four, alternating, starting with executed.
|
@ Block of four, alternating, starting with executed.
|
.type it_3,%function
|
.type it_3,%function
|
.thumb_func
|
.thumb_func
|
it_3:
|
it_3:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
itete ge @ IT instruction, Expected == 2
|
itete ge @ IT instruction, Expected == 2
|
addge r0, #1 @ Reached
|
addge r0, #1 @ Reached
|
addlt r0, #2 @ Not reached
|
addlt r0, #2 @ Not reached
|
addge r0, #4 @ Reached
|
addge r0, #4 @ Reached
|
addlt r0, #8 @ Not reached
|
addlt r0, #8 @ Not reached
|
bx lr @ Done, Check $r0 == 5
|
bx lr @ Done, Check $r0 == 5
|
|
|
@ Block of four, changing flags.
|
@ Block of four, changing flags.
|
.type it_4,%function
|
.type it_4,%function
|
.thumb_func
|
.thumb_func
|
it_4:
|
it_4:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
itttt ge @ IT instruction, Expected == 2
|
itttt ge @ IT instruction, Expected == 2
|
addge r0, #1 @ Reached
|
addge r0, #1 @ Reached
|
cmpge r0, #10 @ Reached
|
cmpge r0, #10 @ Reached
|
addge r0, #4 @ Not reached
|
addge r0, #4 @ Not reached
|
addge r0, #8 @ Not reached
|
addge r0, #8 @ Not reached
|
bx lr @ Done, Check $r0 == 1
|
bx lr @ Done, Check $r0 == 1
|
|
|
@ Block of two, ending with taken branch.
|
@ Block of two, ending with taken branch.
|
.type it_5,%function
|
.type it_5,%function
|
.thumb_func
|
.thumb_func
|
it_5:
|
it_5:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
itt ge @ IT instruction, Expected == 2
|
itt ge @ IT instruction, Expected == 2
|
addge r0, #1 @ Reached
|
addge r0, #1 @ Reached
|
bge .L5 @ Reached
|
bge .L5 @ Reached
|
add r0, #2 @ Never reached
|
add r0, #2 @ Never reached
|
.L5: bx lr @ Done, Check $r0 == 1
|
.L5: bx lr @ Done, Check $r0 == 1
|
|
|
@ Block of two, ending with untaken branch.
|
@ Block of two, ending with untaken branch.
|
.type it_6,%function
|
.type it_6,%function
|
.thumb_func
|
.thumb_func
|
it_6:
|
it_6:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
ite ge @ IT instruction, Expected == 2
|
ite ge @ IT instruction, Expected == 2
|
addge r0, #1 @ Reached
|
addge r0, #1 @ Reached
|
blt .L6 @ Not reached
|
blt .L6 @ Not reached
|
add r0, #2 @ Reached
|
add r0, #2 @ Reached
|
.L6: bx lr @ Done, Check $r0 == 3
|
.L6: bx lr @ Done, Check $r0 == 3
|
|
|
@ Block of four, taken, of different sizes
|
@ Block of four, taken, of different sizes
|
.type it_7,%function
|
.type it_7,%function
|
.thumb_func
|
.thumb_func
|
it_7:
|
it_7:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
itttt ge @ IT instruction, Expected == 4
|
itttt ge @ IT instruction, Expected == 4
|
addge.n r0, #1 @ Reached
|
addge.n r0, #1 @ Reached
|
addge.w r0, #2 @ Reached
|
addge.w r0, #2 @ Reached
|
addge.n r0, #4 @ Reached
|
addge.n r0, #4 @ Reached
|
addge.w r0, #8 @ Reached
|
addge.w r0, #8 @ Reached
|
bx lr @ Done, Check $r0 == 15
|
bx lr @ Done, Check $r0 == 15
|
|
|
@ Block of four, only first executed.
|
@ Block of four, only first executed.
|
.type it_3,%function
|
.type it_3,%function
|
.thumb_func
|
.thumb_func
|
it_8:
|
it_8:
|
mov r0, #0 @ Setup
|
mov r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
cmp r0, #0 @ Setup
|
iteee ge @ IT instruction, Expected == 1
|
iteee ge @ IT instruction, Expected == 1
|
addge r0, #1 @ Reached
|
addge r0, #1 @ Reached
|
addlt r0, #2 @ Not reached
|
addlt r0, #2 @ Not reached
|
addlt r0, #4 @ Not reached
|
addlt r0, #4 @ Not reached
|
addlt r0, #8 @ Not reached
|
addlt r0, #8 @ Not reached
|
bx lr @ Done, Check $r0 == 1
|
bx lr @ Done, Check $r0 == 1
|
|
|
.type it_breakpoints,%function
|
.type it_breakpoints,%function
|
.thumb_func
|
.thumb_func
|
it_breakpoints:
|
it_breakpoints:
|
mov r0, #0
|
mov r0, #0
|
cmp r0, #0
|
cmp r0, #0
|
it eq @ Location 1 @ Break 1
|
it eq @ Location 1 @ Break 1
|
moveq r0, #0
|
moveq r0, #0
|
|
|
it eq @ Location 2
|
it eq @ Location 2
|
moveq r0, #0 @ Break 2
|
moveq r0, #0 @ Break 2
|
|
|
it ne @ Location 3
|
it ne @ Location 3
|
movne r0, #0 @ Break 3
|
movne r0, #0 @ Break 3
|
|
|
@ An IT block of maximum size.
|
@ An IT block of maximum size.
|
itttt eq @ Location 4
|
itttt eq @ Location 4
|
moveq.w r0, #0
|
moveq.w r0, #0
|
moveq.w r0, #0
|
moveq.w r0, #0
|
moveq.w r0, #0
|
moveq.w r0, #0
|
moveq.w r0, #0 @ Break 4
|
moveq.w r0, #0 @ Break 4
|
|
|
@ Just outside an IT block.
|
@ Just outside an IT block.
|
it eq
|
it eq
|
moveq r0, #0
|
moveq r0, #0
|
mov r0, #0 @ Location 5 @ Break 5
|
mov r0, #0 @ Location 5 @ Break 5
|
|
|
@ After something that looks like an IT block, but
|
@ After something that looks like an IT block, but
|
@ is the second half of an instruction.
|
@ is the second half of an instruction.
|
.p2align 6
|
.p2align 6
|
cmp r0, r0
|
cmp r0, r0
|
b 1f
|
b 1f
|
b.w .+0xe14 @ 0xf000 0xbf08 -> second half is IT EQ
|
b.w .+0xe14 @ 0xf000 0xbf08 -> second half is IT EQ
|
1: mov r0, #0 @ Location 6 @ Break 6
|
1: mov r0, #0 @ Location 6 @ Break 6
|
|
|
@ After something that looks like an IT block, but
|
@ After something that looks like an IT block, but
|
@ is data.
|
@ is data.
|
.p2align 6
|
.p2align 6
|
b 1f
|
b 1f
|
.short 0xbf08
|
.short 0xbf08
|
1: mov r0, #0 @ Location 7 @ Break 7
|
1: mov r0, #0 @ Location 7 @ Break 7
|
|
|
bx lr
|
bx lr
|
|
|
#endif /* __thumb2__ */
|
#endif /* __thumb2__ */
|
|
|
