1; RUN: llc < %s -march=nvptx64 -mcpu=sm_35 | FileCheck %s
2; RUN: %if ptxas %{ llc < %s -march=nvptx64 -mcpu=sm_35 | %ptxas-verify -arch=sm_35 %}
3
4define void @foo(float* nocapture readonly %x_value, double* nocapture %output) #0 {
5  %1 = bitcast float* %x_value to <4 x float>*
6  %2 = load <4 x float>, <4 x float>* %1, align 16
7  %3 = fpext <4 x float> %2 to <4 x double>
8; CHECK-NOT: ld.v2.f32 {%fd{{[0-9]+}}, %fd{{[0-9]+}}}, [%rd{{[0-9]+}}];
9; CHECK:  cvt.f64.f32
10; CHECK:  cvt.f64.f32
11; CHECK:  cvt.f64.f32
12; CHECK:  cvt.f64.f32
13  %4 = bitcast double* %output to <4 x double>*
14  store <4 x double> %3, <4 x double>* %4
15  ret void
16}
17