; RUN: llvm-extract -S --bb=func:bb4 -aggregate-extracted-args=0 < %s | FileCheck %s

; FIXME: aggregate-extracted-args doesn't work for other reasons
; XUN: llvm-extract -S --bb=func:bb4 -aggregate-extracted-args=1 < %s | FileCheck %s

target datalayout = "A5-G1-ni:7"

; Check that there's no assert from incorrect pointer types used in the new arguments.

; CHECK-LABEL: define dso_local void @func.bb4(i32 %orig.arg.0, ptr addrspace(5) %tmp1.out, ptr addrspace(5) %add.out) {
; CHECK: bb4:
; CHECK-NEXT: %tmp0 = add i32 0, 0
; CHECK-NEXT: %tmp1 = add i32 1, 1
; CHECK-NEXT: store i32 %tmp1, ptr addrspace(5) %tmp1.out, align 4
; CHECK-NEXT: %add = add i32 %tmp0, %orig.arg.0
; CHECK-NEXT: store i32 %add, ptr addrspace(5) %add.out, align 4
; CHECK-NEXT: br label %bb5.exitStub
define void @func(i32 %orig.arg.0, ptr addrspace(1) %orig.arg.1) {
bb:
  br label %bb4

bb4:                                              ; preds = %bb
  %tmp0 = add i32 0, 0
  %tmp1 = add i32 1, 1
  %add = add i32 %tmp0, %orig.arg.0
  br label %bb5

bb5:                                              ; preds = %bb5, %bb4
  %tmp6 = phi i32 [ %add, %bb4 ], [ 0, %bb5 ]
  %tmp7 = phi i32 [ %tmp1, %bb4 ], [ 2, %bb5 ]
  br label %bb5
}