; RUN: llc -fast-isel -fast-isel-abort=1 -verify-machineinstrs -mtriple=aarch64-apple-darwin < %s | FileCheck %s

define zeroext i8 @test_mul8(i8 %lhs, i8 %rhs) {
; CHECK-LABEL: test_mul8:
; CHECK:       mul {{w[0-9]+}}, w0, w1
  %1 = mul i8 %lhs, %rhs
  ret i8 %1
}

define zeroext i16 @test_mul16(i16 %lhs, i16 %rhs) {
; CHECK-LABEL: test_mul16:
; CHECK:       mul {{w[0-9]+}}, w0, w1
  %1 = mul i16 %lhs, %rhs
  ret i16 %1
}

define i32 @test_mul32(i32 %lhs, i32 %rhs) {
; CHECK-LABEL: test_mul32:
; CHECK:       mul {{w[0-9]+}}, w0, w1
  %1 = mul i32 %lhs, %rhs
  ret i32 %1
}

define i64 @test_mul64(i64 %lhs, i64 %rhs) {
; CHECK-LABEL: test_mul64:
; CHECK:       mul {{x[0-9]+}}, x0, x1
  %1 = mul i64 %lhs, %rhs
  ret i64 %1
}

define i32 @test_mul2shift_i32(i32 %a) {
; CHECK-LABEL: test_mul2shift_i32:
; CHECK:       lsl {{w[0-9]+}}, w0, #2
  %1 = mul i32 %a, 4
  ret i32 %1
}

define i64 @test_mul2shift_i64(i64 %a) {
; CHECK-LABEL: test_mul2shift_i64:
; CHECK:       lsl {{x[0-9]+}}, x0, #3
  %1 = mul i64 %a, 8
  ret i64 %1
}