#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 */

/* Variables and functions */
int /*<<< orphan*/ ctest_assert_fmt(int, char *, int, char *, char *, char *,
                                    char *, ...);
scalar_t__ ctest_toggle_inversion();
void test_assert_ptr() {
  int a, b;
  int *ap = &a;
  int *bp = &b;
  int *cp = &a;
  int *n = NULL;
  do {
    void *pv = (ap);
    ctest_assert_fmt(
        pv != (void *)0,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        149, "%s != NULL with %s==0x%lX!", "ap", "ap", pv);
  } while (0);
  do {
    void *pv = (n);
    ctest_assert_fmt(
        pv == (void *)0,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        150, "%s == NULL with %s==0x%lX!", "n", "n", pv);
  } while (0);
  while (ctest_toggle_inversion()) {
    do {
      void *pv = (n);
      ctest_assert_fmt(pv != (void *)0,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       153, "%s != NULL with %s==0x%lX!", "n", "n", pv);
    } while (0);
    do {
      void *pv = (ap);
      ctest_assert_fmt(pv == (void *)0,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       154, "%s == NULL with %s==0x%lX!", "ap", "ap", pv);
    } while (0);
  }
  do {
    void *xv = (ap);
    void *yv = (cp);
    ctest_assert_fmt(
        xv == yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        157,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "ap", "==", "cp", "ap", xv, "cp", yv);
  } while (0);
  do {
    void *xv = (ap);
    void *yv = (bp);
    ctest_assert_fmt(
        xv != yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        158,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "ap", "!=", "bp", "ap", xv, "bp", yv);
  } while (0);
  do {
    void *xv = (ap);
    void *yv = (bp);
    ctest_assert_fmt(
        xv > yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        159,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "ap", ">", "bp", "ap", xv, "bp", yv);
  } while (0);
  do {
    void *xv = (ap);
    void *yv = (bp);
    ctest_assert_fmt(
        xv >= yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        160,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "ap", ">=", "bp", "ap", xv, "bp", yv);
  } while (0);
  do {
    void *xv = (ap);
    void *yv = (cp);
    ctest_assert_fmt(
        xv >= yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        161,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "ap", ">=", "cp", "ap", xv, "cp", yv);
  } while (0);
  do {
    void *xv = (bp);
    void *yv = (ap);
    ctest_assert_fmt(
        xv < yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        162,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "bp", "<", "ap", "bp", xv, "ap", yv);
  } while (0);
  do {
    void *xv = (bp);
    void *yv = (ap);
    ctest_assert_fmt(
        xv <= yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        163,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "bp", "<=", "ap", "bp", xv, "ap", yv);
  } while (0);
  do {
    void *xv = (cp);
    void *yv = (ap);
    ctest_assert_fmt(
        xv <= yv,
        "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
        "2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c",
        164,
        "%s %s %s with %s="
        "0x%lX"
        " and %s="
        "0x%lX",
        "cp", "<=", "ap", "cp", xv, "ap", yv);
  } while (0);
  while (ctest_toggle_inversion()) {
    do {
      void *xv = (ap);
      void *yv = (bp);
      ctest_assert_fmt(xv == yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       167,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "ap", "==", "bp", "ap", xv, "bp", yv);
    } while (0);
    do {
      void *xv = (ap);
      void *yv = (cp);
      ctest_assert_fmt(xv != yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       168,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "ap", "!=", "cp", "ap", xv, "cp", yv);
    } while (0);
    do {
      void *xv = (ap);
      void *yv = (cp);
      ctest_assert_fmt(xv > yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       169,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "ap", ">", "cp", "ap", xv, "cp", yv);
    } while (0);
    do {
      void *xv = (bp);
      void *yv = (cp);
      ctest_assert_fmt(xv > yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       170,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "bp", ">", "cp", "bp", xv, "cp", yv);
    } while (0);
    do {
      void *xv = (bp);
      void *yv = (ap);
      ctest_assert_fmt(xv >= yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       171,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "bp", ">=", "ap", "bp", xv, "ap", yv);
    } while (0);
    do {
      void *xv = (cp);
      void *yv = (ap);
      ctest_assert_fmt(xv < yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       172,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "cp", "<", "ap", "cp", xv, "ap", yv);
    } while (0);
    do {
      void *xv = (cp);
      void *yv = (bp);
      ctest_assert_fmt(xv < yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       173,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "cp", "<", "bp", "cp", xv, "bp", yv);
    } while (0);
    do {
      void *xv = (ap);
      void *yv = (bp);
      ctest_assert_fmt(xv <= yv,
                       "/scratch/repos/new/home/jordi_armengol_estape/"
                       "c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/"
                       "ctest/refs/heads/master/ctassert.c",
                       174,
                       "%s %s %s with %s="
                       "0x%lX"
                       " and %s="
                       "0x%lX",
                       "ap", "<=", "bp", "ap", xv, "bp", yv);
    } while (0);
  }
}


x86 assembly (clang, -O0):
<test_assert_ptr>:
push   %rbp
mov    %rsp,%rbp
push   %rbx
sub    $0x178,%rsp
lea    -0xc(%rbp),%rax
mov    %rax,-0x18(%rbp)
lea    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
lea    -0xc(%rbp),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x38(%rbp),%rax
lea    0xe94(%rip),%rsi
mov    $0x95,%edx
lea    0xf0d(%rip),%rcx
lea    0xf21(%rip),%r9
mov    %r9,%r8
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1192 <test_assert_ptr+0x72>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x40(%rbp),%rax
lea    0xe4e(%rip),%rsi
mov    $0x96,%edx
lea    0xee5(%rip),%rcx
lea    0xef9(%rip),%r9
mov    %r9,%r8
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    11d8 <test_assert_ptr+0xb8>
mov    $0x0,%al
call   1040 <ctest_toggle_inversion@plt>
cmp    $0x0,%rax
je     127a <test_assert_ptr+0x15a>
jmp    11ee <test_assert_ptr+0xce>
mov    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x48(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x48(%rbp),%rax
lea    0xdf2(%rip),%rsi
mov    $0x99,%edx
lea    0xe6b(%rip),%rcx
lea    0xe9d(%rip),%r9
mov    %r9,%r8
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1234 <test_assert_ptr+0x114>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmpq   $0x0,-0x50(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x50(%rbp),%rax
lea    0xdac(%rip),%rsi
mov    $0x9a,%edx
lea    0xe43(%rip),%rcx
lea    0xe39(%rip),%r9
mov    %r9,%r8
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    11d8 <test_assert_ptr+0xb8>
jmp    127f <test_assert_ptr+0x15f>
mov    -0x18(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x60(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x58(%rbp),%r11
mov    -0x60(%rbp),%rax
lea    0xd52(%rip),%rsi
mov    $0x9d,%edx
lea    0xe06(%rip),%rcx
lea    0xddf(%rip),%rbx
lea    0xe1c(%rip),%r9
lea    0xe18(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    12f6 <test_assert_ptr+0x1d6>
mov    -0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x70(%rbp),%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x68(%rbp),%r11
mov    -0x70(%rbp),%rax
lea    0xcdb(%rip),%rsi
mov    $0x9e,%edx
lea    0xd8f(%rip),%rcx
lea    0xd68(%rip),%rbx
lea    0xdab(%rip),%r9
lea    0xda7(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    136d <test_assert_ptr+0x24d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x80(%rbp),%rax
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x78(%rbp),%r11
mov    -0x80(%rbp),%rax
lea    0xc64(%rip),%rsi
mov    $0x9f,%edx
lea    0xd18(%rip),%rcx
lea    0xcf1(%rip),%rbx
lea    0xd3a(%rip),%r9
lea    0xd30(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    13e4 <test_assert_ptr+0x2c4>
mov    -0x18(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x90(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x88(%rbp),%r11
mov    -0x90(%rbp),%rax
lea    0xbdb(%rip),%rsi
mov    $0xa0,%edx
lea    0xc8f(%rip),%rcx
lea    0xc68(%rip),%rbx
lea    0xcb3(%rip),%r9
lea    0xca7(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    146d <test_assert_ptr+0x34d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0xa0(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x98(%rbp),%r11
mov    -0xa0(%rbp),%rax
lea    0xb52(%rip),%rsi
mov    $0xa1,%edx
lea    0xc06(%rip),%rcx
lea    0xbdf(%rip),%rbx
lea    0xc2a(%rip),%r9
lea    0xc18(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    14f6 <test_assert_ptr+0x3d6>
mov    -0x20(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0xb0(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xa8(%rbp),%r11
mov    -0xb0(%rbp),%rax
lea    0xac9(%rip),%rsi
mov    $0xa2,%edx
lea    0xb7d(%rip),%rcx
lea    0xba3(%rip),%rbx
lea    0xba4(%rip),%r9
lea    0xb48(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    157f <test_assert_ptr+0x45f>
mov    -0x20(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xc0(%rbp),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xb8(%rbp),%r11
mov    -0xc0(%rbp),%rax
lea    0xa40(%rip),%rsi
mov    $0xa3,%edx
lea    0xaf4(%rip),%rcx
lea    0xb1a(%rip),%rbx
lea    0xb1d(%rip),%r9
lea    0xabf(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1608 <test_assert_ptr+0x4e8>
mov    -0x28(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xc8(%rbp),%rax
cmp    -0xd0(%rbp),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xc8(%rbp),%r11
mov    -0xd0(%rbp),%rax
lea    0x9b7(%rip),%rsi
mov    $0xa4,%edx
lea    0xa6b(%rip),%rcx
lea    0xa8b(%rip),%rbx
lea    0xa94(%rip),%r9
lea    0xa36(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1691 <test_assert_ptr+0x571>
mov    $0x0,%al
call   1040 <ctest_toggle_inversion@plt>
cmp    $0x0,%rax
je     1aef <test_assert_ptr+0x9cf>
jmp    16a7 <test_assert_ptr+0x587>
mov    -0x18(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0xe0(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xd8(%rbp),%r11
mov    -0xe0(%rbp),%rax
lea    0x918(%rip),%rsi
mov    $0xa7,%edx
lea    0x9cc(%rip),%rcx
lea    0x9a5(%rip),%rbx
lea    0x9e2(%rip),%r9
lea    0x9e4(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1730 <test_assert_ptr+0x610>
mov    -0x18(%rbp),%rax
mov    %rax,-0xe8(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xe8(%rbp),%rax
cmp    -0xf0(%rbp),%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xe8(%rbp),%r11
mov    -0xf0(%rbp),%rax
lea    0x88f(%rip),%rsi
mov    $0xa8,%edx
lea    0x943(%rip),%rcx
lea    0x91c(%rip),%rbx
lea    0x95f(%rip),%r9
lea    0x955(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    17b9 <test_assert_ptr+0x699>
mov    -0x18(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0xf8(%rbp),%rax
cmp    -0x100(%rbp),%rax
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0xf8(%rbp),%r11
mov    -0x100(%rbp),%rax
lea    0x806(%rip),%rsi
mov    $0xa9,%edx
lea    0x8ba(%rip),%rcx
lea    0x893(%rip),%rbx
lea    0x8dc(%rip),%r9
lea    0x8cc(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1842 <test_assert_ptr+0x722>
mov    -0x20(%rbp),%rax
mov    %rax,-0x108(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x110(%rbp)
mov    -0x108(%rbp),%rax
cmp    -0x110(%rbp),%rax
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x108(%rbp),%r11
mov    -0x110(%rbp),%rax
lea    0x77d(%rip),%rsi
mov    $0xaa,%edx
lea    0x831(%rip),%rcx
lea    0x857(%rip),%rbx
lea    0x853(%rip),%r9
lea    0x843(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    18cb <test_assert_ptr+0x7ab>
mov    -0x20(%rbp),%rax
mov    %rax,-0x118(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x120(%rbp)
mov    -0x118(%rbp),%rax
cmp    -0x120(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x118(%rbp),%r11
mov    -0x120(%rbp),%rax
lea    0x6f4(%rip),%rsi
mov    $0xab,%edx
lea    0x7a8(%rip),%rcx
lea    0x7ce(%rip),%rbx
lea    0x7cc(%rip),%r9
lea    0x773(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1954 <test_assert_ptr+0x834>
mov    -0x28(%rbp),%rax
mov    %rax,-0x128(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x130(%rbp)
mov    -0x128(%rbp),%rax
cmp    -0x130(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x128(%rbp),%r11
mov    -0x130(%rbp),%rax
lea    0x66b(%rip),%rsi
mov    $0xac,%edx
lea    0x71f(%rip),%rcx
lea    0x73f(%rip),%rbx
lea    0x746(%rip),%r9
lea    0x6ea(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    19dd <test_assert_ptr+0x8bd>
mov    -0x28(%rbp),%rax
mov    %rax,-0x138(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x140(%rbp)
mov    -0x138(%rbp),%rax
cmp    -0x140(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x138(%rbp),%r11
mov    -0x140(%rbp),%rax
lea    0x5e2(%rip),%rsi
mov    $0xad,%edx
lea    0x696(%rip),%rcx
lea    0x6b6(%rip),%rbx
lea    0x6bd(%rip),%r9
lea    0x6ae(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1a66 <test_assert_ptr+0x946>
mov    -0x18(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x150(%rbp)
mov    -0x148(%rbp),%rax
cmp    -0x150(%rbp),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x148(%rbp),%r11
mov    -0x150(%rbp),%rax
lea    0x559(%rip),%rsi
mov    $0xae,%edx
lea    0x60d(%rip),%rcx
lea    0x5e6(%rip),%rbx
lea    0x636(%rip),%r9
lea    0x625(%rip),%r10
mov    %rbx,%r8
mov    %r10,(%rsp)
mov    %rbx,0x8(%rsp)
mov    %r11,0x10(%rsp)
mov    %r10,0x18(%rsp)
mov    %rax,0x20(%rsp)
mov    $0x0,%al
call   1030 <ctest_assert_fmt@plt>
jmp    1691 <test_assert_ptr+0x571>
add    $0x178,%rsp
pop    %rbx
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_assert_ptr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
sub    $0x8,%rsp
lea    0x1c(%rsp),%rbx
lea    0xec2(%rip),%rbp
lea    0xf40(%rip),%rcx
lea    0xf54(%rip),%r8
mov    $0x1,%edi
mov    %rbp,%rsi
mov    $0x95,%edx
mov    %r8,%r9
xor    %eax,%eax
push   %rbx
call   1030 <ctest_assert_fmt@plt>
add    $0x8,%rsp
lea    0xf34(%rip),%rcx
lea    0xf48(%rip),%r8
mov    $0x1,%edi
mov    %rbp,%rsi
mov    $0x96,%edx
mov    %r8,%r9
xor    %eax,%eax
push   $0x0
call   1030 <ctest_assert_fmt@plt>
add    $0x10,%rsp
xor    %eax,%eax
call   1040 <ctest_toggle_inversion@plt>
test   %rax,%rax
je     121f <test_assert_ptr+0xff>
lea    0xe56(%rip),%r13
lea    0xed4(%rip),%r15
lea    0xf06(%rip),%r14
lea    0xee4(%rip),%r12
lea    0xeda(%rip),%rbp
cs nopw 0x0(%rax,%rax,1)
sub    $0x8,%rsp
xor    %edi,%edi
mov    %r13,%rsi
mov    $0x99,%edx
mov    %r15,%rcx
mov    %r14,%r8
mov    %r14,%r9
xor    %eax,%eax
push   $0x0
call   1030 <ctest_assert_fmt@plt>
add    $0x8,%rsp
xor    %edi,%edi
mov    %r13,%rsi
mov    $0x9a,%edx
mov    %r12,%rcx
mov    %rbp,%r8
mov    %rbp,%r9
xor    %eax,%eax
push   %rbx
call   1030 <ctest_assert_fmt@plt>
add    $0x10,%rsp
xor    %eax,%eax
call   1040 <ctest_toggle_inversion@plt>
test   %rax,%rax
jne    11d0 <test_assert_ptr+0xb0>
sub    $0x8,%rsp
lea    0xebd(%rip),%r10
lea    0xdcf(%rip),%r12
lea    0xe88(%rip),%r14
lea    0xea5(%rip),%r9
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0x9d,%edx
mov    %r14,%rcx
lea    0xe4a(%rip),%r15
mov    %r15,%r8
xor    %eax,%eax
push   %rbx
push   %r10
push   %rbx
push   %r15
push   %r10
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
lea    0x10(%rsp),%r13
lea    0xe75(%rip),%rbp
lea    0xe6b(%rip),%r9
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0x9e,%edx
mov    %r14,%rcx
mov    %r15,%r8
mov    $0x0,%eax
push   %r13
push   %rbp
push   %rbx
push   %r15
push   %rbp
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
xor    %r12d,%r12d
xor    %r14d,%r14d
mov    %r13,%rbp
cmp    %r13,%rbx
seta   %r12b
lea    0xe32(%rip),%r9
setae  %r14b
mov    %r12d,%edi
lea    0xd34(%rip),%r13
mov    %r13,%rsi
mov    $0x9f,%edx
lea    0xde5(%rip),%rcx
mov    %r15,%r8
xor    %eax,%eax
push   %rbp
lea    0xe05(%rip),%r10
push   %r10
push   %rbx
push   %r15
push   %r10
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
lea    0xdf3(%rip),%r9
mov    %r14d,%edi
mov    %r13,%rsi
mov    $0xa0,%edx
lea    0xdaf(%rip),%rcx
mov    %r15,%r8
xor    %eax,%eax
push   %rbp
lea    0xdcf(%rip),%rbp
push   %rbp
push   %rbx
push   %r15
push   %rbp
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    $0x1,%edi
mov    %r13,%rsi
mov    $0xa1,%edx
lea    0xd80(%rip),%rcx
mov    %r15,%r8
lea    0xda8(%rip),%r9
xor    %eax,%eax
push   %rbx
lea    0xd93(%rip),%rbp
push   %rbp
push   %rbx
push   %r15
push   %rbp
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
lea    0xd8c(%rip),%r9
mov    %r12d,%edi
mov    %r13,%rsi
mov    %r13,%r12
mov    $0xa2,%edx
lea    0xd42(%rip),%rbp
mov    %rbp,%rcx
lea    0xd65(%rip),%r8
xor    %eax,%eax
push   %rbx
push   %r15
lea    0x20(%rsp),%r13
push   %r13
push   %r8
push   %r15
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
lea    0xd4f(%rip),%r9
mov    %r14d,%edi
lea    0xd3b(%rip),%r14
mov    %r12,%rsi
mov    $0xa3,%edx
mov    %rbp,%rcx
mov    %r14,%r8
xor    %eax,%eax
push   %rbx
push   %r15
push   %r13
push   %r14
push   %r15
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xa4,%edx
mov    %rbp,%rcx
lea    0xcfc(%rip),%r8
lea    0xd05(%rip),%r9
xor    %eax,%eax
push   %rbx
push   %r15
push   %rbx
push   %r8
push   %r15
call   1030 <ctest_assert_fmt@plt>
add    $0x30,%rsp
xor    %eax,%eax
call   1040 <ctest_toggle_inversion@plt>
test   %rax,%rax
je     162a <test_assert_ptr+0x50a>
xor    %ecx,%ecx
xor    %edx,%edx
lea    0x8(%rsp),%rax
cmp    %rbx,%rax
seta   %cl
mov    %ecx,0xc(%rsp)
setae  %dl
mov    %edx,0x10(%rsp)
nop
sub    $0x8,%rsp
xor    %edi,%edi
lea    0xbc3(%rip),%r12
mov    %r12,%rsi
mov    $0xa7,%edx
lea    0xc74(%rip),%rbp
mov    %rbp,%rcx
mov    %r15,%r8
lea    0xc8b(%rip),%r9
xor    %eax,%eax
lea    0x10(%rsp),%r13
push   %r13
push   %r14
push   %rbx
push   %r15
push   %r14
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
xor    %edi,%edi
mov    %r12,%rsi
mov    %r15,%r8
mov    %r12,%r15
mov    $0xa8,%edx
mov    %rbp,%rcx
mov    %rbp,%r12
lea    0xc5b(%rip),%r9
xor    %eax,%eax
push   %rbx
mov    %r14,%r13
lea    0xc4b(%rip),%r14
push   %r14
push   %rbx
lea    0xbfa(%rip),%rbp
push   %rbp
push   %r14
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
xor    %edi,%edi
mov    %r15,%rsi
mov    $0xa9,%edx
mov    %r12,%rcx
mov    %r12,%r15
lea    0xbd7(%rip),%r8
lea    0xc20(%rip),%r12
mov    %r12,%r9
xor    %eax,%eax
push   %rbx
push   %r14
push   %rbx
lea    0xbc0(%rip),%rbp
push   %rbp
push   %r14
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    0x14(%rsp),%edi
lea    0xb09(%rip),%rbp
mov    %rbp,%rsi
mov    $0xaa,%edx
mov    %r15,%rcx
mov    %r13,%r8
mov    %r12,%r9
xor    %eax,%eax
push   %rbx
push   %r14
lea    0x20(%rsp),%r15
push   %r15
push   %r13
push   %r14
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    0x18(%rsp),%r12d
mov    %r12d,%edi
mov    %rbp,%rsi
mov    $0xab,%edx
lea    0xb88(%rip),%rcx
mov    %r13,%r8
lea    0xbb0(%rip),%r9
xor    %eax,%eax
push   %rbx
lea    0xb54(%rip),%rbp
push   %rbp
push   %r15
push   %r13
lea    0xb48(%rip),%rbp
push   %rbp
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
xor    %edi,%edi
lea    0xa95(%rip),%rsi
mov    %rsi,%r15
mov    $0xac,%edx
lea    0xb46(%rip),%rcx
mov    %r14,%r8
lea    0xb71(%rip),%r9
xor    %eax,%eax
push   %rbx
lea    0xb12(%rip),%rbp
push   %rbp
push   %rbx
push   %r14
lea    0xb07(%rip),%rbp
push   %rbp
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    0x14(%rsp),%edi
mov    %r15,%rsi
mov    $0xad,%edx
lea    0xb0a(%rip),%rcx
mov    %r14,%r8
lea    0xb35(%rip),%r9
xor    %eax,%eax
lea    0x10(%rsp),%rbp
push   %rbp
push   %r13
push   %rbx
push   %r14
mov    %r13,%r14
lea    0xac9(%rip),%r15
push   %r13
call   1030 <ctest_assert_fmt@plt>
add    $0x28,%rsp
mov    %r12d,%edi
lea    0xa14(%rip),%rsi
mov    $0xae,%edx
lea    0xac8(%rip),%rcx
mov    %r15,%r8
lea    0xaf5(%rip),%r9
xor    %eax,%eax
lea    0x10(%rsp),%rbp
push   %rbp
push   %r13
push   %rbx
push   %r15
push   %r13
call   1030 <ctest_assert_fmt@plt>
add    $0x30,%rsp
xor    %eax,%eax
call   1040 <ctest_toggle_inversion@plt>
test   %rax,%rax
jne    1430 <test_assert_ptr+0x310>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [133 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c\00"
@.str.1 = [27 x i8] c"%s != NULL with %s==0x%lX!\00"
@.str.2 = [3 x i8] c"ap\00"
@.str.3 = [27 x i8] c"%s == NULL with %s==0x%lX!\00"
@.str.4 = [2 x i8] c"n\00"
@.str.5 = [36 x i8] c"%s %s %s with %s=0x%lX and %s=0x%lX\00"
@.str.6 = [3 x i8] c"==\00"
@.str.7 = [3 x i8] c"cp\00"
@.str.8 = [3 x i8] c"!=\00"
@.str.9 = [3 x i8] c"bp\00"
@.str.10 = [2 x i8] c">\00"
@.str.11 = [3 x i8] c">=\00"
@.str.12 = [2 x i8] c"<\00"
@.str.13 = [3 x i8] c"<=\00"
define void @test_assert_ptr() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca i8*
%20 = alloca i8*
%21 = alloca i8*
%22 = alloca i8*
%23 = alloca i8*
%24 = alloca i8*
%25 = alloca i8*
%26 = alloca i8*
%27 = alloca i8*
%28 = alloca i8*
%29 = alloca i8*
%30 = alloca i8*
%31 = alloca i8*
%32 = alloca i8*
%33 = alloca i8*
%34 = alloca i8*
%35 = alloca i8*
%36 = alloca i8*
%37 = alloca i8*
%38 = alloca i8*
%39 = alloca i8*
%40 = alloca i8*
%41 = alloca i8*
%42 = alloca i8*
store i32* %1, i32** %3
store i32* %2, i32** %4
store i32* %1, i32** %5
store i32* null, i32** %6
br label %43
43: ; preds = %0
%44 = load i32*, i32** %3
%45 = bitcast i32* %44 to i8*
store i8* %45, i8** %7
%46 = load i8*, i8** %7
%47 = icmp ne i8* %46, null
%48 = zext i1 %47 to i32
%49 = load i8*, i8** %7
%50 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %48, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 149, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %49)
br label %51
51: ; preds = %43
br label %52
52: ; preds = %51
%53 = load i32*, i32** %6
%54 = bitcast i32* %53 to i8*
store i8* %54, i8** %8
%55 = load i8*, i8** %8
%56 = icmp eq i8* %55, null
%57 = zext i1 %56 to i32
%58 = load i8*, i8** %8
%59 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %57, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 150, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* %58)
br label %60
60: ; preds = %52
br label %61
61: ; preds = %82, %60
%62 = call i64 (...) @ctest_toggle_inversion()
%63 = icmp ne i64 %62, 0
br i1 %63, label %64, label %83
64: ; preds = %61
br label %65
65: ; preds = %64
%66 = load i32*, i32** %6
%67 = bitcast i32* %66 to i8*
store i8* %67, i8** %9
%68 = load i8*, i8** %9
%69 = icmp ne i8* %68, null
%70 = zext i1 %69 to i32
%71 = load i8*, i8** %9
%72 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %70, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 153, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* %71)
br label %73
73: ; preds = %65
br label %74
74: ; preds = %73
%75 = load i32*, i32** %3
%76 = bitcast i32* %75 to i8*
store i8* %76, i8** %10
%77 = load i8*, i8** %10
%78 = icmp eq i8* %77, null
%79 = zext i1 %78 to i32
%80 = load i8*, i8** %10
%81 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %79, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 154, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %80)
br label %82
82: ; preds = %74
br label %61
83: ; preds = %61
br label %84
84: ; preds = %83
%85 = load i32*, i32** %3
%86 = bitcast i32* %85 to i8*
store i8* %86, i8** %11
%87 = load i32*, i32** %5
%88 = bitcast i32* %87 to i8*
store i8* %88, i8** %12
%89 = load i8*, i8** %11
%90 = load i8*, i8** %12
%91 = icmp eq i8* %89, %90
%92 = zext i1 %91 to i32
%93 = load i8*, i8** %11
%94 = load i8*, i8** %12
%95 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %92, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 157, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0), 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.2, i64 0, i64 0), i8* %93, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %94)
br label %96
96: ; preds = %84
br label %97
97: ; preds = %96
%98 = load i32*, i32** %3
%99 = bitcast i32* %98 to i8*
store i8* %99, i8** %13
%100 = load i32*, i32** %4
%101 = bitcast i32* %100 to i8*
store i8* %101, i8** %14
%102 = load i8*, i8** %13
%103 = load i8*, i8** %14
%104 = icmp ne i8* %102, %103
%105 = zext i1 %104 to i32
%106 = load i8*, i8** %13
%107 = load i8*, i8** %14
%108 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %105, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 158, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %106, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %107)
br label %109
109: ; preds = %97
br label %110
110: ; preds = %109
%111 = load i32*, i32** %3
%112 = bitcast i32* %111 to i8*
store i8* %112, i8** %15
%113 = load i32*, i32** %4
%114 = bitcast i32* %113 to i8*
store i8* %114, i8** %16
%115 = load i8*, i8** %15
%116 = load i8*, i8** %16
%117 = icmp ugt i8* %115, %116
%118 = zext i1 %117 to i32
%119 = load i8*, i8** %15
%120 = load i8*, i8** %16
%121 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %118, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 159, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %119, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %120)
br label %122
122: ; preds = %110
br label %123
123: ; preds = %122
%124 = load i32*, i32** %3
%125 = bitcast i32* %124 to i8*
store i8* %125, i8** %17
%126 = load i32*, i32** %4
%127 = bitcast i32* %126 to i8*
store i8* %127, i8** %18
%128 = load i8*, i8** %17
%129 = load i8*, i8** %18
%130 = icmp uge i8* %128, %129
%131 = zext i1 %130 to i32
%132 = load i8*, i8** %17
%133 = load i8*, i8** %18
%134 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %131, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 160, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %132, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %133)
br label %135
135: ; preds = %123
br label %136
136: ; preds = %135
%137 = load i32*, i32** %3
%138 = bitcast i32* %137 to i8*
store i8* %138, i8** %19
%139 = load i32*, i32** %5
%140 = bitcast i32* %139 to i8*
store i8* %140, i8** %20
%141 = load i8*, i8** %19
%142 = load i8*, i8** %20
%143 = icmp uge i8* %141, %142
%144 = zext i1 %143 to i32
%145 = load i8*, i8** %19
%146 = load i8*, i8** %20
%147 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %144, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 161, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), 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.2, i64 0, i64 0), i8* %145, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %146)
br label %148
148: ; preds = %136
br label %149
149: ; preds = %148
%150 = load i32*, i32** %4
%151 = bitcast i32* %150 to i8*
store i8* %151, i8** %21
%152 = load i32*, i32** %3
%153 = bitcast i32* %152 to i8*
store i8* %153, i8** %22
%154 = load i8*, i8** %21
%155 = load i8*, i8** %22
%156 = icmp ult i8* %154, %155
%157 = zext i1 %156 to i32
%158 = load i8*, i8** %21
%159 = load i8*, i8** %22
%160 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %157, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 162, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), 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.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %158, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %159)
br label %161
161: ; preds = %149
br label %162
162: ; preds = %161
%163 = load i32*, i32** %4
%164 = bitcast i32* %163 to i8*
store i8* %164, i8** %23
%165 = load i32*, i32** %3
%166 = bitcast i32* %165 to i8*
store i8* %166, i8** %24
%167 = load i8*, i8** %23
%168 = load i8*, i8** %24
%169 = icmp ule i8* %167, %168
%170 = zext i1 %169 to i32
%171 = load i8*, i8** %23
%172 = load i8*, i8** %24
%173 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %170, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 163, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %171, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %172)
br label %174
174: ; preds = %162
br label %175
175: ; preds = %174
%176 = load i32*, i32** %5
%177 = bitcast i32* %176 to i8*
store i8* %177, i8** %25
%178 = load i32*, i32** %3
%179 = bitcast i32* %178 to i8*
store i8* %179, i8** %26
%180 = load i8*, i8** %25
%181 = load i8*, i8** %26
%182 = icmp ule i8* %180, %181
%183 = zext i1 %182 to i32
%184 = load i8*, i8** %25
%185 = load i8*, i8** %26
%186 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %183, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 164, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), 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.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %184, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %185)
br label %187
187: ; preds = %175
br label %188
188: ; preds = %295, %187
%189 = call i64 (...) @ctest_toggle_inversion()
%190 = icmp ne i64 %189, 0
br i1 %190, label %191, label %296
191: ; preds = %188
br label %192
192: ; preds = %191
%193 = load i32*, i32** %3
%194 = bitcast i32* %193 to i8*
store i8* %194, i8** %27
%195 = load i32*, i32** %4
%196 = bitcast i32* %195 to i8*
store i8* %196, i8** %28
%197 = load i8*, i8** %27
%198 = load i8*, i8** %28
%199 = icmp eq i8* %197, %198
%200 = zext i1 %199 to i32
%201 = load i8*, i8** %27
%202 = load i8*, i8** %28
%203 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %200, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 167, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %201, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %202)
br label %204
204: ; preds = %192
br label %205
205: ; preds = %204
%206 = load i32*, i32** %3
%207 = bitcast i32* %206 to i8*
store i8* %207, i8** %29
%208 = load i32*, i32** %5
%209 = bitcast i32* %208 to i8*
store i8* %209, i8** %30
%210 = load i8*, i8** %29
%211 = load i8*, i8** %30
%212 = icmp ne i8* %210, %211
%213 = zext i1 %212 to i32
%214 = load i8*, i8** %29
%215 = load i8*, i8** %30
%216 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %213, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 168, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), 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.2, i64 0, i64 0), i8* %214, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %215)
br label %217
217: ; preds = %205
br label %218
218: ; preds = %217
%219 = load i32*, i32** %3
%220 = bitcast i32* %219 to i8*
store i8* %220, i8** %31
%221 = load i32*, i32** %5
%222 = bitcast i32* %221 to i8*
store i8* %222, i8** %32
%223 = load i8*, i8** %31
%224 = load i8*, i8** %32
%225 = icmp ugt i8* %223, %224
%226 = zext i1 %225 to i32
%227 = load i8*, i8** %31
%228 = load i8*, i8** %32
%229 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %226, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 169, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), 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.2, i64 0, i64 0), i8* %227, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %228)
br label %230
230: ; preds = %218
br label %231
231: ; preds = %230
%232 = load i32*, i32** %4
%233 = bitcast i32* %232 to i8*
store i8* %233, i8** %33
%234 = load i32*, i32** %5
%235 = bitcast i32* %234 to i8*
store i8* %235, i8** %34
%236 = load i8*, i8** %33
%237 = load i8*, i8** %34
%238 = icmp ugt i8* %236, %237
%239 = zext i1 %238 to i32
%240 = load i8*, i8** %33
%241 = load i8*, i8** %34
%242 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %239, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 170, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), 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.9, i64 0, i64 0), i8* %240, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %241)
br label %243
243: ; preds = %231
br label %244
244: ; preds = %243
%245 = load i32*, i32** %4
%246 = bitcast i32* %245 to i8*
store i8* %246, i8** %35
%247 = load i32*, i32** %3
%248 = bitcast i32* %247 to i8*
store i8* %248, i8** %36
%249 = load i8*, i8** %35
%250 = load i8*, i8** %36
%251 = icmp uge i8* %249, %250
%252 = zext i1 %251 to i32
%253 = load i8*, i8** %35
%254 = load i8*, i8** %36
%255 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %252, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 171, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %253, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %254)
br label %256
256: ; preds = %244
br label %257
257: ; preds = %256
%258 = load i32*, i32** %5
%259 = bitcast i32* %258 to i8*
store i8* %259, i8** %37
%260 = load i32*, i32** %3
%261 = bitcast i32* %260 to i8*
store i8* %261, i8** %38
%262 = load i8*, i8** %37
%263 = load i8*, i8** %38
%264 = icmp ult i8* %262, %263
%265 = zext i1 %264 to i32
%266 = load i8*, i8** %37
%267 = load i8*, i8** %38
%268 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %265, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 172, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), 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.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %266, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %267)
br label %269
269: ; preds = %257
br label %270
270: ; preds = %269
%271 = load i32*, i32** %5
%272 = bitcast i32* %271 to i8*
store i8* %272, i8** %39
%273 = load i32*, i32** %4
%274 = bitcast i32* %273 to i8*
store i8* %274, i8** %40
%275 = load i8*, i8** %39
%276 = load i8*, i8** %40
%277 = icmp ult i8* %275, %276
%278 = zext i1 %277 to i32
%279 = load i8*, i8** %39
%280 = load i8*, i8** %40
%281 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %278, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 173, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), 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.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i8* %279, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %280)
br label %282
282: ; preds = %270
br label %283
283: ; preds = %282
%284 = load i32*, i32** %3
%285 = bitcast i32* %284 to i8*
store i8* %285, i8** %41
%286 = load i32*, i32** %4
%287 = bitcast i32* %286 to i8*
store i8* %287, i8** %42
%288 = load i8*, i8** %41
%289 = load i8*, i8** %42
%290 = icmp ule i8* %288, %289
%291 = zext i1 %290 to i32
%292 = load i8*, i8** %41
%293 = load i8*, i8** %42
%294 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %291, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 174, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %292, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* %293)
br label %295
295: ; preds = %283
br label %188
296: ; preds = %188
ret void
}

LLVM IR (-O2):
@.str = [133 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/bronson/ctest/refs/heads/master/ctassert.c\00"
@.str.1 = [27 x i8] c"%s != NULL with %s==0x%lX!\00"
@.str.2 = [3 x i8] c"ap\00"
@.str.3 = [27 x i8] c"%s == NULL with %s==0x%lX!\00"
@.str.4 = [2 x i8] c"n\00"
@.str.5 = [36 x i8] c"%s %s %s with %s=0x%lX and %s=0x%lX\00"
@.str.6 = [3 x i8] c"==\00"
@.str.7 = [3 x i8] c"cp\00"
@.str.8 = [3 x i8] c"!=\00"
@.str.9 = [3 x i8] c"bp\00"
@.str.10 = [2 x i8] c">\00"
@.str.11 = [3 x i8] c">=\00"
@.str.12 = [2 x i8] c"<\00"
@.str.13 = [3 x i8] c"<=\00"
define void @test_assert_ptr() {
%1 = alloca i32
%2 = alloca i32
%3 = bitcast i32* %1 to i8*
%4 = bitcast i32* %2 to i8*
%5 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 149, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %3)
%6 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 150, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* null)
%7 = call i64 (...) @ctest_toggle_inversion()
%8 = icmp eq i64 %7, 0
br i1 %8, label %14, label %9
9: ; preds = %0, %9
%10 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 153, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0), i8* null)
%11 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 154, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %3)
%12 = call i64 (...) @ctest_toggle_inversion()
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %9
14: ; preds = %9, %0
%15 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 157, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0), 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.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32* %1)
%16 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 158, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2)
%17 = icmp ugt i32* %1, %2
%18 = zext i1 %17 to i32
%19 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %18, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 159, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2)
%20 = icmp uge i32* %1, %2
%21 = zext i1 %20 to i32
%22 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %21, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 160, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2)
%23 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 161, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), 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.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32* %1)
%24 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %18, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 162, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), 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.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1)
%25 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %21, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 163, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1)
%26 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 1, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 164, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), 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.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, 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.2, i64 0, i64 0), i32* %1)
%27 = call i64 (...) @ctest_toggle_inversion()
%28 = icmp eq i64 %27, 0
br i1 %28, label %45, label %29
29: ; preds = %14
%30 = icmp ugt i32* %2, %1
%31 = zext i1 %30 to i32
%32 = icmp uge i32* %2, %1
%33 = zext i1 %32 to i32
br label %34
34: ; preds = %29, %34
%35 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 167, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2)
%36 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 168, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), 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.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32* %1)
%37 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 169, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), 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.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32* %1)
%38 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %31, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 170, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0), 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.9, i64 0, i64 0), i32* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32* %1)
%39 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %33, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 171, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1)
%40 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 0, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 172, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), 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.2, 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.2, i64 0, i64 0), i32* %1)
%41 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %31, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 173, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), 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.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.9, i64 0, i64 0), i32* %2)
%42 = call i32 (i32, i8*, i32, i8*, i8*, i8*, i8*, ...) @ctest_assert_fmt(i32 %33, i8* getelementptr inbounds ([133 x i8], [133 x i8]* @.str, i64 0, i64 0), i32 174, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i32* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0), i32* %2)
%43 = call i64 (...) @ctest_toggle_inversion()
%44 = icmp eq i64 %43, 0
br i1 %44, label %45, label %34
45: ; preds = %34, %14
ret void
}