llvm/test/Transforms/InstCombine/dce-iterate.ll

   1 ; RUN: opt < %s -passes=instcombine -S | grep "ret double .sy"
   2
   3 define internal double @ScaleObjectAdd(double %sx, double %sy, double %sz) nounwind {
   4 entry:
   5         %sx34 = bitcast double %sx to i64               ; <i64> [#uses=1]
   6         %sx3435 = zext i64 %sx34 to i960                ; <i960> [#uses=1]
   7         %sy22 = bitcast double %sy to i64               ; <i64> [#uses=1]
   8         %sy2223 = zext i64 %sy22 to i960                ; <i960> [#uses=1]
   9         %sy222324 = shl i960 %sy2223, 320               ; <i960> [#uses=1]
  10         %sy222324.ins = or i960 %sx3435, %sy222324              ; <i960> [#uses=1]
  11         %sz10 = bitcast double %sz to i64               ; <i64> [#uses=1]
  12         %sz1011 = zext i64 %sz10 to i960                ; <i960> [#uses=1]
  13         %sz101112 = shl i960 %sz1011, 640               ; <i960> [#uses=1]
  14         %sz101112.ins = or i960 %sy222324.ins, %sz101112
  15
  16         %a = trunc i960 %sz101112.ins to i64            ; <i64> [#uses=1]
  17         %b = bitcast i64 %a to double           ; <double> [#uses=1]
  18         %c = lshr i960 %sz101112.ins, 320               ; <i960> [#uses=1]
  19         %d = trunc i960 %c to i64               ; <i64> [#uses=1]
  20         %e = bitcast i64 %d to double           ; <double> [#uses=1]
  21         %f = fadd double %b, %e
  22
  23         ret double %e
  24 }