1; RUN: opt  -instsimplify -S < %s 2>%t | FileCheck %s
2
3; RUN: FileCheck --check-prefix=WARN --allow-empty %s <%t
4
5; If this check fails please read test/CodeGen/AArch64/README for instructions on how to resolve it.
6; WARN-NOT: warning
7
8; Test back to back reverse shuffles are eliminated.
9define <vscale x 4 x i32> @shuffle_b2b_reverse(<vscale x 4 x i32> %a) {
10; CHECK-LABEL: @shuffle_b2b_reverse(
11; CHECK: ret <vscale x 4 x i32> %a
12  %rev = tail call <vscale x 4 x i32> @llvm.experimental.vector.reverse.nxv4i32(<vscale x 4 x i32> %a)
13  %rev.rev = tail call <vscale x 4 x i32> @llvm.experimental.vector.reverse.nxv4i32(<vscale x 4 x i32> %rev)
14  ret <vscale x 4 x i32> %rev.rev
15}
16
17declare <vscale x 4 x i32> @llvm.experimental.vector.reverse.nxv4i32(<vscale x 4 x i32>)
18