void insert_str(object_str, mtc_str, insert) char *object_str, *mtc_str,
    *insert;
{
  int obj_len;
  char *bound, *pc;
  register int i, mtc_len;
  register char *temp_obj, *temp_mtc;
  char out_val[80];
  mtc_len = strlen(mtc_str);
  obj_len = strlen(object_str);
  bound = object_str + obj_len - mtc_len;
  for (pc = object_str; pc <= bound; pc++) {
    temp_obj = pc;
    temp_mtc = mtc_str;
    for (i = 0; i < mtc_len; i++)
      if (*temp_obj++ != *temp_mtc++)
        break;
    if (i == mtc_len)
      break;
  }
  if (pc <= bound) {
    (void)strncpy(out_val, object_str, (pc - object_str));
    out_val[(int)(pc - object_str)] = '\0';
    if (insert)
      (void)strcat(out_val, insert);
    (void)strcat(out_val, (char *)(pc + mtc_len));
    (void)strcpy(object_str, out_val);
  }
}


x86 assembly (clang, -O0):
<insert_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     122e <insert_str+0xee>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1207 <insert_str+0xc7>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movsbl (%rax),%eax
mov    -0x48(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x48(%rbp)
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     11f4 <insert_str+0xb4>
jmp    1207 <insert_str+0xc7>
jmp    11f9 <insert_str+0xb9>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11b7 <insert_str+0x77>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jne    1218 <insert_str+0xd8>
jmp    122e <insert_str+0xee>
jmp    121d <insert_str+0xdd>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1192 <insert_str+0x52>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     12ae <insert_str+0x16e>
lea    -0xa0(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x8(%rbp),%rax
sub    %rax,%rdx
call   1030 <strncpy@plt>
mov    -0x30(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
cltq
movb   $0x0,-0xa0(%rbp,%rax,1)
cmpq   $0x0,-0x18(%rbp)
je     1287 <insert_str+0x147>
lea    -0xa0(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1060 <strcat@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x30(%rbp),%rsi
movslq -0x38(%rbp),%rax
add    %rax,%rsi
call   1060 <strcat@plt>
mov    -0x8(%rbp),%rdi
lea    -0xa0(%rbp),%rsi
call   1040 <strcpy@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<insert_str>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
mov    %rsi,%rdi
call   1050 <strlen@plt>
mov    %rax,%r13
mov    %r15,%rdi
call   1050 <strlen@plt>
cltq
add    %r15,%rax
movslq %r13d,%rbp
sub    %rbp,%rax
cmp    %r15,%rax
jb     1207 <insert_str+0xc7>
mov    %r15,%rbx
mov    $0x0,%ecx
test   %r13d,%r13d
jle    11b0 <insert_str+0x70>
xor    %ecx,%ecx
nopl   (%rax)
movzbl (%rbx,%rcx,1),%edx
cmp    (%r12,%rcx,1),%dl
jne    11b0 <insert_str+0x70>
add    $0x1,%rcx
cmp    %ecx,%r13d
jne    1190 <insert_str+0x50>
jmp    11c0 <insert_str+0x80>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %r13d,%ecx
je     11c0 <insert_str+0x80>
add    $0x1,%rbx
cmp    %rax,%rbx
jbe    1181 <insert_str+0x41>
jmp    1207 <insert_str+0xc7>
mov    %rbx,%r12
sub    %r15,%r12
mov    %rsp,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
call   1030 <strncpy@plt>
movslq %r12d,%rax
movb   $0x0,(%rsp,%rax,1)
test   %r14,%r14
je     11eb <insert_str+0xab>
mov    %rsp,%rdi
mov    %r14,%rsi
call   1060 <strcat@plt>
add    %rbp,%rbx
mov    %rsp,%r14
mov    %r14,%rdi
mov    %rbx,%rsi
call   1060 <strcat@plt>
mov    %r15,%rdi
mov    %r14,%rsi
call   1040 <strcpy@plt>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @insert_str(i8* %0, i8* nocapture %1, i8* %2) {
%4 = alloca [80 x i8]
%5 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%6 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%7 = trunc i64 %6 to i32
%8 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%9 = shl i64 %8, 32
%10 = ashr exact i64 %9, 32
%11 = getelementptr inbounds i8, i8* %0, i64 %10
%12 = shl i64 %6, 32
%13 = ashr exact i64 %12, 32
%14 = sub nsw i64 0, %13
%15 = getelementptr inbounds i8, i8* %11, i64 %14
%16 = icmp ult i8* %15, %0
br i1 %16, label %54, label %17
17: ; preds = %3
%18 = icmp sgt i32 %7, 0
br label %19
19: ; preds = %17, %36
%20 = phi i8* [ %0, %17 ], [ %37, %36 ]
br i1 %18, label %21, label %33
21: ; preds = %19, %28
%22 = phi i8* [ %29, %28 ], [ %1, %19 ]
%23 = phi i8* [ %30, %28 ], [ %20, %19 ]
%24 = phi i32 [ %31, %28 ], [ 0, %19 ]
%25 = load i8, i8* %23
%26 = load i8, i8* %22
%27 = icmp eq i8 %25, %26
br i1 %27, label %28, label %33
28: ; preds = %21
%29 = getelementptr inbounds i8, i8* %22, i64 1
%30 = getelementptr inbounds i8, i8* %23, i64 1
%31 = add nuw nsw i32 %24, 1
%32 = icmp eq i32 %31, %7
br i1 %32, label %39, label %21
33: ; preds = %21, %19
%34 = phi i32 [ 0, %19 ], [ %24, %21 ]
%35 = icmp eq i32 %34, %7
br i1 %35, label %39, label %36
36: ; preds = %33
%37 = getelementptr inbounds i8, i8* %20, i64 1
%38 = icmp ugt i8* %37, %15
br i1 %38, label %54, label %19
39: ; preds = %33, %28
%40 = ptrtoint i8* %20 to i64
%41 = ptrtoint i8* %0 to i64
%42 = sub i64 %40, %41
%43 = call i8* @strncpy(i8* %5, i8* %0, i64 %42)
%44 = shl i64 %42, 32
%45 = ashr exact i64 %44, 32
%46 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 %45
store i8 0, i8* %46
%47 = icmp eq i8* %2, null
br i1 %47, label %50, label %48
48: ; preds = %39
%49 = call i8* @strcat(i8* %5, i8* %2)
br label %50
50: ; preds = %48, %39
%51 = getelementptr inbounds i8, i8* %20, i64 %13
%52 = call i8* @strcat(i8* %5, i8* dereferenceable(1) %51)
%53 = call i8* @strcpy(i8* dereferenceable(1) %0, i8* %5)
br label %54
54: ; preds = %36, %3, %50
ret void
}