void getnext_recseenipt_mchlist(rep) int *rep;
{
  int ll, ss, nn, cc1, cc2, ac, ex, rr, bb, b1;
  rr = 1;
  card_gset2(&ll);
  if (ll != 0) {
    valOrd_gset2(&cc1, ll);
    del_gset2(cc1);
    def_sees_uses(&b1, cc1);
    if (b1 == 1) {
      card_sees_uses(&ll, cc1);
      if (ll != 0) {
        val_sees_uses(&ss, cc1);
        union_gset1(&rr, ss);
        if (rr == 1) {
          nn = 1;
          while (nn <= ll && rr == 1) {
            valOrd_sees_uses(&cc2, cc1, nn);
            val_abs2conc(&ac, cc2);
            last_a2c(&cc2, ac);
            val_ext(&ex, cc2);
            if (ex == 3) {
              member_gset2(&bb, cc2);
              if (bb == 0) {
                add_gset2(&bb, cc2);
                if (!bb) {
                  BT_base_err_exit(169);
                };
              }
            }
            nn = nn + 1;
          }
        }
      }
    }
    if (rr == 1) {
      def_inc_ipt(&rr, cc1);
      if (rr == 1) {
        card_inc_ipt(&ll, cc1);
        if (ll != 0) {
          val_inc_ipt(&ss, cc1);
          union_gset1(&rr, ss);
          if (rr == 1) {
            nn = 1;
            while (nn <= ll && rr == 1) {
              valOrd_inc_ipt(&cc2, cc1, nn);
              val_abs2conc(&ac, cc2);
              last_a2c(&cc2, ac);
              val_ext(&ex, cc2);
              if (ex == 3) {
                member_gset2(&bb, cc2);
                if (bb == 0) {
                  add_gset2(&rr, cc2);
                }
              }
              nn = nn + 1;
            }
          }
        }
      }
    }
  }
  *rep = rr;
}


x86 assembly (clang, -O0):
<getnext_recseenipt_mchlist>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0x28(%rbp)
lea    -0xc(%rbp),%rdi
mov    $0x0,%al
call   10d0 <card_gset2@plt>
cmpl   $0x0,-0xc(%rbp)
je     14b9 <getnext_recseenipt_mchlist+0x299>
mov    -0xc(%rbp),%esi
lea    -0x18(%rbp),%rdi
mov    $0x0,%al
call   1040 <valOrd_gset2@plt>
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   10c0 <del_gset2@plt>
mov    -0x18(%rbp),%esi
lea    -0x30(%rbp),%rdi
mov    $0x0,%al
call   1060 <def_sees_uses@plt>
cmpl   $0x1,-0x30(%rbp)
jne    1390 <getnext_recseenipt_mchlist+0x170>
mov    -0x18(%rbp),%esi
lea    -0xc(%rbp),%rdi
mov    $0x0,%al
call   1030 <card_sees_uses@plt>
cmpl   $0x0,-0xc(%rbp)
je     138b <getnext_recseenipt_mchlist+0x16b>
mov    -0x18(%rbp),%esi
lea    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1050 <val_sees_uses@plt>
mov    -0x10(%rbp),%esi
lea    -0x28(%rbp),%rdi
mov    $0x0,%al
call   1090 <union_gset1@plt>
cmpl   $0x1,-0x28(%rbp)
jne    1386 <getnext_recseenipt_mchlist+0x166>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     12d8 <getnext_recseenipt_mchlist+0xb8>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    12e8 <getnext_recseenipt_mchlist+0xc8>
jmp    1381 <getnext_recseenipt_mchlist+0x161>
mov    -0x18(%rbp),%esi
mov    -0x14(%rbp),%edx
lea    -0x1c(%rbp),%rdi
mov    $0x0,%al
call   1130 <valOrd_sees_uses@plt>
mov    -0x1c(%rbp),%esi
lea    -0x20(%rbp),%rdi
mov    $0x0,%al
call   1110 <val_abs2conc@plt>
mov    -0x20(%rbp),%esi
lea    -0x1c(%rbp),%rdi
mov    $0x0,%al
call   10e0 <last_a2c@plt>
mov    -0x1c(%rbp),%esi
lea    -0x24(%rbp),%rdi
mov    $0x0,%al
call   1100 <val_ext@plt>
cmpl   $0x3,-0x24(%rbp)
jne    1373 <getnext_recseenipt_mchlist+0x153>
mov    -0x1c(%rbp),%esi
lea    -0x2c(%rbp),%rdi
mov    $0x0,%al
call   1080 <member_gset2@plt>
cmpl   $0x0,-0x2c(%rbp)
jne    136e <getnext_recseenipt_mchlist+0x14e>
mov    -0x1c(%rbp),%esi
lea    -0x2c(%rbp),%rdi
mov    $0x0,%al
call   1140 <add_gset2@plt>
cmpl   $0x0,-0x2c(%rbp)
jne    1369 <getnext_recseenipt_mchlist+0x149>
mov    $0xa9,%edi
mov    $0x0,%al
call   10b0 <BT_base_err_exit@plt>
jmp    136e <getnext_recseenipt_mchlist+0x14e>
jmp    1373 <getnext_recseenipt_mchlist+0x153>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12bd <getnext_recseenipt_mchlist+0x9d>
jmp    1386 <getnext_recseenipt_mchlist+0x166>
jmp    138b <getnext_recseenipt_mchlist+0x16b>
jmp    1390 <getnext_recseenipt_mchlist+0x170>
cmpl   $0x1,-0x28(%rbp)
jne    14b4 <getnext_recseenipt_mchlist+0x294>
mov    -0x18(%rbp),%esi
lea    -0x28(%rbp),%rdi
mov    $0x0,%al
call   1070 <def_inc_ipt@plt>
cmpl   $0x1,-0x28(%rbp)
jne    14af <getnext_recseenipt_mchlist+0x28f>
mov    -0x18(%rbp),%esi
lea    -0xc(%rbp),%rdi
mov    $0x0,%al
call   10a0 <card_inc_ipt@plt>
cmpl   $0x0,-0xc(%rbp)
je     14aa <getnext_recseenipt_mchlist+0x28a>
mov    -0x18(%rbp),%esi
lea    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1120 <val_inc_ipt@plt>
mov    -0x10(%rbp),%esi
lea    -0x28(%rbp),%rdi
mov    $0x0,%al
call   1090 <union_gset1@plt>
cmpl   $0x1,-0x28(%rbp)
jne    14a5 <getnext_recseenipt_mchlist+0x285>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x32(%rbp)
jg     1412 <getnext_recseenipt_mchlist+0x1f2>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
test   $0x1,%al
jne    1422 <getnext_recseenipt_mchlist+0x202>
jmp    14a0 <getnext_recseenipt_mchlist+0x280>
mov    -0x18(%rbp),%esi
mov    -0x14(%rbp),%edx
lea    -0x1c(%rbp),%rdi
mov    $0x0,%al
call   10f0 <valOrd_inc_ipt@plt>
mov    -0x1c(%rbp),%esi
lea    -0x20(%rbp),%rdi
mov    $0x0,%al
call   1110 <val_abs2conc@plt>
mov    -0x20(%rbp),%esi
lea    -0x1c(%rbp),%rdi
mov    $0x0,%al
call   10e0 <last_a2c@plt>
mov    -0x1c(%rbp),%esi
lea    -0x24(%rbp),%rdi
mov    $0x0,%al
call   1100 <val_ext@plt>
cmpl   $0x3,-0x24(%rbp)
jne    1492 <getnext_recseenipt_mchlist+0x272>
mov    -0x1c(%rbp),%esi
lea    -0x2c(%rbp),%rdi
mov    $0x0,%al
call   1080 <member_gset2@plt>
cmpl   $0x0,-0x2c(%rbp)
jne    148d <getnext_recseenipt_mchlist+0x26d>
mov    -0x1c(%rbp),%esi
lea    -0x28(%rbp),%rdi
mov    $0x0,%al
call   1140 <add_gset2@plt>
jmp    1492 <getnext_recseenipt_mchlist+0x272>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13f7 <getnext_recseenipt_mchlist+0x1d7>
jmp    14a5 <getnext_recseenipt_mchlist+0x285>
jmp    14aa <getnext_recseenipt_mchlist+0x28a>
jmp    14af <getnext_recseenipt_mchlist+0x28f>
jmp    14b4 <getnext_recseenipt_mchlist+0x294>
jmp    14b9 <getnext_recseenipt_mchlist+0x299>
mov    -0x28(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getnext_recseenipt_mchlist>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%r14
movl   $0x1,0x4(%rsp)
lea    0x10(%rsp),%rdi
xor    %eax,%eax
call   10d0 <card_gset2@plt>
mov    0x10(%rsp),%esi
mov    $0x1,%eax
test   %esi,%esi
je     14bc <getnext_recseenipt_mchlist+0x29c>
lea    0xc(%rsp),%rdi
xor    %eax,%eax
call   1040 <valOrd_gset2@plt>
mov    0xc(%rsp),%edi
xor    %eax,%eax
call   10c0 <del_gset2@plt>
mov    0xc(%rsp),%esi
lea    0x24(%rsp),%rdi
xor    %eax,%eax
call   1060 <def_sees_uses@plt>
cmpl   $0x1,0x24(%rsp)
jne    139f <getnext_recseenipt_mchlist+0x17f>
mov    0xc(%rsp),%esi
lea    0x10(%rsp),%rdi
xor    %eax,%eax
call   1030 <card_sees_uses@plt>
cmpl   $0x0,0x10(%rsp)
je     139f <getnext_recseenipt_mchlist+0x17f>
mov    0xc(%rsp),%esi
lea    0x20(%rsp),%rdi
xor    %eax,%eax
call   1050 <val_sees_uses@plt>
mov    0x20(%rsp),%esi
lea    0x4(%rsp),%rdi
xor    %eax,%eax
call   1090 <union_gset1@plt>
mov    0x4(%rsp),%eax
cmp    $0x1,%eax
jne    14bc <getnext_recseenipt_mchlist+0x29c>
cmpl   $0x0,0x10(%rsp)
jle    139f <getnext_recseenipt_mchlist+0x17f>
mov    $0x1,%ebp
lea    0x8(%rsp),%rbx
lea    0x1c(%rsp),%r15
lea    0x18(%rsp),%r12
lea    0x14(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0xc(%rsp),%esi
mov    %rbx,%rdi
mov    %ebp,%edx
xor    %eax,%eax
call   1130 <valOrd_sees_uses@plt>
mov    0x8(%rsp),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1110 <val_abs2conc@plt>
mov    0x1c(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   10e0 <last_a2c@plt>
mov    0x8(%rsp),%esi
mov    %r12,%rdi
xor    %eax,%eax
call   1100 <val_ext@plt>
cmpl   $0x3,0x18(%rsp)
jne    1380 <getnext_recseenipt_mchlist+0x160>
mov    0x8(%rsp),%esi
mov    %r13,%rdi
xor    %eax,%eax
call   1080 <member_gset2@plt>
cmpl   $0x0,0x14(%rsp)
jne    1380 <getnext_recseenipt_mchlist+0x160>
mov    0x8(%rsp),%esi
mov    %r13,%rdi
xor    %eax,%eax
call   1140 <add_gset2@plt>
cmpl   $0x0,0x14(%rsp)
jne    1380 <getnext_recseenipt_mchlist+0x160>
mov    $0xa9,%edi
xor    %eax,%eax
call   10b0 <BT_base_err_exit@plt>
nopw   0x0(%rax,%rax,1)
mov    0x4(%rsp),%eax
cmp    0x10(%rsp),%ebp
jge    1396 <getnext_recseenipt_mchlist+0x176>
add    $0x1,%ebp
cmp    $0x1,%eax
je     1300 <getnext_recseenipt_mchlist+0xe0>
cmp    $0x1,%eax
jne    14bc <getnext_recseenipt_mchlist+0x29c>
mov    0xc(%rsp),%esi
lea    0x4(%rsp),%rdi
xor    %eax,%eax
call   1070 <def_inc_ipt@plt>
mov    0x4(%rsp),%eax
cmp    $0x1,%eax
jne    14bc <getnext_recseenipt_mchlist+0x29c>
mov    0xc(%rsp),%esi
lea    0x10(%rsp),%rdi
xor    %eax,%eax
call   10a0 <card_inc_ipt@plt>
cmpl   $0x0,0x10(%rsp)
je     14b8 <getnext_recseenipt_mchlist+0x298>
mov    0xc(%rsp),%esi
lea    0x20(%rsp),%rdi
xor    %eax,%eax
call   1120 <val_inc_ipt@plt>
mov    0x20(%rsp),%esi
lea    0x4(%rsp),%rdi
xor    %eax,%eax
call   1090 <union_gset1@plt>
mov    0x4(%rsp),%eax
cmp    $0x1,%eax
jne    14bc <getnext_recseenipt_mchlist+0x29c>
cmpl   $0x0,0x10(%rsp)
mov    $0x1,%eax
jle    14bc <getnext_recseenipt_mchlist+0x29c>
mov    $0x1,%ebx
lea    0x8(%rsp),%rbp
lea    0x1c(%rsp),%r15
lea    0x18(%rsp),%r12
lea    0x14(%rsp),%r13
nopl   (%rax)
mov    0xc(%rsp),%esi
mov    %rbp,%rdi
mov    %ebx,%edx
xor    %eax,%eax
call   10f0 <valOrd_inc_ipt@plt>
mov    0x8(%rsp),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1110 <val_abs2conc@plt>
mov    0x1c(%rsp),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   10e0 <last_a2c@plt>
mov    0x8(%rsp),%esi
mov    %r12,%rdi
xor    %eax,%eax
call   1100 <val_ext@plt>
cmpl   $0x3,0x18(%rsp)
jne    14a0 <getnext_recseenipt_mchlist+0x280>
mov    0x8(%rsp),%esi
mov    %r13,%rdi
xor    %eax,%eax
call   1080 <member_gset2@plt>
cmpl   $0x0,0x14(%rsp)
jne    14a0 <getnext_recseenipt_mchlist+0x280>
mov    0x8(%rsp),%esi
lea    0x4(%rsp),%rdi
xor    %eax,%eax
call   1140 <add_gset2@plt>
cs nopw 0x0(%rax,%rax,1)
mov    0x4(%rsp),%eax
cmp    0x10(%rsp),%ebx
jge    14bc <getnext_recseenipt_mchlist+0x29c>
add    $0x1,%ebx
cmp    $0x1,%eax
je     1430 <getnext_recseenipt_mchlist+0x210>
jmp    14bc <getnext_recseenipt_mchlist+0x29c>
mov    0x4(%rsp),%eax
mov    %eax,(%r14)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @getnext_recseenipt_mchlist(i32* %0) {
%2 = alloca i32*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32* %0, i32** %2
store i32 1, i32* %10
%13 = call i32 (i32*, ...) bitcast (i32 (...)* @card_gset2 to i32 (i32*, ...)*)(i32* %3)
%14 = load i32, i32* %3
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %138
16: ; preds = %1
%17 = load i32, i32* %3
%18 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @valOrd_gset2 to i32 (i32*, i32, ...)*)(i32* %6, i32 %17)
%19 = load i32, i32* %6
%20 = call i32 (i32, ...) bitcast (i32 (...)* @del_gset2 to i32 (i32, ...)*)(i32 %19)
%21 = load i32, i32* %6
%22 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @def_sees_uses to i32 (i32*, i32, ...)*)(i32* %12, i32 %21)
%23 = load i32, i32* %12
%24 = icmp eq i32 %23, 1
br i1 %24, label %25, label %79
25: ; preds = %16
%26 = load i32, i32* %6
%27 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @card_sees_uses to i32 (i32*, i32, ...)*)(i32* %3, i32 %26)
%28 = load i32, i32* %3
%29 = icmp ne i32 %28, 0
br i1 %29, label %30, label %78
30: ; preds = %25
%31 = load i32, i32* %6
%32 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_sees_uses to i32 (i32*, i32, ...)*)(i32* %4, i32 %31)
%33 = load i32, i32* %4
%34 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @union_gset1 to i32 (i32*, i32, ...)*)(i32* %10, i32 %33)
%35 = load i32, i32* %10
%36 = icmp eq i32 %35, 1
br i1 %36, label %37, label %77
37: ; preds = %30
store i32 1, i32* %5
br label %38
38: ; preds = %73, %37
%39 = load i32, i32* %5
%40 = load i32, i32* %3
%41 = icmp sle i32 %39, %40
br i1 %41, label %42, label %45
42: ; preds = %38
%43 = load i32, i32* %10
%44 = icmp eq i32 %43, 1
br label %45
45: ; preds = %42, %38
%46 = phi i1 [ false, %38 ], [ %44, %42 ]
br i1 %46, label %47, label %76
47: ; preds = %45
%48 = load i32, i32* %6
%49 = load i32, i32* %5
%50 = call i32 (i32*, i32, i32, ...) bitcast (i32 (...)* @valOrd_sees_uses to i32 (i32*, i32, i32, ...)*)(i32* %7, i32 %48, i32 %49)
%51 = load i32, i32* %7
%52 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_abs2conc to i32 (i32*, i32, ...)*)(i32* %8, i32 %51)
%53 = load i32, i32* %8
%54 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @last_a2c to i32 (i32*, i32, ...)*)(i32* %7, i32 %53)
%55 = load i32, i32* %7
%56 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_ext to i32 (i32*, i32, ...)*)(i32* %9, i32 %55)
%57 = load i32, i32* %9
%58 = icmp eq i32 %57, 3
br i1 %58, label %59, label %73
59: ; preds = %47
%60 = load i32, i32* %7
%61 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @member_gset2 to i32 (i32*, i32, ...)*)(i32* %11, i32 %60)
%62 = load i32, i32* %11
%63 = icmp eq i32 %62, 0
br i1 %63, label %64, label %72
64: ; preds = %59
%65 = load i32, i32* %7
%66 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @add_gset2 to i32 (i32*, i32, ...)*)(i32* %11, i32 %65)
%67 = load i32, i32* %11
%68 = icmp ne i32 %67, 0
br i1 %68, label %71, label %69
69: ; preds = %64
%70 = call i32 (i32, ...) bitcast (i32 (...)* @BT_base_err_exit to i32 (i32, ...)*)(i32 169)
br label %71
71: ; preds = %69, %64
br label %72
72: ; preds = %71, %59
br label %73
73: ; preds = %72, %47
%74 = load i32, i32* %5
%75 = add nsw i32 %74, 1
store i32 %75, i32* %5
br label %38
76: ; preds = %45
br label %77
77: ; preds = %76, %30
br label %78
78: ; preds = %77, %25
br label %79
79: ; preds = %78, %16
%80 = load i32, i32* %10
%81 = icmp eq i32 %80, 1
br i1 %81, label %82, label %137
82: ; preds = %79
%83 = load i32, i32* %6
%84 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @def_inc_ipt to i32 (i32*, i32, ...)*)(i32* %10, i32 %83)
%85 = load i32, i32* %10
%86 = icmp eq i32 %85, 1
br i1 %86, label %87, label %136
87: ; preds = %82
%88 = load i32, i32* %6
%89 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @card_inc_ipt to i32 (i32*, i32, ...)*)(i32* %3, i32 %88)
%90 = load i32, i32* %3
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %135
92: ; preds = %87
%93 = load i32, i32* %6
%94 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_inc_ipt to i32 (i32*, i32, ...)*)(i32* %4, i32 %93)
%95 = load i32, i32* %4
%96 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @union_gset1 to i32 (i32*, i32, ...)*)(i32* %10, i32 %95)
%97 = load i32, i32* %10
%98 = icmp eq i32 %97, 1
br i1 %98, label %99, label %134
99: ; preds = %92
store i32 1, i32* %5
br label %100
100: ; preds = %130, %99
%101 = load i32, i32* %5
%102 = load i32, i32* %3
%103 = icmp sle i32 %101, %102
br i1 %103, label %104, label %107
104: ; preds = %100
%105 = load i32, i32* %10
%106 = icmp eq i32 %105, 1
br label %107
107: ; preds = %104, %100
%108 = phi i1 [ false, %100 ], [ %106, %104 ]
br i1 %108, label %109, label %133
109: ; preds = %107
%110 = load i32, i32* %6
%111 = load i32, i32* %5
%112 = call i32 (i32*, i32, i32, ...) bitcast (i32 (...)* @valOrd_inc_ipt to i32 (i32*, i32, i32, ...)*)(i32* %7, i32 %110, i32 %111)
%113 = load i32, i32* %7
%114 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_abs2conc to i32 (i32*, i32, ...)*)(i32* %8, i32 %113)
%115 = load i32, i32* %8
%116 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @last_a2c to i32 (i32*, i32, ...)*)(i32* %7, i32 %115)
%117 = load i32, i32* %7
%118 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_ext to i32 (i32*, i32, ...)*)(i32* %9, i32 %117)
%119 = load i32, i32* %9
%120 = icmp eq i32 %119, 3
br i1 %120, label %121, label %130
121: ; preds = %109
%122 = load i32, i32* %7
%123 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @member_gset2 to i32 (i32*, i32, ...)*)(i32* %11, i32 %122)
%124 = load i32, i32* %11
%125 = icmp eq i32 %124, 0
br i1 %125, label %126, label %129
126: ; preds = %121
%127 = load i32, i32* %7
%128 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @add_gset2 to i32 (i32*, i32, ...)*)(i32* %10, i32 %127)
br label %129
129: ; preds = %126, %121
br label %130
130: ; preds = %129, %109
%131 = load i32, i32* %5
%132 = add nsw i32 %131, 1
store i32 %132, i32* %5
br label %100
133: ; preds = %107
br label %134
134: ; preds = %133, %92
br label %135
135: ; preds = %134, %87
br label %136
136: ; preds = %135, %82
br label %137
137: ; preds = %136, %79
br label %138
138: ; preds = %137, %1
%139 = load i32, i32* %10
%140 = load i32*, i32** %2
store i32 %139, i32* %140
ret void
}

LLVM IR (-O2):
define void @getnext_recseenipt_mchlist(i32* nocapture writeonly %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = bitcast i32* %2 to i8*
%12 = bitcast i32* %3 to i8*
%13 = bitcast i32* %4 to i8*
%14 = bitcast i32* %5 to i8*
%15 = bitcast i32* %6 to i8*
%16 = bitcast i32* %7 to i8*
%17 = bitcast i32* %8 to i8*
%18 = bitcast i32* %9 to i8*
%19 = bitcast i32* %10 to i8*
store i32 1, i32* %8
%20 = call i32 (i32*, ...) bitcast (i32 (...)* @card_gset2 to i32 (i32*, ...)*)(i32* %2)
%21 = load i32, i32* %2
%22 = icmp eq i32 %21, 0
br i1 %22, label %128, label %23
23: ; preds = %1
%24 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @valOrd_gset2 to i32 (i32*, i32, ...)*)(i32* %4, i32 %21)
%25 = load i32, i32* %4
%26 = call i32 (i32, ...) bitcast (i32 (...)* @del_gset2 to i32 (i32, ...)*)(i32 %25)
%27 = load i32, i32* %4
%28 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @def_sees_uses to i32 (i32*, i32, ...)*)(i32* %10, i32 %27)
%29 = load i32, i32* %10
%30 = icmp eq i32 %29, 1
br i1 %30, label %31, label %79
31: ; preds = %23
%32 = load i32, i32* %4
%33 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @card_sees_uses to i32 (i32*, i32, ...)*)(i32* %2, i32 %32)
%34 = load i32, i32* %2
%35 = icmp eq i32 %34, 0
br i1 %35, label %79, label %36
36: ; preds = %31
%37 = load i32, i32* %4
%38 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_sees_uses to i32 (i32*, i32, ...)*)(i32* %3, i32 %37)
%39 = load i32, i32* %3
%40 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @union_gset1 to i32 (i32*, i32, ...)*)(i32* %8, i32 %39)
%41 = load i32, i32* %8
%42 = icmp eq i32 %41, 1
br i1 %42, label %43, label %128
43: ; preds = %36
%44 = load i32, i32* %2
%45 = icmp sgt i32 %44, 0
br i1 %45, label %46, label %79
46: ; preds = %43, %70
%47 = phi i32 [ %71, %70 ], [ 1, %43 ]
%48 = load i32, i32* %4
%49 = call i32 (i32*, i32, i32, ...) bitcast (i32 (...)* @valOrd_sees_uses to i32 (i32*, i32, i32, ...)*)(i32* %5, i32 %48, i32 %47)
%50 = load i32, i32* %5
%51 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_abs2conc to i32 (i32*, i32, ...)*)(i32* %6, i32 %50)
%52 = load i32, i32* %6
%53 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @last_a2c to i32 (i32*, i32, ...)*)(i32* %5, i32 %52)
%54 = load i32, i32* %5
%55 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_ext to i32 (i32*, i32, ...)*)(i32* %7, i32 %54)
%56 = load i32, i32* %7
%57 = icmp eq i32 %56, 3
br i1 %57, label %58, label %70
58: ; preds = %46
%59 = load i32, i32* %5
%60 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @member_gset2 to i32 (i32*, i32, ...)*)(i32* %9, i32 %59)
%61 = load i32, i32* %9
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %70
63: ; preds = %58
%64 = load i32, i32* %5
%65 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @add_gset2 to i32 (i32*, i32, ...)*)(i32* %9, i32 %64)
%66 = load i32, i32* %9
%67 = icmp eq i32 %66, 0
br i1 %67, label %68, label %70
68: ; preds = %63
%69 = call i32 (i32, ...) bitcast (i32 (...)* @BT_base_err_exit to i32 (i32, ...)*)(i32 169)
br label %70
70: ; preds = %58, %68, %63, %46
%71 = add nuw nsw i32 %47, 1
%72 = load i32, i32* %2
%73 = icmp slt i32 %47, %72
%74 = load i32, i32* %8
%75 = icmp eq i32 %74, 1
%76 = select i1 %73, i1 %75, i1 false
br i1 %76, label %46, label %77
77: ; preds = %70
%78 = icmp eq i32 %74, 1
br i1 %78, label %79, label %128
79: ; preds = %31, %23, %43, %77
%80 = load i32, i32* %4
%81 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @def_inc_ipt to i32 (i32*, i32, ...)*)(i32* %8, i32 %80)
%82 = load i32, i32* %8
%83 = icmp eq i32 %82, 1
br i1 %83, label %84, label %128
84: ; preds = %79
%85 = load i32, i32* %4
%86 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @card_inc_ipt to i32 (i32*, i32, ...)*)(i32* %2, i32 %85)
%87 = load i32, i32* %2
%88 = icmp eq i32 %87, 0
br i1 %88, label %89, label %91
89: ; preds = %84
%90 = load i32, i32* %8
br label %128
91: ; preds = %84
%92 = load i32, i32* %4
%93 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_inc_ipt to i32 (i32*, i32, ...)*)(i32* %3, i32 %92)
%94 = load i32, i32* %3
%95 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @union_gset1 to i32 (i32*, i32, ...)*)(i32* %8, i32 %94)
%96 = load i32, i32* %8
%97 = icmp eq i32 %96, 1
br i1 %97, label %98, label %128
98: ; preds = %91
%99 = load i32, i32* %2
%100 = icmp sgt i32 %99, 0
br i1 %100, label %101, label %128
101: ; preds = %98, %121
%102 = phi i32 [ %122, %121 ], [ 1, %98 ]
%103 = load i32, i32* %4
%104 = call i32 (i32*, i32, i32, ...) bitcast (i32 (...)* @valOrd_inc_ipt to i32 (i32*, i32, i32, ...)*)(i32* %5, i32 %103, i32 %102)
%105 = load i32, i32* %5
%106 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_abs2conc to i32 (i32*, i32, ...)*)(i32* %6, i32 %105)
%107 = load i32, i32* %6
%108 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @last_a2c to i32 (i32*, i32, ...)*)(i32* %5, i32 %107)
%109 = load i32, i32* %5
%110 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @val_ext to i32 (i32*, i32, ...)*)(i32* %7, i32 %109)
%111 = load i32, i32* %7
%112 = icmp eq i32 %111, 3
br i1 %112, label %113, label %121
113: ; preds = %101
%114 = load i32, i32* %5
%115 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @member_gset2 to i32 (i32*, i32, ...)*)(i32* %9, i32 %114)
%116 = load i32, i32* %9
%117 = icmp eq i32 %116, 0
br i1 %117, label %118, label %121
118: ; preds = %113
%119 = load i32, i32* %5
%120 = call i32 (i32*, i32, ...) bitcast (i32 (...)* @add_gset2 to i32 (i32*, i32, ...)*)(i32* %8, i32 %119)
br label %121
121: ; preds = %113, %118, %101
%122 = add nuw nsw i32 %102, 1
%123 = load i32, i32* %2
%124 = icmp slt i32 %102, %123
%125 = load i32, i32* %8
%126 = icmp eq i32 %125, 1
%127 = select i1 %124, i1 %126, i1 false
br i1 %127, label %101, label %128
128: ; preds = %121, %89, %98, %36, %77, %91, %79, %1
%129 = phi i32 [ %90, %89 ], [ 1, %98 ], [ %41, %36 ], [ %74, %77 ], [ %96, %91 ], [ %82, %79 ], [ 1, %1 ], [ %125, %121 ]
store i32 %129, i32* %0
ret void
}