; RUN: llvm-as < %s | opt -deadargelim | llvm-dis
; PR3807

define internal { i32, i32 } @foo() {
  ret {i32,i32} {i32 42, i32 4}
}

define i32 @bar() {
  %x = invoke {i32,i32} @foo() to label %T unwind label %T2
T:
  %y = extractvalue {i32,i32} %x, 1
  ret i32 %y
T2:
  unreachable
}

define i32 @bar2() {
entry:
  %x = invoke {i32,i32} @foo() to label %T unwind label %T2
T:
  %PN = phi i32 [0, %entry]
  %y = extractvalue {i32,i32} %x, 1
  ret i32 %y
T2:
  unreachable
}