void case_world(void *fxtr) {
  int a = 10;
  int b = 20;
  should_be_((a != b), "a != b",
             "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
             "2022-01-22/02-19-57/repos/9beach/should/refs/heads/master/tests/"
             "test_simple.c",
             20, __func__);
  do {
    char _msg_[1024];
    sprintf(_msg_, "Oh No!");
    should_be_else_printf_((a != 9), _msg_, "a != 9",
                           "/scratch/repos/new/home/jordi_armengol_estape/"
                           "c-scraper/outputs/2022-01-22/02-19-57/repos/9beach/"
                           "should/refs/heads/master/tests/test_simple.c",
                           21, __func__);
  } while (0);
  do {
    char _msg_[1024];
    sprintf(_msg_, "'a' is not 10 but %d.", a);
    should_be_else_printf_((a == 10), _msg_, "a == 10",
                           "/scratch/repos/new/home/jordi_armengol_estape/"
                           "c-scraper/outputs/2022-01-22/02-19-57/repos/9beach/"
                           "should/refs/heads/master/tests/test_simple.c",
                           22, __func__);
  } while (0);
  do {
    int x = (a);
    int y = (10);
    should_cmp_(x, y, "a", "10", x == y, "==",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                24, __func__);
  } while (0);
  do {
    int x = (b);
    int y = (20);
    should_cmp_(x, y, "b", "20", x == y, "==",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                25, __func__);
  } while (0);
  do {
    int x = (a);
    int y = (20);
    should_cmp_(x, y, "a", "20", x != y, "!=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                26, __func__);
  } while (0);
  do {
    int x = (b);
    int y = (10);
    should_cmp_(x, y, "b", "10", x != y, "!=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                27, __func__);
  } while (0);
  do {
    int x = (10);
    int y = (20);
    should_cmp_(x, y, "10", "20", x != y, "!=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                28, __func__);
  } while (0);
  do {
    int x = (20);
    int y = (10);
    should_cmp_(x, y, "20", "10", x != y, "!=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                29, __func__);
  } while (0);
  do {
    int x = (9);
    int y = (20);
    should_cmp_(x, y, "9", "20", x < y, "<",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                30, __func__);
  } while (0);
  do {
    int x = (9);
    int y = (20);
    should_cmp_(x, y, "9", "20", x <= y, "<=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                31, __func__);
  } while (0);
  do {
    int x = (9);
    int y = (9);
    should_cmp_(x, y, "9", "9", x <= y, "<=",
                "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                "outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/"
                "master/tests/test_simple.c",
                32, __func__);
  } while (0);
}


x86 assembly (clang, -O0):
<case_world>:
push   %rbp
mov    %rsp,%rbp
sub    $0x870,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0xa,-0xc(%rbp)
movl   $0x14,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe8e(%rip),%rsi
lea    0xe8e(%rip),%rdx
mov    $0x14,%ecx
lea    0xf10(%rip),%r8
mov    $0x0,%al
call   1040 <should_be_@plt>
lea    -0x410(%rbp),%rdi
lea    0xf06(%rip),%rsi
mov    $0x0,%al
call   1060 <sprintf@plt>
cmpl   $0x9,-0xc(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
lea    -0x410(%rbp),%rsi
lea    0xeec(%rip),%rdx
lea    0xe45(%rip),%rcx
mov    $0x15,%r8d
lea    0xec6(%rip),%r9
mov    $0x0,%al
call   1050 <should_be_else_printf_@plt>
jmp    11db <case_world+0x9b>
lea    -0x810(%rbp),%rdi
mov    -0xc(%rbp),%edx
lea    0xec2(%rip),%rsi
mov    $0x0,%al
call   1060 <sprintf@plt>
cmpl   $0xa,-0xc(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    -0x810(%rbp),%rsi
lea    0xeb7(%rip),%rdx
lea    0xdf3(%rip),%rcx
mov    $0x16,%r8d
lea    0xe74(%rip),%r9
mov    $0x0,%al
call   1050 <should_be_else_printf_@plt>
jmp    122d <case_world+0xed>
mov    -0xc(%rbp),%eax
mov    %eax,-0x814(%rbp)
movl   $0xa,-0x818(%rbp)
mov    -0x814(%rbp),%edi
mov    -0x818(%rbp),%esi
mov    -0x814(%rbp),%eax
cmp    -0x818(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xe64(%rip),%rdx
lea    0xe5a(%rip),%rcx
lea    0xe58(%rip),%r9
lea    0xd8a(%rip),%r10
lea    0xe11(%rip),%rax
mov    %r10,(%rsp)
movl   $0x18,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    12a1 <case_world+0x161>
mov    -0x10(%rbp),%eax
mov    %eax,-0x81c(%rbp)
movl   $0x14,-0x820(%rbp)
mov    -0x81c(%rbp),%edi
mov    -0x820(%rbp),%esi
mov    -0x81c(%rbp),%eax
cmp    -0x820(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xd29(%rip),%rdx
lea    0xdee(%rip),%rcx
lea    0xde4(%rip),%r9
lea    0xd16(%rip),%r10
lea    0xd9d(%rip),%rax
mov    %r10,(%rsp)
movl   $0x19,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    1315 <case_world+0x1d5>
mov    -0xc(%rbp),%eax
mov    %eax,-0x824(%rbp)
movl   $0x14,-0x828(%rbp)
mov    -0x824(%rbp),%edi
mov    -0x828(%rbp),%esi
mov    -0x824(%rbp),%eax
cmp    -0x828(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xd7c(%rip),%rdx
lea    0xd7a(%rip),%rcx
lea    0xd76(%rip),%r9
lea    0xca2(%rip),%r10
lea    0xd29(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1a,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    1389 <case_world+0x249>
mov    -0x10(%rbp),%eax
mov    %eax,-0x82c(%rbp)
movl   $0xa,-0x830(%rbp)
mov    -0x82c(%rbp),%edi
mov    -0x830(%rbp),%esi
mov    -0x82c(%rbp),%eax
cmp    -0x830(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xc41(%rip),%rdx
lea    0xcfe(%rip),%rcx
lea    0xd02(%rip),%r9
lea    0xc2e(%rip),%r10
lea    0xcb5(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1b,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    13fd <case_world+0x2bd>
movl   $0xa,-0x834(%rbp)
movl   $0x14,-0x838(%rbp)
mov    -0x834(%rbp),%edi
mov    -0x838(%rbp),%esi
mov    -0x834(%rbp),%eax
cmp    -0x838(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xc90(%rip),%rdx
lea    0xc91(%rip),%rcx
lea    0xc8d(%rip),%r9
lea    0xbb9(%rip),%r10
lea    0xc40(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1c,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    1472 <case_world+0x332>
movl   $0x14,-0x83c(%rbp)
movl   $0xa,-0x840(%rbp)
mov    -0x83c(%rbp),%edi
mov    -0x840(%rbp),%esi
mov    -0x83c(%rbp),%eax
cmp    -0x840(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xc23(%rip),%rdx
lea    0xc14(%rip),%rcx
lea    0xc18(%rip),%r9
lea    0xb44(%rip),%r10
lea    0xbcb(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1d,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    14e7 <case_world+0x3a7>
movl   $0x9,-0x844(%rbp)
movl   $0x14,-0x848(%rbp)
mov    -0x844(%rbp),%edi
mov    -0x848(%rbp),%esi
mov    -0x844(%rbp),%eax
cmp    -0x848(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xb89(%rip),%rdx
lea    0xba7(%rip),%rcx
lea    0xba6(%rip),%r9
lea    0xacf(%rip),%r10
lea    0xb56(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1e,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    155c <case_world+0x41c>
movl   $0x9,-0x84c(%rbp)
movl   $0x14,-0x850(%rbp)
mov    -0x84c(%rbp),%edi
mov    -0x850(%rbp),%esi
mov    -0x84c(%rbp),%eax
cmp    -0x850(%rbp),%eax
setle  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xb14(%rip),%rdx
lea    0xb32(%rip),%rcx
lea    0xb33(%rip),%r9
lea    0xa5a(%rip),%r10
lea    0xae1(%rip),%rax
mov    %r10,(%rsp)
movl   $0x1f,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
jmp    15d1 <case_world+0x491>
movl   $0x9,-0x854(%rbp)
movl   $0x9,-0x858(%rbp)
mov    -0x854(%rbp),%edi
mov    -0x858(%rbp),%esi
mov    -0x854(%rbp),%eax
cmp    -0x858(%rbp),%eax
setle  %al
and    $0x1,%al
movzbl %al,%r8d
lea    0xa9f(%rip),%rcx
lea    0xac5(%rip),%r9
lea    0x9ec(%rip),%r10
lea    0xa73(%rip),%rax
mov    %rcx,%rdx
mov    %r10,(%rsp)
movl   $0x20,0x8(%rsp)
mov    %rax,0x10(%rsp)
mov    $0x0,%al
call   1030 <should_cmp_@plt>
add    $0x870,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<case_world>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x408,%rsp
lea    0xea8(%rip),%rsi
lea    0xea8(%rip),%r14
lea    0xf2f(%rip),%r13
mov    $0x1,%edi
mov    %r14,%rdx
mov    $0x14,%ecx
mov    %r13,%r8
xor    %eax,%eax
call   1040 <should_be_@plt>
movl   $0x216f4e,0x3(%rsp)
movl   $0x4e20684f,(%rsp)
lea    0xf14(%rip),%rdx
mov    %rsp,%rsi
mov    $0x1,%edi
mov    %r14,%rcx
mov    $0x15,%r8d
mov    %r13,%r9
xor    %eax,%eax
call   1050 <should_be_else_printf_@plt>
lea    0xef9(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0xa,%edx
xor    %eax,%eax
call   1060 <sprintf@plt>
lea    0xef6(%rip),%rdx
mov    $0x1,%edi
mov    %rbx,%rsi
mov    %r14,%rcx
mov    $0x16,%r8d
mov    %r13,%r9
xor    %eax,%eax
call   1050 <should_be_else_printf_@plt>
sub    $0x8,%rsp
lea    0xed8(%rip),%rbp
lea    0xece(%rip),%rcx
lea    0xecc(%rip),%rbx
mov    $0xa,%edi
mov    $0xa,%esi
mov    %rbp,%rdx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x18
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
lea    0xdd5(%rip),%r12
lea    0xe9a(%rip),%r15
mov    $0x14,%edi
mov    $0x14,%esi
mov    %r12,%rdx
mov    %r15,%rcx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x19
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
lea    0xe6c(%rip),%rbx
mov    $0xa,%edi
mov    $0x14,%esi
mov    %rbp,%rdx
mov    %r15,%rcx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x1a
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
mov    $0x14,%edi
mov    $0xa,%esi
mov    %r12,%rdx
lea    0xe23(%rip),%rcx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x1b
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
mov    $0xa,%edi
mov    $0x14,%esi
lea    0xdf8(%rip),%rdx
mov    %rdx,%rbp
mov    %r15,%rcx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x1c
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
mov    $0x14,%edi
mov    $0xa,%esi
mov    %r15,%rdx
mov    %rbp,%rcx
mov    $0x1,%r8d
mov    %rbx,%r9
xor    %eax,%eax
push   %r13
push   $0x1d
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
lea    0xd8a(%rip),%rbx
lea    0xdae(%rip),%r9
mov    $0x9,%edi
mov    $0x14,%esi
mov    %rbx,%rdx
mov    %r15,%rcx
mov    $0x1,%r8d
xor    %eax,%eax
push   %r13
push   $0x1e
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
lea    0xd82(%rip),%rbp
mov    $0x9,%edi
mov    $0x14,%esi
mov    %rbx,%rdx
mov    %r15,%rcx
mov    $0x1,%r8d
mov    %rbp,%r9
xor    %eax,%eax
push   %r13
push   $0x1f
push   %r14
call   1030 <should_cmp_@plt>
add    $0x18,%rsp
mov    $0x9,%edi
mov    $0x9,%esi
mov    %rbx,%rdx
mov    %rbx,%rcx
mov    $0x1,%r8d
mov    %rbp,%r9
xor    %eax,%eax
push   %r13
push   $0x20
push   %r14
call   1030 <should_cmp_@plt>
add    $0x428,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [7 x i8] c"a != b\00"
@.str.1 = [142 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/master/tests/test_simple.c\00"
@__func__.case_world = [11 x i8] c"case_world\00"
@.str.2 = [7 x i8] c"Oh No!\00"
@.str.3 = [7 x i8] c"a != 9\00"
@.str.4 = [22 x i8] c"'a' is not 10 but %d.\00"
@.str.5 = [8 x i8] c"a == 10\00"
@.str.6 = [2 x i8] c"a\00"
@.str.7 = [3 x i8] c"10\00"
@.str.8 = [3 x i8] c"==\00"
@.str.9 = [2 x i8] c"b\00"
@.str.10 = [3 x i8] c"20\00"
@.str.11 = [3 x i8] c"!=\00"
@.str.12 = [2 x i8] c"9\00"
@.str.13 = [2 x i8] c"<\00"
@.str.14 = [3 x i8] c"<=\00"
define void @case_world(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca [1024 x i8]
%6 = alloca [1024 x i8]
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
store i8* %0, i8** %2
store i32 10, i32* %3
store i32 20, i32* %4
%25 = load i32, i32* %3
%26 = load i32, i32* %4
%27 = icmp ne i32 %25, %26
%28 = zext i1 %27 to i32
%29 = call i32 (i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_ to i32 (i32, i8*, i8*, i32, i8*, ...)*)(i32 %28, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 20, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %30
30: ; preds = %1
%31 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 0
%32 = call i32 (i8*, i8*, ...) @sprintf(i8* %31, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.2, i64 0, i64 0))
%33 = load i32, i32* %3
%34 = icmp ne i32 %33, 9
%35 = zext i1 %34 to i32
%36 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 0
%37 = call i32 (i32, i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_else_printf_ to i32 (i32, i8*, i8*, i8*, i32, i8*, ...)*)(i32 %35, i8* %36, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 21, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %38
38: ; preds = %30
br label %39
39: ; preds = %38
%40 = getelementptr inbounds [1024 x i8], [1024 x i8]* %6, i64 0, i64 0
%41 = load i32, i32* %3
%42 = call i32 (i8*, i8*, ...) @sprintf(i8* %40, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i32 %41)
%43 = load i32, i32* %3
%44 = icmp eq i32 %43, 10
%45 = zext i1 %44 to i32
%46 = getelementptr inbounds [1024 x i8], [1024 x i8]* %6, i64 0, i64 0
%47 = call i32 (i32, i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_else_printf_ to i32 (i32, i8*, i8*, i8*, i32, i8*, ...)*)(i32 %45, i8* %46, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 22, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %48
48: ; preds = %39
br label %49
49: ; preds = %48
%50 = load i32, i32* %3
store i32 %50, i32* %7
store i32 10, i32* %8
%51 = load i32, i32* %7
%52 = load i32, i32* %8
%53 = load i32, i32* %7
%54 = load i32, i32* %8
%55 = icmp eq i32 %53, %54
%56 = zext i1 %55 to i32
%57 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %51, i32 %52, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %56, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 24, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %58
58: ; preds = %49
br label %59
59: ; preds = %58
%60 = load i32, i32* %4
store i32 %60, i32* %9
store i32 20, i32* %10
%61 = load i32, i32* %9
%62 = load i32, i32* %10
%63 = load i32, i32* %9
%64 = load i32, i32* %10
%65 = icmp eq i32 %63, %64
%66 = zext i1 %65 to i32
%67 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %61, i32 %62, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %66, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 25, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %68
68: ; preds = %59
br label %69
69: ; preds = %68
%70 = load i32, i32* %3
store i32 %70, i32* %11
store i32 20, i32* %12
%71 = load i32, i32* %11
%72 = load i32, i32* %12
%73 = load i32, i32* %11
%74 = load i32, i32* %12
%75 = icmp ne i32 %73, %74
%76 = zext i1 %75 to i32
%77 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %71, i32 %72, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %76, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 26, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %78
78: ; preds = %69
br label %79
79: ; preds = %78
%80 = load i32, i32* %4
store i32 %80, i32* %13
store i32 10, i32* %14
%81 = load i32, i32* %13
%82 = load i32, i32* %14
%83 = load i32, i32* %13
%84 = load i32, i32* %14
%85 = icmp ne i32 %83, %84
%86 = zext i1 %85 to i32
%87 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %81, i32 %82, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %86, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 27, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %88
88: ; preds = %79
br label %89
89: ; preds = %88
store i32 10, i32* %15
store i32 20, i32* %16
%90 = load i32, i32* %15
%91 = load i32, i32* %16
%92 = load i32, i32* %15
%93 = load i32, i32* %16
%94 = icmp ne i32 %92, %93
%95 = zext i1 %94 to i32
%96 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %90, i32 %91, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %95, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 28, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %97
97: ; preds = %89
br label %98
98: ; preds = %97
store i32 20, i32* %17
store i32 10, i32* %18
%99 = load i32, i32* %17
%100 = load i32, i32* %18
%101 = load i32, i32* %17
%102 = load i32, i32* %18
%103 = icmp ne i32 %101, %102
%104 = zext i1 %103 to i32
%105 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %99, i32 %100, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %104, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 29, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %106
106: ; preds = %98
br label %107
107: ; preds = %106
store i32 9, i32* %19
store i32 20, i32* %20
%108 = load i32, i32* %19
%109 = load i32, i32* %20
%110 = load i32, i32* %19
%111 = load i32, i32* %20
%112 = icmp slt i32 %110, %111
%113 = zext i1 %112 to i32
%114 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %108, i32 %109, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %113, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 30, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %115
115: ; preds = %107
br label %116
116: ; preds = %115
store i32 9, i32* %21
store i32 20, i32* %22
%117 = load i32, i32* %21
%118 = load i32, i32* %22
%119 = load i32, i32* %21
%120 = load i32, i32* %22
%121 = icmp sle i32 %119, %120
%122 = zext i1 %121 to i32
%123 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %117, i32 %118, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %122, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 31, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %124
124: ; preds = %116
br label %125
125: ; preds = %124
store i32 9, i32* %23
store i32 9, i32* %24
%126 = load i32, i32* %23
%127 = load i32, i32* %24
%128 = load i32, i32* %23
%129 = load i32, i32* %24
%130 = icmp sle i32 %128, %129
%131 = zext i1 %130 to i32
%132 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 %126, i32 %127, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i32 %131, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 32, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
br label %133
133: ; preds = %125
ret void
}

LLVM IR (-O2):
@.str = [7 x i8] c"a != b\00"
@.str.1 = [142 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/9beach/should/refs/heads/master/tests/test_simple.c\00"
@__func__.case_world = [11 x i8] c"case_world\00"
@.str.2 = [7 x i8] c"Oh No!\00"
@.str.3 = [7 x i8] c"a != 9\00"
@.str.4 = [22 x i8] c"'a' is not 10 but %d.\00"
@.str.5 = [8 x i8] c"a == 10\00"
@.str.6 = [2 x i8] c"a\00"
@.str.7 = [3 x i8] c"10\00"
@.str.8 = [3 x i8] c"==\00"
@.str.9 = [2 x i8] c"b\00"
@.str.10 = [3 x i8] c"20\00"
@.str.11 = [3 x i8] c"!=\00"
@.str.12 = [2 x i8] c"9\00"
@.str.13 = [2 x i8] c"<\00"
@.str.14 = [3 x i8] c"<=\00"
define void @case_world(i8* nocapture readnone %0) {
%2 = alloca [1024 x i8]
%3 = alloca [1024 x i8]
%4 = tail call i32 (i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_ to i32 (i32, i8*, i8*, i32, i8*, ...)*)(i32 1, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 20, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%5 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%6 = call i32 (i32, i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_else_printf_ to i32 (i32, i8*, i8*, i8*, i32, i8*, ...)*)(i32 1, i8* %5, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 21, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%7 = getelementptr inbounds [1024 x i8], [1024 x i8]* %3, i64 0, i64 0
%8 = call i32 (i8*, i8*, ...) @sprintf(i8* %7, i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i32 10)
%9 = call i32 (i32, i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_be_else_printf_ to i32 (i32, i8*, i8*, i8*, i32, i8*, ...)*)(i32 1, i8* %7, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 22, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%10 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 10, i32 10, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 24, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%11 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 20, i32 20, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 25, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%12 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 10, i32 20, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 26, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%13 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 20, i32 10, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 27, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%14 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 10, i32 20, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 28, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%15 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 20, i32 10, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 29, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%16 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 9, i32 20, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 30, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%17 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 9, i32 20, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 31, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
%18 = call i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @should_cmp_ to i32 (i32, i32, i8*, i8*, i32, i8*, i8*, i32, i8*, ...)*)(i32 9, i32 9, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.12, i64 0, i64 0), i32 1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([142 x i8], [142 x i8]* @.str.1, i64 0, i64 0), i32 32, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @__func__.case_world, i64 0, i64 0))
ret void
}