; RUN: llc < %s -mcpu=cortex-a9 -mattr=+neon,+neonfp -float-abi=hard -mtriple armv7-linux-gnueabi | FileCheck %s

;; This test checks that the ExecutionDomainFix pass performs the domain changes
;; even when some dependencies are propagated through implicit definitions.

; CHECK: fun_a
define <4 x float> @fun_a(<4 x float> %in, <4 x float> %x, float %y) nounwind {
; CHECK: vext
; CHECK: vext
; CHECK: vadd.f32
  %1 = insertelement <4 x float> %in, float %y, i32 0
  %2 = fadd <4 x float> %1, %x  
  ret <4 x float> %2
}
; CHECK: fun_b
define <4 x i32> @fun_b(<4 x i32> %in, <4 x i32> %x, i32 %y) nounwind {
; CHECK: vmov.32
; CHECK: vadd.i32
  %1 = insertelement <4 x i32> %in, i32 %y, i32 0
  %2 = add <4 x i32> %1, %x  
  ret <4 x i32> %2
}