void Msat_SolverSetupTruthTables(unsigned uTruths[][2]) {
  int m, v;
  for (m = 0; m < 32; m++)
    for (v = 0; v < 5; v++)
      if (m & (1 << v))
        uTruths[v][0] |= (1 << m);
  for (v = 0; v < 5; v++)
    uTruths[v][1] = uTruths[v][0];
  uTruths[5][0] = 0;
  uTruths[5][1] = ~((unsigned)0);
}


x86 assembly (clang, -O0):
<Msat_SolverSetupTruthTables>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x20,-0xc(%rbp)
jge    1182 <Msat_SolverSetupTruthTables+0x82>
movl   $0x0,-0x10(%rbp)
cmpl   $0x5,-0x10(%rbp)
jge    116f <Msat_SolverSetupTruthTables+0x6f>
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     115c <Msat_SolverSetupTruthTables+0x5c>
mov    -0xc(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
or     (%rax,%rcx,8),%edx
mov    %edx,(%rax,%rcx,8)
jmp    1161 <Msat_SolverSetupTruthTables+0x61>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1120 <Msat_SolverSetupTruthTables+0x20>
jmp    1174 <Msat_SolverSetupTruthTables+0x74>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    110f <Msat_SolverSetupTruthTables+0xf>
movl   $0x0,-0x10(%rbp)
cmpl   $0x5,-0x10(%rbp)
jge    11b8 <Msat_SolverSetupTruthTables+0xb8>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,0x4(%rax,%rcx,8)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1189 <Msat_SolverSetupTruthTables+0x89>
mov    -0x8(%rbp),%rax
movl   $0x0,0x28(%rax)
mov    -0x8(%rbp),%rax
movl   $0xffffffff,0x2c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<Msat_SolverSetupTruthTables>:
xor    %ecx,%ecx
jmp    1118 <Msat_SolverSetupTruthTables+0x18>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%ecx
cmp    $0x20,%ecx
je     1164 <Msat_SolverSetupTruthTables+0x64>
mov    $0x1,%eax
shl    %cl,%eax
test   $0x1,%cl
jne    1140 <Msat_SolverSetupTruthTables+0x40>
test   $0x2,%cl
jne    1147 <Msat_SolverSetupTruthTables+0x47>
test   $0x4,%cl
jne    114f <Msat_SolverSetupTruthTables+0x4f>
test   $0x8,%cl
jne    1157 <Msat_SolverSetupTruthTables+0x57>
test   $0x10,%cl
je     1110 <Msat_SolverSetupTruthTables+0x10>
jmp    115f <Msat_SolverSetupTruthTables+0x5f>
nopw   0x0(%rax,%rax,1)
or     %eax,(%rdi)
test   $0x2,%cl
je     1129 <Msat_SolverSetupTruthTables+0x29>
or     %eax,0x8(%rdi)
test   $0x4,%cl
je     112e <Msat_SolverSetupTruthTables+0x2e>
or     %eax,0x10(%rdi)
test   $0x8,%cl
je     1133 <Msat_SolverSetupTruthTables+0x33>
or     %eax,0x18(%rdi)
test   $0x10,%cl
je     1110 <Msat_SolverSetupTruthTables+0x10>
or     %eax,0x20(%rdi)
jmp    1110 <Msat_SolverSetupTruthTables+0x10>
mov    (%rdi),%eax
mov    0x8(%rdi),%ecx
mov    %eax,0x4(%rdi)
mov    %ecx,0xc(%rdi)
mov    0x10(%rdi),%eax
mov    %eax,0x14(%rdi)
mov    0x18(%rdi),%eax
mov    %eax,0x1c(%rdi)
mov    0x20(%rdi),%eax
mov    %eax,0x24(%rdi)
movabs $0xffffffff00000000,%rax
ff ff ff
mov    %rax,0x28(%rdi)
ret

LLVM IR (-O0):
define void @Msat_SolverSetupTruthTables([2 x i32]* %0) {
%2 = alloca [2 x i32]*
%3 = alloca i32
%4 = alloca i32
store [2 x i32]* %0, [2 x i32]** %2
store i32 0, i32* %3
br label %5
5: ; preds = %33, %1
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 32
br i1 %7, label %8, label %36
8: ; preds = %5
store i32 0, i32* %4
br label %9
9: ; preds = %29, %8
%10 = load i32, i32* %4
%11 = icmp slt i32 %10, 5
br i1 %11, label %12, label %32
12: ; preds = %9
%13 = load i32, i32* %3
%14 = load i32, i32* %4
%15 = shl i32 1, %14
%16 = and i32 %13, %15
%17 = icmp ne i32 %16, 0
br i1 %17, label %18, label %28
18: ; preds = %12
%19 = load i32, i32* %3
%20 = shl i32 1, %19
%21 = load [2 x i32]*, [2 x i32]** %2
%22 = load i32, i32* %4
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [2 x i32], [2 x i32]* %21, i64 %23
%25 = getelementptr inbounds [2 x i32], [2 x i32]* %24, i64 0, i64 0
%26 = load i32, i32* %25
%27 = or i32 %26, %20
store i32 %27, i32* %25
br label %28
28: ; preds = %18, %12
br label %29
29: ; preds = %28
%30 = load i32, i32* %4
%31 = add nsw i32 %30, 1
store i32 %31, i32* %4
br label %9
32: ; preds = %9
br label %33
33: ; preds = %32
%34 = load i32, i32* %3
%35 = add nsw i32 %34, 1
store i32 %35, i32* %3
br label %5
36: ; preds = %5
store i32 0, i32* %4
br label %37
37: ; preds = %52, %36
%38 = load i32, i32* %4
%39 = icmp slt i32 %38, 5
br i1 %39, label %40, label %55
40: ; preds = %37
%41 = load [2 x i32]*, [2 x i32]** %2
%42 = load i32, i32* %4
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [2 x i32], [2 x i32]* %41, i64 %43
%45 = getelementptr inbounds [2 x i32], [2 x i32]* %44, i64 0, i64 0
%46 = load i32, i32* %45
%47 = load [2 x i32]*, [2 x i32]** %2
%48 = load i32, i32* %4
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [2 x i32], [2 x i32]* %47, i64 %49
%51 = getelementptr inbounds [2 x i32], [2 x i32]* %50, i64 0, i64 1
store i32 %46, i32* %51
br label %52
52: ; preds = %40
%53 = load i32, i32* %4
%54 = add nsw i32 %53, 1
store i32 %54, i32* %4
br label %37
55: ; preds = %37
%56 = load [2 x i32]*, [2 x i32]** %2
%57 = getelementptr inbounds [2 x i32], [2 x i32]* %56, i64 5
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %57, i64 0, i64 0
store i32 0, i32* %58
%59 = load [2 x i32]*, [2 x i32]** %2
%60 = getelementptr inbounds [2 x i32], [2 x i32]* %59, i64 5
%61 = getelementptr inbounds [2 x i32], [2 x i32]* %60, i64 0, i64 1
store i32 -1, i32* %61
ret void
}

LLVM IR (-O2):
define void @Msat_SolverSetupTruthTables([2 x i32]* nocapture %0) {
%2 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 0, i64 0
%3 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 1, i64 0
%4 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 2, i64 0
%5 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 3, i64 0
%6 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 4, i64 0
br label %7
7: ; preds = %1, %39
%8 = phi i32 [ 0, %1 ], [ %40, %39 ]
%9 = shl nuw i32 1, %8
%10 = and i32 %8, 1
%11 = icmp eq i32 %10, 0
br i1 %11, label %15, label %12
12: ; preds = %7
%13 = load i32, i32* %2
%14 = or i32 %13, %9
store i32 %14, i32* %2
br label %15
15: ; preds = %7, %12
%16 = and i32 %8, 2
%17 = icmp eq i32 %16, 0
br i1 %17, label %21, label %18
18: ; preds = %15
%19 = load i32, i32* %3
%20 = or i32 %19, %9
store i32 %20, i32* %3
br label %21
21: ; preds = %18, %15
%22 = and i32 %8, 4
%23 = icmp eq i32 %22, 0
br i1 %23, label %27, label %24
24: ; preds = %21
%25 = load i32, i32* %4
%26 = or i32 %25, %9
store i32 %26, i32* %4
br label %27
27: ; preds = %24, %21
%28 = and i32 %8, 8
%29 = icmp eq i32 %28, 0
br i1 %29, label %33, label %30
30: ; preds = %27
%31 = load i32, i32* %5
%32 = or i32 %31, %9
store i32 %32, i32* %5
br label %33
33: ; preds = %30, %27
%34 = and i32 %8, 16
%35 = icmp eq i32 %34, 0
br i1 %35, label %39, label %36
36: ; preds = %33
%37 = load i32, i32* %6
%38 = or i32 %37, %9
store i32 %38, i32* %6
br label %39
39: ; preds = %36, %33
%40 = add nuw nsw i32 %8, 1
%41 = icmp eq i32 %40, 32
br i1 %41, label %42, label %7
42: ; preds = %39
%43 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 0, i64 0
%44 = load i32, i32* %43
%45 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 0, i64 1
store i32 %44, i32* %45
%46 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 1, i64 0
%47 = load i32, i32* %46
%48 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 1, i64 1
store i32 %47, i32* %48
%49 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 2, i64 0
%50 = load i32, i32* %49
%51 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 2, i64 1
store i32 %50, i32* %51
%52 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 3, i64 0
%53 = load i32, i32* %52
%54 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 3, i64 1
store i32 %53, i32* %54
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 4, i64 0
%56 = load i32, i32* %55
%57 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 4, i64 1
store i32 %56, i32* %57
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 5, i64 0
store i32 0, i32* %58
%59 = getelementptr inbounds [2 x i32], [2 x i32]* %0, i64 5, i64 1
store i32 -1, i32* %59
ret void
}