1; RUN: llc < %s -O0 -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s
2
3define i64 @bitcasti64tof64() {
4; CHECK-LABEL: bitcasti64tof64:
5; CHECK:       # BB#0:
6; CHECK:         vmovsd {{.*#+}} xmm0 = mem[0],zero
7; CHECK-NEXT:    vmovq %xmm0, %rax
8; CHECK-NEXT:    retq
9  %a = load double, double* undef
10  %b = bitcast double %a to i64
11  ret i64 %b
12}
13
14