[Bug target/23983] New: the altivec builtins should be marked as pure/const

[Bug target/23983] New: the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

#   TMT.5_729 = V_MAY_DEF <TMT.5_727>;
  #   TMT.6_730 = V_MAY_DEF <TMT.6_728>;
  y0_351 = __builtin_altivec_vrsqrtefp (B_350);

Almost all of the altivec builtins could be marked as pure/const and should cause less VOPS to be 
added for altivec code.

-- 
           Summary: the altivec builtins should be marked as pure/const
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |14455
              nThis|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[meissner at gcc dot gnu dot org]

------- Comment #8 from meissner at gcc dot gnu dot org  2010-02-25 20:03 -------
Patches checked in on October 15th, 2009 to properly set pure/const.


-- 

meissner at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |meissner at gcc dot gnu dot
                   |                            |org
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2008-03-12 20:42 -------
So what is happening is we don't model the SAT bit of VSCR on the tree level
(in the builtins) so the saturated builtins cannot be marked as const.  They
are modeled correctly at the RTL level though.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2008-03-12 19:17 -------
Note this patch does not fully work as it marks vec_mtvscr as being constant
which it is not.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-03-11 21:29 -------
Created an attachment (id=15301)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15301&action=view)
Patch which I am testing

This is the patch which I am testing currently for this bug.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-12-19 08:30 -------
My patch for this needs to be rewritten, not because it was wrong but because
it can be cleaned up.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-11-15 00:39 -------
I have a start to this patch and it works nicely, I just have to finish up
marking which builtins should be pure and which should be const and which are
neither.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-04-08 01:29 -------
I am going to look into this some more since well PPC/Cell/PS3 is my thing now.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983

[Bug target/23983] the altivec builtins should be marked as pure/const

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-10-23 23:42 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-23 23:42:28
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23983