#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(int, char *, int);
int /*<<< orphan*/ puts(char *);
void test_arithmetic(void) {
  register int i, j;
  puts("--- testing arithmetic\n");
  i = 0;
  j = 0;
  _assert((i + j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          40);
  _assert((i - j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          41);
  _assert((i * j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          42);
  _assert((i / 2 == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          43);
  i = 1;
  j = 1;
  _assert((i + j == 2),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          47);
  _assert((i - j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          48);
  _assert((i * j == 1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          49);
  _assert((i / 2 == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          50);
  _assert((i % 2 == 1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          51);
  i = 2;
  j = 2;
  _assert((i + j == 4),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          55);
  _assert((2 * i - j == 2),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          56);
  _assert((i * j == 4),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          57);
  _assert((i / 2 == 1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          58);
  _assert((i % 2 == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          59);
  i = 179;
  j = 10;
  _assert((i * j == 1790),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          63);
  _assert((i / j == 17),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          64);
  _assert((i % j == 9),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          65);
  i = 1;
  j = -1;
  _assert((i + j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          69);
  _assert((i - j == 2),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          70);
  _assert((i * j == -1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          71);
  _assert((j * j == 1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          72);
  i = 30000;
  j = -5;
  _assert((i * j == -150000),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          76);
  _assert((i / j == -6000),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          77);
  _assert((i % j == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          78);
  i = -179;
  j = 10;
  _assert((i * j == -1790),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          82);
  _assert((i / j == -17),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          83);
  _assert((i % j == -9),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          84);
}


x86 assembly (clang, -O0):
<test_arithmetic>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0xed1(%rip),%rdi
call   1030 <puts@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xebe(%rip),%rsi
mov    $0x28,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe9c(%rip),%rsi
mov    $0x29,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe79(%rip),%rsi
mov    $0x2a,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe52(%rip),%rsi
mov    $0x2b,%edx
call   1040 <_assert@plt>
movl   $0x1,-0x4(%rbp)
movl   $0x1,-0x8(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe22(%rip),%rsi
mov    $0x2f,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe00(%rip),%rsi
mov    $0x30,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xddd(%rip),%rsi
mov    $0x31,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xdb6(%rip),%rsi
mov    $0x32,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd8f(%rip),%rsi
mov    $0x33,%edx
call   1040 <_assert@plt>
movl   $0x2,-0x4(%rbp)
movl   $0x2,-0x8(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cmp    $0x4,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd5f(%rip),%rsi
mov    $0x37,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x1,%eax
sub    -0x8(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd3a(%rip),%rsi
mov    $0x38,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0x4,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd17(%rip),%rsi
mov    $0x39,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xcf0(%rip),%rsi
mov    $0x3a,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xcc9(%rip),%rsi
mov    $0x3b,%edx
call   1040 <_assert@plt>
movl   $0xb3,-0x4(%rbp)
movl   $0xa,-0x8(%rbp)
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0x6fe,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc96(%rip),%rsi
mov    $0x3f,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0x11,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc73(%rip),%rsi
mov    $0x40,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0x9,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc50(%rip),%rsi
mov    $0x41,%edx
call   1040 <_assert@plt>
movl   $0x1,-0x4(%rbp)
movl   $0xffffffff,-0x8(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc20(%rip),%rsi
mov    $0x45,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xbfe(%rip),%rsi
mov    $0x46,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xbdb(%rip),%rsi
mov    $0x47,%edx
call   1040 <_assert@plt>
mov    -0x8(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xbb8(%rip),%rsi
mov    $0x48,%edx
call   1040 <_assert@plt>
movl   $0x7530,-0x4(%rbp)
movl   $0xfffffffb,-0x8(%rbp)
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0xfffdb610,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xb85(%rip),%rsi
mov    $0x4c,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0xffffe890,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xb60(%rip),%rsi
mov    $0x4d,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0x0,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xb3d(%rip),%rsi
mov    $0x4e,%edx
call   1040 <_assert@plt>
movl   $0xffffff4d,-0x4(%rbp)
movl   $0xa,-0x8(%rbp)
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
cmp    $0xfffff902,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xb0a(%rip),%rsi
mov    $0x52,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0xffffffef,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xae7(%rip),%rsi
mov    $0x53,%edx
call   1040 <_assert@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
cmp    $0xfffffff7,%edx
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xac4(%rip),%rsi
mov    $0x54,%edx
call   1040 <_assert@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_arithmetic>:
push   %rbx
lea    0xed8(%rip),%rdi
call   1030 <puts@plt>
lea    0xee4(%rip),%rbx
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x28,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x29,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x2a,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x2b,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x2f,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x30,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x31,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x32,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x33,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x37,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x38,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x39,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x3a,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x3b,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x3f,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x40,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x41,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x45,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x46,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x47,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x48,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x4c,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x4d,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x4e,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x52,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x53,%edx
call   1040 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x54,%edx
pop    %rbx
jmp    1040 <_assert@plt>

LLVM IR (-O0):
@.str = [24 x i8] c"--- testing arithmetic\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
define void @test_arithmetic() {
%1 = alloca i32
%2 = alloca i32
%3 = call i32 @puts(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %1
store i32 0, i32* %2
%4 = load i32, i32* %1
%5 = load i32, i32* %2
%6 = add nsw i32 %4, %5
%7 = icmp eq i32 %6, 0
%8 = zext i1 %7 to i32
%9 = call i32 @_assert(i32 %8, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 40)
%10 = load i32, i32* %1
%11 = load i32, i32* %2
%12 = sub nsw i32 %10, %11
%13 = icmp eq i32 %12, 0
%14 = zext i1 %13 to i32
%15 = call i32 @_assert(i32 %14, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 41)
%16 = load i32, i32* %1
%17 = load i32, i32* %2
%18 = mul nsw i32 %16, %17
%19 = icmp eq i32 %18, 0
%20 = zext i1 %19 to i32
%21 = call i32 @_assert(i32 %20, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 42)
%22 = load i32, i32* %1
%23 = sdiv i32 %22, 2
%24 = icmp eq i32 %23, 0
%25 = zext i1 %24 to i32
%26 = call i32 @_assert(i32 %25, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 43)
store i32 1, i32* %1
store i32 1, i32* %2
%27 = load i32, i32* %1
%28 = load i32, i32* %2
%29 = add nsw i32 %27, %28
%30 = icmp eq i32 %29, 2
%31 = zext i1 %30 to i32
%32 = call i32 @_assert(i32 %31, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 47)
%33 = load i32, i32* %1
%34 = load i32, i32* %2
%35 = sub nsw i32 %33, %34
%36 = icmp eq i32 %35, 0
%37 = zext i1 %36 to i32
%38 = call i32 @_assert(i32 %37, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 48)
%39 = load i32, i32* %1
%40 = load i32, i32* %2
%41 = mul nsw i32 %39, %40
%42 = icmp eq i32 %41, 1
%43 = zext i1 %42 to i32
%44 = call i32 @_assert(i32 %43, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 49)
%45 = load i32, i32* %1
%46 = sdiv i32 %45, 2
%47 = icmp eq i32 %46, 0
%48 = zext i1 %47 to i32
%49 = call i32 @_assert(i32 %48, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 50)
%50 = load i32, i32* %1
%51 = srem i32 %50, 2
%52 = icmp eq i32 %51, 1
%53 = zext i1 %52 to i32
%54 = call i32 @_assert(i32 %53, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 51)
store i32 2, i32* %1
store i32 2, i32* %2
%55 = load i32, i32* %1
%56 = load i32, i32* %2
%57 = add nsw i32 %55, %56
%58 = icmp eq i32 %57, 4
%59 = zext i1 %58 to i32
%60 = call i32 @_assert(i32 %59, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 55)
%61 = load i32, i32* %1
%62 = mul nsw i32 2, %61
%63 = load i32, i32* %2
%64 = sub nsw i32 %62, %63
%65 = icmp eq i32 %64, 2
%66 = zext i1 %65 to i32
%67 = call i32 @_assert(i32 %66, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 56)
%68 = load i32, i32* %1
%69 = load i32, i32* %2
%70 = mul nsw i32 %68, %69
%71 = icmp eq i32 %70, 4
%72 = zext i1 %71 to i32
%73 = call i32 @_assert(i32 %72, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 57)
%74 = load i32, i32* %1
%75 = sdiv i32 %74, 2
%76 = icmp eq i32 %75, 1
%77 = zext i1 %76 to i32
%78 = call i32 @_assert(i32 %77, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 58)
%79 = load i32, i32* %1
%80 = srem i32 %79, 2
%81 = icmp eq i32 %80, 0
%82 = zext i1 %81 to i32
%83 = call i32 @_assert(i32 %82, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 59)
store i32 179, i32* %1
store i32 10, i32* %2
%84 = load i32, i32* %1
%85 = load i32, i32* %2
%86 = mul nsw i32 %84, %85
%87 = icmp eq i32 %86, 1790
%88 = zext i1 %87 to i32
%89 = call i32 @_assert(i32 %88, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 63)
%90 = load i32, i32* %1
%91 = load i32, i32* %2
%92 = sdiv i32 %90, %91
%93 = icmp eq i32 %92, 17
%94 = zext i1 %93 to i32
%95 = call i32 @_assert(i32 %94, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 64)
%96 = load i32, i32* %1
%97 = load i32, i32* %2
%98 = srem i32 %96, %97
%99 = icmp eq i32 %98, 9
%100 = zext i1 %99 to i32
%101 = call i32 @_assert(i32 %100, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 65)
store i32 1, i32* %1
store i32 -1, i32* %2
%102 = load i32, i32* %1
%103 = load i32, i32* %2
%104 = add nsw i32 %102, %103
%105 = icmp eq i32 %104, 0
%106 = zext i1 %105 to i32
%107 = call i32 @_assert(i32 %106, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 69)
%108 = load i32, i32* %1
%109 = load i32, i32* %2
%110 = sub nsw i32 %108, %109
%111 = icmp eq i32 %110, 2
%112 = zext i1 %111 to i32
%113 = call i32 @_assert(i32 %112, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 70)
%114 = load i32, i32* %1
%115 = load i32, i32* %2
%116 = mul nsw i32 %114, %115
%117 = icmp eq i32 %116, -1
%118 = zext i1 %117 to i32
%119 = call i32 @_assert(i32 %118, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 71)
%120 = load i32, i32* %2
%121 = load i32, i32* %2
%122 = mul nsw i32 %120, %121
%123 = icmp eq i32 %122, 1
%124 = zext i1 %123 to i32
%125 = call i32 @_assert(i32 %124, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 72)
store i32 30000, i32* %1
store i32 -5, i32* %2
%126 = load i32, i32* %1
%127 = load i32, i32* %2
%128 = mul nsw i32 %126, %127
%129 = icmp eq i32 %128, -150000
%130 = zext i1 %129 to i32
%131 = call i32 @_assert(i32 %130, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 76)
%132 = load i32, i32* %1
%133 = load i32, i32* %2
%134 = sdiv i32 %132, %133
%135 = icmp eq i32 %134, -6000
%136 = zext i1 %135 to i32
%137 = call i32 @_assert(i32 %136, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 77)
%138 = load i32, i32* %1
%139 = load i32, i32* %2
%140 = srem i32 %138, %139
%141 = icmp eq i32 %140, 0
%142 = zext i1 %141 to i32
%143 = call i32 @_assert(i32 %142, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 78)
store i32 -179, i32* %1
store i32 10, i32* %2
%144 = load i32, i32* %1
%145 = load i32, i32* %2
%146 = mul nsw i32 %144, %145
%147 = icmp eq i32 %146, -1790
%148 = zext i1 %147 to i32
%149 = call i32 @_assert(i32 %148, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 82)
%150 = load i32, i32* %1
%151 = load i32, i32* %2
%152 = sdiv i32 %150, %151
%153 = icmp eq i32 %152, -17
%154 = zext i1 %153 to i32
%155 = call i32 @_assert(i32 %154, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 83)
%156 = load i32, i32* %1
%157 = load i32, i32* %2
%158 = srem i32 %156, %157
%159 = icmp eq i32 %158, -9
%160 = zext i1 %159 to i32
%161 = call i32 @_assert(i32 %160, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 84)
ret void
}

LLVM IR (-O2):
@.str = [24 x i8] c"--- testing arithmetic\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
define void @test_arithmetic() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
%2 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 40)
%3 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 41)
%4 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 42)
%5 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 43)
%6 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 47)
%7 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 48)
%8 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 49)
%9 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 50)
%10 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 51)
%11 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 55)
%12 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 56)
%13 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 57)
%14 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 58)
%15 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 59)
%16 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 63)
%17 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 64)
%18 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 65)
%19 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 69)
%20 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 70)
%21 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 71)
%22 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 72)
%23 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 76)
%24 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 77)
%25 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 78)
%26 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 82)
%27 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 83)
%28 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 84)
ret void
}