aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/MergeFunc/constexpr.ll
blob: 9997c5c8efa4a322036b400e5fad431ca31f1e7f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
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)
}