summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rw-r--r--src/arch/arm/v7/opdefs/pop_A88131.d2
2 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 641a542..c64203f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
15-06-14 Cyrille Bagard <nocbos@gmail.com>
+ * src/arch/arm/v7/opdefs/pop_A88131.d:
+ Do not miss some 'pop' instructions as return points.
+
+15-06-14 Cyrille Bagard <nocbos@gmail.com>
+
* src/arch/arm/v7/opdefs/add_A884.d:
* src/arch/arm/v7/opdefs/add_A889.d:
Fix a syntax mistake.
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)
}