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 3declare float @llvm.sqrt.f32(float) #0 4 5define 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 29define 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 51attributes #0 = { "unsafe-fp-math"="true" } 52attributes #1 = { nounwind readnone } 53