[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default

Turning on `enable_noundef_analysis` flag allows better codegen by removing freeze instructions.
I modified clang by renaming `enable_noundef_analysis` flag to `disable-noundef-analysis` and turning it off by default.

Test updates are made as a separate patch: D108453

Reviewed By: eugenis

Differential Revision: https://reviews.llvm.org/D105169

[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default (2)

This patch updates test files after D105169.
Autogenerated test codes are changed by `utils/update_cc_test_checks.py,` and non-autogenerated test codes are changed as follows:

(1) I wrote a python script that (partially) updates the tests using regex: {F18594904} The script is not perfect, but I believe it gives hints about which patterns are updated to have `noundef` attached.

(2) The remaining tests are updated manually.

Reviewed By: eugenis

Differential Revision: https://reviews.llvm.org/D108453

Resolve lit failures in clang after 8ca4b3e's land

Fix lit test failures in clang-ppc* and clang-x64-windows-msvc

Fix missing failures in clang-ppc64be* and retry fixing clang-x64-windows-msvc

Fix internal_clone(aarch64) inline assembly

1 files changed, 26 insertions, 37 deletions

diff --git a/clang/test/CodeGen/align_value.cpp b/clang/test/CodeGen/align_value.cpp
index a18cb651fe4c..4565b849530f 100644
--- a/clang/test/CodeGen/align_value.cpp
+++ b/clang/test/CodeGen/align_value.cpp
@@ -3,15 +3,14 @@
 
 typedef double * __attribute__((align_value(64))) aligned_double;
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3fooPdS_Rd
-// CHECK-SAME: (double* align 64 [[X:%.*]], double* align 32 [[Y:%.*]], double* nonnull align 128 dereferenceable(8) [[Z:%.*]]) #0
+// CHECK-LABEL: @_Z3fooPdS_Rd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double*, align 8
 // CHECK-NEXT:    [[Y_ADDR:%.*]] = alloca double*, align 8
 // CHECK-NEXT:    [[Z_ADDR:%.*]] = alloca double*, align 8
-// CHECK-NEXT:    store double* [[X]], double** [[X_ADDR]], align 8
-// CHECK-NEXT:    store double* [[Y]], double** [[Y_ADDR]], align 8
-// CHECK-NEXT:    store double* [[Z]], double** [[Z_ADDR]], align 8
+// CHECK-NEXT:    store double* [[X:%.*]], double** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double* [[Y:%.*]], double** [[Y_ADDR]], align 8
+// CHECK-NEXT:    store double* [[Z:%.*]], double** [[Z_ADDR]], align 8
 // CHECK-NEXT:    ret void
 //
 void foo(aligned_double x, double * y __attribute__((align_value(32))),
@@ -21,11 +20,10 @@ struct ad_struct {
   aligned_double a;
 };
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3fooR9ad_struct
-// CHECK-SAME: (%struct.ad_struct* nonnull align 8 dereferenceable(8) [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3fooR9ad_struct(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca %struct.ad_struct*, align 8
-// CHECK-NEXT:    store %struct.ad_struct* [[X]], %struct.ad_struct** [[X_ADDR]], align 8
+// CHECK-NEXT:    store %struct.ad_struct* [[X:%.*]], %struct.ad_struct** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load %struct.ad_struct*, %struct.ad_struct** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[A:%.*]] = getelementptr inbounds [[STRUCT_AD_STRUCT:%.*]], %struct.ad_struct* [[TMP0]], i32 0, i32 0
 // CHECK-NEXT:    [[TMP1:%.*]] = load double*, double** [[A]], align 8
@@ -37,11 +35,10 @@ double *foo(ad_struct& x) {
   return x.a;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3gooP9ad_struct
-// CHECK-SAME: (%struct.ad_struct* [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3gooP9ad_struct(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca %struct.ad_struct*, align 8
-// CHECK-NEXT:    store %struct.ad_struct* [[X]], %struct.ad_struct** [[X_ADDR]], align 8
+// CHECK-NEXT:    store %struct.ad_struct* [[X:%.*]], %struct.ad_struct** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load %struct.ad_struct*, %struct.ad_struct** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[A:%.*]] = getelementptr inbounds [[STRUCT_AD_STRUCT:%.*]], %struct.ad_struct* [[TMP0]], i32 0, i32 0
 // CHECK-NEXT:    [[TMP1:%.*]] = load double*, double** [[A]], align 8
@@ -53,11 +50,10 @@ double *goo(ad_struct *x) {
   return x->a;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3barPPd
-// CHECK-SAME: (double** [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3barPPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP1:%.*]] = load double*, double** [[TMP0]], align 8
 // CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(double* [[TMP1]], i64 64) ]
@@ -68,11 +64,10 @@ double *bar(aligned_double *x) {
   return *x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3carRPd
-// CHECK-SAME: (double** nonnull align 8 dereferenceable(8) [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3carRPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP1:%.*]] = load double*, double** [[TMP0]], align 8
 // CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(double* [[TMP1]], i64 64) ]
@@ -83,11 +78,10 @@ double *car(aligned_double &x) {
   return x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3darPPd
-// CHECK-SAME: (double** [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3darPPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds double*, double** [[TMP0]], i64 5
 // CHECK-NEXT:    [[TMP1:%.*]] = load double*, double** [[ARRAYIDX]], align 8
@@ -100,9 +94,9 @@ double *dar(aligned_double *x) {
 }
 
 aligned_double eep();
-// CHECK-LABEL: define {{[^@]+}}@_Z3retv() #0
+// CHECK-LABEL: @_Z3retv(
 // CHECK-NEXT:  entry:
-// CHECK-NEXT:    [[CALL:%.*]] = call double* @_Z3eepv()
+// CHECK-NEXT:    [[CALL:%.*]] = call noundef double* @_Z3eepv()
 // CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(double* [[CALL]], i64 64) ]
 // CHECK-NEXT:    ret double* [[CALL]]
 //
@@ -111,11 +105,10 @@ double *ret() {
   return eep();
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3no1PPd
-// CHECK-SAME: (double** [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3no1PPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    ret double** [[TMP0]]
 //
@@ -123,11 +116,10 @@ double **no1(aligned_double *x) {
   return x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3no2RPd
-// CHECK-SAME: (double** nonnull align 8 dereferenceable(8) [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3no2RPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    ret double** [[TMP0]]
 //
@@ -135,11 +127,10 @@ double *&no2(aligned_double &x) {
   return x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3no3RPd
-// CHECK-SAME: (double** nonnull align 8 dereferenceable(8) [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3no3RPd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double**, align 8
-// CHECK-NEXT:    store double** [[X]], double*** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double** [[X:%.*]], double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double**, double*** [[X_ADDR]], align 8
 // CHECK-NEXT:    ret double** [[TMP0]]
 //
@@ -147,11 +138,10 @@ double **no3(aligned_double &x) {
   return &x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3no3Pd
-// CHECK-SAME: (double* align 64 [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3no3Pd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double*, align 8
-// CHECK-NEXT:    store double* [[X]], double** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double* [[X:%.*]], double** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double*, double** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP1:%.*]] = load double, double* [[TMP0]], align 8
 // CHECK-NEXT:    ret double [[TMP1]]
@@ -160,11 +150,10 @@ double no3(aligned_double x) {
   return *x;
 }
 
-// CHECK-LABEL: define {{[^@]+}}@_Z3no4Pd
-// CHECK-SAME: (double* align 64 [[X:%.*]]) #0
+// CHECK-LABEL: @_Z3no4Pd(
 // CHECK-NEXT:  entry:
 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca double*, align 8
-// CHECK-NEXT:    store double* [[X]], double** [[X_ADDR]], align 8
+// CHECK-NEXT:    store double* [[X:%.*]], double** [[X_ADDR]], align 8
 // CHECK-NEXT:    [[TMP0:%.*]] = load double*, double** [[X_ADDR]], align 8
 // CHECK-NEXT:    ret double* [[TMP0]]
 //