diff options
| author | Maxim Kuvyrkov <mkuvyrkov@ispras.ru> | 2006-10-06 21:45:13 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <mkuvyrkov@gcc.gnu.org> | 2006-10-06 21:45:13 +0000 |
| commit | 7ea84dc44cd48f9b7833248a2f0b716bbf37df2b (patch) | |
| tree | d4aed27cfc02ff872c40550b81096f52a7e90e14 /gcc/sched-int.h | |
| parent | b5b8e31b32799ad6e13518d987c890fd2f0da1b4 (diff) | |
| download | gcc-7ea84dc44cd48f9b7833248a2f0b716bbf37df2b.zip gcc-7ea84dc44cd48f9b7833248a2f0b716bbf37df2b.tar.gz gcc-7ea84dc44cd48f9b7833248a2f0b716bbf37df2b.tar.bz2 | |
re PR rtl-optimization/29128 (ICE: in move_block_after_check, at haifa-sched.c:4337)
2006-10-06 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
PR rtl-optimization/29128
* sched-int.h (IS_SPECULATION_BRANCHY_CHECK_P): New macro.
* sched-ebb.c (advance_target_bb): Use it to fix condition to
allow interblock movement of speculation checks.
* gcc.c-torture/compile/pr29128.c: New test.
From-SVN: r117515
Diffstat (limited to 'gcc/sched-int.h')
| -rw-r--r-- | gcc/sched-int.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/sched-int.h b/gcc/sched-int.h index 3ce0379..3865013 100644 --- a/gcc/sched-int.h +++ b/gcc/sched-int.h @@ -359,6 +359,13 @@ extern regset *glat_start, *glat_end; #define RECOVERY_BLOCK(INSN) (h_i_d[INSN_UID (INSN)].recovery_block) #define ORIG_PAT(INSN) (h_i_d[INSN_UID (INSN)].orig_pat) +/* INSN is a speculation check that will branch to RECOVERY_BLOCK if the + speculation fail. Insns in that block will reexecute the speculatively + scheduled code and then will return immediatelly after INSN thus preserving + semantics of the program. */ +#define IS_SPECULATION_BRANCHY_CHECK_P(INSN) \ + (RECOVERY_BLOCK (INSN) != NULL && RECOVERY_BLOCK (INSN) != EXIT_BLOCK_PTR) + /* DEP_STATUS of the link encapsulates information, that is needed for speculative scheduling. Namely, it is 4 integers in the range [0, MAX_DEP_WEAK] and 3 bits. |