test/Transforms/InstCombine/multi-use-or.ll

   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 }