[llvm-bugs] [Bug 50811] New: [alias] Missing optimization for __restrict

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=50811

            Bug ID: 50811
           Summary: [alias] Missing optimization for __restrict
           Product: libraries
           Version: 11.0
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: zhongyunde at tom.com
                CC: llvm-bugs at lists.llvm.org

base on https://gcc.godbolt.org/, I test the following simple case with newest
x86-64 clang 12.0.0， foo don't return false directly even with -O3 option.

int foo (int * __restrict a, int * __restrict b)
{
  return a==b;
}


==== x86-64 clang 12.0.0 -O3 -S  -g0 ============

foo(int*, int*):                             # @foo(int*, int*)
        .cfi_startproc
        xor     eax, eax
        cmp     rdi, rsi
        sete    al
        ret

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210623/f3307d43/attachment.html>