[llvm-bugs] [Bug 46037] New: [LICM with cfl-aa=both] wrong code

[via llvm-bugs]

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

            Bug ID: 46037
           Summary: [LICM with cfl-aa=both]  wrong code
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: paulsson at linux.vnet.ibm.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 23521
  --> https://bugs.llvm.org/attachment.cgi?id=23521&action=edit
reduced testcase

clang -O3 -march=z13 tc_cfl-aa.i -o ./a.out -w ; ./a.out
checksum = 4
$LLVM_BUILD/bin/clang -O3 -march=z13 tc_cfl-aa.i -o ./a.out -w -mllvm
-use-cfl-aa=both; ./a.out                                                       
checksum = 0

The reduced test program should print '4'.

It seems that LICM is hoisting the load of @d_ptr which seems wrong since @PtoP
is a pointer to pointer which alters @d_ptr before @d_ptr is derefenced.

-- 
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/20200522/5cac61bc/attachment.html>