Teach ScalarEvolution how to reason about no-wrap flags on loops
[llvm/avr.git] / test / Transforms / InstCombine / 2006-04-28-ShiftShiftLongLong.ll
blob23ebe92e50093cb8f2d73bac7a3b785016d794aa
1 ; RUN: opt < %s -instcombine -S | grep shl
2 ; RUN: opt < %s -instcombine -S | notcast
4 ; This cannot be turned into a sign extending cast!
6 define i64 @test(i64 %X) {
7         %Y = shl i64 %X, 16             ; <i64> [#uses=1]
8         %Z = ashr i64 %Y, 16            ; <i64> [#uses=1]
9         ret i64 %Z