[LLVMbugs] [Bug 5948] New: llvm-gcc not turning 'restrict' into 'noalias'

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=5948

           Summary: llvm-gcc not turning 'restrict' into 'noalias'
           Product: tools
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Keywords: code-quality
          Severity: normal
          Priority: P2
         Component: llvm-gcc
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: clattner at apple.com
                CC: llvmbugs at cs.uiuc.edu


$ cat t.cc
#include <stdlib.h>
struct Ramp
{
   float phase;
   inline float process() { return phase++; }
} ramp;

void fill_buffer( __restrict float *__restrict buf, size_t nframes )
{
        for( size_t i=0; i<nframes; i++ )
                buf[i] = ramp.process();
}
$ llvm-gcc t.cc -S -o - -O3 -fstrict-aliasing -emit-llvm
...
define void @_Z11fill_bufferPfm(float* nocapture %buf, i32 %nframes) nounwind {


shouldn't 'buf' be marked noalias?


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.