summaryrefslogtreecommitdiff
path: root/src/arch/arm/v7/opdefs
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2015-06-14 15:19:33 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2015-06-14 15:19:33 (GMT)
commitc1b22ec0aa497a212ef897f3f8fffedf07cd45a6 (patch)
treed35c873e92c0a5217263f1510fbf58636999e82f /src/arch/arm/v7/opdefs
parent4a2f5c39a29bdb4f626bfdb109753ca106a71a33 (diff)
Done not miss some 'pop' instructions as return points.
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@540 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a
Diffstat (limited to 'src/arch/arm/v7/opdefs')
-rw-r--r--src/arch/arm/v7/opdefs/pop_A88131.d2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/arch/arm/v7/opdefs/pop_A88131.d b/src/arch/arm/v7/opdefs/pop_A88131.d
index 5229af9..a5e878f 100644
--- a/src/arch/arm/v7/opdefs/pop_A88131.d
+++ b/src/arch/arm/v7/opdefs/pop_A88131.d
@@ -39,6 +39,7 @@
//if BitCount(registers) < 1 then UNPREDICTABLE;
//if registers<15> == '1' && InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+ if (P == '1') ; chk_call DefineAsReturn(1)
}
@@ -60,6 +61,7 @@
//if BitCount(registers) < 2 || (P == '1' && M == '1') then UNPREDICTABLE;
//if registers<15> == '1' && InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+ if (P == '1') ; chk_call DefineAsReturn(1)
}