test/Transforms/InstCombine/2009-04-07-MulPromoteToI96.ll

   1 ; RUN: opt < %s -instcombine -S | grep "mul i64"
   2 ; rdar://6762288
   3
   4 ; Instcombine should not promote the mul to i96 because it is definitely
   5 ; not a legal type for the target, and we don't want a libcall.
   6
   7 define i96 @test(i96 %a.4, i96 %b.2) {
   8         %tmp1086 = trunc i96 %a.4 to i64                ; <i64> [#uses=1]
   9         %tmp836 = trunc i96 %b.2 to i64         ; <i64> [#uses=1]
  10         %mul185 = mul i64 %tmp1086, %tmp836             ; <i64> [#uses=1]
  11         %tmp544 = zext i64 %mul185 to i96               ; <i96> [#uses=1]
  12         ret i96 %tmp544
  13 }