[llvm-bugs] [Bug 37715] New: GuardWidening: test/Transforms/GuardWidening/range-check-merging.ll looks different with debug info present

[via llvm-bugs]

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

            Bug ID: 37715
           Summary: GuardWidening:
                    test/Transforms/GuardWidening/range-check-merging.ll
                    looks different with debug info present
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: vsk at apple.com
                CC: llvm-bugs at lists.llvm.org

Running `opt -O1` on this file produces different output with/without debug
info present. To reproduce the issue, do:

# Baseline
$ $OPT -O1 $FILE -S -o -

# With debug info
$ $OPT -O1 $FILE -o - -debugify-each -debugify-quiet | $OPT -strip -S

Comparing: -O1 test/Transforms/GuardWidening/range-check-merging.ll
  Baseline: /var/folders/j8/t4w0bp8j6x1g6fpghkcb4sjm0000gp/T/tmp.C74Q3eA7
  With DI : /var/folders/j8/t4w0bp8j6x1g6fpghkcb4sjm0000gp/T/tmp.7O0SBoIr
8a9
>   call void (i1, ...) @llvm.experimental.guard(i1 %4) [ "deopt"() ]
11,18c12,18
<   %7 = and i1 %4, %6
<   call void (i1, ...) @llvm.experimental.guard(i1 %7) [ "deopt"() ]
<   %8 = add i32 %0, 2
<   %9 = icmp ult i32 %8, %3
<   %10 = add i32 %0, 3
<   %11 = icmp ult i32 %10, %3
<   %12 = and i1 %9, %11
<   call void (i1, ...) @llvm.experimental.guard(i1 %12) [ "deopt"() ]
---
>   call void (i1, ...) @llvm.experimental.guard(i1 %6) [ "deopt"() ]
>   %7 = add i32 %0, 2
>   %8 = icmp ult i32 %7, %3
>   call void (i1, ...) @llvm.experimental.guard(i1 %8) [ "deopt"() ]
>   %9 = add i32 %0, 3
>   %10 = icmp ult i32 %9, %3
>   call void (i1, ...) @llvm.experimental.guard(i1 %10) [ "deopt"() ]
24a25
>   call void (i1, ...) @llvm.experimental.guard(i1 %4) [ "deopt"() ]
27,34c28,34
<   %7 = and i1 %4, %6
<   call void (i1, ...) @llvm.experimental.guard(i1 %7) [ "deopt"() ]
<   %8 = add i32 %0, 3
<   %9 = icmp ult i32 %8, %3
<   %10 = add i32 %0, 6
<   %11 = icmp ult i32 %10, %3
<   %12 = and i1 %9, %11
<   call void (i1, ...) @llvm.experimental.guard(i1 %12) [ "deopt"() ]
...
(snipped)

-- 
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/20180606/8eabc746/attachment.html>