xref: /llvm-project/llvm/test/CodeGen/ARM/interval-update-remat.ll (revision bed1c7f061aa12417aa081e334afdba45767b938)
1; RUN: llc -verify-regalloc < %s
2; PR27275: When enabling remat for vreg defined by PHIs, make sure the update
3; of the live range removes dead phi. Otherwise, we may end up with PHIs with
4; incorrect operands and that will trigger assertions or verifier failures
5; in later passes.
6
7target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
8target triple = "thumbv7-apple-ios9.0.0"
9
10%class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326 = type { %class.MockTransportClientSocketPool.0.225.275.1300.2325, i32 }
11%class.MockTransportClientSocketPool.0.225.275.1300.2325 = type { i8 }
12%class.StaticSocketDataProvider.6.231.281.1306.2331 = type { i8, %struct.MockConnect.5.230.280.1305.2330 }
13%struct.MockConnect.5.230.280.1305.2330 = type { %class.IPEndPoint.4.229.279.1304.2329 }
14%class.IPEndPoint.4.229.279.1304.2329 = type { %class.IPAddress.3.228.278.1303.2328 }
15%class.IPAddress.3.228.278.1303.2328 = type { %"class.(anonymous namespace)::vector.2.227.277.1302.2327" }
16%"class.(anonymous namespace)::vector.2.227.277.1302.2327" = type { i8 }
17%class.TestCompletionCallback.9.234.284.1309.2334 = type { %class.TestCompletionCallbackTemplate.8.233.283.1308.2333, i32 }
18%class.TestCompletionCallbackTemplate.8.233.283.1308.2333 = type { i32 }
19%class.AssertionResult.24.249.299.1324.2349 = type { i8, %class.scoped_ptr.23.248.298.1323.2348 }
20%class.scoped_ptr.23.248.298.1323.2348 = type { ptr }
21%class.Trans_NS___1_basic_string.18.243.293.1318.2343 = type { %class.Trans_NS___1___libcpp_compressed_pair_imp.17.242.292.1317.2342 }
22%class.Trans_NS___1___libcpp_compressed_pair_imp.17.242.292.1317.2342 = type { %"struct.Trans_NS___1_basic_string<char, int, int>::__rep.16.241.291.1316.2341" }
23%"struct.Trans_NS___1_basic_string<char, int, int>::__rep.16.241.291.1316.2341" = type { %"struct.Trans_NS___1_basic_string<char, int, int>::__long.15.240.290.1315.2340" }
24%"struct.Trans_NS___1_basic_string<char, int, int>::__long.15.240.290.1315.2340" = type { i64, i32 }
25%class.AssertHelper.10.235.285.1310.2335 = type { i8 }
26%class.Message.13.238.288.1313.2338 = type { %class.scoped_ptr.0.12.237.287.1312.2337 }
27%class.scoped_ptr.0.12.237.287.1312.2337 = type { ptr }
28%"class.(anonymous namespace)::basic_stringstream.11.236.286.1311.2336" = type { i8 }
29%class.scoped_refptr.19.244.294.1319.2344 = type { i8 }
30%class.BoundNetLog.20.245.295.1320.2345 = type { i32 }
31%struct.MockReadWrite.7.232.282.1307.2332 = type { i32 }
32%"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347" = type { i8 }
33%class.ClientSocketHandle.14.239.289.1314.2339 = type { i8 }
34%"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346" = type { i8 }
35
36@.str = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
37
38define void @_ZN53SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test6m_fn10Ev(ptr %this) align 2 {
39entry:
40  %socket_data = alloca %class.StaticSocketDataProvider.6.231.281.1306.2331, align 1
41  %agg.tmp = alloca %struct.MockConnect.5.230.280.1305.2330, align 1
42  %callback = alloca %class.TestCompletionCallback.9.234.284.1309.2334, align 4
43  %gtest_ar = alloca %class.AssertionResult.24.249.299.1324.2349, align 4
44  %temp.lvalue = alloca %class.AssertHelper.10.235.285.1310.2335, align 1
45  %agg.tmp10 = alloca %class.Message.13.238.288.1313.2338, align 4
46  %ref.tmp = alloca %class.Trans_NS___1_basic_string.18.243.293.1318.2343, align 4
47  %agg.tmp16 = alloca %class.scoped_refptr.19.244.294.1319.2344, align 1
48  %agg.tmp18 = alloca %class.BoundNetLog.20.245.295.1320.2345, align 4
49  %call2 = call ptr @_ZN24StaticSocketDataProviderC1EP13MockReadWritejS1_j(ptr nonnull %socket_data, ptr undef, i32 1, ptr null, i32 0)
50  %call3 = call ptr @_ZN11MockConnectC1Ev(ptr nonnull %agg.tmp)
51  call void @_ZN24StaticSocketDataProvider5m_fn8E11MockConnect(ptr nonnull %socket_data, ptr nonnull %agg.tmp)
52  %call5 = call ptr @_ZN22TestCompletionCallbackC1Ev(ptr nonnull %callback)
53  %call6 = call i32 @_ZN29MockTransportClientSocketPool5m_fn9Ev(ptr %this)
54  call void @_Z11CmpHelperEQPcS_xx(ptr nonnull sret(%class.AssertionResult.24.249.299.1324.2349) %gtest_ar, ptr @.str, ptr @.str, i64 0, i64 undef)
55  %tmp = load i8, ptr undef, align 4
56  %tobool.i = icmp eq i8 %tmp, 0
57  br i1 %tobool.i, label %if.else, label %if.end
58
59if.else:                                          ; preds = %entry
60  br i1 undef, label %_ZN15AssertionResult5m_fn6Ev.exit, label %cond.true.i
61
62cond.true.i:                                      ; preds = %if.else
63  %call4.i = call ptr @_ZN25Trans_NS___1_basic_stringIciiE5m_fn1Ev(ptr nonnull undef)
64  br label %_ZN15AssertionResult5m_fn6Ev.exit
65
66_ZN15AssertionResult5m_fn6Ev.exit:                ; preds = %cond.true.i, %if.else
67  %cond.i = phi ptr [ %call4.i, %cond.true.i ], [ @.str, %if.else ]
68  %call9 = call ptr @_ZN12AssertHelperC1EPKc(ptr nonnull %temp.lvalue, ptr %cond.i)
69  %call11 = call ptr @_ZN7MessageC1Ev(ptr nonnull %agg.tmp10)
70  call void @_ZN12AssertHelperaSE7Message(ptr nonnull %temp.lvalue, ptr nonnull %agg.tmp10)
71  %call.i.i.i.i27 = call zeroext i1 @_Z6IsTruev()
72  %brmerge = or i1 false, undef
73  br i1 %brmerge, label %_ZN7MessageD1Ev.exit33, label %delete.notnull.i.i.i.i32
74
75delete.notnull.i.i.i.i32:                         ; preds = %_ZN15AssertionResult5m_fn6Ev.exit
76  %call.i.i.i.i.i.i31 = call ptr @_ZN12_GLOBAL__N_114basic_iostreamD2Ev(ptr undef)
77  call void @_ZdlPv(ptr undef)
78  br label %_ZN7MessageD1Ev.exit33
79
80_ZN7MessageD1Ev.exit33:                           ; preds = %delete.notnull.i.i.i.i32, %_ZN15AssertionResult5m_fn6Ev.exit
81  %call13 = call ptr @_ZN12AssertHelperD1Ev(ptr nonnull %temp.lvalue)
82  br label %if.end
83
84if.end:                                           ; preds = %_ZN7MessageD1Ev.exit33, %entry
85  %message_.i.i = getelementptr inbounds %class.AssertionResult.24.249.299.1324.2349, ptr %gtest_ar, i32 0, i32 1
86  %call.i.i.i = call ptr @_ZN10scoped_ptrI25Trans_NS___1_basic_stringIciiEED2Ev(ptr %message_.i.i)
87  call void @llvm.memset.p0.i32(ptr align 4 null, i8 0, i32 12, i1 false)
88  call void @_ZN25Trans_NS___1_basic_stringIciiE5m_fn2Ev(ptr nonnull %ref.tmp)
89  call void @_Z19CreateSOCKSv5Paramsv(ptr nonnull sret(%class.scoped_refptr.19.244.294.1319.2344) %agg.tmp16)
90  %callback_.i = getelementptr inbounds %class.TestCompletionCallback.9.234.284.1309.2334, ptr %callback, i32 0, i32 1
91  %pool_ = getelementptr inbounds %class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326, ptr %this, i32 0, i32 1
92  store i32 0, ptr %agg.tmp18, align 4
93  call void @_ZN18ClientSocketHandle5m_fn3IPiEEvRK25Trans_NS___1_basic_stringIciiE13scoped_refptr15RequestPriorityN16ClientSocketPool13RespectLimitsERiT_11BoundNetLog(ptr nonnull undef, ptr nonnull dereferenceable(12) %ref.tmp, ptr nonnull %agg.tmp16, i32 0, i32 1, ptr nonnull dereferenceable(4) %callback_.i, ptr %pool_, ptr nonnull %agg.tmp18)
94  %call19 = call ptr @_ZN11BoundNetLogD1Ev(ptr nonnull %agg.tmp18)
95  call void @_Z11CmpHelperEQPcS_xx(ptr nonnull sret(%class.AssertionResult.24.249.299.1324.2349) undef, ptr @.str, ptr @.str, i64 -1, i64 0)
96  br i1 undef, label %if.then.i.i.i.i, label %_ZN7MessageD1Ev.exit
97
98if.then.i.i.i.i:                                  ; preds = %if.end
99  %tmp2 = load ptr, ptr undef, align 4
100  br label %_ZN7MessageD1Ev.exit
101
102_ZN7MessageD1Ev.exit:                             ; preds = %if.then.i.i.i.i, %if.end
103  %connect_.i.i = getelementptr inbounds %class.StaticSocketDataProvider.6.231.281.1306.2331, ptr %socket_data, i32 0, i32 1
104  %call.i.i.i.i.i.i.i.i.i.i = call ptr @_ZN12_GLOBAL__N_113__vector_baseD2Ev(ptr %connect_.i.i)
105  ret void
106}
107
108; Function Attrs: argmemonly nounwind
109declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #0
110
111declare ptr @_ZN24StaticSocketDataProviderC1EP13MockReadWritejS1_j(ptr returned, ptr, i32, ptr, i32) unnamed_addr
112
113declare void @_ZN24StaticSocketDataProvider5m_fn8E11MockConnect(ptr, ptr)
114
115declare ptr @_ZN11MockConnectC1Ev(ptr returned) unnamed_addr
116
117declare ptr @_ZN22TestCompletionCallbackC1Ev(ptr returned) unnamed_addr
118
119declare i32 @_ZN29MockTransportClientSocketPool5m_fn9Ev(ptr)
120
121declare ptr @_ZN12AssertHelperC1EPKc(ptr returned, ptr) unnamed_addr
122
123declare void @_ZN12AssertHelperaSE7Message(ptr, ptr)
124
125declare ptr @_ZN7MessageC1Ev(ptr returned) unnamed_addr
126
127declare ptr @_ZN12AssertHelperD1Ev(ptr returned) unnamed_addr
128
129; Function Attrs: argmemonly nounwind
130declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #0
131
132declare void @_ZN18ClientSocketHandle5m_fn3IPiEEvRK25Trans_NS___1_basic_stringIciiE13scoped_refptr15RequestPriorityN16ClientSocketPool13RespectLimitsERiT_11BoundNetLog(ptr, ptr dereferenceable(12), ptr, i32, i32, ptr dereferenceable(4), ptr, ptr)
133
134declare void @_Z19CreateSOCKSv5Paramsv(ptr sret(%class.scoped_refptr.19.244.294.1319.2344))
135
136; Function Attrs: argmemonly nounwind
137declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) #0
138
139declare ptr @_ZN11BoundNetLogD1Ev(ptr returned) unnamed_addr
140
141declare ptr @_ZN13scoped_refptrD1Ev(ptr returned) unnamed_addr
142
143declare ptr @_ZN12_GLOBAL__N_113__vector_baseD2Ev(ptr returned) unnamed_addr
144
145declare ptr @_ZN25Trans_NS___1_basic_stringIciiE5m_fn1Ev(ptr)
146
147declare zeroext i1 @_Z6IsTruev()
148
149declare void @_ZdlPv(ptr)
150
151declare ptr @_ZN12_GLOBAL__N_114basic_iostreamD2Ev(ptr returned) unnamed_addr
152
153declare ptr @_ZN10scoped_ptrI25Trans_NS___1_basic_stringIciiEED2Ev(ptr readonly returned) unnamed_addr align 2
154
155declare void @_Z11CmpHelperEQPcS_xx(ptr sret(%class.AssertionResult.24.249.299.1324.2349), ptr, ptr, i64, i64)
156
157declare void @_ZN25Trans_NS___1_basic_stringIciiE5m_fn2Ev(ptr)
158
159attributes #0 = { argmemonly nounwind }
160