void CorrectAsnDouble(char *Asn1, char *Asn2, char *KnownAsn, int Length,
                      char SecStrType, char EditChar) {
  register int Res;
  for (Res = 0; Res < Length; Res++)
    if ((Asn1[Res] == SecStrType || Asn2[Res] == SecStrType) &&
        KnownAsn[Res] != SecStrType &&
        ((Res == 0 && Asn1[Res + 1] != SecStrType &&
          Asn2[Res + 1] != SecStrType) ||
         (Res == Length - 1 && Asn1[Res - 1] != SecStrType &&
          Asn2[Res - 1] != SecStrType) ||
         (Res > 0 && Res < Length - 1 && Asn1[Res - 1] != SecStrType &&
          Asn2[Res - 1] != SecStrType && Asn1[Res + 1] != SecStrType &&
          Asn2[Res + 1] != SecStrType)))
      Asn1[Res] = Asn2[Res] = EditChar;
}


x86 assembly (clang, -O0):
<CorrectAsnDouble>:
push   %rbp
mov    %rsp,%rbp
mov    %r8d,-0x40(%rbp)
mov    %ecx,%eax
mov    -0x40(%rbp),%ecx
mov    %eax,-0x3c(%rbp)
mov    %rdx,%rax
mov    -0x3c(%rbp),%edx
mov    %rax,-0x38(%rbp)
mov    %rsi,%rax
mov    -0x38(%rbp),%rsi
mov    %rax,-0x30(%rbp)
mov    %rdi,%r8
mov    -0x30(%rbp),%rdi
mov    %r9b,%al
mov    %r8,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %cl,-0x1d(%rbp)
mov    %al,-0x1e(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12e9 <CorrectAsnDouble+0x1e9>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     1187 <CorrectAsnDouble+0x87>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
jne    12d6 <CorrectAsnDouble+0x1d6>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     12d6 <CorrectAsnDouble+0x1d6>
cmpl   $0x0,-0x24(%rbp)
jne    11e3 <CorrectAsnDouble+0xe3>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     11e3 <CorrectAsnDouble+0xe3>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
jne    12bd <CorrectAsnDouble+0x1bd>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    122e <CorrectAsnDouble+0x12e>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     122e <CorrectAsnDouble+0x12e>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
jne    12bd <CorrectAsnDouble+0x1bd>
cmpl   $0x0,-0x24(%rbp)
jle    12d6 <CorrectAsnDouble+0x1d6>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12d6 <CorrectAsnDouble+0x1d6>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     12d6 <CorrectAsnDouble+0x1d6>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     12d6 <CorrectAsnDouble+0x1d6>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     12d6 <CorrectAsnDouble+0x1d6>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1d(%rbp),%ecx
cmp    %ecx,%eax
je     12d6 <CorrectAsnDouble+0x1d6>
mov    -0x1e(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12db <CorrectAsnDouble+0x1db>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114b <CorrectAsnDouble+0x4b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<CorrectAsnDouble>:
push   %rbx
test   %ecx,%ecx
jle    1140 <CorrectAsnDouble+0x40>
lea    -0x1(%rcx),%r10d
cmp    %r8b,(%rdi)
je     1113 <CorrectAsnDouble+0x13>
cmp    %r8b,(%rsi)
jne    113b <CorrectAsnDouble+0x3b>
cmp    %r8b,(%rdx)
je     113b <CorrectAsnDouble+0x3b>
cmp    %r8b,0x1(%rdi)
je     1124 <CorrectAsnDouble+0x24>
cmp    %r8b,0x1(%rsi)
jne    1135 <CorrectAsnDouble+0x35>
test   %r10,%r10
jne    1142 <CorrectAsnDouble+0x42>
cmp    %r8b,-0x1(%rdi)
je     1140 <CorrectAsnDouble+0x40>
cmp    %r8b,-0x1(%rsi)
je     1140 <CorrectAsnDouble+0x40>
mov    %r9b,(%rsi)
mov    %r9b,(%rdi)
cmp    $0x1,%ecx
jne    1142 <CorrectAsnDouble+0x42>
pop    %rbx
ret
mov    %ecx,%r11d
mov    $0x1,%eax
movabs $0x100000000,%rcx
jmp    116d <CorrectAsnDouble+0x6d>
mov    %r9b,(%rsi,%rax,1)
mov    %r9b,(%rdi,%rax,1)
xchg   %ax,%ax
add    $0x1,%rax
add    $0x1,%rcx
cmp    %rax,%r11
je     1140 <CorrectAsnDouble+0x40>
cmp    %r8b,(%rdi,%rax,1)
je     1179 <CorrectAsnDouble+0x79>
cmp    %r8b,(%rsi,%rax,1)
jne    1160 <CorrectAsnDouble+0x60>
cmp    %r8b,(%rdx,%rax,1)
je     1160 <CorrectAsnDouble+0x60>
cmp    %rax,%r10
jne    11a0 <CorrectAsnDouble+0xa0>
cmp    %r8b,-0x1(%rdi,%r10,1)
je     11a0 <CorrectAsnDouble+0xa0>
cmp    %r8b,-0x1(%rsi,%r10,1)
jne    1156 <CorrectAsnDouble+0x56>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    %r10,%rax
jae    1160 <CorrectAsnDouble+0x60>
mov    %ecx,%ebx
cmp    %r8b,(%rdi,%rbx,1)
je     1160 <CorrectAsnDouble+0x60>
cmp    %r8b,(%rsi,%rbx,1)
je     1160 <CorrectAsnDouble+0x60>
cmp    %r8b,0x1(%rdi,%rax,1)
je     1160 <CorrectAsnDouble+0x60>
cmp    %r8b,0x1(%rsi,%rax,1)
jne    1156 <CorrectAsnDouble+0x56>
jmp    1160 <CorrectAsnDouble+0x60>

LLVM IR (-O0):
define void @CorrectAsnDouble(i8* %0, i8* %1, i8* %2, i32 %3, i8 signext %4, i8 signext %5) {
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8
%12 = alloca i8
%13 = alloca i32
store i8* %0, i8** %7
store i8* %1, i8** %8
store i8* %2, i8** %9
store i32 %3, i32* %10
store i8 %4, i8* %11
store i8 %5, i8* %12
store i32 0, i32* %13
br label %14
14: ; preds = %163, %6
%15 = load i32, i32* %13
%16 = load i32, i32* %10
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %166
18: ; preds = %14
%19 = load i8*, i8** %7
%20 = load i32, i32* %13
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = load i8, i8* %11
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %24, %26
br i1 %27, label %38, label %28
28: ; preds = %18
%29 = load i8*, i8** %8
%30 = load i32, i32* %13
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %29, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = load i8, i8* %11
%36 = sext i8 %35 to i32
%37 = icmp eq i32 %34, %36
br i1 %37, label %38, label %162
38: ; preds = %28, %18
%39 = load i8*, i8** %9
%40 = load i32, i32* %13
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %39, i64 %41
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = load i8, i8* %11
%46 = sext i8 %45 to i32
%47 = icmp ne i32 %44, %46
br i1 %47, label %48, label %162
48: ; preds = %38
%49 = load i32, i32* %13
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %73
51: ; preds = %48
%52 = load i8*, i8** %7
%53 = load i32, i32* %13
%54 = add nsw i32 %53, 1
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %52, i64 %55
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = load i8, i8* %11
%60 = sext i8 %59 to i32
%61 = icmp ne i32 %58, %60
br i1 %61, label %62, label %73
62: ; preds = %51
%63 = load i8*, i8** %8
%64 = load i32, i32* %13
%65 = add nsw i32 %64, 1
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %63, i64 %66
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = load i8, i8* %11
%71 = sext i8 %70 to i32
%72 = icmp ne i32 %69, %71
br i1 %72, label %152, label %73
73: ; preds = %62, %51, %48
%74 = load i32, i32* %13
%75 = load i32, i32* %10
%76 = sub nsw i32 %75, 1
%77 = icmp eq i32 %74, %76
br i1 %77, label %78, label %100
78: ; preds = %73
%79 = load i8*, i8** %7
%80 = load i32, i32* %13
%81 = sub nsw i32 %80, 1
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %79, i64 %82
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = load i8, i8* %11
%87 = sext i8 %86 to i32
%88 = icmp ne i32 %85, %87
br i1 %88, label %89, label %100
89: ; preds = %78
%90 = load i8*, i8** %8
%91 = load i32, i32* %13
%92 = sub nsw i32 %91, 1
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %90, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = load i8, i8* %11
%98 = sext i8 %97 to i32
%99 = icmp ne i32 %96, %98
br i1 %99, label %152, label %100
100: ; preds = %89, %78, %73
%101 = load i32, i32* %13
%102 = icmp sgt i32 %101, 0
br i1 %102, label %103, label %162
103: ; preds = %100
%104 = load i32, i32* %13
%105 = load i32, i32* %10
%106 = sub nsw i32 %105, 1
%107 = icmp slt i32 %104, %106
br i1 %107, label %108, label %162
108: ; preds = %103
%109 = load i8*, i8** %7
%110 = load i32, i32* %13
%111 = sub nsw i32 %110, 1
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %109, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = load i8, i8* %11
%117 = sext i8 %116 to i32
%118 = icmp ne i32 %115, %117
br i1 %118, label %119, label %162
119: ; preds = %108
%120 = load i8*, i8** %8
%121 = load i32, i32* %13
%122 = sub nsw i32 %121, 1
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %120, i64 %123
%125 = load i8, i8* %124
%126 = sext i8 %125 to i32
%127 = load i8, i8* %11
%128 = sext i8 %127 to i32
%129 = icmp ne i32 %126, %128
br i1 %129, label %130, label %162
130: ; preds = %119
%131 = load i8*, i8** %7
%132 = load i32, i32* %13
%133 = add nsw i32 %132, 1
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %131, i64 %134
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = load i8, i8* %11
%139 = sext i8 %138 to i32
%140 = icmp ne i32 %137, %139
br i1 %140, label %141, label %162
141: ; preds = %130
%142 = load i8*, i8** %8
%143 = load i32, i32* %13
%144 = add nsw i32 %143, 1
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i8, i8* %142, i64 %145
%147 = load i8, i8* %146
%148 = sext i8 %147 to i32
%149 = load i8, i8* %11
%150 = sext i8 %149 to i32
%151 = icmp ne i32 %148, %150
br i1 %151, label %152, label %162
152: ; preds = %141, %89, %62
%153 = load i8, i8* %12
%154 = load i8*, i8** %8
%155 = load i32, i32* %13
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i8, i8* %154, i64 %156
store i8 %153, i8* %157
%158 = load i8*, i8** %7
%159 = load i32, i32* %13
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i8, i8* %158, i64 %160
store i8 %153, i8* %161
br label %162
162: ; preds = %152, %141, %130, %119, %108, %103, %100, %38, %28
br label %163
163: ; preds = %162
%164 = load i32, i32* %13
%165 = add nsw i32 %164, 1
store i32 %165, i32* %13
br label %14
166: ; preds = %14
ret void
}

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