From c1b22ec0aa497a212ef897f3f8fffedf07cd45a6 Mon Sep 17 00:00:00 2001
From: Cyrille Bagard <nocbos@gmail.com>
Date: Sun, 14 Jun 2015 15:19:33 +0000
Subject: 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
---
 ChangeLog                           | 5 +++++
 src/arch/arm/v7/opdefs/pop_A88131.d | 2 ++
 2 files changed, 7 insertions(+)

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)
 
     }
 
-- 
cgit v0.11.2-87-g4458