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

            Bug ID: 37962
           Summary: [debugify] callsite-splitting fail
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedb...@nondot.org
          Reporter: greg.bedw...@sony.com
                CC: anastasis.gra...@gmail.com, dav...@freebsd.org,
                    llvm-bugs@lists.llvm.org, v...@apple.com
            Blocks: 37953

Created attachment 20480
  --> https://bugs.llvm.org/attachment.cgi?id=20480&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 call-site_splitting.cpp
int foo(int aa, int bb) {
  return aa + bb;
}
void bar(int& cc, int dd) {
  cc = foo(cc && 2 | cc, dd);
}

$ clang call-site_splitting.cpp -O0 -Xclang -disable-O0-optnone -emit-llvm -S
-o - | opt -instcombine -S -o callsite-splitting-input.ll

$ opt callsite-splitting-input.ll -disable-output -debugify-each
-callsite-splitting
CheckFunctionDebugify [Call-site splitting]: PASS
CheckFunctionDebugify [Module Verifier]: PASS
ERROR: Instruction with empty DebugLoc in function ?bar@@YAXAEAHH@Z -- 
%phi.call = phi i32 [ %call1, %land.rhs.split ], [ %call2, %entry.split ]
WARNING: Missing line 7
CheckFunctionDebugify [Call-site splitting]: 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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to