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: unassignedb...@nondot.org
          Reporter: pauls...@linux.vnet.ibm.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to