void ReduceBigraphs(char *s) {
  char *z = s;
  for (char *p = s; *p; p++) {
    if (p[0] == '(') {
      if (p[1] == '(') {
        if (p[2] == '(') {
          *z++ = '{';
          p++;
        } else {
          *z++ = '[';
        }
        p++;
      } else {
        *z++ = '(';
      }
    } else if (p[0] == ')') {
      if (p[1] == ')') {
        if (p[2] == ')') {
          *z++ = '}';
          p++;
        } else {
          *z++ = ']';
        }
        p++;
      } else {
        *z++ = ')';
      }
    } else if (p[0] == '@') {
      if (p[1] == '@') {
        *z++ = '\\';
        p++;
      } else {
        *z++ = '@';
      }
    } else {
      *z++ = *p;
    }
  }
  *z = '\0';
}


x86 assembly (clang, -O0):
<ReduceBigraphs>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     12d5 <ReduceBigraphs+0x1d5>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    11b4 <ReduceBigraphs+0xb4>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x28,%eax
jne    119d <ReduceBigraphs+0x9d>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x28,%eax
jne    117a <ReduceBigraphs+0x7a>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x7b,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    118c <ReduceBigraphs+0x8c>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x5b,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11af <ReduceBigraphs+0xaf>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x28,(%rax)
jmp    12bf <ReduceBigraphs+0x1bf>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1243 <ReduceBigraphs+0x143>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x29,%eax
jne    122c <ReduceBigraphs+0x12c>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x29,%eax
jne    1209 <ReduceBigraphs+0x109>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x7d,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    121b <ReduceBigraphs+0x11b>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x5d,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    123e <ReduceBigraphs+0x13e>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x29,(%rax)
jmp    12ba <ReduceBigraphs+0x1ba>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    129e <ReduceBigraphs+0x19e>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x40,%eax
jne    1287 <ReduceBigraphs+0x187>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x5c,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1299 <ReduceBigraphs+0x199>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x40,(%rax)
jmp    12b5 <ReduceBigraphs+0x1b5>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    12ba <ReduceBigraphs+0x1ba>
jmp    12bf <ReduceBigraphs+0x1bf>
jmp    12c4 <ReduceBigraphs+0x1c4>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1118 <ReduceBigraphs+0x18>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<ReduceBigraphs>:
mov    %rdi,%rax
jmp    1117 <ReduceBigraphs+0x17>
test   %cl,%cl
je     1193 <ReduceBigraphs+0x93>
mov    %cl,(%rdi)
add    $0x1,%rdi
add    $0x1,%rax
movzbl (%rax),%ecx
cmp    $0x28,%cl
jle    1140 <ReduceBigraphs+0x40>
cmp    $0x29,%cl
je     1160 <ReduceBigraphs+0x60>
cmp    $0x40,%cl
jne    110d <ReduceBigraphs+0xd>
cmpb   $0x40,0x1(%rax)
jne    1181 <ReduceBigraphs+0x81>
add    $0x1,%rax
movb   $0x5c,(%rdi)
jmp    110f <ReduceBigraphs+0xf>
nopl   0x0(%rax,%rax,1)
jne    1105 <ReduceBigraphs+0x5>
cmpb   $0x28,0x1(%rax)
jne    1186 <ReduceBigraphs+0x86>
cmpb   $0x28,0x2(%rax)
sete   %cl
jne    1155 <ReduceBigraphs+0x55>
add    $0x1,%rax
shl    $0x5,%cl
or     $0x5b,%cl
jmp    1179 <ReduceBigraphs+0x79>
nopl   (%rax)
cmpb   $0x29,0x1(%rax)
jne    118b <ReduceBigraphs+0x8b>
cmpb   $0x29,0x2(%rax)
sete   %cl
jne    1173 <ReduceBigraphs+0x73>
add    $0x1,%rax
shl    $0x5,%cl
or     $0x5d,%cl
mov    %cl,(%rdi)
add    $0x1,%rax
jmp    110f <ReduceBigraphs+0xf>
movb   $0x40,(%rdi)
jmp    110f <ReduceBigraphs+0xf>
movb   $0x28,(%rdi)
jmp    110f <ReduceBigraphs+0xf>
movb   $0x29,(%rdi)
jmp    110f <ReduceBigraphs+0xf>
movb   $0x0,(%rdi)
ret

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

LLVM IR (-O2):
define void @ReduceBigraphs(i8* nocapture %0) {
br label %2
2: ; preds = %38, %1
%3 = phi i8* [ %0, %1 ], [ %40, %38 ]
%4 = phi i8* [ %0, %1 ], [ %41, %38 ]
%5 = load i8, i8* %4
switch i8 %5, label %37 [
i8 0, label %6
i8 40, label %7
i8 41, label %19
i8 64, label %31
]
6: ; preds = %2
store i8 0, i8* %3
ret void
7: ; preds = %2
%8 = getelementptr inbounds i8, i8* %4, i64 1
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 40
br i1 %10, label %11, label %18
11: ; preds = %7
%12 = getelementptr inbounds i8, i8* %4, i64 2
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 40
%15 = select i1 %14, i8 123, i8 91
%16 = select i1 %14, i8* %8, i8* %4
store i8 %15, i8* %3
%17 = getelementptr inbounds i8, i8* %16, i64 1
br label %38
18: ; preds = %7
store i8 40, i8* %3
br label %38
19: ; preds = %2
%20 = getelementptr inbounds i8, i8* %4, i64 1
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 41
br i1 %22, label %23, label %30
23: ; preds = %19
%24 = getelementptr inbounds i8, i8* %4, i64 2
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 41
%27 = select i1 %26, i8 125, i8 93
%28 = select i1 %26, i8* %20, i8* %4
store i8 %27, i8* %3
%29 = getelementptr inbounds i8, i8* %28, i64 1
br label %38
30: ; preds = %19
store i8 41, i8* %3
br label %38
31: ; preds = %2
%32 = getelementptr inbounds i8, i8* %4, i64 1
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 64
br i1 %34, label %35, label %36
35: ; preds = %31
store i8 92, i8* %3
br label %38
36: ; preds = %31
store i8 64, i8* %3
br label %38
37: ; preds = %2
store i8 %5, i8* %3
br label %38
38: ; preds = %18, %11, %37, %36, %35, %23, %30
%39 = phi i8* [ %17, %11 ], [ %4, %18 ], [ %29, %23 ], [ %4, %30 ], [ %32, %35 ], [ %4, %36 ], [ %4, %37 ]
%40 = getelementptr inbounds i8, i8* %3, i64 1
%41 = getelementptr inbounds i8, i8* %39, i64 1
br label %2
}