Update CodeGen tests for constexpr and global initialization scenarios

Author: chaitanyav

clang/test/CodeGenCXX/builtin-assume-dereferenceable-constexpr.cpp

@@ -1,50 +1,56 @@
-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --include-generated-funcs
 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=c++14 -emit-llvm -o - %s | FileCheck %s
 
-constexpr int b = 10;
-int test_char_cast() {
-  const int f = (__builtin_assume_dereferenceable((char*)&b + 1, 3), 12);
-  return f;
+int b = 10;
+const int f = (__builtin_assume_dereferenceable((char*)&b + 1, 3), 12);
+int use_f = f;
+
+constexpr int g = 20;
+const int h = (__builtin_assume_dereferenceable((char*)&g + 1, 2), 42);
+int use_h = h;
+
+constexpr char arr[] = "hello";
+constexpr const char* ptr = arr + 1;
+constexpr int fully_constexpr() {
+  __builtin_assume_dereferenceable(ptr, 2);
+  return 100;
 }
+constexpr int i = fully_constexpr();
+int use_i = i;
 
-constexpr long long ll = 100;
-int test_void_cast() {
-  const int h = (__builtin_assume_dereferenceable((void*)&ll, 8), 99);
-  return h;
+void test_integral_ptr() {
+  __builtin_assume_dereferenceable((int*)0x1234, 4);
 }
 
-constexpr int gb = 10;
-const int gf = (__builtin_assume_dereferenceable((char*)&gb + 1, 3), 12);
-int ga = gf;
+void test_nullptr() {
+  __builtin_assume_dereferenceable(nullptr, 0);
+}
 
-// CHECK-LABEL: test_char_castv
-// CHECK:         [[F:%.*]] = alloca i32, align 4
-// CHECK-NEXT:    call void @llvm.assume(i1 true) [ "dereferenceable"(ptr getelementptr inbounds (i8, ptr @_ZL1b, i64 1), i64 3) ]
-// CHECK-NEXT:    store i32 12, ptr [[F]], align 4
-// CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[F]], align 4
-// CHECK-NEXT:    ret i32 [[TMP0]]
-//
-//
-// CHECK-LABEL: test_void_castv
-// CHECK:         [[H:%.*]] = alloca i32, align 4
-// CHECK-NEXT:    store i32 99, ptr [[H]], align 4
-// CHECK-NEXT:    ret i32 99
-//
+void test_zero_size() {
+  int x = 10;
+  __builtin_assume_dereferenceable(&x, 0);
+}
+
+void test_function_ptr() {
+  __builtin_assume_dereferenceable((void*)&test_zero_size, 8);
+}
+
+// CHECK: @use_i = global i32 100
 //
-// CHECK-LABEL: __cxx_global_var_init
-// CHECK:         [[TMP0:%.*]] = load i32, ptr @_ZL2gf, align 4
-// CHECK-NEXT:    store i32 [[TMP0]], ptr @ga, align 4
-// CHECK-NEXT:    ret void
+// CHECK: @{{_Z[0-9]+}}test_integral_ptrv
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr inttoptr (i64 4660 to ptr), i64 4) ]
 //
+// CHECK: @{{_Z[0-9]+}}test_nullptrv
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr null, i64 0) ]
 //
-// CHECK-LABEL: __cxx_global_var_init.1
-// CHECK:         call void @llvm.assume(i1 true) [ "dereferenceable"(ptr getelementptr inbounds (i8, ptr @_ZL2gb, i64 1), i64 3) ]
-// CHECK-NEXT:    store i32 12, ptr @_ZL2gf, align 4
-// CHECK-NEXT:    ret void
+// CHECK: @{{_Z[0-9]+}}test_zero_sizev
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr {{%.*}}, i64 0) ]
 //
+// CHECK: @{{_Z[0-9]+}}test_function_ptrv
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr @{{_Z[0-9]+}}test_zero_sizev, i64 8) ]
 //
-// CHECK-LABEL: _GLOBAL__sub_I_builtin_assume_dereferenceable_constexpr.cpp
-// CHECK:         call void @__cxx_global_var_init.1()
-// CHECK-NEXT:    call void @__cxx_global_var_init()
-// CHECK-NEXT:    ret void
+// CHECK: __cxx_global_var_init
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr getelementptr inbounds (i8, ptr @b, i64 1), i64 3) ]
 //
+// CHECK: __cxx_global_var_init
+// CHECK: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr getelementptr inbounds (i8, ptr @{{_ZL[0-9]+}}g, i64 1), i64 2) ]
+// CHECK: store i32 42, ptr @{{_ZL[0-9]+}}h