; RUN: llc < %s -march=nvptx64 -mcpu=sm_35 | FileCheck %s
; RUN: %if ptxas %{ llc < %s -march=nvptx64 -mcpu=sm_35 | %ptxas-verify %}
define void @foo(ptr nocapture readonly %x_value, ptr nocapture %output) #0 {
%1 = load <4 x float>, ptr %x_value, align 16
%2 = fpext <4 x float> %1 to <4 x double>
; CHECK-NOT: ld.v2.f32 {%fd{{[0-9]+}}, %fd{{[0-9]+}}}, [%rd{{[0-9]+}}];
; CHECK: cvt.f64.f32
; CHECK: cvt.f64.f32
; CHECK: cvt.f64.f32
; CHECK: cvt.f64.f32
store <4 x double> %2, ptr %output
ret void
}