diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2018-04-26 15:21:09 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2018-04-26 15:21:09 +0000 |
| commit | 7ee1f872ca6effdc4bb5bdb229ff1f53b89e9385 (patch) | |
| tree | c5ee16213b94233b8839722176d5b11fe7d89b08 /gcc | |
| parent | b1ea83878ef38b1dd22c042349ec4c1bcf48240e (diff) | |
| download | gcc-7ee1f872ca6effdc4bb5bdb229ff1f53b89e9385.zip gcc-7ee1f872ca6effdc4bb5bdb229ff1f53b89e9385.tar.gz gcc-7ee1f872ca6effdc4bb5bdb229ff1f53b89e9385.tar.bz2 | |
* loop-invariant.c (may_assign_reg_p): Return false for frame pointer.
From-SVN: r259683
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/loop-invariant.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/loop_optimization24.adb | 35 |
4 files changed, 46 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 27e56f2..4312013 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2018-04-26 Eric Botcazou <ebotcazou@adacore.com> + + * loop-invariant.c (may_assign_reg_p): Return false for frame pointer. + 2018-04-26 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.md ("isa" attribute): Add x64_sse2. diff --git a/gcc/loop-invariant.c b/gcc/loop-invariant.c index bd31a51..e3b2eda1 100644 --- a/gcc/loop-invariant.c +++ b/gcc/loop-invariant.c @@ -660,6 +660,9 @@ may_assign_reg_p (rtx x) return (GET_MODE (x) != VOIDmode && GET_MODE (x) != BLKmode && can_copy_p (GET_MODE (x)) + /* Do not mess with the frame pointer adjustments that can + be generated e.g. by expand_builtin_setjmp_receiver. */ + && x != frame_pointer_rtx && (!REG_P (x) || !HARD_REGISTER_P (x) || REGNO_REG_CLASS (REGNO (x)) != NO_REGS)); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a4d32ec..0e03325 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2018-04-26 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/loop_optimization24.adb: New test. + 2018-04-26 Richard Biener <rguenther@suse.de> PR tree-optimization/85116 diff --git a/gcc/testsuite/gnat.dg/loop_optimization24.adb b/gcc/testsuite/gnat.dg/loop_optimization24.adb new file mode 100644 index 0000000..641d28e --- /dev/null +++ b/gcc/testsuite/gnat.dg/loop_optimization24.adb @@ -0,0 +1,35 @@ +-- { dg-do run }
+-- { dg-options "-O" }
+
+procedure Loop_Optimization24 is
+
+ procedure Callback is
+ begin
+ raise Constraint_Error;
+ end;
+
+ type Thread_Name_Ptr is access constant String;
+ type Callback_Ptr is access procedure;
+
+ type Callback_Information is record
+ Name : Thread_Name_Ptr;
+ Proc : Callback_Ptr;
+ end record;
+
+ type Callback_List is array (Positive range <>) of Callback_Information;
+
+ Cbs : Callback_List
+ := (1 => (Proc => Callback'access, name => new String'("Callback")),
+ 2 => (Proc => Callback'access, name => new String'("Callback")));
+
+begin
+ for Index in Cbs'Range loop
+ begin
+ if Cbs(Index).proc /= null then
+ Cbs(Index).proc.all;
+ end if;
+ exception
+ when Constraint_Error => null;
+ end;
+ end loop;
+end;
|