[llvm] r325639 - [InstCombine] auto-generate full checks; NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Tue Feb 20 15:08:47 2018
New Revision: 325639

URL: http://llvm.org/viewvc/llvm-project?rev=325639&view=rev
Log:
[InstCombine] auto-generate full checks; NFC

Modified:
    llvm/trunk/test/Transforms/InstCombine/cos-intrinsic.ll

Modified: llvm/trunk/test/Transforms/InstCombine/cos-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/cos-intrinsic.ll?rev=325639&r1=325638&r2=325639&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/cos-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/cos-intrinsic.ll Tue Feb 20 15:08:47 2018
@@ -1,5 +1,5 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instcombine -S | FileCheck %s
-; This test makes sure that the undef is propagated for the cos instrinsic
 
 declare double    @llvm.cos.f64(double %Val)
 declare float     @llvm.cos.f32(float %Val)
@@ -8,74 +8,80 @@ declare <2 x float> @llvm.cos.v2f32(<2 x
 declare float @llvm.fabs.f32(float %Val)
 declare <2 x float> @llvm.fabs.v2f32(<2 x float> %Val)
 
-; Function Attrs: nounwind readnone
-define double @test1() {
-; CHECK-LABEL: define double @test1(
-; CHECK-NEXT: ret double 0.000000e+00
-  %1 = call double @llvm.cos.f64(double undef)
-  ret double %1
-}
-
-
-; Function Attrs: nounwind readnone
-define float @test2(float %d) {
-; CHECK-LABEL: define float @test2(
-; CHECK-NEXT: %cosval = call float @llvm.cos.f32(float %d)
-   %cosval   = call float @llvm.cos.f32(float %d)
-   %cosval2  = call float @llvm.cos.f32(float undef)
-   %fsum   = fadd float %cosval2, %cosval
-   ret float %fsum
-; CHECK-NEXT: %fsum
-; CHECK: ret float %fsum
-}
-
-; CHECK-LABEL: @cos_fneg_f32(
-; CHECK: %cos = call float @llvm.cos.f32(float %x)
-; CHECK-NEXT: ret float %cos
-define float @cos_fneg_f32(float %x) {
+define double @undef_arg() {
+; CHECK-LABEL: @undef_arg(
+; CHECK-NEXT:    ret double 0.000000e+00
+;
+  %r = call double @llvm.cos.f64(double undef)
+  ret double %r
+}
+
+define float @undef_arg2(float %d) {
+; CHECK-LABEL: @undef_arg2(
+; CHECK-NEXT:    [[COSVAL:%.*]] = call float @llvm.cos.f32(float [[D:%.*]])
+; CHECK-NEXT:    [[FSUM:%.*]] = fadd float [[COSVAL]], 0.000000e+00
+; CHECK-NEXT:    ret float [[FSUM]]
+;
+  %cosval   = call float @llvm.cos.f32(float %d)
+  %cosval2  = call float @llvm.cos.f32(float undef)
+  %fsum   = fadd float %cosval2, %cosval
+  ret float %fsum
+}
+
+define float @fneg_f32(float %x) {
+; CHECK-LABEL: @fneg_f32(
+; CHECK-NEXT:    [[COS:%.*]] = call float @llvm.cos.f32(float [[X:%.*]])
+; CHECK-NEXT:    ret float [[COS]]
+;
   %x.fneg = fsub float -0.0, %x
   %cos = call float @llvm.cos.f32(float %x.fneg)
   ret float %cos
 }
 
 ; FIXME: m_FNeg() doesn't handle vectors
-; CHECK-LABEL: @cos_fneg_v2f32(
-; CHECK: %x.fneg = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, %x
-; CHECK-NEXT: %cos = call <2 x float> @llvm.cos.v2f32(<2 x float> %x.fneg)
-; CHECK-NEXT: ret <2 x float> %cos
-define <2 x float> @cos_fneg_v2f32(<2 x float> %x) {
+
+define <2 x float> @fneg_v2f32(<2 x float> %x) {
+; CHECK-LABEL: @fneg_v2f32(
+; CHECK-NEXT:    [[X_FNEG:%.*]] = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, [[X:%.*]]
+; CHECK-NEXT:    [[COS:%.*]] = call <2 x float> @llvm.cos.v2f32(<2 x float> [[X_FNEG]])
+; CHECK-NEXT:    ret <2 x float> [[COS]]
+;
   %x.fneg = fsub <2 x float> <float -0.0, float -0.0>, %x
   %cos = call <2 x float> @llvm.cos.v2f32(<2 x float> %x.fneg)
   ret <2 x float> %cos
 }
 
-; CHECK-LABEL: @cos_fabs_f32(
-; CHECK-NEXT: %cos = call float @llvm.cos.f32(float %x)
-; CHECK-NEXT: ret float %cos
-define float @cos_fabs_f32(float %x) {
+define float @fabs_f32(float %x) {
+; CHECK-LABEL: @fabs_f32(
+; CHECK-NEXT:    [[COS:%.*]] = call float @llvm.cos.f32(float [[X:%.*]])
+; CHECK-NEXT:    ret float [[COS]]
+;
   %x.fabs = call float @llvm.fabs.f32(float %x)
   %cos = call float @llvm.cos.f32(float %x.fabs)
   ret float %cos
 }
 
-; CHECK-LABEL: @cos_fabs_fneg_f32(
-; CHECK: %cos = call float @llvm.cos.f32(float %x)
-; CHECK-NEXT: ret float %cos
-define float @cos_fabs_fneg_f32(float %x) {
+define float @fabs_fneg_f32(float %x) {
+; CHECK-LABEL: @fabs_fneg_f32(
+; CHECK-NEXT:    [[COS:%.*]] = call float @llvm.cos.f32(float [[X:%.*]])
+; CHECK-NEXT:    ret float [[COS]]
+;
   %x.fabs = call float @llvm.fabs.f32(float %x)
   %x.fabs.fneg = fsub float -0.0, %x.fabs
   %cos = call float @llvm.cos.f32(float %x.fabs.fneg)
   ret float %cos
 }
 
-; CHECK-LABEL: @cos_fabs_fneg_v2f32(
-; CHECK: %x.fabs = call <2 x float> @llvm.fabs.v2f32(<2 x float> %x)
-; CHECK-NEXT: %x.fabs.fneg = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, %x.fabs
-; CHECK-NEXT: %cos = call <2 x float> @llvm.cos.v2f32(<2 x float> %x.fabs.fneg)
-; CHECK-NEXT: ret <2 x float> %cos
-define <2 x float> @cos_fabs_fneg_v2f32(<2 x float> %x) {
+define <2 x float> @fabs_fneg_v2f32(<2 x float> %x) {
+; CHECK-LABEL: @fabs_fneg_v2f32(
+; CHECK-NEXT:    [[X_FABS:%.*]] = call <2 x float> @llvm.fabs.v2f32(<2 x float> [[X:%.*]])
+; CHECK-NEXT:    [[X_FABS_FNEG:%.*]] = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, [[X_FABS]]
+; CHECK-NEXT:    [[COS:%.*]] = call <2 x float> @llvm.cos.v2f32(<2 x float> [[X_FABS_FNEG]])
+; CHECK-NEXT:    ret <2 x float> [[COS]]
+;
   %x.fabs = call <2 x float> @llvm.fabs.v2f32(<2 x float> %x)
   %x.fabs.fneg = fsub <2 x float> <float -0.0, float -0.0>, %x.fabs
   %cos = call <2 x float> @llvm.cos.v2f32(<2 x float> %x.fabs.fneg)
   ret <2 x float> %cos
 }
+