#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncpy(char *, char *, int);
void inststr(int argc, char **argv, char **environ, char *src) {
  if (strlen(src) <= strlen(argv[0])) {
    char *ptr;
    for (ptr = argv[0]; *ptr; *(ptr++) = '\0')
      ;
    strcpy(argv[0], src);
  } else {
    char *ptr, *ptr2;
    int count;
    ptr = argv[0] + strlen(argv[0]);
    for (count = 1; count < argc; count++) {
      if (argv[count] == ptr + 1)
        ptr += strlen(++ptr);
    }
    if (environ[0] == ptr + 1) {
      for (count = 0; environ[count]; count++)
        if (environ[count] == ptr + 1)
          ptr += strlen(++ptr);
    }
    count = 0;
    for (ptr2 = argv[0]; ptr2 <= ptr; ptr2++) {
      *ptr2 = '\0';
      count++;
    }
    strncpy(argv[0], src, count);
  }
}


x86 assembly (clang, -O0):
<inststr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
cmp    %ecx,%eax
jg     11b5 <inststr+0x85>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     11a0 <inststr+0x70>
jmp    1189 <inststr+0x59>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x0,(%rax)
jmp    1177 <inststr+0x47>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
mov    -0x20(%rbp),%rsi
call   1040 <strcpy@plt>
jmp    131c <inststr+0x1ec>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1240 <inststr+0x110>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x30(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    122d <inststr+0xfd>
mov    -0x30(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x30(%rbp)
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
jmp    1232 <inststr+0x102>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11e3 <inststr+0xb3>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x30(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    12c8 <inststr+0x198>
movl   $0x0,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     12c3 <inststr+0x193>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x30(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    12b0 <inststr+0x180>
mov    -0x30(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x30(%rbp)
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
jmp    12b5 <inststr+0x185>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    125f <inststr+0x12f>
jmp    12c8 <inststr+0x198>
movl   $0x0,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x30(%rbp),%rax
ja     1309 <inststr+0x1d9>
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    12da <inststr+0x1aa>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x3c(%rbp),%edx
call   1030 <strncpy@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inststr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %rdx,%r12
mov    %rsi,%r15
mov    %edi,%r13d
mov    %rcx,%rdi
call   1050 <strlen@plt>
mov    %eax,%ebp
mov    (%r15),%rdi
call   1050 <strlen@plt>
mov    (%r15),%rbx
cmp    %eax,%ebp
jle    11c6 <inststr+0x86>
mov    %rbx,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbp
add    %rbx,%rbp
cmp    $0x2,%r13d
mov    %r14,(%rsp)
jl     11f9 <inststr+0xb9>
mov    %r13d,%r13d
mov    $0x1,%r14d
jmp    11a9 <inststr+0x69>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r14
cmp    %r14,%r13
je     11f9 <inststr+0xb9>
mov    (%r15,%r14,8),%rbx
lea    0x1(%rbp),%rax
cmp    %rax,%rbx
jne    11a0 <inststr+0x60>
mov    %rbx,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbp
add    %rbx,%rbp
jmp    11a0 <inststr+0x60>
cmpb   $0x0,(%rbx)
je     11e0 <inststr+0xa0>
add    $0x1,%rbx
nop
movb   $0x0,-0x1(%rbx)
cmpb   $0x0,(%rbx)
lea    0x1(%rbx),%rbx
jne    11d0 <inststr+0x90>
mov    (%r15),%rbx
mov    %rbx,%rdi
mov    %r14,%rsi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <strcpy@plt>
mov    (%r12),%rbx
lea    0x1(%rbp),%rax
cmp    %rax,%rbx
jne    1246 <inststr+0x106>
test   %rbx,%rbx
mov    (%rsp),%r14
je     124a <inststr+0x10a>
add    $0x8,%r12
jmp    122d <inststr+0xed>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r12),%rbx
add    $0x8,%r12
test   %rbx,%rbx
je     124a <inststr+0x10a>
lea    0x1(%rbp),%rax
cmp    %rax,%rbx
jne    1220 <inststr+0xe0>
mov    %rbx,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbp
add    %rbx,%rbp
jmp    1220 <inststr+0xe0>
mov    (%rsp),%r14
mov    (%r15),%rbx
xor    %edx,%edx
cmp    %rbp,%rbx
ja     127a <inststr+0x13a>
lea    0x1(%rbx),%rax
add    $0x1,%rbp
cmp    %rbp,%rax
cmova  %rax,%rbp
mov    %rbp,%rdx
sub    %rbx,%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1060 <memset@plt>
sub    %ebx,%ebp
mov    (%r15),%rbx
mov    %ebp,%edx
mov    %rbx,%rdi
mov    %r14,%rsi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <strncpy@plt>

LLVM IR (-O0):
define void @inststr(i32 %0, i8** %1, i8** %2, i8* %3) {
%5 = alloca i32
%6 = alloca i8**
%7 = alloca i8**
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i32
store i32 %0, i32* %5
store i8** %1, i8*** %6
store i8** %2, i8*** %7
store i8* %3, i8** %8
%13 = load i8*, i8** %8
%14 = call i32 @strlen(i8* %13)
%15 = load i8**, i8*** %6
%16 = getelementptr inbounds i8*, i8** %15, i64 0
%17 = load i8*, i8** %16
%18 = call i32 @strlen(i8* %17)
%19 = icmp sle i32 %14, %18
br i1 %19, label %20, label %38
20: ; preds = %4
%21 = load i8**, i8*** %6
%22 = getelementptr inbounds i8*, i8** %21, i64 0
%23 = load i8*, i8** %22
store i8* %23, i8** %9
br label %24
24: ; preds = %29, %20
%25 = load i8*, i8** %9
%26 = load i8, i8* %25
%27 = icmp ne i8 %26, 0
br i1 %27, label %28, label %32
28: ; preds = %24
br label %29
29: ; preds = %28
%30 = load i8*, i8** %9
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %9
store i8 0, i8* %30
br label %24
32: ; preds = %24
%33 = load i8**, i8*** %6
%34 = getelementptr inbounds i8*, i8** %33, i64 0
%35 = load i8*, i8** %34
%36 = load i8*, i8** %8
%37 = call i32 @strcpy(i8* %35, i8* %36)
br label %130
38: ; preds = %4
%39 = load i8**, i8*** %6
%40 = getelementptr inbounds i8*, i8** %39, i64 0
%41 = load i8*, i8** %40
%42 = load i8**, i8*** %6
%43 = getelementptr inbounds i8*, i8** %42, i64 0
%44 = load i8*, i8** %43
%45 = call i32 @strlen(i8* %44)
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %41, i64 %46
store i8* %47, i8** %10
store i32 1, i32* %12
br label %48
48: ; preds = %69, %38
%49 = load i32, i32* %12
%50 = load i32, i32* %5
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %72
52: ; preds = %48
%53 = load i8**, i8*** %6
%54 = load i32, i32* %12
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8*, i8** %53, i64 %55
%57 = load i8*, i8** %56
%58 = load i8*, i8** %10
%59 = getelementptr inbounds i8, i8* %58, i64 1
%60 = icmp eq i8* %57, %59
br i1 %60, label %61, label %68
61: ; preds = %52
%62 = load i8*, i8** %10
%63 = getelementptr inbounds i8, i8* %62, i32 1
store i8* %63, i8** %10
%64 = call i32 @strlen(i8* %63)
%65 = load i8*, i8** %10
%66 = sext i32 %64 to i64
%67 = getelementptr inbounds i8, i8* %65, i64 %66
store i8* %67, i8** %10
br label %68
68: ; preds = %61, %52
br label %69
69: ; preds = %68
%70 = load i32, i32* %12
%71 = add nsw i32 %70, 1
store i32 %71, i32* %12
br label %48
72: ; preds = %48
%73 = load i8**, i8*** %7
%74 = getelementptr inbounds i8*, i8** %73, i64 0
%75 = load i8*, i8** %74
%76 = load i8*, i8** %10
%77 = getelementptr inbounds i8, i8* %76, i64 1
%78 = icmp eq i8* %75, %77
br i1 %78, label %79, label %108
79: ; preds = %72
store i32 0, i32* %12
br label %80
80: ; preds = %104, %79
%81 = load i8**, i8*** %7
%82 = load i32, i32* %12
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8*, i8** %81, i64 %83
%85 = load i8*, i8** %84
%86 = icmp ne i8* %85, null
br i1 %86, label %87, label %107
87: ; preds = %80
%88 = load i8**, i8*** %7
%89 = load i32, i32* %12
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i8*, i8** %88, i64 %90
%92 = load i8*, i8** %91
%93 = load i8*, i8** %10
%94 = getelementptr inbounds i8, i8* %93, i64 1
%95 = icmp eq i8* %92, %94
br i1 %95, label %96, label %103
96: ; preds = %87
%97 = load i8*, i8** %10
%98 = getelementptr inbounds i8, i8* %97, i32 1
store i8* %98, i8** %10
%99 = call i32 @strlen(i8* %98)
%100 = load i8*, i8** %10
%101 = sext i32 %99 to i64
%102 = getelementptr inbounds i8, i8* %100, i64 %101
store i8* %102, i8** %10
br label %103
103: ; preds = %96, %87
br label %104
104: ; preds = %103
%105 = load i32, i32* %12
%106 = add nsw i32 %105, 1
store i32 %106, i32* %12
br label %80
107: ; preds = %80
br label %108
108: ; preds = %107, %72
store i32 0, i32* %12
%109 = load i8**, i8*** %6
%110 = getelementptr inbounds i8*, i8** %109, i64 0
%111 = load i8*, i8** %110
store i8* %111, i8** %11
br label %112
112: ; preds = %120, %108
%113 = load i8*, i8** %11
%114 = load i8*, i8** %10
%115 = icmp ule i8* %113, %114
br i1 %115, label %116, label %123
116: ; preds = %112
%117 = load i8*, i8** %11
store i8 0, i8* %117
%118 = load i32, i32* %12
%119 = add nsw i32 %118, 1
store i32 %119, i32* %12
br label %120
120: ; preds = %116
%121 = load i8*, i8** %11
%122 = getelementptr inbounds i8, i8* %121, i32 1
store i8* %122, i8** %11
br label %112
123: ; preds = %112
%124 = load i8**, i8*** %6
%125 = getelementptr inbounds i8*, i8** %124, i64 0
%126 = load i8*, i8** %125
%127 = load i8*, i8** %8
%128 = load i32, i32* %12
%129 = call i32 @strncpy(i8* %126, i8* %127, i32 %128)
br label %130
130: ; preds = %123, %32
ret void
}

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