1 ; RUN: opt < %s -instcombine -S | grep {fadd double .sx, .sy} 2 ; The 'or' has multiple uses, make sure that this doesn't prevent instcombine 3 ; from propagating the extends to the truncs. 4 5 define double @ScaleObjectAdd(double %sx, double %sy, double %sz) nounwind { 6 entry: 7 %sx34 = bitcast double %sx to i64 ; <i64> [#uses=1] 8 %sx3435 = zext i64 %sx34 to i192 ; <i192> [#uses=1] 9 %sy22 = bitcast double %sy to i64 ; <i64> [#uses=1] 10 %sy2223 = zext i64 %sy22 to i192 ; <i192> [#uses=1] 11 %sy222324 = shl i192 %sy2223, 128 ; <i192> [#uses=1] 12 %sy222324.ins = or i192 %sx3435, %sy222324 ; <i192> [#uses=1] 13 14 15 %a = trunc i192 %sy222324.ins to i64 ; <i64> [#uses=1] 16 %b = bitcast i64 %a to double ; <double> [#uses=1] 17 %c = lshr i192 %sy222324.ins, 128 ; <i192> [#uses=1] 18 %d = trunc i192 %c to i64 ; <i64> [#uses=1] 19 %e = bitcast i64 %d to double ; <double> [#uses=1] 20 %f = fadd double %b, %e 21 22 ; ret double %e 23 ret double %f 24 } 25
