[llvm-branch-commits] [llvm] fdab28e - [InstSimplify] Add willreturn to more libcall tests (NFC)

Nikita Popov via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Fri Jan 22 13:04:06 PST 2021


Author: Nikita Popov
Date: 2021-01-22T21:58:59+01:00
New Revision: fdab28edef35dde906678cd3c3008dd116ea8572

URL: https://github.com/llvm/llvm-project/commit/fdab28edef35dde906678cd3c3008dd116ea8572
DIFF: https://github.com/llvm/llvm-project/commit/fdab28edef35dde906678cd3c3008dd116ea8572.diff

LOG: [InstSimplify] Add willreturn to more libcall tests (NFC)

Annotate more math libcalls with willreturn. The attribute would
have been added by the InferFuncAttrs.

Added: 
    

Modified: 
    llvm/test/Transforms/InstSimplify/ConstProp/math-1.ll
    llvm/test/Transforms/InstSimplify/ConstProp/math-2.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstSimplify/ConstProp/math-1.ll b/llvm/test/Transforms/InstSimplify/ConstProp/math-1.ll
index b16910b94740..47357ab93615 100644
--- a/llvm/test/Transforms/InstSimplify/ConstProp/math-1.ll
+++ b/llvm/test/Transforms/InstSimplify/ConstProp/math-1.ll
@@ -1,7 +1,7 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -early-cse -earlycse-debug-hash -S -o - %s | FileCheck %s
 
-declare double @acos(double)
+declare double @acos(double) #0
 define double @f_acos() {
 ; CHECK-LABEL: @f_acos(
 ; CHECK-NEXT:    ret double 0.000000e+00
@@ -10,7 +10,7 @@ define double @f_acos() {
   ret double %res
 }
 
-declare float @asinf(float)
+declare float @asinf(float) #0
 define float @f_asinf() {
 ; CHECK-LABEL: @f_asinf(
 ; CHECK-NEXT:    ret float 0x3FF921FB{{.+}}
@@ -19,7 +19,7 @@ define float @f_asinf() {
   ret float %res
 }
 
-declare double @atan(double)
+declare double @atan(double) #0
 define double @f_atan() {
 ; CHECK-LABEL: @f_atan(
 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast double @atan(double 1.000000e+00)
@@ -29,7 +29,7 @@ define double @f_atan() {
   ret double %res
 }
 
-declare float @cosf(float)
+declare float @cosf(float) #0
 define float @f_cosf() {
 ; CHECK-LABEL: @f_cosf(
 ; CHECK-NEXT:    ret float 0x3FE14A2{{.+}}
@@ -47,7 +47,7 @@ define float @i_cosf() {
   ret float %res
 }
 
-declare double @cosh(double)
+declare double @cosh(double) #0
 define double @f_cosh() {
 ; CHECK-LABEL: @f_cosh(
 ; CHECK-NEXT:    ret double 0x3FF8B075{{.+}}
@@ -56,7 +56,7 @@ define double @f_cosh() {
   ret double %res
 }
 
-declare float @expf(float)
+declare float @expf(float) #0
 define float @f_expf() {
 ; CHECK-LABEL: @f_expf(
 ; CHECK-NEXT:    ret float 0x4005BF0A{{.+}}
@@ -74,7 +74,7 @@ define float @i_expf() {
   ret float %res
 }
 
-declare double @exp2(double)
+declare double @exp2(double) #0
 define double @f_exp2() {
 ; CHECK-LABEL: @f_exp2(
 ; CHECK-NEXT:    ret double 2.000000e+00
@@ -93,7 +93,7 @@ define double @i_exp2() {
 }
 
 ; FIXME: exp10() is not widely supported.
-declare float @exp10f(float)
+declare float @exp10f(float) #0
 define float @f_exp10f() {
 ; CHECK-LABEL: @f_exp10f(
 ; CHECK-NEXT:    [[RES:%.*]] = tail call float @exp10f(float 1.000000e+00)
@@ -103,7 +103,7 @@ define float @f_exp10f() {
   ret float %res
 }
 
-declare double @log(double)
+declare double @log(double) #0
 define double @f_log() {
 ; CHECK-LABEL: @f_log(
 ; CHECK-NEXT:    ret double 0.000000e+00
@@ -121,7 +121,7 @@ define double @i_log() {
   ret double %res
 }
 
-declare float @log2f(float)
+declare float @log2f(float) #0
 define float @f_log2f() {
 ; CHECK-LABEL: @f_log2f(
 ; CHECK-NEXT:    ret float 0.000000e+00
@@ -139,7 +139,7 @@ define float @i_log2f() {
   ret float %res
 }
 
-declare double @log10(double)
+declare double @log10(double) #0
 define double @f_log10() {
 ; CHECK-LABEL: @f_log10(
 ; CHECK-NEXT:    ret double 0.000000e+00
@@ -148,7 +148,7 @@ define double @f_log10() {
   ret double %res
 }
 
-declare float @sinf(float)
+declare float @sinf(float) #0
 define float @f_sinf() {
 ; CHECK-LABEL: @f_sinf(
 ; CHECK-NEXT:    ret float 0x3FEAED54{{.+}}
@@ -157,7 +157,7 @@ define float @f_sinf() {
   ret float %res
 }
 
-declare double @sinh(double)
+declare double @sinh(double) #0
 define double @f_sinh() {
 ; CHECK-LABEL: @f_sinh(
 ; CHECK-NEXT:    ret double 0x3FF2CD9F{{.+}}
@@ -166,7 +166,7 @@ define double @f_sinh() {
   ret double %res
 }
 
-declare float @sqrtf(float)
+declare float @sqrtf(float) #0
 define float @f_sqrtf() {
 ; CHECK-LABEL: @f_sqrtf(
 ; CHECK-NEXT:    ret float 1.000000e+00
@@ -175,7 +175,7 @@ define float @f_sqrtf() {
   ret float %res
 }
 
-declare double @tan(double)
+declare double @tan(double) #0
 define double @f_tan() {
 ; CHECK-LABEL: @f_tan(
 ; CHECK-NEXT:    ret double 0x3FF8EB24{{.+}}
@@ -184,7 +184,7 @@ define double @f_tan() {
   ret double %res
 }
 
-declare float @tanhf(float)
+declare float @tanhf(float) #0
 define float @f_tanhf() {
 ; CHECK-LABEL: @f_tanhf(
 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast float @tanhf(float 1.000000e+00)
@@ -193,3 +193,5 @@ define float @f_tanhf() {
   %res = tail call fast float @tanhf(float 1.0)
   ret float %res
 }
+
+attributes #0 = { nofree nounwind willreturn }

diff  --git a/llvm/test/Transforms/InstSimplify/ConstProp/math-2.ll b/llvm/test/Transforms/InstSimplify/ConstProp/math-2.ll
index b890fbfd1a2e..3d8f9c34335f 100644
--- a/llvm/test/Transforms/InstSimplify/ConstProp/math-2.ll
+++ b/llvm/test/Transforms/InstSimplify/ConstProp/math-2.ll
@@ -1,7 +1,7 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -early-cse -earlycse-debug-hash -S -o - %s | FileCheck %s
 
-declare double @atan2(double, double)
+declare double @atan2(double, double) #0
 define double @f_atan2() {
 ; CHECK-LABEL: @f_atan2(
 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast double @atan2(double 1.000000e+00, double 2.000000e+00)
@@ -11,7 +11,7 @@ define double @f_atan2() {
   ret double %res
 }
 
-declare float @fmodf(float, float)
+declare float @fmodf(float, float) #0
 define float @f_fmodf() {
 ; CHECK-LABEL: @f_fmodf(
 ; CHECK-NEXT:    ret float 1.000000e+00
@@ -20,7 +20,7 @@ define float @f_fmodf() {
   ret float %res
 }
 
-declare float @remainderf(float, float)
+declare float @remainderf(float, float) #0
 define float @f_remainderf_fold1() {
 ; CHECK-LABEL: @f_remainderf_fold1(
 ; CHECK-NEXT:    ret float 1.000000e+00
@@ -46,7 +46,7 @@ define float @f_remainderf_nofold() {
   ret float %res
 }
 
-declare double @remainder(double, double)
+declare double @remainder(double, double) #0
 define double @f_remainder_fold1() {
 ; CHECK-LABEL: @f_remainder_fold1(
 ; CHECK-NEXT:    ret double 1.000000e+00
@@ -72,7 +72,7 @@ define double @f_remainder_nofold() {
   ret double %res
 }
 
-declare double @pow(double, double)
+declare double @pow(double, double) #0
 define double @f_pow() {
 ; CHECK-LABEL: @f_pow(
 ; CHECK-NEXT:    ret double 1.000000e+00
@@ -98,3 +98,5 @@ define double @i_powi() {
   %res = tail call fast double @llvm.powi.f64(double 1.0, i32 2)
   ret double %res
 }
+
+attributes #0 = { nofree nounwind willreturn }


        


More information about the llvm-branch-commits mailing list