; RUN: llc -mtriple=arm-eabi        %s -o - | FileCheck %s
; RUN: llc -mtriple=thumbv7-windows %s -o - | FileCheck %s -check-prefix=CHECK-WIN

; The Windows runtime doesn't have these.
; CHECK-WIN-NOT: __ashldi3
; CHECK-WIN-NOT: __ashrdi3
; CHECK-WIN-NOT: __lshrdi3

define i64 @f0(i64 %val, i64 %amt) minsize optsize {
; CHECK-LABEL:   f0:
; CHECK:         bl  __aeabi_llsl
  %res = shl i64 %val, %amt
  ret i64 %res
}

define i32 @f1(i64 %x, i64 %y) minsize optsize {
; CHECK-LABEL:   f1:
; CHECK:         bl  __aeabi_llsl
	%a = shl i64 %x, %y
	%b = trunc i64 %a to i32
	ret i32 %b
}

define i32 @f2(i64 %x, i64 %y) minsize optsize {
; CHECK-LABEL:   f2:
; CHECK:         bl  __aeabi_lasr
	%a = ashr i64 %x, %y
	%b = trunc i64 %a to i32
	ret i32 %b
}

define i32 @f3(i64 %x, i64 %y) minsize optsize {
; CHECK-LABEL:   f3:
; CHECK:         bl  __aeabi_llsr
	%a = lshr i64 %x, %y
	%b = trunc i64 %a to i32
	ret i32 %b
}