diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2015-03-31 23:20:33 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2015-03-31 23:20:33 (GMT) |
| commit | 5cc7bd39ae41af40a0c939acf98f90bf1375effd (patch) | |
| tree | 4f7140e2c5a8d939c672fb941e66903300229e82 /src/arch/arm/v7/opdefs/pop_A88131.d | |
| parent | 52e036040b5e0ad8acde3d467ac8d9ca43ed414c (diff) | |
Saved some progress in the definition of basic blocks.
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@497 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a
Diffstat (limited to 'src/arch/arm/v7/opdefs/pop_A88131.d')
| -rw-r--r-- | src/arch/arm/v7/opdefs/pop_A88131.d | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/arm/v7/opdefs/pop_A88131.d b/src/arch/arm/v7/opdefs/pop_A88131.d index 2663e1b..ef5ab25 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; + 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; + chk_call DefineAsReturn(1) } @@ -81,6 +83,7 @@ @rules { //if t == 13 || (t == 15 && InITBlock() && !LastInITBlock()) then UNPREDICTABLE; + chk_call DefineAsReturn(1) } |