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