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
|
; RUN: opt -expand-constant-exprs %s.bc -S | FileCheck %s
@foo = external constant i32
define i32 @test(i32 %arg) {
entry:
switch i32 %arg, label %cont [
i32 1, label %cont
i32 2, label %nonconst
]
nonconst:
%cmp = icmp ne i32 %arg, 2
br i1 %cmp, label %cont, label %cont
; CHECK-LABEL: phi.constexpr:
; CHECK-NEXT: %constexpr = ptrtoint ptr @foo to i32
; CHECK-NEXT: %constexpr1 = or i32 %constexpr, 5
; CHECK-NEXT: br label %cont
; CHECK-LABEL: cont:
; CHECK-NEXT: %res = phi i32 [ %constexpr1, %phi.constexpr ], [ 1, %nonconst ], [ 1, %nonconst ]
; CHECK-NEXT: ret i32 %res
cont:
%res = phi i32 [or (i32 5, i32 ptrtoint (ptr @foo to i32)), %entry],
[or (i32 5, i32 ptrtoint (ptr @foo to i32)), %entry],
[1, %nonconst],
[1, %nonconst]
ret i32 %res
}
|
