; RUN: llvm-as < %s | llc -march=x86-64 | FileCheck %s

; x86's 32-bit cmov doesn't clobber the high 32 bits of the destination
; if the condition is false. An explicit zero-extend (movl) is needed
; after the cmov.

; CHECK:      cmovne  %edi, %esi
; CHECK-NEXT: movl    %esi, %edi

declare void @bar(i64) nounwind

define void @foo(i64 %a, i64 %b, i1 %p) nounwind {
  %c = trunc i64 %a to i32
  %d = trunc i64 %b to i32
  %e = select i1 %p, i32 %c, i32 %d
  %f = zext i32 %e to i64
  call void @bar(i64 %f)
  ret void
}