char **dupargv(argv)
char **argv;
{
  int argc;
  char **copy;
  if (argv == 0)
    return 0;
  for (argc = 0; argv[argc] != 0; argc++)
    ;
  copy = (char **)malloc((argc + 1) * sizeof(char *));
  if (copy == 0)
    return 0;
  for (argc = 0; argv[argc] != 0; argc++) {
    int len = strlen(argv[argc]);
    copy[argc] = malloc(sizeof(char *) * (len + 1));
    if (copy[argc] == 0) {
      freeargv(copy);
      return 0;
    }
    strcpy(copy[argc], argv[argc]);
  }
  copy[argc] = 0;
  return copy;
}


x86 assembly (clang, -O0):
<dupargv>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1164 <dupargv+0x24>
movq   $0x0,-0x8(%rbp)
jmp    127c <dupargv+0x13c>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     1191 <dupargv+0x51>
jmp    1183 <dupargv+0x43>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116b <dupargv+0x2b>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdi
shl    $0x3,%rdi
call   1060 <malloc@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    11bf <dupargv+0x7f>
movq   $0x0,-0x8(%rbp)
jmp    127c <dupargv+0x13c>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     1264 <dupargv+0x124>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdi
shl    $0x3,%rdi
call   1060 <malloc@plt>
mov    %rax,%rdx
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    1239 <dupargv+0xf9>
mov    -0x20(%rbp),%rdi
mov    $0x0,%al
call   1050 <freeargv@plt>
movq   $0x0,-0x8(%rbp)
jmp    127c <dupargv+0x13c>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
call   1030 <strcpy@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11c6 <dupargv+0x86>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
movq   $0x0,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dupargv>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %rdi,%rdi
je     11f5 <dupargv+0xb5>
mov    %rdi,%r15
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
cmpq   $0x0,(%r15,%rdi,1)
lea    0x8(%rdi),%rdi
jne    1160 <dupargv+0x20>
movabs $0x7fffffff8,%rax
and    %rax,%rdi
call   1060 <malloc@plt>
test   %rax,%rax
je     11f5 <dupargv+0xb5>
mov    %rax,%r14
mov    (%r15),%r12
test   %r12,%r12
je     11df <dupargv+0x9f>
xor    %ebx,%ebx
movabs $0x100000000,%r13
nopl   0x0(%rax)
mov    %r12,%rdi
call   1040 <strlen@plt>
shl    $0x20,%rax
lea    (%rax,%r13,1),%rdi
sar    $0x1d,%rdi
call   1060 <malloc@plt>
mov    %rax,(%r14,%rbx,8)
test   %rax,%rax
je     11eb <dupargv+0xab>
mov    %rax,%rdi
mov    %r12,%rsi
call   1030 <strcpy@plt>
mov    0x8(%r15,%rbx,8),%r12
add    $0x1,%rbx
test   %r12,%r12
jne    11a0 <dupargv+0x60>
mov    %ebx,%eax
jmp    11e1 <dupargv+0xa1>
xor    %eax,%eax
movq   $0x0,(%r14,%rax,8)
jmp    11f8 <dupargv+0xb8>
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <freeargv@plt>
xor    %r14d,%r14d
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i8** @dupargv(i8** %0) {
%2 = alloca i8**
%3 = alloca i8**
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
store i8** %0, i8*** %3
%7 = load i8**, i8*** %3
%8 = icmp eq i8** %7, null
br i1 %8, label %9, label %10
9: ; preds = %1
store i8** null, i8*** %2
br label %87
10: ; preds = %1
store i32 0, i32* %4
br label %11
11: ; preds = %19, %10
%12 = load i8**, i8*** %3
%13 = load i32, i32* %4
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8*, i8** %12, i64 %14
%16 = load i8*, i8** %15
%17 = icmp ne i8* %16, null
br i1 %17, label %18, label %22
18: ; preds = %11
br label %19
19: ; preds = %18
%20 = load i32, i32* %4
%21 = add nsw i32 %20, 1
store i32 %21, i32* %4
br label %11
22: ; preds = %11
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = mul i64 %25, 8
%27 = call i8* @malloc(i64 %26)
%28 = bitcast i8* %27 to i8**
store i8** %28, i8*** %5
%29 = load i8**, i8*** %5
%30 = icmp eq i8** %29, null
br i1 %30, label %31, label %32
31: ; preds = %22
store i8** null, i8*** %2
br label %87
32: ; preds = %22
store i32 0, i32* %4
br label %33
33: ; preds = %78, %32
%34 = load i8**, i8*** %3
%35 = load i32, i32* %4
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8*, i8** %34, i64 %36
%38 = load i8*, i8** %37
%39 = icmp ne i8* %38, null
br i1 %39, label %40, label %81
40: ; preds = %33
%41 = load i8**, i8*** %3
%42 = load i32, i32* %4
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8*, i8** %41, i64 %43
%45 = load i8*, i8** %44
%46 = call i64 @strlen(i8* %45)
%47 = trunc i64 %46 to i32
store i32 %47, i32* %6
%48 = load i32, i32* %6
%49 = add nsw i32 %48, 1
%50 = sext i32 %49 to i64
%51 = mul i64 8, %50
%52 = call i8* @malloc(i64 %51)
%53 = load i8**, i8*** %5
%54 = load i32, i32* %4
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8*, i8** %53, i64 %55
store i8* %52, i8** %56
%57 = load i8**, i8*** %5
%58 = load i32, i32* %4
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8*, i8** %57, i64 %59
%61 = load i8*, i8** %60
%62 = icmp eq i8* %61, null
br i1 %62, label %63, label %66
63: ; preds = %40
%64 = load i8**, i8*** %5
%65 = call i32 (i8**, ...) bitcast (i32 (...)* @freeargv to i32 (i8**, ...)*)(i8** %64)
store i8** null, i8*** %2
br label %87
66: ; preds = %40
%67 = load i8**, i8*** %5
%68 = load i32, i32* %4
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8*, i8** %67, i64 %69
%71 = load i8*, i8** %70
%72 = load i8**, i8*** %3
%73 = load i32, i32* %4
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i8*, i8** %72, i64 %74
%76 = load i8*, i8** %75
%77 = call i8* @strcpy(i8* %71, i8* %76)
br label %78
78: ; preds = %66
%79 = load i32, i32* %4
%80 = add nsw i32 %79, 1
store i32 %80, i32* %4
br label %33
81: ; preds = %33
%82 = load i8**, i8*** %5
%83 = load i32, i32* %4
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8*, i8** %82, i64 %84
store i8* null, i8** %85
%86 = load i8**, i8*** %5
store i8** %86, i8*** %2
br label %87
87: ; preds = %81, %63, %31, %9
%88 = load i8**, i8*** %2
ret i8** %88
}

LLVM IR (-O2):
define i8** @dupargv(i8** %0) {
%2 = icmp eq i8** %0, null
br i1 %2, label %42, label %3
3: ; preds = %1, %3
%4 = phi i64 [ %8, %3 ], [ 0, %1 ]
%5 = getelementptr inbounds i8*, i8** %0, i64 %4
%6 = load i8*, i8** %5
%7 = icmp eq i8* %6, null
%8 = add nuw i64 %4, 1
br i1 %7, label %9, label %3
9: ; preds = %3
%10 = shl i64 %4, 3
%11 = add i64 %10, 8
%12 = and i64 %11, 34359738360
%13 = tail call i8* @malloc(i64 %12)
%14 = bitcast i8* %13 to i8**
%15 = icmp eq i8* %13, null
br i1 %15, label %42, label %16
16: ; preds = %9
%17 = load i8*, i8** %0
%18 = icmp eq i8* %17, null
br i1 %18, label %39, label %19
19: ; preds = %16, %31
%20 = phi i64 [ %33, %31 ], [ 0, %16 ]
%21 = phi i8* [ %35, %31 ], [ %17, %16 ]
%22 = tail call i64 @strlen(i8* %21)
%23 = shl i64 %22, 32
%24 = add i64 %23, 4294967296
%25 = ashr exact i64 %24, 29
%26 = tail call i8* @malloc(i64 %25)
%27 = getelementptr inbounds i8*, i8** %14, i64 %20
store i8* %26, i8** %27
%28 = icmp eq i8* %26, null
br i1 %28, label %29, label %31
29: ; preds = %19
%30 = tail call i32 (i8**, ...) bitcast (i32 (...)* @freeargv to i32 (i8**, ...)*)(i8** %14)
br label %42
31: ; preds = %19
%32 = tail call i8* @strcpy(i8* %26, i8* dereferenceable(1) %21)
%33 = add nuw i64 %20, 1
%34 = getelementptr inbounds i8*, i8** %0, i64 %33
%35 = load i8*, i8** %34
%36 = icmp eq i8* %35, null
br i1 %36, label %37, label %19
37: ; preds = %31
%38 = and i64 %33, 4294967295
br label %39
39: ; preds = %37, %16
%40 = phi i64 [ 0, %16 ], [ %38, %37 ]
%41 = getelementptr inbounds i8*, i8** %14, i64 %40
store i8* null, i8** %41
br label %42
42: ; preds = %29, %9, %1, %39
%43 = phi i8** [ %14, %39 ], [ null, %1 ], [ null, %9 ], [ null, %29 ]
ret i8** %43
}