xref: /llvm-project/llvm/test/Transforms/RewriteStatepointsForGC/phi-vector-bitcast.ll (revision f01a3a893c147c1594b9a3fbd817456b209dabbf)
1a9998952SDaniil Suchkov; REQUIRES: asserts
2a9998952SDaniil Suchkov; RUN: opt < %s -disable-output -passes=rewrite-statepoints-for-gc
3a9998952SDaniil Suchkov
4a9998952SDaniil Suchkov; We shouldn't crash when we encounter a vector phi with more than one input
5a9998952SDaniil Suchkov; from the same predecessor.
6*f01a3a89SNikita Popovdefine void @foo(<2 x ptr addrspace(1)> %arg1, i32 %arg2, i1 %arg3, <2 x ptr addrspace(1)> %arg4) gc "statepoint-example" personality ptr null {
7a9998952SDaniil Suchkovbb:
8*f01a3a89SNikita Popov  %tmp = bitcast <2 x ptr addrspace(1)> %arg1 to <2 x ptr addrspace(1)>
9a9998952SDaniil Suchkov  switch i32 %arg2, label %bb2 [
10a9998952SDaniil Suchkov    i32 1, label %bb4
11a9998952SDaniil Suchkov    i32 2, label %bb4
12a9998952SDaniil Suchkov  ]
13a9998952SDaniil Suchkov
14a9998952SDaniil Suchkovbb2:                                              ; preds = %bb
15a9998952SDaniil Suchkov  br i1 %arg3, label %bb8, label %bb4
16a9998952SDaniil Suchkov
17a9998952SDaniil Suchkovbb4:                                              ; preds = %bb2, %bb, %bb
18*f01a3a89SNikita Popov  %tmp5 = phi <2 x ptr addrspace(1)> [ %tmp, %bb ], [ %tmp, %bb ], [ %arg4, %bb2 ]
19a9998952SDaniil Suchkov  call void @bar()
20*f01a3a89SNikita Popov  %tmp6 = extractelement <2 x ptr addrspace(1)> %tmp5, i32 1
21a9998952SDaniil Suchkov  ret void
22a9998952SDaniil Suchkov
23a9998952SDaniil Suchkovbb8:                                              ; preds = %bb2
24a9998952SDaniil Suchkov  ret void
25a9998952SDaniil Suchkov}
26a9998952SDaniil Suchkov
27a9998952SDaniil Suchkovdeclare void @bar()
28