llvm-6502/test/Transforms/InstCombine/select-crash.ll
Duncan P. N. Exon Smith de89228dfb Verifier: Call verifyModule() from llc and opt
Change `llc` and `opt` to run `verifyModule()`.  This ensures that we
check the full module before `FunctionPass::doInitialization()` ever
gets called (I was getting crashes in `DwarfDebug` instead of verifier
failures when testing a WIP patch that checks operands of compile
units).  In `opt`, also move up debug-info-stripping so that it still
runs before verification.

There was a fair bit of broken code that was sitting in tree.
Interestingly, some were cases of a `select` that referred to itself in
`-instcombine` tests (apparently an intermediate result).  I split them
off to `*-noverify.ll` tests with RUN lines like this:

    opt < %s -S -disable-verify -instcombine | opt -S | FileCheck %s

This avoids verifying the input file (so we can get the broken code into
`-instcombine), but still verifies the output with a second call to
`opt` (to verify that `-instcombine` will clean it up like it should).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233432 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-27 22:04:28 +00:00

33 lines
1.1 KiB
LLVM

; RUN: opt < %s -instcombine -S | FileCheck %s
; Formerly crashed, PR8490.
define fastcc double @gimp_operation_color_balance_map(float %value, double %highlights) nounwind readnone inlinehint {
entry:
; CHECK: gimp_operation_color_balance_map
; CHECK: fsub double -0.000000
%conv = fpext float %value to double
%div = fdiv double %conv, 1.600000e+01
%add = fadd double %div, 1.000000e+00
%div1 = fdiv double 1.000000e+00, %add
%sub = fsub double 1.075000e+00, %div1
%sub24 = fsub double 1.000000e+00, %sub
%add26 = fadd double %sub, 1.000000e+00
%cmp86 = fcmp ogt double %highlights, 0.000000e+00
%cond90 = select i1 %cmp86, double %sub24, double %add26
%mul91 = fmul double %highlights, %cond90
%add94 = fadd double undef, %mul91
ret double %add94
}
; PR10180: same crash, but with vectors
define <4 x float> @foo(i1 %b, <4 x float> %x, <4 x float> %y, <4 x float> %z) {
; CHECK-LABEL: @foo(
; CHECK: fsub <4 x float>
; CHECK: select
; CHECK: fadd <4 x float>
%a = fadd <4 x float> %x, %y
%sub = fsub <4 x float> %x, %z
%sel = select i1 %b, <4 x float> %a, <4 x float> %sub
ret <4 x float> %sel
}