test/Transforms/InstCombine/add-shrink.ll

   1 ; RUN: opt < %s -instcombine -S | grep "add nsw i32"
   2 ; RUN: opt < %s -instcombine -S | grep sext | count 1
   3
   4 ; Should only have one sext and the add should be i32 instead of i64.
   5
   6 define i64 @test1(i32 %A) {
   7         %B = ashr i32 %A, 7             ; <i32> [#uses=1]
   8         %C = ashr i32 %A, 9             ; <i32> [#uses=1]
   9         %D = sext i32 %B to i64         ; <i64> [#uses=1]
  10         %E = sext i32 %C to i64         ; <i64> [#uses=1]
  11         %F = add i64 %D, %E             ; <i64> [#uses=1]
  12         ret i64 %F
  13 }
  14