[PATCH] D64385: GodeGen: Add test to track emitStoresForConstant behavior

[Vitaly Buka via Phabricator via cfe-commits]

vitalybuka created this revision.
vitalybuka added reviewers: eugenis, pcc.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D64385

Files:
  clang/test/CodeGen/init-memset.c


Index: clang/test/CodeGen/init-memset.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/init-memset.c
@@ -0,0 +1,49 @@
+// R1UN: not %clang_cc1 -triple x86_64-unknown-unknown -O0 -emit-llvm -o - %s
+// RUN: %clang_cc1 -triple x86_64-unknown-unknown -O0 -emit-llvm -o - %s | 
FileCheck %s 
+
+
+
+void use(void*);
+
+void test_small() {
+  // CHECK-LABEL: define void @test_small()
+  int a[] = { 1, 2, 3, 4};
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_differen() {
+  // CHECK-LABEL: define void @test_differen()
+  int a[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_all_zeros() {
+  // CHECK-LABEL: define void @test_all_zeros()
+  int a[16] = { };
+  // CHECK: call void @llvm.memset.{{.*}}
+  use(a);
+}
+
+void test_all_a() {
+  // CHECK-LABEL: define void @test_all_a()
+  char a[] = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_most_zeros() {
+  // CHECK-LABEL: define void @test_most_zeros()
+  int a[16] = { 0, 0, 1};
+  // CHECK: call void @llvm.memset.{{.*}}
+  // CHECK: store i32 1
+  use(a);
+}
+
+void test_most_a() {
+  // CHECK-LABEL: define void @test_most_a()
+  char a[] = "aaaaazaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}



Index: clang/test/CodeGen/init-memset.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/init-memset.c
@@ -0,0 +1,49 @@
+// R1UN: not %clang_cc1 -triple x86_64-unknown-unknown -O0 -emit-llvm -o - %s
+// RUN: %clang_cc1 -triple x86_64-unknown-unknown -O0 -emit-llvm -o - %s | FileCheck %s 
+
+
+
+void use(void*);
+
+void test_small() {
+  // CHECK-LABEL: define void @test_small()
+  int a[] = { 1, 2, 3, 4};
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_differen() {
+  // CHECK-LABEL: define void @test_differen()
+  int a[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_all_zeros() {
+  // CHECK-LABEL: define void @test_all_zeros()
+  int a[16] = { };
+  // CHECK: call void @llvm.memset.{{.*}}
+  use(a);
+}
+
+void test_all_a() {
+  // CHECK-LABEL: define void @test_all_a()
+  char a[] = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}
+
+void test_most_zeros() {
+  // CHECK-LABEL: define void @test_most_zeros()
+  int a[16] = { 0, 0, 1};
+  // CHECK: call void @llvm.memset.{{.*}}
+  // CHECK: store i32 1
+  use(a);
+}
+
+void test_most_a() {
+  // CHECK-LABEL: define void @test_most_a()
+  char a[] = "aaaaazaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
+  // CHECK: call void @llvm.memcpy.{{.*}}
+  use(a);
+}

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits