128 lines · plain
1; The non-strictfp version of test/CodeGen/PowerPC/respect-rounding-mode.ll2; Without strictfp, CSE should be free to eliminate the repeated multiply3; and conversion instructions.4; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \5; RUN: -mcpu=pwr8 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 26; RUN: llc -verify-machineinstrs --mtriple powerpc-unknown-linux-gnu \7; RUN: -mcpu=pwr9 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 28; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \9; RUN: -mcpu=pwr10 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 210 11; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \12; RUN: -mcpu=pwr8 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 213; RUN: llc -verify-machineinstrs --mtriple powerpc-unknown-linux-gnu \14; RUN: -mcpu=pwr9 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 215; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \16; RUN: -mcpu=pwr10 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 217@IndirectCallPtr = dso_local local_unnamed_addr global ptr null, align 818 19define dso_local signext i32 @func1() local_unnamed_addr #0 {20entry:21 tail call void @directCall() #022 %0 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #023 %vecext = extractelement <2 x double> %0, i32 024 %sub = tail call double @llvm.experimental.constrained.fsub.f64(double %vecext, double -9.900000e+01, metadata !"round.dynamic", metadata !"fpexcept.ignore") #025 %conv = tail call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %sub, metadata !"fpexcept.ignore") #026 tail call void @directCall() #027 %1 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #028 %vecext3 = extractelement <2 x double> %1, i32 129 %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext3, double 9.900000e+01, metadata !"une", metadata !"fpexcept.ignore") #030 br i1 %cmp, label %if.then, label %if.end31 32if.then: ; preds = %entry33 tail call void @exit(i32 signext 2) #034 unreachable35 36if.end: ; preds = %entry37 ret i32 %conv38}39 40declare void @directCall(...) local_unnamed_addr41 42declare double @llvm.experimental.constrained.fsub.f64(double, double, metadata, metadata)43 44declare i32 @llvm.experimental.constrained.fptosi.i32.f64(double, metadata)45 46declare i1 @llvm.experimental.constrained.fcmp.f64(double, double, metadata, metadata)47 48declare void @exit(i32 signext) local_unnamed_addr49 50define dso_local signext i32 @func2() local_unnamed_addr #0 {51entry:52 %call = tail call <2 x double> @getvector1() #053 %call1 = tail call <2 x double> @getvector2() #054 tail call void @directCall() #055 %mul = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #056 %vecext = extractelement <2 x double> %mul, i32 057 %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext, double 4.000000e+00, metadata !"oeq", metadata !"fpexcept.ignore") #058 br i1 %cmp, label %cleanup, label %if.end59 60if.end: ; preds = %entry61 tail call void @directCall() #062 %mul10 = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #063 %0 = tail call i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32 2, <2 x double> %mul, <2 x double> %mul10) #064 br label %cleanup65 66cleanup: ; preds = %entry, %if.end67 %retval.0 = phi i32 [ %0, %if.end ], [ 11, %entry ]68 ret i32 %retval.069}70 71declare <2 x double> @getvector1(...) local_unnamed_addr72 73declare <2 x double> @getvector2(...) local_unnamed_addr74 75declare <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double>, <2 x double>, metadata, metadata)76 77declare i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32, <2 x double>, <2 x double>)78 79define dso_local signext i32 @func3() local_unnamed_addr #0 {80entry:81 %0 = load ptr, ptr @IndirectCallPtr, align 882 tail call void %0() #083 %1 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #084 %vecext = extractelement <2 x double> %1, i32 085 %sub = tail call double @llvm.experimental.constrained.fsub.f64(double %vecext, double -9.900000e+01, metadata !"round.dynamic", metadata !"fpexcept.ignore") #086 %conv = tail call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %sub, metadata !"fpexcept.ignore") #087 %2 = load ptr, ptr @IndirectCallPtr, align 888 tail call void %2() #089 %3 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #090 %vecext4 = extractelement <2 x double> %3, i32 191 %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext4, double 9.900000e+01, metadata !"une", metadata !"fpexcept.ignore") #092 br i1 %cmp, label %if.then, label %if.end93 94if.then: ; preds = %entry95 tail call void @exit(i32 signext 2) #096 unreachable97 98if.end: ; preds = %entry99 ret i32 %conv100}101 102define dso_local signext i32 @func4() local_unnamed_addr #0 {103entry:104 %call = tail call <2 x double> @getvector1() #0105 %call1 = tail call <2 x double> @getvector2() #0106 %0 = load ptr, ptr @IndirectCallPtr, align 8107 tail call void %0() #0108 %mul = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0109 %vecext = extractelement <2 x double> %mul, i32 0110 %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext, double 4.000000e+00, metadata !"oeq", metadata !"fpexcept.ignore") #0111 br i1 %cmp, label %cleanup, label %if.end112 113if.end: ; preds = %entry114 %1 = load ptr, ptr @IndirectCallPtr, align 8115 tail call void %1() #0116 %mul11 = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0117 %2 = tail call i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32 2, <2 x double> %mul, <2 x double> %mul11) #0118 br label %cleanup119 120cleanup: ; preds = %entry, %if.end121 %retval.0 = phi i32 [ %2, %if.end ], [ 11, %entry ]122 ret i32 %retval.0123}124 125declare <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double>, metadata, metadata)126 127attributes #0 = { nounwind }128