#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*/ printf(char *, ...);
int main() {
  int a, b, c;
  int l, r, ok;
  ok = 1;
  printf("associative law\n");
  printf("A  B  C | left right\n");
  printf("--------|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      for (c = 0; c <= 1; c++) {
        l = a && (b && c);
        r = (a && b) && c;
        if (l != r)
          ok = 0;
        printf("%d  %d  %d | %-4d %d\n", a, b, c, l, r);
      }
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("commutative law\n");
  printf("A  B | left right\n");
  printf("-----|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      l = a && b;
      r = b && a;
      if (l != r)
        ok = 0;
      printf("%d  %d | %-4d %d\n", a, b, l, r);
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("merger law\n");
  printf("A  B | left right\n");
  printf("-----|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      l = (a || b) && a;
      r = a;
      if (l != r)
        ok = 0;
      printf("%d  %d | %-4d %d\n", a, b, l, r);
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("distributive law\n");
  printf("A  B  C | left right\n");
  printf("--------|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      for (c = 0; c <= 1; c++) {
        l = a && (b || c);
        r = (a && b) || (a && c);
        if (l != r)
          ok = 0;
        printf("%d  %d  %d | %-4d %d\n", a, b, c, l, r);
      }
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("complementary law\n");
  printf("A  B | left right\n");
  printf("-----|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      l = a && (b || !b);
      r = a;
      if (l != r)
        ok = 0;
      printf("%d  %d | %-4d %d\n", a, b, l, r);
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("idempotency law\n");
  printf("A | left right\n");
  printf("--|-----------\n");
  for (a = 0; a <= 1; a++) {
    l = a && a;
    r = a;
    if (l != r)
      ok = 0;
    printf("%d | %-4d %d\n", a, l, r);
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  ok = 1;
  printf("de morgan's law\n");
  printf("A  B | left right\n");
  printf("-----|-----------\n");
  for (a = 0; a <= 1; a++) {
    for (b = 0; b <= 1; b++) {
      l = !(a && b);
      r = !a || !b;
      if (l != r)
        ok = 0;
      printf("%d  %d | %-4d %d\n", a, b, l, r);
    }
  }
  if (ok)
    printf(" => ok!\n\n");
  else
    printf(" => not ok!\n\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x1c(%rbp)
lea    0xed3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xed6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xede(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     1255 <main+0x145>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     1242 <main+0x132>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jg     122f <main+0x11f>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x1d(%rbp)
je     11b1 <main+0xa1>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x1e(%rbp)
je     11ab <main+0x9b>
cmpl   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x1f(%rbp)
je     11e4 <main+0xd4>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x1f(%rbp)
je     11e4 <main+0xd4>
cmpl   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x1f(%rbp)
mov    -0x1f(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1202 <main+0xf2>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x10(%rbp),%ecx
mov    -0x14(%rbp),%r8d
mov    -0x18(%rbp),%r9d
lea    0xe23(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1179 <main+0x69>
jmp    1234 <main+0x124>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1168 <main+0x58>
jmp    1247 <main+0x137>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1157 <main+0x47>
cmpl   $0x0,-0x1c(%rbp)
je     1272 <main+0x162>
lea    0xded(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1280 <main+0x170>
lea    0xde4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0xddd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xde0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xd80(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     136a <main+0x25a>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     1357 <main+0x247>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x20(%rbp)
je     12ec <main+0x1dc>
cmpl   $0x0,-0xc(%rbp)
setne  %al
mov    %al,-0x20(%rbp)
mov    -0x20(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x21(%rbp)
je     1310 <main+0x200>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     132e <main+0x21e>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
lea    0xcff(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12c9 <main+0x1b9>
jmp    135c <main+0x24c>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12b8 <main+0x1a8>
cmpl   $0x0,-0x1c(%rbp)
je     1387 <main+0x277>
lea    0xcd8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1395 <main+0x285>
lea    0xccf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0xcec(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xccb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xc6b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     146b <main+0x35b>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     1458 <main+0x348>
cmpl   $0x0,-0x8(%rbp)
jne    1401 <main+0x2f1>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x22(%rbp)
je     140b <main+0x2fb>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0x22(%rbp)
mov    -0x22(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     142f <main+0x31f>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
lea    0xbfe(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    13de <main+0x2ce>
jmp    145d <main+0x34d>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    13cd <main+0x2bd>
cmpl   $0x0,-0x1c(%rbp)
je     1488 <main+0x378>
lea    0xbd7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1496 <main+0x386>
lea    0xbce(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0xbf7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xb5f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xb67(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     15dc <main+0x4cc>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     15c9 <main+0x4b9>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jg     15b6 <main+0x4a6>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x23(%rbp)
je     1528 <main+0x418>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x24(%rbp)
jne    1522 <main+0x412>
cmpl   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x24(%rbp)
mov    -0x24(%rbp),%al
mov    %al,-0x23(%rbp)
mov    -0x23(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     154c <main+0x43c>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x25(%rbp)
jne    156b <main+0x45b>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x26(%rbp)
je     1565 <main+0x455>
cmpl   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1589 <main+0x479>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x10(%rbp),%ecx
mov    -0x14(%rbp),%r8d
mov    -0x18(%rbp),%r9d
lea    0xa9c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    14f0 <main+0x3e0>
jmp    15bb <main+0x4ab>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    14df <main+0x3cf>
jmp    15ce <main+0x4be>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    14ce <main+0x3be>
cmpl   $0x0,-0x1c(%rbp)
je     15f9 <main+0x4e9>
lea    0xa66(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1607 <main+0x4f7>
lea    0xa5d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0xa98(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xa59(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x9f9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     16ea <main+0x5da>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     16d7 <main+0x5c7>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x27(%rbp)
je     168a <main+0x57a>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x28(%rbp)
jne    1684 <main+0x574>
cmpl   $0x0,-0xc(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x28(%rbp)
mov    -0x28(%rbp),%al
mov    %al,-0x27(%rbp)
mov    -0x27(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     16ae <main+0x59e>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
lea    0x97f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1650 <main+0x540>
jmp    16dc <main+0x5cc>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    163f <main+0x52f>
cmpl   $0x0,-0x1c(%rbp)
je     1707 <main+0x5f7>
lea    0x958(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1715 <main+0x605>
lea    0x94f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0x99d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x9a0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x8ee(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     17b9 <main+0x6a9>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x29(%rbp)
je     1770 <main+0x660>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1794 <main+0x684>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
lea    0x8a1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    174d <main+0x63d>
cmpl   $0x0,-0x1c(%rbp)
je     17d6 <main+0x6c6>
lea    0x889(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    17e4 <main+0x6d4>
lea    0x880(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
lea    0x8ef(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x87c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x81c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x8(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     18d2 <main+0x7c2>
movl   $0x0,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     18bf <main+0x7af>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x2a(%rbp)
je     1850 <main+0x740>
cmpl   $0x0,-0xc(%rbp)
setne  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    $0x1,%al
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x2b(%rbp)
je     1878 <main+0x768>
cmpl   $0x0,-0xc(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2b(%rbp)
mov    -0x2b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1896 <main+0x786>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
lea    0x797(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    182d <main+0x71d>
jmp    18c4 <main+0x7b4>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    181c <main+0x70c>
cmpl   $0x0,-0x1c(%rbp)
je     18ef <main+0x7df>
lea    0x770(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    18fd <main+0x7ed>
lea    0x767(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xee4(%rip),%rdi
call   1030 <puts@plt>
lea    0xf14(%rip),%rdi
call   1030 <puts@plt>
lea    0xf1d(%rip),%rbp
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0xea7(%rip),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
mov    $0x1,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xe95(%rip),%r14
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xddd(%rip),%rdi
call   1030 <puts@plt>
lea    0xe68(%rip),%r15
mov    %r15,%rdi
call   1030 <puts@plt>
lea    0xe06(%rip),%r12
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0xd91(%rip),%r13
mov    %r13,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xd56(%rip),%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
xor    %edx,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xcd9(%rip),%rdi
call   1030 <puts@plt>
lea    0xcde(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
xor    %edx,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
mov    $0x1,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
mov    $0x1,%r8d
mov    $0x1,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
mov    $0x1,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xc06(%rip),%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
xor    %edx,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xb90(%rip),%rdi
call   1030 <puts@plt>
lea    0xb94(%rip),%rdi
call   1030 <puts@plt>
lea    0xb57(%rip),%rdi
call   1030 <puts@plt>
lea    0xae6(%rip),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %eax,%eax
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0xb53(%rip),%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
xor    %esi,%esi
xor    %edx,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
xor    %edx,%edx
mov    $0x1,%ecx
mov    $0x1,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x1,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [17 x i8] c"associative law\0A\00"
@.str.1 = [22 x i8] c"A B C | left right\0A\00"
@.str.2 = [22 x i8] c"--------|-----------\0A\00"
@.str.3 = [22 x i8] c"%d %d %d | %-4d %d\0A\00"
@.str.4 = [10 x i8] c" => ok!\0A\0A\00"
@.str.5 = [14 x i8] c" => not ok!\0A\0A\00"
@.str.6 = [17 x i8] c"commutative law\0A\00"
@.str.7 = [19 x i8] c"A B | left right\0A\00"
@.str.8 = [19 x i8] c"-----|-----------\0A\00"
@.str.9 = [18 x i8] c"%d %d | %-4d %d\0A\00"
@.str.10 = [12 x i8] c"merger law\0A\00"
@.str.11 = [18 x i8] c"distributive law\0A\00"
@.str.12 = [19 x i8] c"complementary law\0A\00"
@.str.13 = [17 x i8] c"idempotency law\0A\00"
@.str.14 = [16 x i8] c"A | left right\0A\00"
@.str.15 = [16 x i8] c"--|-----------\0A\00"
@.str.16 = [14 x i8] c"%d | %-4d %d\0A\00"
@.str.17 = [17 x i8] c"de morgan's law\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 0, i32* %1
store i32 1, i32* %7
%8 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str, i64 0, i64 0))
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0))
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %2
br label %11
11: ; preds = %66, %0
%12 = load i32, i32* %2
%13 = icmp sle i32 %12, 1
br i1 %13, label %14, label %69
14: ; preds = %11
store i32 0, i32* %3
br label %15
15: ; preds = %62, %14
%16 = load i32, i32* %3
%17 = icmp sle i32 %16, 1
br i1 %17, label %18, label %65
18: ; preds = %15
store i32 0, i32* %4
br label %19
19: ; preds = %58, %18
%20 = load i32, i32* %4
%21 = icmp sle i32 %20, 1
br i1 %21, label %22, label %61
22: ; preds = %19
%23 = load i32, i32* %2
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %33
25: ; preds = %22
%26 = load i32, i32* %3
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %25
%29 = load i32, i32* %4
%30 = icmp ne i32 %29, 0
br label %31
31: ; preds = %28, %25
%32 = phi i1 [ false, %25 ], [ %30, %28 ]
br label %33
33: ; preds = %31, %22
%34 = phi i1 [ false, %22 ], [ %32, %31 ]
%35 = zext i1 %34 to i32
store i32 %35, i32* %5
%36 = load i32, i32* %2
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %44
38: ; preds = %33
%39 = load i32, i32* %3
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %38
%42 = load i32, i32* %4
%43 = icmp ne i32 %42, 0
br label %44
44: ; preds = %41, %38, %33
%45 = phi i1 [ false, %38 ], [ false, %33 ], [ %43, %41 ]
%46 = zext i1 %45 to i32
store i32 %46, i32* %6
%47 = load i32, i32* %5
%48 = load i32, i32* %6
%49 = icmp ne i32 %47, %48
br i1 %49, label %50, label %51
50: ; preds = %44
store i32 0, i32* %7
br label %51
51: ; preds = %50, %44
%52 = load i32, i32* %2
%53 = load i32, i32* %3
%54 = load i32, i32* %4
%55 = load i32, i32* %5
%56 = load i32, i32* %6
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 %52, i32 %53, i32 %54, i32 %55, i32 %56)
br label %58
58: ; preds = %51
%59 = load i32, i32* %4
%60 = add nsw i32 %59, 1
store i32 %60, i32* %4
br label %19
61: ; preds = %19
br label %62
62: ; preds = %61
%63 = load i32, i32* %3
%64 = add nsw i32 %63, 1
store i32 %64, i32* %3
br label %15
65: ; preds = %15
br label %66
66: ; preds = %65
%67 = load i32, i32* %2
%68 = add nsw i32 %67, 1
store i32 %68, i32* %2
br label %11
69: ; preds = %11
%70 = load i32, i32* %7
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %74
72: ; preds = %69
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %76
74: ; preds = %69
%75 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %76
76: ; preds = %74, %72
store i32 1, i32* %7
%77 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.6, i64 0, i64 0))
%78 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
%79 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %2
br label %80
80: ; preds = %118, %76
%81 = load i32, i32* %2
%82 = icmp sle i32 %81, 1
br i1 %82, label %83, label %121
83: ; preds = %80
store i32 0, i32* %3
br label %84
84: ; preds = %114, %83
%85 = load i32, i32* %3
%86 = icmp sle i32 %85, 1
br i1 %86, label %87, label %117
87: ; preds = %84
%88 = load i32, i32* %2
%89 = icmp ne i32 %88, 0
br i1 %89, label %90, label %93
90: ; preds = %87
%91 = load i32, i32* %3
%92 = icmp ne i32 %91, 0
br label %93
93: ; preds = %90, %87
%94 = phi i1 [ false, %87 ], [ %92, %90 ]
%95 = zext i1 %94 to i32
store i32 %95, i32* %5
%96 = load i32, i32* %3
%97 = icmp ne i32 %96, 0
br i1 %97, label %98, label %101
98: ; preds = %93
%99 = load i32, i32* %2
%100 = icmp ne i32 %99, 0
br label %101
101: ; preds = %98, %93
%102 = phi i1 [ false, %93 ], [ %100, %98 ]
%103 = zext i1 %102 to i32
store i32 %103, i32* %6
%104 = load i32, i32* %5
%105 = load i32, i32* %6
%106 = icmp ne i32 %104, %105
br i1 %106, label %107, label %108
107: ; preds = %101
store i32 0, i32* %7
br label %108
108: ; preds = %107, %101
%109 = load i32, i32* %2
%110 = load i32, i32* %3
%111 = load i32, i32* %5
%112 = load i32, i32* %6
%113 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 %109, i32 %110, i32 %111, i32 %112)
br label %114
114: ; preds = %108
%115 = load i32, i32* %3
%116 = add nsw i32 %115, 1
store i32 %116, i32* %3
br label %84
117: ; preds = %84
br label %118
118: ; preds = %117
%119 = load i32, i32* %2
%120 = add nsw i32 %119, 1
store i32 %120, i32* %2
br label %80
121: ; preds = %80
%122 = load i32, i32* %7
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %126
124: ; preds = %121
%125 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %128
126: ; preds = %121
%127 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %128
128: ; preds = %126, %124
store i32 1, i32* %7
%129 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.10, i64 0, i64 0))
%130 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
%131 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %2
br label %132
132: ; preds = %166, %128
%133 = load i32, i32* %2
%134 = icmp sle i32 %133, 1
br i1 %134, label %135, label %169
135: ; preds = %132
store i32 0, i32* %3
br label %136
136: ; preds = %162, %135
%137 = load i32, i32* %3
%138 = icmp sle i32 %137, 1
br i1 %138, label %139, label %165
139: ; preds = %136
%140 = load i32, i32* %2
%141 = icmp ne i32 %140, 0
br i1 %141, label %145, label %142
142: ; preds = %139
%143 = load i32, i32* %3
%144 = icmp ne i32 %143, 0
br i1 %144, label %145, label %148
145: ; preds = %142, %139
%146 = load i32, i32* %2
%147 = icmp ne i32 %146, 0
br label %148
148: ; preds = %145, %142
%149 = phi i1 [ false, %142 ], [ %147, %145 ]
%150 = zext i1 %149 to i32
store i32 %150, i32* %5
%151 = load i32, i32* %2
store i32 %151, i32* %6
%152 = load i32, i32* %5
%153 = load i32, i32* %6
%154 = icmp ne i32 %152, %153
br i1 %154, label %155, label %156
155: ; preds = %148
store i32 0, i32* %7
br label %156
156: ; preds = %155, %148
%157 = load i32, i32* %2
%158 = load i32, i32* %3
%159 = load i32, i32* %5
%160 = load i32, i32* %6
%161 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 %157, i32 %158, i32 %159, i32 %160)
br label %162
162: ; preds = %156
%163 = load i32, i32* %3
%164 = add nsw i32 %163, 1
store i32 %164, i32* %3
br label %136
165: ; preds = %136
br label %166
166: ; preds = %165
%167 = load i32, i32* %2
%168 = add nsw i32 %167, 1
store i32 %168, i32* %2
br label %132
169: ; preds = %132
%170 = load i32, i32* %7
%171 = icmp ne i32 %170, 0
br i1 %171, label %172, label %174
172: ; preds = %169
%173 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %176
174: ; preds = %169
%175 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %176
176: ; preds = %174, %172
store i32 1, i32* %7
%177 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.11, i64 0, i64 0))
%178 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0))
%179 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %2
br label %180
180: ; preds = %240, %176
%181 = load i32, i32* %2
%182 = icmp sle i32 %181, 1
br i1 %182, label %183, label %243
183: ; preds = %180
store i32 0, i32* %3
br label %184
184: ; preds = %236, %183
%185 = load i32, i32* %3
%186 = icmp sle i32 %185, 1
br i1 %186, label %187, label %239
187: ; preds = %184
store i32 0, i32* %4
br label %188
188: ; preds = %232, %187
%189 = load i32, i32* %4
%190 = icmp sle i32 %189, 1
br i1 %190, label %191, label %235
191: ; preds = %188
%192 = load i32, i32* %2
%193 = icmp ne i32 %192, 0
br i1 %193, label %194, label %202
194: ; preds = %191
%195 = load i32, i32* %3
%196 = icmp ne i32 %195, 0
br i1 %196, label %200, label %197
197: ; preds = %194
%198 = load i32, i32* %4
%199 = icmp ne i32 %198, 0
br label %200
200: ; preds = %197, %194
%201 = phi i1 [ true, %194 ], [ %199, %197 ]
br label %202
202: ; preds = %200, %191
%203 = phi i1 [ false, %191 ], [ %201, %200 ]
%204 = zext i1 %203 to i32
store i32 %204, i32* %5
%205 = load i32, i32* %2
%206 = icmp ne i32 %205, 0
br i1 %206, label %207, label %210
207: ; preds = %202
%208 = load i32, i32* %3
%209 = icmp ne i32 %208, 0
br i1 %209, label %218, label %210
210: ; preds = %207, %202
%211 = load i32, i32* %2
%212 = icmp ne i32 %211, 0
br i1 %212, label %213, label %216
213: ; preds = %210
%214 = load i32, i32* %4
%215 = icmp ne i32 %214, 0
br label %216
216: ; preds = %213, %210
%217 = phi i1 [ false, %210 ], [ %215, %213 ]
br label %218
218: ; preds = %216, %207
%219 = phi i1 [ true, %207 ], [ %217, %216 ]
%220 = zext i1 %219 to i32
store i32 %220, i32* %6
%221 = load i32, i32* %5
%222 = load i32, i32* %6
%223 = icmp ne i32 %221, %222
br i1 %223, label %224, label %225
224: ; preds = %218
store i32 0, i32* %7
br label %225
225: ; preds = %224, %218
%226 = load i32, i32* %2
%227 = load i32, i32* %3
%228 = load i32, i32* %4
%229 = load i32, i32* %5
%230 = load i32, i32* %6
%231 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 %226, i32 %227, i32 %228, i32 %229, i32 %230)
br label %232
232: ; preds = %225
%233 = load i32, i32* %4
%234 = add nsw i32 %233, 1
store i32 %234, i32* %4
br label %188
235: ; preds = %188
br label %236
236: ; preds = %235
%237 = load i32, i32* %3
%238 = add nsw i32 %237, 1
store i32 %238, i32* %3
br label %184
239: ; preds = %184
br label %240
240: ; preds = %239
%241 = load i32, i32* %2
%242 = add nsw i32 %241, 1
store i32 %242, i32* %2
br label %180
243: ; preds = %180
%244 = load i32, i32* %7
%245 = icmp ne i32 %244, 0
br i1 %245, label %246, label %248
246: ; preds = %243
%247 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %250
248: ; preds = %243
%249 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %250
250: ; preds = %248, %246
store i32 1, i32* %7
%251 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.12, i64 0, i64 0))
%252 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
%253 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %2
br label %254
254: ; preds = %291, %250
%255 = load i32, i32* %2
%256 = icmp sle i32 %255, 1
br i1 %256, label %257, label %294
257: ; preds = %254
store i32 0, i32* %3
br label %258
258: ; preds = %287, %257
%259 = load i32, i32* %3
%260 = icmp sle i32 %259, 1
br i1 %260, label %261, label %290
261: ; preds = %258
%262 = load i32, i32* %2
%263 = icmp ne i32 %262, 0
br i1 %263, label %264, label %273
264: ; preds = %261
%265 = load i32, i32* %3
%266 = icmp ne i32 %265, 0
br i1 %266, label %271, label %267
267: ; preds = %264
%268 = load i32, i32* %3
%269 = icmp ne i32 %268, 0
%270 = xor i1 %269, true
br label %271
271: ; preds = %267, %264
%272 = phi i1 [ true, %264 ], [ %270, %267 ]
br label %273
273: ; preds = %271, %261
%274 = phi i1 [ false, %261 ], [ %272, %271 ]
%275 = zext i1 %274 to i32
store i32 %275, i32* %5
%276 = load i32, i32* %2
store i32 %276, i32* %6
%277 = load i32, i32* %5
%278 = load i32, i32* %6
%279 = icmp ne i32 %277, %278
br i1 %279, label %280, label %281
280: ; preds = %273
store i32 0, i32* %7
br label %281
281: ; preds = %280, %273
%282 = load i32, i32* %2
%283 = load i32, i32* %3
%284 = load i32, i32* %5
%285 = load i32, i32* %6
%286 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 %282, i32 %283, i32 %284, i32 %285)
br label %287
287: ; preds = %281
%288 = load i32, i32* %3
%289 = add nsw i32 %288, 1
store i32 %289, i32* %3
br label %258
290: ; preds = %258
br label %291
291: ; preds = %290
%292 = load i32, i32* %2
%293 = add nsw i32 %292, 1
store i32 %293, i32* %2
br label %254
294: ; preds = %254
%295 = load i32, i32* %7
%296 = icmp ne i32 %295, 0
br i1 %296, label %297, label %299
297: ; preds = %294
%298 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %301
299: ; preds = %294
%300 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %301
301: ; preds = %299, %297
store i32 1, i32* %7
%302 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.13, i64 0, i64 0))
%303 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.14, i64 0, i64 0))
%304 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.15, i64 0, i64 0))
store i32 0, i32* %2
br label %305
305: ; preds = %327, %301
%306 = load i32, i32* %2
%307 = icmp sle i32 %306, 1
br i1 %307, label %308, label %330
308: ; preds = %305
%309 = load i32, i32* %2
%310 = icmp ne i32 %309, 0
br i1 %310, label %311, label %314
311: ; preds = %308
%312 = load i32, i32* %2
%313 = icmp ne i32 %312, 0
br label %314
314: ; preds = %311, %308
%315 = phi i1 [ false, %308 ], [ %313, %311 ]
%316 = zext i1 %315 to i32
store i32 %316, i32* %5
%317 = load i32, i32* %2
store i32 %317, i32* %6
%318 = load i32, i32* %5
%319 = load i32, i32* %6
%320 = icmp ne i32 %318, %319
br i1 %320, label %321, label %322
321: ; preds = %314
store i32 0, i32* %7
br label %322
322: ; preds = %321, %314
%323 = load i32, i32* %2
%324 = load i32, i32* %5
%325 = load i32, i32* %6
%326 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i32 %323, i32 %324, i32 %325)
br label %327
327: ; preds = %322
%328 = load i32, i32* %2
%329 = add nsw i32 %328, 1
store i32 %329, i32* %2
br label %305
330: ; preds = %305
%331 = load i32, i32* %7
%332 = icmp ne i32 %331, 0
br i1 %332, label %333, label %335
333: ; preds = %330
%334 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %337
335: ; preds = %330
%336 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %337
337: ; preds = %335, %333
store i32 1, i32* %7
%338 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.17, i64 0, i64 0))
%339 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
%340 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %2
br label %341
341: ; preds = %381, %337
%342 = load i32, i32* %2
%343 = icmp sle i32 %342, 1
br i1 %343, label %344, label %384
344: ; preds = %341
store i32 0, i32* %3
br label %345
345: ; preds = %377, %344
%346 = load i32, i32* %3
%347 = icmp sle i32 %346, 1
br i1 %347, label %348, label %380
348: ; preds = %345
%349 = load i32, i32* %2
%350 = icmp ne i32 %349, 0
br i1 %350, label %351, label %354
351: ; preds = %348
%352 = load i32, i32* %3
%353 = icmp ne i32 %352, 0
br label %354
354: ; preds = %351, %348
%355 = phi i1 [ false, %348 ], [ %353, %351 ]
%356 = xor i1 %355, true
%357 = zext i1 %356 to i32
store i32 %357, i32* %5
%358 = load i32, i32* %2
%359 = icmp ne i32 %358, 0
br i1 %359, label %360, label %364
360: ; preds = %354
%361 = load i32, i32* %3
%362 = icmp ne i32 %361, 0
%363 = xor i1 %362, true
br label %364
364: ; preds = %360, %354
%365 = phi i1 [ true, %354 ], [ %363, %360 ]
%366 = zext i1 %365 to i32
store i32 %366, i32* %6
%367 = load i32, i32* %5
%368 = load i32, i32* %6
%369 = icmp ne i32 %367, %368
br i1 %369, label %370, label %371
370: ; preds = %364
store i32 0, i32* %7
br label %371
371: ; preds = %370, %364
%372 = load i32, i32* %2
%373 = load i32, i32* %3
%374 = load i32, i32* %5
%375 = load i32, i32* %6
%376 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 %372, i32 %373, i32 %374, i32 %375)
br label %377
377: ; preds = %371
%378 = load i32, i32* %3
%379 = add nsw i32 %378, 1
store i32 %379, i32* %3
br label %345
380: ; preds = %345
br label %381
381: ; preds = %380
%382 = load i32, i32* %2
%383 = add nsw i32 %382, 1
store i32 %383, i32* %2
br label %341
384: ; preds = %341
%385 = load i32, i32* %7
%386 = icmp ne i32 %385, 0
br i1 %386, label %387, label %389
387: ; preds = %384
%388 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0))
br label %391
389: ; preds = %384
%390 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
br label %391
391: ; preds = %389, %387
ret i32 0
}

LLVM IR (-O2):
@.str.3 = [22 x i8] c"%d %d %d | %-4d %d\0A\00"
@.str.9 = [18 x i8] c"%d %d | %-4d %d\0A\00"
@.str.16 = [14 x i8] c"%d | %-4d %d\0A\00"
@str = [16 x i8] c"associative law\00"
@str.21 = [16 x i8] c"commutative law\00"
@str.25 = [11 x i8] c"merger law\00"
@str.29 = [17 x i8] c"distributive law\00"
@str.30 = [21 x i8] c"A B C | left right\00"
@str.31 = [21 x i8] c"--------|-----------\00"
@str.33 = [18 x i8] c"complementary law\00"
@str.37 = [16 x i8] c"idempotency law\00"
@str.38 = [15 x i8] c"A | left right\00"
@str.39 = [15 x i8] c"--|-----------\00"
@str.41 = [16 x i8] c"de morgan's law\00"
@str.42 = [18 x i8] c"A B | left right\00"
@str.43 = [18 x i8] c"-----|-----------\00"
@str.51 = [9 x i8] c" => ok!\0A\00"
define i32 @main() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.30, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.31, i64 0, i64 0))
%4 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0, i32 0, i32 0, i32 0)
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0, i32 1, i32 0, i32 0)
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 1, i32 0, i32 0, i32 0)
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 1, i32 1, i32 0, i32 0)
%8 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 0, i32 0, i32 0)
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 1, i32 0, i32 0)
%10 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 1, i32 0, i32 0, i32 0)
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 1, i32 1, i32 1, i32 1)
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.21, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.42, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.43, i64 0, i64 0))
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0, i32 0, i32 0)
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 1, i32 0, i32 0)
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 0, i32 0, i32 0)
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 1, i32 1, i32 1)
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str.25, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.42, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.43, i64 0, i64 0))
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0, i32 0, i32 0)
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 1, i32 0, i32 0)
%26 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 0, i32 1, i32 1)
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 1, i32 1, i32 1)
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.29, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.30, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.31, i64 0, i64 0))
%32 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0, i32 0, i32 0, i32 0)
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 0, i32 1, i32 0, i32 0)
%34 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 1, i32 0, i32 0, i32 0)
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 0, i32 1, i32 1, i32 0, i32 0)
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 0, i32 0, i32 0)
%37 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 0, i32 1, i32 1, i32 1)
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 1, i32 0, i32 1, i32 1)
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 1, i32 1, i32 1, i32 1, i32 1)
%40 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%41 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.33, i64 0, i64 0))
%42 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.42, i64 0, i64 0))
%43 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.43, i64 0, i64 0))
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0, i32 0, i32 0)
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 1, i32 0, i32 0)
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 0, i32 1, i32 1)
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 1, i32 1, i32 1)
%48 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%49 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.37, i64 0, i64 0))
%50 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @str.38, i64 0, i64 0))
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @str.39, i64 0, i64 0))
%52 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i32 0, i32 0, i32 0)
%53 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i32 1, i32 1, i32 1)
%54 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
%55 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.41, i64 0, i64 0))
%56 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.42, i64 0, i64 0))
%57 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.43, i64 0, i64 0))
%58 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 0, i32 1, i32 1)
%59 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 0, i32 1, i32 1, i32 1)
%60 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 0, i32 1, i32 1)
%61 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0), i32 1, i32 1, i32 0, i32 0)
%62 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @str.51, i64 0, i64 0))
ret i32 0
}