loop1:
  ...
  br label %loop2

loop2:                                            ; preds = %loop1, %ifcont
  %idx = phi i32 [ 0, %loop1 ], [ %40, %ifcont ]
  %33 = icmp sge <4 x i32> %i, <i32 20, i32 20, i32 20, i32 20>
  %34 = icmp eq <4 x i32> %j, <i32 21, i32 21, i32 21, i32 21>
  %.lhs = extractelement <4 x i1> %34, i32 %idx
  %.rhs = extractelement <4 x i1> %33, i32 %idx
  %35 = and i1 %.lhs, %.rhs
  br i1 %35, label %then, label %ifcont

then:                                             ; preds = %loop2
  %36 = extractelement <4 x i32> %i, i32 %idx
  %37 = extractelement <4 x i32> %j, i32 %idx
  %38 = extractelement <4 x double> %k, i32 %idx
  call void @outputInt(i32 %36)
  call void @outputInt(i32 %37)
  call void @outputDouble(double %38)
  br label %ifcont

ifcont:                                           ; preds = %then, %loop2
  %39 = add i32 %idx, 1
  %40 = icmp ult i32 %40, 4
  br i1 %40, label %loop2, label %afterLoop