[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / AArch64 / arm64-fixed-point-scalar-cvt-dagcombine.ll
blob34dd15b268d349386f7a9d58154ee20edc0b2557
1 ; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple | FileCheck %s
3 ; DAGCombine to transform a conversion of an extract_vector_elt to an
4 ; extract_vector_elt of a conversion, which saves a round trip of copies
5 ; of the value to a GPR and back to and FPR.
6 ; rdar://11855286
7 define double @foo0(<2 x i64> %a) nounwind {
8 ; CHECK:  scvtf.2d  [[REG:v[0-9]+]], v0, #9
9 ; CHECK-NEXT:  mov  d0, [[REG]][1]
10   %vecext = extractelement <2 x i64> %a, i32 1
11   %fcvt_n = tail call double @llvm.aarch64.neon.vcvtfxs2fp.f64.i64(i64 %vecext, i32 9)
12   ret double %fcvt_n
15 declare double @llvm.aarch64.neon.vcvtfxs2fp.f64.i64(i64, i32) nounwind readnone