1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; Formerly crashed, PR8490. 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Workerdefine fastcc double @gimp_operation_color_balance_map(float %value, double %highlights) nounwind readnone inlinehint { 5*9880d681SAndroid Build Coastguard Workerentry: 6*9880d681SAndroid Build Coastguard Worker; CHECK: gimp_operation_color_balance_map 7*9880d681SAndroid Build Coastguard Worker; CHECK: fsub double -0.000000 8*9880d681SAndroid Build Coastguard Worker %conv = fpext float %value to double 9*9880d681SAndroid Build Coastguard Worker %div = fdiv double %conv, 1.600000e+01 10*9880d681SAndroid Build Coastguard Worker %add = fadd double %div, 1.000000e+00 11*9880d681SAndroid Build Coastguard Worker %div1 = fdiv double 1.000000e+00, %add 12*9880d681SAndroid Build Coastguard Worker %sub = fsub double 1.075000e+00, %div1 13*9880d681SAndroid Build Coastguard Worker %sub24 = fsub double 1.000000e+00, %sub 14*9880d681SAndroid Build Coastguard Worker %add26 = fadd double %sub, 1.000000e+00 15*9880d681SAndroid Build Coastguard Worker %cmp86 = fcmp ogt double %highlights, 0.000000e+00 16*9880d681SAndroid Build Coastguard Worker %cond90 = select i1 %cmp86, double %sub24, double %add26 17*9880d681SAndroid Build Coastguard Worker %mul91 = fmul double %highlights, %cond90 18*9880d681SAndroid Build Coastguard Worker %add94 = fadd double undef, %mul91 19*9880d681SAndroid Build Coastguard Worker ret double %add94 20*9880d681SAndroid Build Coastguard Worker} 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Worker; PR10180: same crash, but with vectors 23*9880d681SAndroid Build Coastguard Workerdefine <4 x float> @foo(i1 %b, <4 x float> %x, <4 x float> %y, <4 x float> %z) { 24*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @foo( 25*9880d681SAndroid Build Coastguard Worker; CHECK: fsub <4 x float> 26*9880d681SAndroid Build Coastguard Worker; CHECK: select 27*9880d681SAndroid Build Coastguard Worker; CHECK: fadd <4 x float> 28*9880d681SAndroid Build Coastguard Worker %a = fadd <4 x float> %x, %y 29*9880d681SAndroid Build Coastguard Worker %sub = fsub <4 x float> %x, %z 30*9880d681SAndroid Build Coastguard Worker %sel = select i1 %b, <4 x float> %a, <4 x float> %sub 31*9880d681SAndroid Build Coastguard Worker ret <4 x float> %sel 32*9880d681SAndroid Build Coastguard Worker} 33