intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-28 10:38:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Nikita Popov
2023-12-20 14:41:52 +01:00
parent d9803841f2
commit 1ff9fb78c8
1 changed files with 50 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
llvm/test/Transforms/MergeFunc/constexpr.ll Normal file
View File

@@ -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)
}