void tb(int pi) {
  int h, e, b, len;
  char *exp;
  char buf[128];
  printf("SMBus / I2C tests.");
  h = i2c_open(pi, 1, 0x53, 0);
  CHECK(11, 1, h, 0, 0, "i2c open");
  e = i2c_write_device(pi, h, "\x00", 1);
  CHECK(11, 2, e, 0, 0, "i2c write device");
  b = i2c_read_device(pi, h, buf, 1);
  CHECK(11, 3, b, 1, 0, "i2c read device");
  CHECK(11, 4, buf[0], 0xE5, 0, "i2c read device");
  b = i2c_read_byte(pi, h);
  CHECK(11, 5, b, 0xE5, 0, "i2c read byte");
  b = i2c_read_byte_data(pi, h, 0);
  CHECK(11, 6, b, 0xE5, 0, "i2c read byte data");
  b = i2c_read_byte_data(pi, h, 48);
  CHECK(11, 7, b, 2, 0, "i2c read byte data");
  exp = "\x1D[aBcDeFgHjKM]";
  len = strlen(exp);
  e = i2c_write_device(pi, h, exp, len);
  CHECK(11, 8, e, 0, 0, "i2c write device");
  e = i2c_write_device(pi, h, "\x1D", 1);
  b = i2c_read_device(pi, h, buf, len - 1);
  CHECK(11, 9, b, len - 1, 0, "i2c read device");
  CHECK(11, 10, strncmp(buf, exp + 1, len - 1), 0, 0, "i2c read device");
  if (strncmp(buf, exp + 1, len - 1))
    printf("got [%.*s] expected [%.*s]\n", len - 1, buf, len - 1, exp + 1);
  e = i2c_write_byte_data(pi, h, 0x1d, 0xAA);
  CHECK(11, 11, e, 0, 0, "i2c write byte data");
  b = i2c_read_byte_data(pi, h, 0x1d);
  CHECK(11, 12, b, 0xAA, 0, "i2c read byte data");
  e = i2c_write_byte_data(pi, h, 0x1d, 0x55);
  CHECK(11, 13, e, 0, 0, "i2c write byte data");
  b = i2c_read_byte_data(pi, h, 0x1d);
  CHECK(11, 14, b, 0x55, 0, "i2c read byte data");
  exp = "[1234567890#]";
  len = strlen(exp);
  e = i2c_write_block_data(pi, h, 0x1C, exp, len);
  CHECK(11, 15, e, 0, 0, "i2c write block data");
  e = i2c_write_device(pi, h, "\x1D", 1);
  b = i2c_read_device(pi, h, buf, len);
  CHECK(11, 16, b, len, 0, "i2c read device");
  CHECK(11, 17, strncmp(buf, exp, len), 0, 0, "i2c read device");
  if (strncmp(buf, exp, len))
    printf("got [%.*s] expected [%.*s]\n", len, buf, len, exp);
  b = i2c_read_i2c_block_data(pi, h, 0x1D, buf, len);
  CHECK(11, 18, b, len, 0, "i2c read i2c block data");
  CHECK(11, 19, strncmp(buf, exp, len), 0, 0, "i2c read i2c block data");
  if (strncmp(buf, exp, len))
    printf("got [%.*s] expected [%.*s]\n", len, buf, len, exp);
  exp = "(-+=;:,<>!%)";
  len = strlen(exp);
  e = i2c_write_i2c_block_data(pi, h, 0x1D, exp, len);
  CHECK(11, 20, e, 0, 0, "i2c write i2c block data");
  b = i2c_read_i2c_block_data(pi, h, 0x1D, buf, len);
  CHECK(11, 21, b, len, 0, "i2c read i2c block data");
  CHECK(11, 22, strncmp(buf, exp, len), 0, 0, "i2c read i2c block data");
  if (strncmp(buf, exp, len))
    printf("got [%.*s] expected [%.*s]\n", len, buf, len, exp);
  e = i2c_close(pi, h);
  CHECK(11, 23, e, 0, 0, "i2c close");
}


x86 assembly (clang, -O0):
<tb>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %edi,-0x4(%rbp)
lea    0xe0b(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x4(%rbp),%edi
mov    $0x1,%esi
mov    $0x53,%edx
xor    %ecx,%ecx
mov    $0x0,%al
call   10a0 <i2c_open@plt>
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%edx
mov    $0xb,%edi
mov    $0x1,%esi
xor    %r8d,%r8d
lea    0xde7(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    0xec7(%rip),%rdx
mov    $0x1,%ecx
mov    $0x0,%al
call   10b0 <i2c_write_device@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0x2,%esi
xor    %r8d,%r8d
lea    0xdb3(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    $0x1,%ecx
mov    $0x0,%al
call   1060 <i2c_read_device@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0x3,%esi
mov    $0x1,%ecx
xor    %r8d,%r8d
lea    0xd82(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
movsbl -0xa0(%rbp),%edx
mov    $0xb,%edi
mov    $0x4,%esi
mov    $0xe5,%ecx
xor    %r8d,%r8d
lea    0xd5b(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x0,%al
call   10e0 <i2c_read_byte@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0x5,%esi
mov    $0xe5,%ecx
xor    %r8d,%r8d
lea    0xd38(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
xor    %edx,%edx
mov    $0x0,%al
call   10c0 <i2c_read_byte_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0x6,%esi
mov    $0xe5,%ecx
xor    %r8d,%r8d
lea    0xd11(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x30,%edx
mov    $0x0,%al
call   10c0 <i2c_read_byte_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0x7,%esi
mov    $0x2,%ecx
xor    %r8d,%r8d
lea    0xcd9(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    0xcde(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1070 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    $0x0,%al
call   10b0 <i2c_write_device@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0x8,%esi
xor    %r8d,%r8d
lea    0xc5e(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    0xc98(%rip),%rdx
mov    $0x1,%ecx
mov    $0x0,%al
call   10b0 <i2c_write_device@plt>
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x0,%al
call   1060 <i2c_read_device@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    $0xb,%edi
mov    $0x9,%esi
xor    %r8d,%r8d
lea    0xc0f(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
add    $0x1,%rsi
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
call   1040 <strncmp@plt>
mov    %eax,%edx
mov    $0xb,%edi
mov    $0xa,%esi
xor    %r8d,%r8d
lea    0xbd5(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
add    $0x1,%rsi
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     14b1 <tb+0x2d1>
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x20(%rbp),%r8
add    $0x1,%r8
lea    0xbc5(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x1d,%edx
mov    $0xaa,%ecx
mov    $0x0,%al
call   1050 <i2c_write_byte_data@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%esi
xor    %r8d,%r8d
lea    0xbae(%rip),%r9
mov    %esi,%edi
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x1d,%edx
mov    $0x0,%al
call   10c0 <i2c_read_byte_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0xc,%esi
mov    $0xaa,%ecx
xor    %r8d,%r8d
lea    0xb31(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x1d,%edx
mov    $0x55,%ecx
mov    $0x0,%al
call   1050 <i2c_write_byte_data@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0xd,%esi
xor    %r8d,%r8d
lea    0xb39(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x1d,%edx
mov    $0x0,%al
call   10c0 <i2c_read_byte_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    $0xb,%edi
mov    $0xe,%esi
mov    $0x55,%ecx
xor    %r8d,%r8d
lea    0xabe(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    0xb04(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1070 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rcx
mov    -0x14(%rbp),%r8d
mov    $0x1c,%edx
mov    $0x0,%al
call   1100 <i2c_write_block_data@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0xf,%esi
xor    %r8d,%r8d
lea    0xace(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    0xa77(%rip),%rdx
mov    $0x1,%ecx
mov    $0x0,%al
call   10b0 <i2c_write_device@plt>
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    $0x0,%al
call   1060 <i2c_read_device@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    $0xb,%edi
mov    $0x10,%esi
xor    %r8d,%r8d
lea    0x9f4(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
mov    %eax,%edx
mov    $0xb,%edi
mov    $0x11,%esi
xor    %r8d,%r8d
lea    0x9c3(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     16b0 <tb+0x4d0>
mov    -0x14(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x20(%rbp),%r8
lea    0x9c6(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0xa0(%rbp),%rcx
mov    -0x14(%rbp),%r8d
mov    $0x1d,%edx
mov    $0x0,%al
call   1090 <i2c_read_i2c_block_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    $0xb,%edi
mov    $0x12,%esi
xor    %r8d,%r8d
lea    0x9d8(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
mov    %eax,%edx
mov    $0xb,%edi
mov    $0x13,%esi
xor    %r8d,%r8d
lea    0x9a7(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     1761 <tb+0x581>
mov    -0x14(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x20(%rbp),%r8
lea    0x915(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
lea    0x972(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1070 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rcx
mov    -0x14(%rbp),%r8d
mov    $0x1d,%edx
mov    $0x0,%al
call   10d0 <i2c_write_i2c_block_data@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0x14,%esi
xor    %r8d,%r8d
lea    0x93b(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
lea    -0xa0(%rbp),%rcx
mov    -0x14(%rbp),%r8d
mov    $0x1d,%edx
mov    $0x0,%al
call   1090 <i2c_read_i2c_block_data@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    $0xb,%edi
mov    $0x15,%esi
xor    %r8d,%r8d
lea    0x8d2(%rip),%r9
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
mov    %eax,%edx
mov    $0xb,%edi
mov    $0x16,%esi
xor    %r8d,%r8d
lea    0x8a1(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
lea    -0xa0(%rbp),%rdi
mov    -0x20(%rbp),%rsi
movslq -0x14(%rbp),%rdx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     1867 <tb+0x687>
mov    -0x14(%rbp),%esi
lea    -0xa0(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x20(%rbp),%r8
lea    0x80f(%rip),%rdi
mov    $0x0,%al
call   1080 <printf@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0x0,%al
call   10f0 <i2c_close@plt>
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    $0xb,%edi
mov    $0x17,%esi
xor    %r8d,%r8d
lea    0x872(%rip),%r9
mov    %r8d,%ecx
mov    $0x0,%al
call   1030 <CHECK@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tb>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %edi,%r14d
lea    0xe15(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %r14d,%edi
mov    $0x1,%esi
mov    $0x53,%edx
xor    %ecx,%ecx
xor    %eax,%eax
call   1090 <i2c_open@plt>
mov    %eax,%ebp
lea    0xe02(%rip),%r9
mov    $0xb,%edi
mov    $0x1,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xeda(%rip),%rdx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1,%ecx
xor    %eax,%eax
call   10a0 <i2c_write_device@plt>
lea    0xdd4(%rip),%r12
mov    $0xb,%edi
mov    $0x2,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %rsp,%r15
mov    %r14d,%edi
mov    %ebp,%esi
mov    %r15,%rdx
mov    $0x1,%ecx
xor    %eax,%eax
call   1060 <i2c_read_device@plt>
lea    0xdac(%rip),%rbx
mov    $0xb,%edi
mov    $0x3,%esi
mov    %eax,%edx
mov    $0x1,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
movsbl (%rsp),%edx
mov    $0xb,%edi
mov    $0x4,%esi
mov    $0xe5,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
xor    %eax,%eax
call   10d0 <i2c_read_byte@plt>
lea    0xd6b(%rip),%r9
mov    $0xb,%edi
mov    $0x5,%esi
mov    %eax,%edx
mov    $0xe5,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %eax,%eax
call   10b0 <i2c_read_byte_data@plt>
lea    0xd49(%rip),%r13
mov    $0xb,%edi
mov    $0x6,%esi
mov    %eax,%edx
mov    $0xe5,%ecx
xor    %r8d,%r8d
mov    %r13,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x30,%edx
xor    %eax,%eax
call   10b0 <i2c_read_byte_data@plt>
mov    $0xb,%edi
mov    $0x7,%esi
mov    %eax,%edx
mov    $0x2,%ecx
xor    %r8d,%r8d
mov    %r13,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xd08(%rip),%rdx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xe,%ecx
xor    %eax,%eax
call   10a0 <i2c_write_device@plt>
mov    $0xb,%edi
mov    $0x8,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xce4(%rip),%rdx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1,%ecx
xor    %eax,%eax
call   10a0 <i2c_write_device@plt>
mov    %r14d,%edi
mov    %ebp,%esi
mov    %r15,%rdx
mov    $0xd,%ecx
xor    %eax,%eax
call   1060 <i2c_read_device@plt>
mov    $0xb,%edi
mov    $0x9,%esi
mov    %eax,%edx
mov    $0xd,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xc8c(%rip),%rsi
mov    $0xd,%edx
mov    %r15,%rdi
call   1040 <strncmp@plt>
mov    $0xb,%edi
mov    $0xa,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
movabs $0x674665446342615b,%rax
65 46 67
xor    (%rsp),%rax
movabs $0x5d4d4b6a48674665,%rcx
4b 4d 5d
xor    0x5(%rsp),%rcx
or     %rax,%rcx
je     143f <tb+0x26f>
lea    0xc4b(%rip),%rdi
lea    0xc34(%rip),%r8
mov    %rsp,%rdx
mov    $0xd,%esi
mov    $0xd,%ecx
xor    %eax,%eax
call   1070 <printf@plt>
movabs $0x5d23303938373635,%r13
30 23 5d
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
mov    $0xaa,%ecx
xor    %eax,%eax
call   1050 <i2c_write_byte_data@plt>
lea    0xc25(%rip),%rbx
mov    $0xb,%edi
mov    $0xb,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
xor    %eax,%eax
call   10b0 <i2c_read_byte_data@plt>
lea    0xbb2(%rip),%r15
mov    $0xb,%edi
mov    $0xc,%esi
mov    %eax,%edx
mov    $0xaa,%ecx
xor    %r8d,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
mov    $0x55,%ecx
xor    %eax,%eax
call   1050 <i2c_write_byte_data@plt>
mov    $0xb,%edi
mov    $0xd,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %rbx,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
xor    %eax,%eax
call   10b0 <i2c_read_byte_data@plt>
mov    $0xb,%edi
mov    $0xe,%esi
mov    %eax,%edx
mov    $0x55,%ecx
xor    %r8d,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xb81(%rip),%rbx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1c,%edx
mov    %rbx,%rcx
mov    $0xd,%r8d
xor    %eax,%eax
call   10f0 <i2c_write_block_data@plt>
lea    0xb6e(%rip),%r9
mov    $0xb,%edi
mov    $0xf,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xb0f(%rip),%rdx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1,%ecx
xor    %eax,%eax
call   10a0 <i2c_write_device@plt>
mov    %rsp,%r15
mov    %r14d,%edi
mov    %ebp,%esi
mov    %r15,%rdx
mov    $0xd,%ecx
xor    %eax,%eax
call   1060 <i2c_read_device@plt>
lea    0xaa0(%rip),%r12
mov    $0xb,%edi
mov    $0x10,%esi
mov    %eax,%edx
mov    $0xd,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    $0xd,%edx
mov    %r15,%rdi
mov    %rbx,%rsi
call   1040 <strncmp@plt>
mov    $0xb,%edi
mov    $0x11,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
movabs $0x373635343332315b,%rbx
35 36 37
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    (%rsp),%rax
xor    %rbx,%rax
mov    0x5(%rsp),%rcx
xor    %r13,%rcx
or     %rax,%rcx
je     1616 <tb+0x446>
lea    0xa74(%rip),%rdi
lea    0xa9d(%rip),%r8
mov    %rsp,%rdx
mov    $0xd,%esi
mov    $0xd,%ecx
xor    %eax,%eax
call   1070 <printf@plt>
mov    %rsp,%r12
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
mov    %r12,%rcx
mov    $0xd,%r8d
xor    %eax,%eax
call   1080 <i2c_read_i2c_block_data@plt>
lea    0xa88(%rip),%r15
mov    $0xb,%edi
mov    $0x12,%esi
mov    %eax,%edx
mov    $0xd,%ecx
xor    %r8d,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
lea    0xa40(%rip),%rsi
mov    $0xd,%edx
mov    %r12,%rdi
call   1040 <strncmp@plt>
mov    $0xb,%edi
mov    $0x13,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
xor    (%rsp),%rbx
xor    0x5(%rsp),%r13
or     %rbx,%r13
je     16b7 <tb+0x4e7>
lea    0x9d3(%rip),%rdi
lea    0x9fc(%rip),%r8
mov    %rsp,%rdx
mov    $0xd,%esi
mov    $0xd,%ecx
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xa1c(%rip),%rbx
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
mov    %rbx,%rcx
mov    $0xc,%r8d
xor    %eax,%eax
call   10c0 <i2c_write_i2c_block_data@plt>
lea    0xa08(%rip),%r9
mov    $0xb,%edi
mov    $0x14,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    %rsp,%r15
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0x1d,%edx
mov    %r15,%rcx
mov    $0xc,%r8d
xor    %eax,%eax
call   1080 <i2c_read_i2c_block_data@plt>
lea    0x9a7(%rip),%r12
mov    $0xb,%edi
mov    $0x15,%esi
mov    %eax,%edx
mov    $0xc,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
mov    $0xc,%edx
mov    %r15,%rdi
mov    %rbx,%rsi
call   1040 <strncmp@plt>
mov    $0xb,%edi
mov    $0x16,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
mov    %r12,%r9
xor    %eax,%eax
call   1030 <CHECK@plt>
movabs $0x3c2c3a3b3d2b2d28,%rax
3a 2c 3c
xor    (%rsp),%rax
mov    0x8(%rsp),%ecx
xor    $0x2925213e,%rcx
or     %rax,%rcx
je     17a4 <tb+0x5d4>
lea    0x8e6(%rip),%rdi
lea    0x94a(%rip),%r8
mov    %rsp,%rdx
mov    $0xc,%esi
mov    $0xc,%ecx
xor    %eax,%eax
call   1070 <printf@plt>
mov    %r14d,%edi
mov    %ebp,%esi
xor    %eax,%eax
call   10e0 <i2c_close@plt>
lea    0x949(%rip),%r9
mov    $0xb,%edi
mov    $0x17,%esi
mov    %eax,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1030 <CHECK@plt>
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [19 x i8] c"SMBus / I2C tests.\00"
@.str.1 = [9 x i8] c"i2c open\00"
@.str.2 = [2 x i8] zeroinitializer
@.str.3 = [17 x i8] c"i2c write device\00"
@.str.4 = [16 x i8] c"i2c read device\00"
@.str.5 = [14 x i8] c"i2c read byte\00"
@.str.6 = [19 x i8] c"i2c read byte data\00"
@.str.7 = [15 x i8] c"\1D[aBcDeFgHjKM]\00"
@.str.8 = [2 x i8] c"\1D\00"
@.str.9 = [28 x i8] c"got [%.*s] expected [%.*s]\0A\00"
@.str.10 = [20 x i8] c"i2c write byte data\00"
@.str.11 = [14 x i8] c"[1234567890#]\00"
@.str.12 = [21 x i8] c"i2c write block data\00"
@.str.13 = [24 x i8] c"i2c read i2c block data\00"
@.str.14 = [13 x i8] c"(-+=;:,<>!%)\00"
@.str.15 = [25 x i8] c"i2c write i2c block data\00"
@.str.16 = [10 x i8] c"i2c close\00"
define void @tb(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca [128 x i8]
store i32 %0, i32* %2
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
%10 = load i32, i32* %2
%11 = call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_open to i32 (i32, i32, i32, i32, ...)*)(i32 %10, i32 1, i32 83, i32 0)
store i32 %11, i32* %3
%12 = load i32, i32* %3
%13 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 1, i32 %12, i32 0, i32 0, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
%14 = load i32, i32* %2
%15 = load i32, i32* %3
%16 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %14, i32 %15, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i32 1)
store i32 %16, i32* %4
%17 = load i32, i32* %4
%18 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 2, i32 %17, i32 0, i32 0, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%19 = load i32, i32* %2
%20 = load i32, i32* %3
%21 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%22 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %19, i32 %20, i8* %21, i32 1)
store i32 %22, i32* %5
%23 = load i32, i32* %5
%24 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 3, i32 %23, i32 1, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%25 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 4, i32 %27, i32 229, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%29 = load i32, i32* %2
%30 = load i32, i32* %3
%31 = call i32 (i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte to i32 (i32, i32, ...)*)(i32 %29, i32 %30)
store i32 %31, i32* %5
%32 = load i32, i32* %5
%33 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 5, i32 %32, i32 229, i32 0, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
%34 = load i32, i32* %2
%35 = load i32, i32* %3
%36 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %34, i32 %35, i32 0)
store i32 %36, i32* %5
%37 = load i32, i32* %5
%38 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 6, i32 %37, i32 229, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%39 = load i32, i32* %2
%40 = load i32, i32* %3
%41 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %39, i32 %40, i32 48)
store i32 %41, i32* %5
%42 = load i32, i32* %5
%43 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 7, i32 %42, i32 2, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
store i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.7, i64 0, i64 0), i8** %7
%44 = load i8*, i8** %7
%45 = call i64 @strlen(i8* %44)
%46 = trunc i64 %45 to i32
store i32 %46, i32* %6
%47 = load i32, i32* %2
%48 = load i32, i32* %3
%49 = load i8*, i8** %7
%50 = load i32, i32* %6
%51 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %47, i32 %48, i8* %49, i32 %50)
store i32 %51, i32* %4
%52 = load i32, i32* %4
%53 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 8, i32 %52, i32 0, i32 0, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%54 = load i32, i32* %2
%55 = load i32, i32* %3
%56 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %54, i32 %55, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i32 1)
store i32 %56, i32* %4
%57 = load i32, i32* %2
%58 = load i32, i32* %3
%59 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%60 = load i32, i32* %6
%61 = sub nsw i32 %60, 1
%62 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %57, i32 %58, i8* %59, i32 %61)
store i32 %62, i32* %5
%63 = load i32, i32* %5
%64 = load i32, i32* %6
%65 = sub nsw i32 %64, 1
%66 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 9, i32 %63, i32 %65, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%67 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%68 = load i8*, i8** %7
%69 = getelementptr inbounds i8, i8* %68, i64 1
%70 = load i32, i32* %6
%71 = sub nsw i32 %70, 1
%72 = sext i32 %71 to i64
%73 = call i32 @strncmp(i8* %67, i8* %69, i64 %72)
%74 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 10, i32 %73, i32 0, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%75 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%76 = load i8*, i8** %7
%77 = getelementptr inbounds i8, i8* %76, i64 1
%78 = load i32, i32* %6
%79 = sub nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = call i32 @strncmp(i8* %75, i8* %77, i64 %80)
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %92
83: ; preds = %1
%84 = load i32, i32* %6
%85 = sub nsw i32 %84, 1
%86 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%87 = load i32, i32* %6
%88 = sub nsw i32 %87, 1
%89 = load i8*, i8** %7
%90 = getelementptr inbounds i8, i8* %89, i64 1
%91 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 %85, i8* %86, i32 %88, i8* %90)
br label %92
92: ; preds = %83, %1
%93 = load i32, i32* %2
%94 = load i32, i32* %3
%95 = call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_write_byte_data to i32 (i32, i32, i32, i32, ...)*)(i32 %93, i32 %94, i32 29, i32 170)
store i32 %95, i32* %4
%96 = load i32, i32* %4
%97 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 11, i32 %96, i32 0, i32 0, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i64 0, i64 0))
%98 = load i32, i32* %2
%99 = load i32, i32* %3
%100 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %98, i32 %99, i32 29)
store i32 %100, i32* %5
%101 = load i32, i32* %5
%102 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 12, i32 %101, i32 170, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%103 = load i32, i32* %2
%104 = load i32, i32* %3
%105 = call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_write_byte_data to i32 (i32, i32, i32, i32, ...)*)(i32 %103, i32 %104, i32 29, i32 85)
store i32 %105, i32* %4
%106 = load i32, i32* %4
%107 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 13, i32 %106, i32 0, i32 0, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i64 0, i64 0))
%108 = load i32, i32* %2
%109 = load i32, i32* %3
%110 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %108, i32 %109, i32 29)
store i32 %110, i32* %5
%111 = load i32, i32* %5
%112 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 14, i32 %111, i32 85, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
store i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i8** %7
%113 = load i8*, i8** %7
%114 = call i64 @strlen(i8* %113)
%115 = trunc i64 %114 to i32
store i32 %115, i32* %6
%116 = load i32, i32* %2
%117 = load i32, i32* %3
%118 = load i8*, i8** %7
%119 = load i32, i32* %6
%120 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %116, i32 %117, i32 28, i8* %118, i32 %119)
store i32 %120, i32* %4
%121 = load i32, i32* %4
%122 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 15, i32 %121, i32 0, i32 0, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.12, i64 0, i64 0))
%123 = load i32, i32* %2
%124 = load i32, i32* %3
%125 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %123, i32 %124, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i32 1)
store i32 %125, i32* %4
%126 = load i32, i32* %2
%127 = load i32, i32* %3
%128 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%129 = load i32, i32* %6
%130 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %126, i32 %127, i8* %128, i32 %129)
store i32 %130, i32* %5
%131 = load i32, i32* %5
%132 = load i32, i32* %6
%133 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 16, i32 %131, i32 %132, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%134 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%135 = load i8*, i8** %7
%136 = load i32, i32* %6
%137 = sext i32 %136 to i64
%138 = call i32 @strncmp(i8* %134, i8* %135, i64 %137)
%139 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 17, i32 %138, i32 0, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%140 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%141 = load i8*, i8** %7
%142 = load i32, i32* %6
%143 = sext i32 %142 to i64
%144 = call i32 @strncmp(i8* %140, i8* %141, i64 %143)
%145 = icmp ne i32 %144, 0
br i1 %145, label %146, label %152
146: ; preds = %92
%147 = load i32, i32* %6
%148 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%149 = load i32, i32* %6
%150 = load i8*, i8** %7
%151 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 %147, i8* %148, i32 %149, i8* %150)
br label %152
152: ; preds = %146, %92
%153 = load i32, i32* %2
%154 = load i32, i32* %3
%155 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%156 = load i32, i32* %6
%157 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %153, i32 %154, i32 29, i8* %155, i32 %156)
store i32 %157, i32* %5
%158 = load i32, i32* %5
%159 = load i32, i32* %6
%160 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 18, i32 %158, i32 %159, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%161 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%162 = load i8*, i8** %7
%163 = load i32, i32* %6
%164 = sext i32 %163 to i64
%165 = call i32 @strncmp(i8* %161, i8* %162, i64 %164)
%166 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 19, i32 %165, i32 0, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%167 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%168 = load i8*, i8** %7
%169 = load i32, i32* %6
%170 = sext i32 %169 to i64
%171 = call i32 @strncmp(i8* %167, i8* %168, i64 %170)
%172 = icmp ne i32 %171, 0
br i1 %172, label %173, label %179
173: ; preds = %152
%174 = load i32, i32* %6
%175 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%176 = load i32, i32* %6
%177 = load i8*, i8** %7
%178 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 %174, i8* %175, i32 %176, i8* %177)
br label %179
179: ; preds = %173, %152
store i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.14, i64 0, i64 0), i8** %7
%180 = load i8*, i8** %7
%181 = call i64 @strlen(i8* %180)
%182 = trunc i64 %181 to i32
store i32 %182, i32* %6
%183 = load i32, i32* %2
%184 = load i32, i32* %3
%185 = load i8*, i8** %7
%186 = load i32, i32* %6
%187 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %183, i32 %184, i32 29, i8* %185, i32 %186)
store i32 %187, i32* %4
%188 = load i32, i32* %4
%189 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 20, i32 %188, i32 0, i32 0, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.15, i64 0, i64 0))
%190 = load i32, i32* %2
%191 = load i32, i32* %3
%192 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%193 = load i32, i32* %6
%194 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %190, i32 %191, i32 29, i8* %192, i32 %193)
store i32 %194, i32* %5
%195 = load i32, i32* %5
%196 = load i32, i32* %6
%197 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 21, i32 %195, i32 %196, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%198 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%199 = load i8*, i8** %7
%200 = load i32, i32* %6
%201 = sext i32 %200 to i64
%202 = call i32 @strncmp(i8* %198, i8* %199, i64 %201)
%203 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 22, i32 %202, i32 0, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%204 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%205 = load i8*, i8** %7
%206 = load i32, i32* %6
%207 = sext i32 %206 to i64
%208 = call i32 @strncmp(i8* %204, i8* %205, i64 %207)
%209 = icmp ne i32 %208, 0
br i1 %209, label %210, label %216
210: ; preds = %179
%211 = load i32, i32* %6
%212 = getelementptr inbounds [128 x i8], [128 x i8]* %8, i64 0, i64 0
%213 = load i32, i32* %6
%214 = load i8*, i8** %7
%215 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 %211, i8* %212, i32 %213, i8* %214)
br label %216
216: ; preds = %210, %179
%217 = load i32, i32* %2
%218 = load i32, i32* %3
%219 = call i32 (i32, i32, ...) bitcast (i32 (...)* @i2c_close to i32 (i32, i32, ...)*)(i32 %217, i32 %218)
store i32 %219, i32* %4
%220 = load i32, i32* %4
%221 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 23, i32 %220, i32 0, i32 0, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.16, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [19 x i8] c"SMBus / I2C tests.\00"
@.str.1 = [9 x i8] c"i2c open\00"
@.str.2 = [2 x i8] zeroinitializer
@.str.3 = [17 x i8] c"i2c write device\00"
@.str.4 = [16 x i8] c"i2c read device\00"
@.str.5 = [14 x i8] c"i2c read byte\00"
@.str.6 = [19 x i8] c"i2c read byte data\00"
@.str.7 = [15 x i8] c"\1D[aBcDeFgHjKM]\00"
@.str.8 = [2 x i8] c"\1D\00"
@.str.9 = [28 x i8] c"got [%.*s] expected [%.*s]\0A\00"
@.str.10 = [20 x i8] c"i2c write byte data\00"
@.str.11 = [14 x i8] c"[1234567890#]\00"
@.str.12 = [21 x i8] c"i2c write block data\00"
@.str.13 = [24 x i8] c"i2c read i2c block data\00"
@.str.14 = [13 x i8] c"(-+=;:,<>!%)\00"
@.str.15 = [25 x i8] c"i2c write i2c block data\00"
@.str.16 = [10 x i8] c"i2c close\00"
define void @tb(i32 %0) {
%2 = alloca [128 x i8]
%3 = getelementptr inbounds [128 x i8], [128 x i8]* %2, i64 0, i64 0
%4 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
%5 = tail call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_open to i32 (i32, i32, i32, i32, ...)*)(i32 %0, i32 1, i32 83, i32 0)
%6 = tail call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 1, i32 %5, i32 0, i32 0, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
%7 = tail call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0), i32 1)
%8 = tail call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 2, i32 %7, i32 0, i32 0, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%9 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* %3, i32 1)
%10 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 3, i32 %9, i32 1, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%11 = load i8, i8* %3
%12 = sext i8 %11 to i32
%13 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 4, i32 %12, i32 229, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%14 = call i32 (i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte to i32 (i32, i32, ...)*)(i32 %0, i32 %5)
%15 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 5, i32 %14, i32 229, i32 0, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0))
%16 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 0)
%17 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 6, i32 %16, i32 229, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%18 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 48)
%19 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 7, i32 %18, i32 2, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%20 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.7, i64 0, i64 0), i32 14)
%21 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 8, i32 %20, i32 0, i32 0, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%22 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i32 1)
%23 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* %3, i32 13)
%24 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 9, i32 %23, i32 13, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%25 = call i32 @strncmp(i8* %3, i8* dereferenceable(14) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.7, i64 0, i64 1), i64 13)
%26 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 10, i32 %25, i32 0, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%27 = call i32 @bcmp(i8* dereferenceable(13) %3, i8* dereferenceable(13) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.7, i64 0, i64 1), i64 13)
%28 = icmp eq i32 %27, 0
br i1 %28, label %31, label %29
29: ; preds = %1
%30 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 13, i8* %3, i32 13, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.7, i64 0, i64 1))
br label %31
31: ; preds = %29, %1
%32 = call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_write_byte_data to i32 (i32, i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 29, i32 170)
%33 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 11, i32 %32, i32 0, i32 0, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i64 0, i64 0))
%34 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 29)
%35 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 12, i32 %34, i32 170, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%36 = call i32 (i32, i32, i32, i32, ...) bitcast (i32 (...)* @i2c_write_byte_data to i32 (i32, i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 29, i32 85)
%37 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 13, i32 %36, i32 0, i32 0, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i64 0, i64 0))
%38 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @i2c_read_byte_data to i32 (i32, i32, i32, ...)*)(i32 %0, i32 %5, i32 29)
%39 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 14, i32 %38, i32 85, i32 0, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%40 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i32 28, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i32 13)
%41 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 15, i32 %40, i32 0, i32 0, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.12, i64 0, i64 0))
%42 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0), i32 1)
%43 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_device to i32 (i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i8* %3, i32 13)
%44 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 16, i32 %43, i32 13, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%45 = call i32 @strncmp(i8* %3, i8* dereferenceable(14) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i64 13)
%46 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 17, i32 %45, i32 0, i32 0, i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.4, i64 0, i64 0))
%47 = call i32 @bcmp(i8* dereferenceable(13) %3, i8* dereferenceable(13) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i64 13)
%48 = icmp eq i32 %47, 0
br i1 %48, label %51, label %49
49: ; preds = %31
%50 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 13, i8* %3, i32 13, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0))
br label %51
51: ; preds = %49, %31
%52 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i32 29, i8* %3, i32 13)
%53 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 18, i32 %52, i32 13, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%54 = call i32 @strncmp(i8* %3, i8* dereferenceable(14) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i64 13)
%55 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 19, i32 %54, i32 0, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%56 = call i32 @bcmp(i8* dereferenceable(13) %3, i8* dereferenceable(13) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0), i64 13)
%57 = icmp eq i32 %56, 0
br i1 %57, label %60, label %58
58: ; preds = %51
%59 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 13, i8* %3, i32 13, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.11, i64 0, i64 0))
br label %60
60: ; preds = %58, %51
%61 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_write_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i32 29, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.14, i64 0, i64 0), i32 12)
%62 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 20, i32 %61, i32 0, i32 0, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.15, i64 0, i64 0))
%63 = call i32 (i32, i32, i32, i8*, i32, ...) bitcast (i32 (...)* @i2c_read_i2c_block_data to i32 (i32, i32, i32, i8*, i32, ...)*)(i32 %0, i32 %5, i32 29, i8* %3, i32 12)
%64 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 21, i32 %63, i32 12, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%65 = call i32 @strncmp(i8* %3, i8* dereferenceable(13) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.14, i64 0, i64 0), i64 12)
%66 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 22, i32 %65, i32 0, i32 0, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.13, i64 0, i64 0))
%67 = call i32 @bcmp(i8* dereferenceable(12) %3, i8* dereferenceable(12) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.14, i64 0, i64 0), i64 12)
%68 = icmp eq i32 %67, 0
br i1 %68, label %71, label %69
69: ; preds = %60
%70 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.9, i64 0, i64 0), i32 12, i8* %3, i32 12, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.14, i64 0, i64 0))
br label %71
71: ; preds = %69, %60
%72 = call i32 (i32, i32, ...) bitcast (i32 (...)* @i2c_close to i32 (i32, i32, ...)*)(i32 %0, i32 %5)
%73 = call i32 (i32, i32, i32, i32, i32, i8*, ...) bitcast (i32 (...)* @CHECK to i32 (i32, i32, i32, i32, i32, i8*, ...)*)(i32 11, i32 23, i32 %72, i32 0, i32 0, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.16, i64 0, i64 0))
ret void
}