1 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx2,fma -recip=sqrt:2 -stop-after=expand-isel-pseudos 2>&1 | FileCheck %s 2 3 declare float @llvm.sqrt.f32(float) #0 4 5 define float @foo(float %f) #0 { 6 ; CHECK: {{name: *foo}} 7 ; CHECK: body: 8 ; CHECK: %0 = COPY %xmm0 9 ; CHECK: %1 = VRSQRTSSr killed %2, %0 10 ; CHECK: %3 = VMULSSrr %0, %1 11 ; CHECK: %4 = VMOVSSrm 12 ; CHECK: %5 = VFMADDSSr213r %1, killed %3, %4 13 ; CHECK: %6 = VMOVSSrm 14 ; CHECK: %7 = VMULSSrr %1, %6 15 ; CHECK: %8 = VMULSSrr killed %7, killed %5 16 ; CHECK: %9 = VMULSSrr %0, %8 17 ; CHECK: %10 = VFMADDSSr213r %8, %9, %4 18 ; CHECK: %11 = VMULSSrr %9, %6 19 ; CHECK: %12 = VMULSSrr killed %11, killed %10 20 ; CHECK: %13 = FsFLD0SS 21 ; CHECK: %14 = VCMPSSrr %0, killed %13, 0 22 ; CHECK: %15 = VFsANDNPSrr killed %14, killed %12 23 ; CHECK: %xmm0 = COPY %15 24 ; CHECK: RET 0, %xmm0 25 %call = tail call float @llvm.sqrt.f32(float %f) #1 26 ret float %call 27 } 28 29 define float @rfoo(float %f) #0 { 30 ; CHECK: {{name: *rfoo}} 31 ; CHECK: body: | 32 ; CHECK: %0 = COPY %xmm0 33 ; CHECK: %1 = VRSQRTSSr killed %2, %0 34 ; CHECK: %3 = VMULSSrr %0, %1 35 ; CHECK: %4 = VMOVSSrm 36 ; CHECK: %5 = VFMADDSSr213r %1, killed %3, %4 37 ; CHECK: %6 = VMOVSSrm 38 ; CHECK: %7 = VMULSSrr %1, %6 39 ; CHECK: %8 = VMULSSrr killed %7, killed %5 40 ; CHECK: %9 = VMULSSrr %0, %8 41 ; CHECK: %10 = VFMADDSSr213r %8, killed %9, %4 42 ; CHECK: %11 = VMULSSrr %8, %6 43 ; CHECK: %12 = VMULSSrr killed %11, killed %10 44 ; CHECK: %xmm0 = COPY %12 45 ; CHECK: RET 0, %xmm0 46 %sqrt = tail call float @llvm.sqrt.f32(float %f) 47 %div = fdiv fast float 1.0, %sqrt 48 ret float %div 49 } 50 51 attributes #0 = { "unsafe-fp-math"="true" } 52 attributes #1 = { nounwind readnone } 53
