[llvm-bugs] [Bug 38162] New: [debugify] lcssa fail

via llvm-bugs llvm-bugs at lists.llvm.org
Fri Jul 13 12:22:30 PDT 2018


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

            Bug ID: 38162
           Summary: [debugify] lcssa fail
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: greg.bedwell at sony.com
                CC: anastasis.gramm2 at gmail.com, davide at freebsd.org,
                    llvm-bugs at lists.llvm.org, sontuan.vu119 at gmail.com,
                    vsk at apple.com
            Blocks: 37953

Created attachment 20554
  --> https://bugs.llvm.org/attachment.cgi?id=20554&action=edit
ll reproducer

As seen at https://reviews.llvm.org/D49297#1161794 where LCSSA had the largest
number of debugify failures across a PS4 codebase.

$ clang -v
clang version 7.0.0 (trunk 337000) (llvm/trunk 337003)
Target: x86_64-scei-ps4
Thread model: posix
InstalledDir: e:\work\upstream-llvm\build-vs2015-ps4-ninja\bin

$ cat Debugifind.2.FAIL.Loop-Closed_SSA_Form_Pass.cpp
bool foo(int bar) {
  while (bar)
    bar--;
  return (!bar);
}

$ clang.exe Debugifind.2.FAIL.Loop-Closed_SSA_Form_Pass.cpp -S -emit-llvm -O0
-Xclang -disable-O0-optnone -o Debugifind.2.FAIL.Loop-Closed_SSA_Form_Pass.ll

$ opt.exe -disable-output -debugify-each -simplifycfg -lcssa
Debugifind.2.FAIL.Loop-Closed_SSA_Form_Pass.ll
WARNING: Missing line 7
WARNING: Missing line 11
CheckFunctionDebugify [Simplify the CFG]: PASS
CheckFunctionDebugify [LCSSA Verifier]: PASS
ERROR: Instruction with empty DebugLoc in function _Z3fooi --  %.lcssa = phi
i32 [ %1, %while.cond ]
CheckFunctionDebugify [Loop-Closed SSA Form Pass]: FAIL
CheckFunctionDebugify [Module Verifier]: PASS

$


Referenced Bugs:

https://bugs.llvm.org/show_bug.cgi?id=37953
[Bug 37953] [meta] [debugify] fix -check-debugify failures
-- 
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/20180713/da060d13/attachment.html>


More information about the llvm-bugs mailing list