[llvm-bugs] [Bug 39595] New: [InstCombine] Assertion `X == SI.getFalseValue() && Y == SI.getTrueValue() && "Unexpected operands"

[via llvm-bugs]

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

            Bug ID: 39595
           Summary: [InstCombine] Assertion `X == SI.getFalseValue() && Y
                    == SI.getTrueValue() && "Unexpected operands"
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: mgrang at codeaurora.org
                CC: llvm-bugs at lists.llvm.org

Compile the following reduced test case:

opt -S -instcombine a.ll

cat a.ll

%0 = type { %1 }
%1 = type { %2* }
%2 = type { i32, i32* }

$foo = comdat any

; Function Attrs: inlinehint norecurse
define linkonce_odr dso_local i32 @foo(%0* dereferenceable(4))
local_unnamed_addr #0 comdat !prof !1 {
  %2 = getelementptr inbounds %2, %2* null, i32 0, i32 1
  %3 = load i32*, i32** %2, align 4
  %4 = load i32, i32* %3, align 4
  %5 = xor i32 %4, -1
  %6 = getelementptr inbounds i32, i32* null, i32 1
  %7 = load i32, i32* %6, align 4
  %8 = xor i32 %7, -1
  %9 = icmp ugt i32 %5, %8
  %10 = select i1 %9, i32 %8, i32 %5, !prof !2
  ret i32 %10
}

attributes #0 = { inlinehint norecurse
"correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false"
"less-precise-fpmad"="false" "min-legal-vector-width"="0"
"no-frame-pointer-elim"="false" "no-infs-fp-math"="false"
"no-jump-tables"="false" "no-nans-fp-math"="false"
"no-signed-zeros-fp-math"="false" "no-trapping-math"="false"
"stack-protector-buffer-size"="8" "target-cpu"="cortex-a53"
"target-features"="+armv8-a,+crc,+dsp,+hwdiv,+hwdiv-arm,+neon,+thumb-mode,+vfp3,-crypto,-d16,-dotprod,-fp-armv8,-fp-only-sp,-fp16,-fp16fml,-ras,-vfp4"
"unsafe-fp-math"="false" "use-soft-float"="false" }

!1 = !{!"function_entry_count", i64 1}
!2 = !{!"branch_weights", i32 1, i32 6}

-- 
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/20181108/763c00bf/attachment-0001.html>