diff options
Diffstat (limited to 'llvm/test/Transforms/MergeFunc/constexpr.ll')
| -rw-r--r-- | llvm/test/Transforms/MergeFunc/constexpr.ll | 50 |
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) +} |