[llvm] 1ff9fb7 - [MergeFunc] Add tests for incorrect const expr merging (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2023-12-20T14:42:21+01:00
New Revision: 1ff9fb78c8bb87ffa8700523cd77e4e2bf000740

URL: https://github.com/llvm/llvm-project/commit/1ff9fb78c8bb87ffa8700523cd77e4e2bf000740
DIFF: https://github.com/llvm/llvm-project/commit/1ff9fb78c8bb87ffa8700523cd77e4e2bf000740.diff

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

Added: 
    llvm/test/Transforms/MergeFunc/constexpr.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/MergeFunc/constexpr.ll b/llvm/test/Transforms/MergeFunc/constexpr.ll
new file mode 100644
index 00000000000000..9997c5c8efa4a3
--- /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
+
+ at g1 = external unnamed_addr global i8
+ at 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)
+}