aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/NewGVN/pair_jumpthread.ll
blob: 9e55cda82eb155b4c9e5c2172bc44178ab889ba9 (plain) (blame)
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -newgvn -jump-threading -S | FileCheck --check-prefix=CHECK-JT %s
; This test is expected to fail until the transformation is committed.
; XFAIL: *

define signext i32 @testBI(i32 signext %v) {
; Test with std::pair<bool, int>
; based on the following C++ code
; std::pair<bool, int> callee(int v) {
;   int a = dummy(v);
;   if (a) return std::make_pair(true, dummy(a));
;   else return std::make_pair(v < 0, v);
; }
; int func(int v) {
;   std::pair<bool, int> rc = callee(v);
;   if (rc.first) dummy(0);
;   return rc.second;
; }
; CHECK-LABEL: @testBI(
; CHECK:  _ZL6calleei.exit:
; CHECK:    [[PHIOFOPS:%.*]] = phi i64 [ 1, %if.then.i ], [ {{%.*}}, %if.else.i ]
; CHECK:    [[TOBOOL:%.*]] = icmp eq i64 [[PHIOFOPS]], 0
;
; CHECK-JT-LABEL: @testBI(
; CHECK-JT:       _ZL6calleei.exit.thread:
;

entry:
  %call.i = call signext i32 @dummy(i32 signext %v)
  %tobool.i = icmp eq i32 %call.i, 0
  br i1 %tobool.i, label %if.else.i, label %if.then.i

if.then.i:                                        ; preds = %entry
  %call2.i = call signext i32 @dummy(i32 signext %call.i)
  %retval.sroa.22.0.insert.ext.i.i = zext i32 %call2.i to i64
  %retval.sroa.22.0.insert.shift.i.i = shl nuw i64 %retval.sroa.22.0.insert.ext.i.i, 32
  %retval.sroa.0.0.insert.insert.i.i = or i64 %retval.sroa.22.0.insert.shift.i.i, 1
  br label %_ZL6calleei.exit

if.else.i:                                        ; preds = %entry
  %.lobit.i = lshr i32 %v, 31
  %0 = zext i32 %.lobit.i to i64
  %retval.sroa.22.0.insert.ext.i8.i = zext i32 %v to i64
  %retval.sroa.22.0.insert.shift.i9.i = shl nuw i64 %retval.sroa.22.0.insert.ext.i8.i, 32
  %retval.sroa.0.0.insert.insert.i11.i = or i64 %retval.sroa.22.0.insert.shift.i9.i, %0
  br label %_ZL6calleei.exit

_ZL6calleei.exit:                                 ; preds = %if.then.i, %if.else.i
  %retval.sroa.0.0.i = phi i64 [ %retval.sroa.0.0.insert.insert.i.i, %if.then.i ], [ %retval.sroa.0.0.insert.insert.i11.i, %if.else.i ]
  %rc.sroa.43.0.extract.shift = lshr i64 %retval.sroa.0.0.i, 32
  %rc.sroa.43.0.extract.trunc = trunc i64 %rc.sroa.43.0.extract.shift to i32
  %1 = and i64 %retval.sroa.0.0.i, 1
  %tobool = icmp eq i64 %1, 0
  br i1 %tobool, label %if.end, label %if.then

if.then:                                          ; preds = %_ZL6calleei.exit
  %call1 = call signext i32 @dummy(i32 signext 0)
  br label %if.end

if.end:                                           ; preds = %_ZL6calleei.exit, %if.then
  ret i32 %rc.sroa.43.0.extract.trunc
}


define signext i32 @testIB(i32 signext %v) {
; Test with std::pair<int, bool>
; based on the following C++ code
; std::pair<int, bool> callee(int v) {
;   int a = dummy(v);
;   if (a) return std::make_pair(dummy(v), true);
;   else return std::make_pair(v, v < 0);
; }
; int func(int v) {
;   std::pair<int, bool> rc = callee(v);
;   if (rc.second) dummy(0);
;   return rc.first;
; }
; CHECK-LABEL: @testIB(
; CHECK:  _ZL6calleei.exit:
; CHECK:     [[PHIOFOPS:%.*]] = phi i64 [ 4294967296, %if.then.i ], [ {{%.*}}, %if.else.i ]
; CHECK:     [[TOBOOL:%.*]] = icmp eq i64 [[PHIOFOPS]], 0
;
; CHECK-JT-LABEL: @testIB(
; CHECK-JT:       _ZL6calleei.exit.thread:
;

entry:
  %call.i = call signext i32 @dummy(i32 signext %v)
  %tobool.i = icmp eq i32 %call.i, 0
  br i1 %tobool.i, label %if.else.i, label %if.then.i

if.then.i:                                        ; preds = %entry
  %call1.i = call signext i32 @dummy(i32 signext %v)
  %retval.sroa.0.0.insert.ext.i.i = zext i32 %call1.i to i64
  %retval.sroa.0.0.insert.insert.i.i = or i64 %retval.sroa.0.0.insert.ext.i.i, 4294967296
  br label %_ZL6calleei.exit

if.else.i:                                        ; preds = %entry
  %.lobit.i = lshr i32 %v, 31
  %0 = zext i32 %.lobit.i to i64
  %retval.sroa.2.0.insert.shift.i8.i = shl nuw nsw i64 %0, 32
  %retval.sroa.0.0.insert.ext.i9.i = zext i32 %v to i64
  %retval.sroa.0.0.insert.insert.i10.i = or i64 %retval.sroa.2.0.insert.shift.i8.i, %retval.sroa.0.0.insert.ext.i9.i
  br label %_ZL6calleei.exit

_ZL6calleei.exit:                                 ; preds = %if.then.i, %if.else.i
  %retval.sroa.0.0.i = phi i64 [ %retval.sroa.0.0.insert.insert.i.i, %if.then.i ], [ %retval.sroa.0.0.insert.insert.i10.i, %if.else.i ]
  %rc.sroa.0.0.extract.trunc = trunc i64 %retval.sroa.0.0.i to i32
  %1 = and i64 %retval.sroa.0.0.i, 4294967296
  %tobool = icmp eq i64 %1, 0
  br i1 %tobool, label %if.end, label %if.then

if.then:                                          ; preds = %_ZL6calleei.exit
  %call1 = call signext i32 @dummy(i32 signext 0)
  br label %if.end

if.end:                                           ; preds = %_ZL6calleei.exit, %if.then
  ret i32 %rc.sroa.0.0.extract.trunc
}

declare signext i32 @dummy(i32 signext %v)