[MergeFunc] Add tests for incorrect const expr merging (NFC)

1 files changed, 50 insertions, 0 deletions

diff --git a/llvm/test/Transforms/MergeFunc/constexpr.ll b/llvm/test/Transforms/MergeFunc/constexpr.ll
new file mode 100644
index 0000000..9997c5c
--- /dev/null
+++ b/llvm/test/Transforms/MergeFunc/constexpr.ll
@@ -0,0 +1,50 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 4
+; RUN: opt -S -passes=mergefunc -mergefunc-use-aliases < %s | FileCheck %s
+
+@g1 = external unnamed_addr global i8
+@g2 = external unnamed_addr global i8
+
+;.
+; CHECK: @g1 = external unnamed_addr global i8
+; CHECK: @g2 = external unnamed_addr global i8
+; CHECK: @f2 = unnamed_addr alias i1 (), ptr @f1
+; CHECK: @f4 = unnamed_addr alias ptr (), ptr @f3
+; CHECK: @f5 = unnamed_addr alias ptr (), ptr @f3
+; CHECK: @f7 = unnamed_addr alias i64 (), ptr @f6
+;.
+define i1 @f1() unnamed_addr {
+; CHECK-LABEL: define i1 @f1() unnamed_addr {
+; CHECK-NEXT:    ret i1 icmp eq (ptr @g1, ptr @g2)
+;
+  ret i1 icmp eq (ptr @g1, ptr @g2)
+}
+
+define i1 @f2() unnamed_addr {
+  ret i1 icmp ne (ptr @g1, ptr @g2)
+}
+
+define ptr @f3() unnamed_addr {
+; CHECK-LABEL: define ptr @f3() unnamed_addr {
+; CHECK-NEXT:    ret ptr getelementptr inbounds (i8, ptr @g1, i64 1)
+;
+  ret ptr getelementptr (i8, ptr @g1, i64 1)
+}
+
+define ptr @f4() unnamed_addr {
+  ret ptr getelementptr (i16, ptr @g1, i64 1)
+}
+
+define ptr @f5() unnamed_addr {
+  ret ptr getelementptr inbounds (i8, ptr @g1, i64 1)
+}
+
+define i64 @f6() unnamed_addr {
+; CHECK-LABEL: define i64 @f6() unnamed_addr {
+; CHECK-NEXT:    ret i64 add nuw (i64 ptrtoint (ptr @g1 to i64), i64 1)
+;
+  ret i64 add nuw (i64 ptrtoint (ptr @g1 to i64), i64 1)
+}
+
+define i64 @f7() unnamed_addr {
+  ret i64 add (i64 ptrtoint (ptr @g1 to i64), i64 1)
+}