[llvm] 999aa6b - [GlobalOpt] Add tests for PR55859 (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2022-06-24T16:06:37+02:00
New Revision: 999aa6bf7f76329662bea46d7bfc29b9149b8827

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

LOG: [GlobalOpt] Add tests for PR55859 (NFC)

Added: 
    llvm/test/Transforms/GlobalOpt/ctor-memset.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/GlobalOpt/ctor-memset.ll b/llvm/test/Transforms/GlobalOpt/ctor-memset.ll
new file mode 100644
index 0000000000000..74d93a96d0be3
--- /dev/null
+++ b/llvm/test/Transforms/GlobalOpt/ctor-memset.ll
@@ -0,0 +1,70 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
+; RUN: opt -S -globalopt < %s | FileCheck %s
+
+ at llvm.global_ctors = appending global [6 x { i32, ptr, ptr }] [
+  { i32, ptr, ptr } { i32 65535, ptr @ctor0, ptr null },
+  { i32, ptr, ptr } { i32 65535, ptr @ctor1, ptr null },
+  { i32, ptr, ptr } { i32 65535, ptr @ctor2, ptr null },
+  { i32, ptr, ptr } { i32 65535, ptr @ctor3, ptr null },
+  { i32, ptr, ptr } { i32 65535, ptr @ctor4, ptr null },
+  { i32, ptr, ptr } { i32 65535, ptr @ctor5, ptr null }
+]
+
+;.
+; CHECK: @[[LLVM_GLOBAL_CTORS:[a-zA-Z0-9_$"\\.-]+]] = appending global [0 x { i32, ptr, ptr }] zeroinitializer
+; CHECK: @[[G0:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i32, i32 } zeroinitializer
+; CHECK: @[[G1:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i32, i32, i32 } { i32 0, i32 0, i32 1 }
+; CHECK: @[[G2:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i32, i32, i32 } { i32 1, i32 0, i32 0 }
+; CHECK: @[[G3:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i32, i32 } { i32 0, i32 1 }
+; CHECK: @[[G4:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i32, i32 } { i32 0, i32 undef }
+; CHECK: @[[G5:[a-zA-Z0-9_$"\\.-]+]] = local_unnamed_addr global { i16, i32 } { i16 0, i32 1 }
+;.
+
+; memset of all-zero global
+ at g0 = global { i32, i32 } zeroinitializer
+define internal void @ctor0() {
+  call void @llvm.memset.p0.i64(ptr @g0, i8 0, i64 8, i1 false)
+  ret void
+}
+
+; memset of zero prefix
+ at g1 = global { i32, i32, i32 } { i32 0, i32 0, i32 1 }
+
+define internal void @ctor1() {
+  call void @llvm.memset.p0.i64(ptr @g1, i8 0, i64 8, i1 false)
+  ret void
+}
+
+; memset of zero suffix
+ at g2 = global { i32, i32, i32 } { i32 1, i32 0, i32 0 }
+
+define internal void @ctor2() {
+  call void @llvm.memset.p0.i64(ptr getelementptr (i32, ptr @g2, i64 1), i8 0, i64 8, i1 false)
+  ret void
+}
+
+; memset of some non-zero bytes
+ at g3 = global { i32, i32 } { i32 0, i32 1 }
+
+define internal void @ctor3() {
+  call void @llvm.memset.p0.i64(ptr @g3, i8 0, i64 8, i1 false)
+  ret void
+}
+
+; memset of some undef bytes
+ at g4 = global { i32, i32 } { i32 0, i32 undef }
+
+define internal void @ctor4() {
+  call void @llvm.memset.p0.i64(ptr @g4, i8 0, i64 8, i1 false)
+  ret void
+}
+
+; memset including padding bytes
+ at g5 = global { i16, i32 } { i16 0, i32 1 }
+
+define internal void @ctor5() {
+  call void @llvm.memset.p0.i64(ptr @g5, i8 0, i64 4, i1 false)
+  ret void
+}
+
+declare void @llvm.memset.p0.i64(ptr, i8, i64, i1)