1; Test 32-bit ANDs in which the second operand is variable.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; Check that there are no spills.
6define void @f1(<16 x i32> *%src1, <16 x float> *%dest) {
7; CHECK-LABEL: f1:
8; CHECK-NOT: %r15
9; CHECK: br %r14
10  %val = load <16 x i32> *%src1, !tbaa !1
11  %add = add <16 x i32> %val, %val
12  %res = bitcast <16 x i32> %add to <16 x float>
13  store <16 x float> %res, <16 x float> *%dest, !tbaa !2
14  ret void
15}
16
17!0 = metadata !{ metadata !"root" }
18!1 = metadata !{ metadata !"set1", metadata !0 }
19!2 = metadata !{ metadata !"set2", metadata !0 }
20