; Test that upgrading shift instructions and constant expressions works
; correctly.
; RUN: llvm-upgrade < %s | grep 'ashr i32 .X, 2' &&
; RUN: llvm-upgrade < %s | grep 'lshr i32 .X, 2' &&
; RUN: llvm-upgrade < %s | grep 'shl i32 .X, 2' &&
; RUN: llvm-upgrade < %s | grep 'ashr i32 .X, 6' &&
; RUN: llvm-upgrade < %s | grep 'lshr i32 .X, 1' &&
; RUN: llvm-upgrade < %s | grep 'shl i32 .X, 1'

void %test(int %X) {
  %A = ashr int %X, ubyte 2
  %B = lshr int %X, ubyte 2
  %C = shl  int %X, ubyte 2
  %D = ashr int %X, ubyte trunc ( int shl  (int 3, ubyte 1) to ubyte )
  %E = lshr int %X, ubyte trunc ( int ashr (int 3, ubyte 1) to ubyte )
  %F = shl  int %X, ubyte trunc ( int lshr (int 3, ubyte 1) to ubyte )
  ret void
}