; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc -mtriple=aarch64-none-eabi -mattr=+sha3 < %s | FileCheck --check-prefix=SHA3 %s
; RUN: llc -mtriple=aarch64-none-eabi -mattr=-sha3 < %s | FileCheck --check-prefix=NOSHA3 %s

define <2 x i64> @rax1(<2 x i64> %x, <2 x i64> %y) {
; SHA3-LABEL: rax1:
; SHA3:       // %bb.0:
; SHA3-NEXT:    rax1 v0.2d, v0.2d, v1.2d
; SHA3-NEXT:    ret
;
; NOSHA3-LABEL: rax1:
; NOSHA3:       // %bb.0:
; NOSHA3-NEXT:    ushr v2.2d, v1.2d, #63
; NOSHA3-NEXT:    shl v1.2d, v1.2d, #1
; NOSHA3-NEXT:    orr v1.16b, v1.16b, v2.16b
; NOSHA3-NEXT:    eor v0.16b, v0.16b, v1.16b
; NOSHA3-NEXT:    ret
    %a = call <2 x i64> @llvm.fshl.v2i64(<2 x i64> %y, <2 x i64> %y, <2 x i64> <i64 1, i64 1>)
    %b = xor <2 x i64> %x, %a
    ret <2 x i64> %b
}

declare <2 x i64> @llvm.fshl.v2i64(<2 x i64>, <2 x i64>, <2 x i64>)