28 lines
954 B
LLVM
28 lines
954 B
LLVM
; REQUIRES: asserts
|
|
; RUN: opt < %s -disable-output -passes=rewrite-statepoints-for-gc
|
|
|
|
; We shouldn't crash when we encounter a vector phi with more than one input
|
|
; from the same predecessor.
|
|
define void @foo(<2 x i8 addrspace(1)*> %arg1, i32 %arg2, i1 %arg3, <2 x i64 addrspace(1)*> %arg4) gc "statepoint-example" personality i32* null {
|
|
bb:
|
|
%tmp = bitcast <2 x i8 addrspace(1)*> %arg1 to <2 x i64 addrspace(1)*>
|
|
switch i32 %arg2, label %bb2 [
|
|
i32 1, label %bb4
|
|
i32 2, label %bb4
|
|
]
|
|
|
|
bb2: ; preds = %bb
|
|
br i1 %arg3, label %bb8, label %bb4
|
|
|
|
bb4: ; preds = %bb2, %bb, %bb
|
|
%tmp5 = phi <2 x i64 addrspace(1)*> [ %tmp, %bb ], [ %tmp, %bb ], [ %arg4, %bb2 ]
|
|
call void @bar()
|
|
%tmp6 = extractelement <2 x i64 addrspace(1)*> %tmp5, i32 1
|
|
ret void
|
|
|
|
bb8: ; preds = %bb2
|
|
ret void
|
|
}
|
|
|
|
declare void @bar()
|