diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | src/arch/arm/v7/opdefs/pop_A88131.d | 2 |
2 files changed, 7 insertions, 0 deletions
@@ -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) } |