; Test 32-bit ANDs in which the second operand is variable.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s

; Check that there are no spills.
define void @f1(ptr %src1, ptr %dest) {
; CHECK-LABEL: f1:
; CHECK-NOT: %r15
; CHECK: br %r14
  %val = load <16 x i32>, ptr %src1, !tbaa !1
  %add = add <16 x i32> %val, %val
  %res = bitcast <16 x i32> %add to <16 x float>
  store <16 x float> %res, ptr %dest, !tbaa !2
  ret void
}

!0 = !{ !"root" }
!1 = !{ !"set1", !0 }
!2 = !{ !"set2", !0 }