72 lines · plain
1; RUN: llc -verify-machineinstrs -mcpu=pwr6 -mattr=+altivec,+fsqrt < %s | FileCheck %s2 3; Check for vector sqrt expansion using floating-point types, since altivec4; does not provide an fsqrt instruction for vector.5 6target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"7target triple = "powerpc64-unknown-linux-gnu"8 9declare <2 x float> @llvm.sqrt.v2f32(<2 x float> %val)10declare <4 x float> @llvm.sqrt.v4f32(<4 x float> %val)11declare <8 x float> @llvm.sqrt.v8f32(<8 x float> %val)12declare <2 x double> @llvm.sqrt.v2f64(<2 x double> %val)13declare <4 x double> @llvm.sqrt.v4f64(<4 x double> %val)14 15define <2 x float> @v2f32_sqrt(<2 x float> %x) nounwind readnone {16entry:17 %sqrt = call <2 x float> @llvm.sqrt.v2f32 (<2 x float> %x)18 ret <2 x float> %sqrt19}20; sqrt (<2 x float>) is promoted to sqrt (<4 x float>)21; CHECK-LABEL: v2f32_sqrt:22; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}23; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}24; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}25; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}26 27define <4 x float> @v4f32_sqrt(<4 x float> %x) nounwind readnone {28entry:29 %sqrt = call <4 x float> @llvm.sqrt.v4f32 (<4 x float> %x)30 ret <4 x float> %sqrt31}32; CHECK-LABEL: v4f32_sqrt:33; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}34; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}35; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}36; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}37 38define <8 x float> @v8f32_sqrt(<8 x float> %x) nounwind readnone {39entry:40 %sqrt = call <8 x float> @llvm.sqrt.v8f32 (<8 x float> %x)41 ret <8 x float> %sqrt42}43; CHECK-LABEL: v8f32_sqrt:44; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}45; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}46; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}47; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}48; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}49; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}50; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}51; CHECK: fsqrts {{[0-9]+}}, {{[0-9]+}}52 53define <2 x double> @v2f64_sqrt(<2 x double> %x) nounwind readnone {54entry:55 %sqrt = call <2 x double> @llvm.sqrt.v2f64 (<2 x double> %x)56 ret <2 x double> %sqrt57}58; CHECK-LABEL: v2f64_sqrt:59; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}60; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}61 62define <4 x double> @v4f64_sqrt(<4 x double> %x) nounwind readnone {63entry:64 %sqrt = call <4 x double> @llvm.sqrt.v4f64 (<4 x double> %x)65 ret <4 x double> %sqrt66}67; CHECK-LABEL: v4f64_sqrt:68; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}69; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}70; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}71; CHECK: fsqrt {{[0-9]+}}, {{[0-9]+}}72