#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*/ _assert_string_equal(char *, int, char *, char *);
int /*<<< orphan*/ _assert_string_not_equal(char *, int, char *, char *);
void null_string_should_only_match_another_null_string() {
  _assert_string_equal(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/"
      "tests/assertion_tests.c",
      30, NULL, NULL);
  _assert_string_equal(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/"
      "tests/assertion_tests.c",
      31, "", "");
  _assert_string_not_equal(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/"
      "tests/assertion_tests.c",
      32, NULL, "");
  _assert_string_not_equal(
      "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
      "2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/"
      "tests/assertion_tests.c",
      33, "", NULL);
}


x86 assembly (clang, -O0):
<null_string_should_only_match_another_null_string>:
push   %rbp
mov    %rsp,%rbp
lea    0xed5(%rip),%rdi
mov    $0x1e,%esi
xor    %eax,%eax
mov    %eax,%ecx
mov    %rcx,%rdx
call   1030 <_assert_string_equal@plt>
lea    0xebd(%rip),%rdi
mov    $0x1f,%esi
lea    0xf4b(%rip),%rcx
mov    %rcx,%rdx
call   1030 <_assert_string_equal@plt>
lea    0xea2(%rip),%rdi
mov    $0x20,%esi
xor    %eax,%eax
mov    %eax,%edx
lea    0xf2c(%rip),%rcx
call   1040 <_assert_string_not_equal@plt>
lea    0xe86(%rip),%rdi
mov    $0x21,%esi
lea    0xf14(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
call   1040 <_assert_string_not_equal@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<null_string_should_only_match_another_null_string>:
push   %r14
push   %rbx
push   %rax
lea    0xed5(%rip),%r14
mov    %r14,%rdi
mov    $0x1e,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1030 <_assert_string_equal@plt>
lea    0xf57(%rip),%rbx
mov    %r14,%rdi
mov    $0x1f,%esi
mov    %rbx,%rdx
mov    %rbx,%rcx
call   1030 <_assert_string_equal@plt>
mov    %r14,%rdi
mov    $0x20,%esi
xor    %edx,%edx
mov    %rbx,%rcx
call   1040 <_assert_string_not_equal@plt>
mov    %r14,%rdi
mov    $0x21,%esi
mov    %rbx,%rdx
xor    %ecx,%ecx
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1040 <_assert_string_not_equal@plt>

LLVM IR (-O0):
@.str = [155 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/tests/assertion_tests.c\00"
@.str.1 = [1 x i8] zeroinitializer
define void @null_string_should_only_match_another_null_string() {
%1 = call i32 @_assert_string_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 30, i8* null, i8* null)
%2 = call i32 @_assert_string_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 31, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @_assert_string_not_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 32, i8* null, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
%4 = call i32 @_assert_string_not_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 33, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* null)
ret void
}

LLVM IR (-O2):
@.str = [155 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/jedediah/gospel/refs/heads/master/cgreen/tests/assertion_tests.c\00"
@.str.1 = [1 x i8] zeroinitializer
define void @null_string_should_only_match_another_null_string() {
%1 = tail call i32 @_assert_string_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 30, i8* null, i8* null)
%2 = tail call i32 @_assert_string_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 31, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
%3 = tail call i32 @_assert_string_not_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 32, i8* null, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
%4 = tail call i32 @_assert_string_not_equal(i8* getelementptr inbounds ([155 x i8], [155 x i8]* @.str, i64 0, i64 0), i32 33, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* null)
ret void
}