#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 */
typedef int /*<<< orphan*/ jmp_buf;

/* Variables and functions */
int EXIT_SUCCESS;
scalar_t__ Xmemcmp(char volatile *, char *, int);
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ longjmp(int /*<<< orphan*/, int);
int /*<<< orphan*/ memset(void *, int, int);
int setjmp(int /*<<< orphan*/);
int main(void) {
  char volatile a[8] = "testbufA";
  jmp_buf env;
  char volatile b[8] = "testbufB";
  assert(Xmemcmp(a, "testbufA", 8) == 0);
  assert(Xmemcmp(b, "testbufB", 8) == 0);
  if (setjmp(env) == 0) {
    char volatile somebuf[128];
    memset((void *)somebuf, 0xde, sizeof somebuf);
    assert(Xmemcmp(a, "testbufA", 8) == 0);
    assert(Xmemcmp(b, "testbufB", 8) == 0);
  } else
    assert(0);
  assert(Xmemcmp(a, "testbufA", 8) == 0);
  assert(Xmemcmp(b, "testbufB", 8) == 0);
  switch (setjmp(env)) {
  case 0: {
    char volatile somebuf[128];
    memset((void *)somebuf, 0xde, sizeof somebuf);
    assert(Xmemcmp(a, "testbufA", 8) == 0);
    assert(Xmemcmp(b, "testbufB", 8) == 0);
    longjmp(env, 23);
    a[0] = 'X';
    b[0] = 'X';
  }
  case 23:
    break;
  default:
    assert(0);
  }
  assert(Xmemcmp(a, "testbufA", 8) == 0);
  assert(Xmemcmp(b, "testbufB", 8) == 0);
  switch (setjmp(env)) {
  case 0: {
    char volatile somebuf[128];
    memset((void *)somebuf, 0xde, sizeof somebuf);
    assert(Xmemcmp(a, "testbufA", 8) == 0);
    assert(Xmemcmp(b, "testbufB", 8) == 0);
    longjmp(env, 23);
    a[0] = 'X';
    b[0] = 'X';
  }
  case 23:
    break;
  default:
    assert(0);
  }
  assert(Xmemcmp(a, "testbufA", 8) == 0);
  assert(Xmemcmp(b, "testbufB", 8) == 0);
  if (setjmp(env) == 0) {
    char volatile somebuf[128];
    memset((void *)somebuf, 0xde, sizeof somebuf);
    assert(Xmemcmp(a, "testbufA", 8) == 0);
    assert(Xmemcmp(b, "testbufB", 8) == 0);
  } else
    assert(0);
  assert(Xmemcmp(a, "testbufA", 8) == 0);
  assert(Xmemcmp(b, "testbufB", 8) == 0);
  return EXIT_SUCCESS;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x230,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0xc(%rbp),%rax
mov    0xe93(%rip),%rcx
mov    %rcx,(%rax)
lea    -0x18(%rbp),%rax
mov    0xe8d(%rip),%rcx
mov    %rcx,(%rax)
lea    -0xc(%rbp),%rdi
lea    0xe87(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xe6a(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
call   1060 <setjmp@plt>
cmp    $0x0,%eax
jne    1242 <main+0xf2>
lea    -0xa0(%rbp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    -0xc(%rbp),%rdi
lea    0xe14(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xdf7(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
jmp    1249 <main+0xf9>
xor    %edi,%edi
call   1050 <assert@plt>
lea    0xdc0(%rip),%rsi
lea    -0xc(%rbp),%rdi
mov    $0x8,%edx
mov    %edx,-0x228(%rbp)
call   1030 <Xmemcmp@plt>
test   %rax,%rax
sete   %al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x228(%rbp),%edx
lea    0xd9a(%rip),%rsi
lea    -0x18(%rbp),%rdi
call   1030 <Xmemcmp@plt>
test   %rax,%rax
sete   %al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
call   1060 <setjmp@plt>
mov    %eax,%ecx
mov    %ecx,-0x224(%rbp)
test   %eax,%eax
je     12c7 <main+0x177>
jmp    12b3 <main+0x163>
mov    -0x224(%rbp),%eax
sub    $0x17,%eax
je     1336 <main+0x1e6>
jmp    133b <main+0x1eb>
lea    -0x120(%rbp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    -0xc(%rbp),%rdi
lea    0xd28(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xd0b(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
mov    $0x17,%esi
call   1070 <longjmp@plt>
jmp    1342 <main+0x1f2>
xor    %edi,%edi
call   1050 <assert@plt>
lea    0xcc7(%rip),%rsi
lea    -0xc(%rbp),%rdi
mov    $0x8,%edx
mov    %edx,-0x230(%rbp)
call   1030 <Xmemcmp@plt>
test   %rax,%rax
sete   %al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x230(%rbp),%edx
lea    0xca1(%rip),%rsi
lea    -0x18(%rbp),%rdi
call   1030 <Xmemcmp@plt>
test   %rax,%rax
sete   %al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
call   1060 <setjmp@plt>
mov    %eax,%ecx
mov    %ecx,-0x22c(%rbp)
test   %eax,%eax
je     13c0 <main+0x270>
jmp    13ac <main+0x25c>
mov    -0x22c(%rbp),%eax
sub    $0x17,%eax
je     142f <main+0x2df>
jmp    1434 <main+0x2e4>
lea    -0x1a0(%rbp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    -0xc(%rbp),%rdi
lea    0xc2f(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xc12(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
mov    $0x17,%esi
call   1070 <longjmp@plt>
jmp    143b <main+0x2eb>
xor    %edi,%edi
call   1050 <assert@plt>
lea    -0xc(%rbp),%rdi
lea    0xbca(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xbad(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%edi
call   1060 <setjmp@plt>
cmp    $0x0,%eax
jne    14ff <main+0x3af>
lea    -0x220(%rbp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    -0xc(%rbp),%rdi
lea    0xb57(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xb3a(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
jmp    1506 <main+0x3b6>
xor    %edi,%edi
call   1050 <assert@plt>
lea    -0xc(%rbp),%rdi
lea    0xaff(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x18(%rbp),%rdi
lea    0xae2(%rip),%rsi
mov    $0x8,%edx
call   1030 <Xmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    0x2a87(%rip),%rax
mov    (%rax),%eax
add    $0x230,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x90,%rsp
mov    0xea1(%rip),%rax
mov    %rax,0x8(%rsp)
mov    0xe9d(%rip),%rax
mov    %rax,(%rsp)
lea    0xe9a(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xe7b(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
call   1060 <setjmp@plt>
test   %eax,%eax
je     11c5 <main+0x75>
xor    %edi,%edi
jmp    121d <main+0xcd>
lea    0x10(%rsp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    0xe30(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xe11(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xde7(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xdc8(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
call   1060 <setjmp@plt>
cmp    $0x17,%eax
je     1284 <main+0x134>
test   %eax,%eax
je     13f4 <main+0x2a4>
xor    %edi,%edi
call   1050 <assert@plt>
lea    0xd85(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xd66(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
call   1060 <setjmp@plt>
cmp    $0x17,%eax
je     12e6 <main+0x196>
test   %eax,%eax
je     13f4 <main+0x2a4>
xor    %edi,%edi
call   1050 <assert@plt>
lea    0xd23(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xd04(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
call   1060 <setjmp@plt>
test   %eax,%eax
je     133c <main+0x1ec>
xor    %edi,%edi
jmp    1394 <main+0x244>
lea    0x10(%rsp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    0xcb9(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xc9a(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xc70(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xc51(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
mov    0x2bf7(%rip),%rax
mov    (%rax),%eax
add    $0x90,%rsp
pop    %rbx
ret
lea    0x10(%rsp),%rdi
mov    $0xde,%esi
mov    $0x80,%edx
call   1040 <memset@plt>
lea    0xc01(%rip),%rsi
lea    0x8(%rsp),%rdi
mov    $0x8,%ebx
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
lea    0xbe2(%rip),%rsi
mov    %rsp,%rdi
mov    %ebx,%edx
call   1030 <Xmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %al
mov    %al,%dil
call   1050 <assert@plt>
mov    $0x17,%esi
call   1070 <longjmp@plt>

LLVM IR (-O0):
@__const.main.a = [8 x i8] c"testbufA"
@__const.main.b = [8 x i8] c"testbufB"
@.str = [9 x i8] c"testbufA\00"
@.str.1 = [9 x i8] c"testbufB\00"
@EXIT_SUCCESS = global i32 0
define i32 @main() {
%1 = alloca i32
%2 = alloca [8 x i8]
%3 = alloca i32
%4 = alloca [8 x i8]
%5 = alloca [128 x i8]
%6 = alloca [128 x i8]
%7 = alloca [128 x i8]
%8 = alloca [128 x i8]
store i32 0, i32* %1
%9 = bitcast [8 x i8]* %2 to i8*
%10 = bitcast [8 x i8]* %4 to i8*
%11 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%12 = call i64 @Xmemcmp(i8* %11, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%13 = icmp eq i64 %12, 0
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%17 = call i64 @Xmemcmp(i8* %16, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%18 = icmp eq i64 %17, 0
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i32, i32* %3
%22 = call i32 @setjmp(i32 %21)
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %37
24: ; preds = %0
%25 = getelementptr inbounds [128 x i8], [128 x i8]* %5, i64 0, i64 0
%26 = call i32 @memset(i8* %25, i32 222, i32 128)
%27 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%28 = call i64 @Xmemcmp(i8* %27, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%29 = icmp eq i64 %28, 0
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%33 = call i64 @Xmemcmp(i8* %32, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%34 = icmp eq i64 %33, 0
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
br label %39
37: ; preds = %0
%38 = call i32 @assert(i32 0)
br label %39
39: ; preds = %37, %24
%40 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%41 = call i64 @Xmemcmp(i8* %40, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%42 = icmp eq i64 %41, 0
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%46 = call i64 @Xmemcmp(i8* %45, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%47 = icmp eq i64 %46, 0
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = load i32, i32* %3
%51 = call i32 @setjmp(i32 %50)
switch i32 %51, label %68 [
i32 0, label %52
i32 23, label %67
]
52: ; preds = %39
%53 = getelementptr inbounds [128 x i8], [128 x i8]* %6, i64 0, i64 0
%54 = call i32 @memset(i8* %53, i32 222, i32 128)
%55 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%56 = call i64 @Xmemcmp(i8* %55, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%57 = icmp eq i64 %56, 0
%58 = zext i1 %57 to i32
%59 = call i32 @assert(i32 %58)
%60 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%61 = call i64 @Xmemcmp(i8* %60, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%62 = icmp eq i64 %61, 0
%63 = zext i1 %62 to i32
%64 = call i32 @assert(i32 %63)
%65 = load i32, i32* %3
%66 = call i32 @longjmp(i32 %65, i32 23)
unreachable
67: ; preds = %39
br label %70
68: ; preds = %39
%69 = call i32 @assert(i32 0)
br label %70
70: ; preds = %68, %67
%71 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%72 = call i64 @Xmemcmp(i8* %71, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%73 = icmp eq i64 %72, 0
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
%76 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%77 = call i64 @Xmemcmp(i8* %76, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%78 = icmp eq i64 %77, 0
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = load i32, i32* %3
%82 = call i32 @setjmp(i32 %81)
switch i32 %82, label %99 [
i32 0, label %83
i32 23, label %98
]
83: ; preds = %70
%84 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%85 = call i32 @memset(i8* %84, i32 222, i32 128)
%86 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%87 = call i64 @Xmemcmp(i8* %86, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%88 = icmp eq i64 %87, 0
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
%91 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%92 = call i64 @Xmemcmp(i8* %91, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%93 = icmp eq i64 %92, 0
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = load i32, i32* %3
%97 = call i32 @longjmp(i32 %96, i32 23)
unreachable
98: ; preds = %70
br label %101
99: ; preds = %70
%100 = call i32 @assert(i32 0)
br label %101
101: ; preds = %99, %98
%102 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%103 = call i64 @Xmemcmp(i8* %102, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%104 = icmp eq i64 %103, 0
%105 = zext i1 %104 to i32
%106 = call i32 @assert(i32 %105)
%107 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%108 = call i64 @Xmemcmp(i8* %107, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%109 = icmp eq i64 %108, 0
%110 = zext i1 %109 to i32
%111 = call i32 @assert(i32 %110)
%112 = load i32, i32* %3
%113 = call i32 @setjmp(i32 %112)
%114 = icmp eq i32 %113, 0
br i1 %114, label %115, label %128
115: ; preds = %101
%116 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%117 = call i32 @memset(i8* %116, i32 222, i32 128)
%118 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%119 = call i64 @Xmemcmp(i8* %118, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%120 = icmp eq i64 %119, 0
%121 = zext i1 %120 to i32
%122 = call i32 @assert(i32 %121)
%123 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%124 = call i64 @Xmemcmp(i8* %123, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%125 = icmp eq i64 %124, 0
%126 = zext i1 %125 to i32
%127 = call i32 @assert(i32 %126)
br label %130
128: ; preds = %101
%129 = call i32 @assert(i32 0)
br label %130
130: ; preds = %128, %115
%131 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%132 = call i64 @Xmemcmp(i8* %131, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%133 = icmp eq i64 %132, 0
%134 = zext i1 %133 to i32
%135 = call i32 @assert(i32 %134)
%136 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%137 = call i64 @Xmemcmp(i8* %136, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%138 = icmp eq i64 %137, 0
%139 = zext i1 %138 to i32
%140 = call i32 @assert(i32 %139)
%141 = load i32, i32* @EXIT_SUCCESS
ret i32 %141
}

LLVM IR (-O2):
@__const.main.a = [8 x i8] c"testbufA"
@__const.main.b = [8 x i8] c"testbufB"
@.str = [9 x i8] c"testbufA\00"
@.str.1 = [9 x i8] c"testbufB\00"
@EXIT_SUCCESS = global i32 0
define i32 @main() {
%1 = alloca [8 x i8]
%2 = alloca [8 x i8]
%3 = alloca [128 x i8]
%4 = alloca [128 x i8]
%5 = alloca [128 x i8]
%6 = alloca [128 x i8]
%7 = getelementptr inbounds [8 x i8], [8 x i8]* %1, i64 0, i64 0
%8 = getelementptr inbounds [8 x i8], [8 x i8]* %2, i64 0, i64 0
%9 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%10 = icmp eq i64 %9, 0
%11 = zext i1 %10 to i32
%12 = call i32 @assert(i32 %11)
%13 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%14 = icmp eq i64 %13, 0
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = call i32 @setjmp(i32 undef)
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %30
19: ; preds = %0
%20 = getelementptr inbounds [128 x i8], [128 x i8]* %3, i64 0, i64 0
%21 = call i32 @memset(i8* %20, i32 222, i32 128)
%22 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%23 = icmp eq i64 %22, 0
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%27 = icmp eq i64 %26, 0
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
br label %32
30: ; preds = %0
%31 = call i32 @assert(i32 0)
br label %32
32: ; preds = %30, %19
%33 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%34 = icmp eq i64 %33, 0
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%38 = icmp eq i64 %37, 0
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = call i32 @setjmp(i32 undef)
switch i32 %41, label %54 [
i32 0, label %42
i32 23, label %56
]
42: ; preds = %32
%43 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 0
%44 = call i32 @memset(i8* %43, i32 222, i32 128)
%45 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%46 = icmp eq i64 %45, 0
%47 = zext i1 %46 to i32
%48 = call i32 @assert(i32 %47)
%49 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%50 = icmp eq i64 %49, 0
%51 = zext i1 %50 to i32
%52 = call i32 @assert(i32 %51)
%53 = call i32 @longjmp(i32 undef, i32 23)
unreachable
54: ; preds = %32
%55 = call i32 @assert(i32 0)
br label %56
56: ; preds = %54, %32
%57 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%58 = icmp eq i64 %57, 0
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
%61 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%62 = icmp eq i64 %61, 0
%63 = zext i1 %62 to i32
%64 = call i32 @assert(i32 %63)
%65 = call i32 @setjmp(i32 undef)
switch i32 %65, label %78 [
i32 0, label %66
i32 23, label %80
]
66: ; preds = %56
%67 = getelementptr inbounds [128 x i8], [128 x i8]* %5, i64 0, i64 0
%68 = call i32 @memset(i8* %67, i32 222, i32 128)
%69 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%70 = icmp eq i64 %69, 0
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%74 = icmp eq i64 %73, 0
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = call i32 @longjmp(i32 undef, i32 23)
unreachable
78: ; preds = %56
%79 = call i32 @assert(i32 0)
br label %80
80: ; preds = %78, %56
%81 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%82 = icmp eq i64 %81, 0
%83 = zext i1 %82 to i32
%84 = call i32 @assert(i32 %83)
%85 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%86 = icmp eq i64 %85, 0
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = call i32 @setjmp(i32 undef)
%90 = icmp eq i32 %89, 0
br i1 %90, label %91, label %102
91: ; preds = %80
%92 = getelementptr inbounds [128 x i8], [128 x i8]* %6, i64 0, i64 0
%93 = call i32 @memset(i8* %92, i32 222, i32 128)
%94 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%95 = icmp eq i64 %94, 0
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%99 = icmp eq i64 %98, 0
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
br label %104
102: ; preds = %80
%103 = call i32 @assert(i32 0)
br label %104
104: ; preds = %102, %91
%105 = call i64 @Xmemcmp(i8* %7, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 8)
%106 = icmp eq i64 %105, 0
%107 = zext i1 %106 to i32
%108 = call i32 @assert(i32 %107)
%109 = call i64 @Xmemcmp(i8* %8, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0), i32 8)
%110 = icmp eq i64 %109, 0
%111 = zext i1 %110 to i32
%112 = call i32 @assert(i32 %111)
%113 = load i32, i32* @EXIT_SUCCESS
ret i32 %113
}