void SanitizeString2(char *in, char *out) {
  int i = 0;
  int r = 0;
  while (in[i]) {
    if (i >= 32 - 1) {
      break;
    }
    if (in[i] == '^') {
      if (in[i + 1] >= 48 && in[i + 1] <= 57) {
        i += 2;
        continue;
      } else {
        i++;
        continue;
      }
    }
    if (in[i] < 32) {
      i++;
      continue;
    }
    out[r] = in[i];
    r++;
    i++;
  }
  out[r] = 0;
}


x86 assembly (clang, -O0):
<SanitizeString2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     11f0 <SanitizeString2+0xf0>
cmpl   $0x1f,-0x14(%rbp)
jl     113b <SanitizeString2+0x3b>
jmp    11f0 <SanitizeString2+0xf0>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5e,%eax
jne    11a0 <SanitizeString2+0xa0>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     1192 <SanitizeString2+0x92>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     1192 <SanitizeString2+0x92>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    111a <SanitizeString2+0x1a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111a <SanitizeString2+0x1a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jge    11c3 <SanitizeString2+0xc3>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111a <SanitizeString2+0x1a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111a <SanitizeString2+0x1a>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<SanitizeString2>:
mov    (%rdi),%dl
xor    %ecx,%ecx
xor    %r8d,%r8d
test   %dl,%dl
je     1172 <SanitizeString2+0x72>
nopl   0x0(%rax,%rax,1)
cmp    $0x5e,%dl
jne    1130 <SanitizeString2+0x30>
movslq %ecx,%rdx
movzbl 0x1(%rdi,%rdx,1),%eax
add    $0xd0,%al
cmp    $0xa,%al
jb     1140 <SanitizeString2+0x40>
add    $0x1,%rdx
mov    %edx,%ecx
jmp    1143 <SanitizeString2+0x43>
nopl   0x0(%rax,%rax,1)
cmp    $0x1f,%dl
jg     1155 <SanitizeString2+0x55>
add    $0x1,%ecx
jmp    1143 <SanitizeString2+0x43>
nopw   0x0(%rax,%rax,1)
add    $0x2,%ecx
movslq %ecx,%rax
movzbl (%rdi,%rax,1),%edx
test   %dl,%dl
je     1172 <SanitizeString2+0x72>
cmp    $0x1e,%ecx
jle    1110 <SanitizeString2+0x10>
jmp    1172 <SanitizeString2+0x72>
mov    %dl,(%rsi,%r8,1)
add    $0x1,%r8
movslq %ecx,%rax
movzbl 0x1(%rdi,%rax,1),%edx
test   %dl,%dl
je     1172 <SanitizeString2+0x72>
lea    0x1(%rax),%rcx
cmp    $0x1e,%eax
jl     1110 <SanitizeString2+0x10>
movslq %r8d,%rax
movb   $0x0,(%rsi,%rax,1)
ret

LLVM IR (-O0):
define void @SanitizeString2(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %5
store i32 0, i32* %6
br label %7
7: ; preds = %61, %58, %47, %44, %2
%8 = load i8*, i8** %3
%9 = load i32, i32* %5
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds i8, i8* %8, i64 %10
%12 = load i8, i8* %11
%13 = icmp ne i8 %12, 0
br i1 %13, label %14, label %75
14: ; preds = %7
%15 = load i32, i32* %5
%16 = icmp sge i32 %15, 31
br i1 %16, label %17, label %18
17: ; preds = %14
br label %75
18: ; preds = %14
%19 = load i8*, i8** %3
%20 = load i32, i32* %5
%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 = icmp eq i32 %24, 94
br i1 %25, label %26, label %50
26: ; preds = %18
%27 = load i8*, i8** %3
%28 = load i32, i32* %5
%29 = add nsw i32 %28, 1
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %27, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp sge i32 %33, 48
br i1 %34, label %35, label %47
35: ; preds = %26
%36 = load i8*, i8** %3
%37 = load i32, i32* %5
%38 = add nsw i32 %37, 1
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %36, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = icmp sle i32 %42, 57
br i1 %43, label %44, label %47
44: ; preds = %35
%45 = load i32, i32* %5
%46 = add nsw i32 %45, 2
store i32 %46, i32* %5
br label %7
47: ; preds = %35, %26
%48 = load i32, i32* %5
%49 = add nsw i32 %48, 1
store i32 %49, i32* %5
br label %7
50: ; preds = %18
%51 = load i8*, i8** %3
%52 = load i32, i32* %5
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = icmp slt i32 %56, 32
br i1 %57, label %58, label %61
58: ; preds = %50
%59 = load i32, i32* %5
%60 = add nsw i32 %59, 1
store i32 %60, i32* %5
br label %7
61: ; preds = %50
%62 = load i8*, i8** %3
%63 = load i32, i32* %5
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
%66 = load i8, i8* %65
%67 = load i8*, i8** %4
%68 = load i32, i32* %6
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
store i8 %66, i8* %70
%71 = load i32, i32* %6
%72 = add nsw i32 %71, 1
store i32 %72, i32* %6
%73 = load i32, i32* %5
%74 = add nsw i32 %73, 1
store i32 %74, i32* %5
br label %7
75: ; preds = %17, %7
%76 = load i8*, i8** %4
%77 = load i32, i32* %6
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %76, i64 %78
store i8 0, i8* %79
ret void
}

LLVM IR (-O2):
define void @SanitizeString2(i8* nocapture %0, i8* nocapture writeonly %1) {
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
br i1 %4, label %44, label %5
5: ; preds = %2, %34
%6 = phi i64 [ %36, %34 ], [ 0, %2 ]
%7 = phi i8 [ %40, %34 ], [ %3, %2 ]
%8 = phi i32 [ %37, %34 ], [ 0, %2 ]
br label %9
9: ; preds = %5, %26
%10 = phi i8 [ %7, %5 ], [ %30, %26 ]
%11 = phi i32 [ %8, %5 ], [ %27, %26 ]
%12 = icmp eq i8 %10, 94
br i1 %12, label %13, label %22
13: ; preds = %9
%14 = add nsw i32 %11, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %0, i64 %15
%17 = load i8, i8* %16
%18 = add i8 %17, -48
%19 = icmp ult i8 %18, 10
%20 = add nsw i32 %11, 2
%21 = select i1 %19, i32 %20, i32 %14
br label %26
22: ; preds = %9
%23 = icmp slt i8 %10, 32
br i1 %23, label %24, label %34
24: ; preds = %22
%25 = add nsw i32 %11, 1
br label %26
26: ; preds = %24, %13
%27 = phi i32 [ %25, %24 ], [ %21, %13 ]
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %0, i64 %28
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 0
%32 = icmp sgt i32 %27, 30
%33 = select i1 %31, i1 true, i1 %32
br i1 %33, label %44, label %9
34: ; preds = %22
%35 = getelementptr inbounds i8, i8* %1, i64 %6
store i8 %10, i8* %35
%36 = add nuw i64 %6, 1
%37 = add nsw i32 %11, 1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = icmp eq i8 %40, 0
%42 = icmp sgt i32 %11, 29
%43 = select i1 %41, i1 true, i1 %42
br i1 %43, label %44, label %5
44: ; preds = %34, %26, %2
%45 = phi i64 [ 0, %2 ], [ %6, %26 ], [ %36, %34 ]
%46 = shl i64 %45, 32
%47 = ashr exact i64 %46, 32
%48 = getelementptr inbounds i8, i8* %1, i64 %47
store i8 0, i8* %48
ret void
}