[llvm-bugs] [Bug 37961] New: [debugify] simplifycfg fail

[via llvm-bugs]

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

            Bug ID: 37961
           Summary: [debugify] simplifycfg 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, vsk at apple.com
            Blocks: 37953

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

$ clang -v
clang version 7.0.0 (trunk 335708) (llvm/trunk 335721)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: e:\work\upstream-llvm\build-vs2015-native-ninja\bin

$ cat simplify_the_cfg.cpp
void foo(int bar, int baz) {
  for (;; bar++)
    for (; bar; bar++)
      if (baz)
        ;
}

$ clang simplify_the_cfg.cpp -O0 -Xclang -disable-O0-optnone -S -emit-llvm -o -
| opt -simplifycfg -instcombine -S -o simplifycfg-input.ll

$ opt simplifycfg-input.ll -disable-output -debugify-each -simplifycfg
ERROR: Instruction with empty DebugLoc in function ?foo@@YAXHH at Z --  %0 = load
i32, i32* %bar.addr, align 4, !dbg !30
ERROR: Instruction with empty DebugLoc in function ?foo@@YAXHH at Z --  %inc4 =
add nsw i32 %0, 1, !dbg !30
WARNING: Missing line 9
WARNING: Missing line 10
WARNING: Missing line 11
WARNING: Missing line 12
WARNING: Missing line 13
WARNING: Missing line 14
WARNING: Missing variable 5
WARNING: Missing variable 6
WARNING: Missing variable 7
WARNING: Missing variable 8
CheckFunctionDebugify [Simplify the CFG]: 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/20180627/32d9ce0e/attachment-0001.html>