void btor_SC_GATE_CO_const(char *CO, char R, char D, char CI) {
  char D_or_CI, D_and_CI, M;
  D_or_CI = (((D) == '1' || (CI) == '1')
                 ? '1'
                 : (((D) == 'x' || (CI) == 'x') ? 'x' : (D) | (CI)));
  D_and_CI = (((D) == '0' || (CI) == '0')
                  ? '0'
                  : (((D) == 'x' || (CI) == 'x') ? 'x' : (D) & (CI)));
  M = (((D_or_CI) == '0' || (R) == '0')
           ? '0'
           : (((D_or_CI) == 'x' || (R) == 'x') ? 'x' : (D_or_CI) & (R)));
  *CO = (((M) == '1' || (D_and_CI) == '1')
             ? '1'
             : (((M) == 'x' || (D_and_CI) == 'x') ? 'x' : (M) | (D_and_CI)));
}


x86 assembly (clang, -O0):
<btor_SC_GATE_CO_const>:
push   %rbp
mov    %rsp,%rbp
mov    %cl,%al
mov    %dl,%cl
mov    %sil,%dl
mov    %rdi,-0x8(%rbp)
mov    %dl,-0x9(%rbp)
mov    %cl,-0xa(%rbp)
mov    %al,-0xb(%rbp)
movsbl -0xa(%rbp),%eax
cmp    $0x31,%eax
je     1132 <btor_SC_GATE_CO_const+0x32>
movsbl -0xb(%rbp),%eax
cmp    $0x31,%eax
jne    113f <btor_SC_GATE_CO_const+0x3f>
mov    $0x31,%eax
mov    %eax,-0x14(%rbp)
jmp    1179 <btor_SC_GATE_CO_const+0x79>
movsbl -0xa(%rbp),%eax
cmp    $0x78,%eax
je     1159 <btor_SC_GATE_CO_const+0x59>
movsbl -0xb(%rbp),%eax
cmp    $0x78,%eax
jne    1166 <btor_SC_GATE_CO_const+0x66>
mov    $0x78,%eax
mov    %eax,-0x18(%rbp)
jmp    1173 <btor_SC_GATE_CO_const+0x73>
movsbl -0xa(%rbp),%eax
movsbl -0xb(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %al,-0xc(%rbp)
movsbl -0xa(%rbp),%eax
cmp    $0x30,%eax
je     1199 <btor_SC_GATE_CO_const+0x99>
movsbl -0xb(%rbp),%eax
cmp    $0x30,%eax
jne    11a6 <btor_SC_GATE_CO_const+0xa6>
mov    $0x30,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e0 <btor_SC_GATE_CO_const+0xe0>
movsbl -0xa(%rbp),%eax
cmp    $0x78,%eax
je     11c0 <btor_SC_GATE_CO_const+0xc0>
movsbl -0xb(%rbp),%eax
cmp    $0x78,%eax
jne    11cd <btor_SC_GATE_CO_const+0xcd>
mov    $0x78,%eax
mov    %eax,-0x20(%rbp)
jmp    11da <btor_SC_GATE_CO_const+0xda>
movsbl -0xa(%rbp),%eax
movsbl -0xb(%rbp),%ecx
and    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %al,-0xd(%rbp)
movsbl -0xc(%rbp),%eax
cmp    $0x30,%eax
je     1200 <btor_SC_GATE_CO_const+0x100>
movsbl -0x9(%rbp),%eax
cmp    $0x30,%eax
jne    120d <btor_SC_GATE_CO_const+0x10d>
mov    $0x30,%eax
mov    %eax,-0x24(%rbp)
jmp    1247 <btor_SC_GATE_CO_const+0x147>
movsbl -0xc(%rbp),%eax
cmp    $0x78,%eax
je     1227 <btor_SC_GATE_CO_const+0x127>
movsbl -0x9(%rbp),%eax
cmp    $0x78,%eax
jne    1234 <btor_SC_GATE_CO_const+0x134>
mov    $0x78,%eax
mov    %eax,-0x28(%rbp)
jmp    1241 <btor_SC_GATE_CO_const+0x141>
movsbl -0xc(%rbp),%eax
movsbl -0x9(%rbp),%ecx
and    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0xe(%rbp)
movsbl -0xe(%rbp),%eax
cmp    $0x31,%eax
je     1267 <btor_SC_GATE_CO_const+0x167>
movsbl -0xd(%rbp),%eax
cmp    $0x31,%eax
jne    1274 <btor_SC_GATE_CO_const+0x174>
mov    $0x31,%eax
mov    %eax,-0x2c(%rbp)
jmp    12ae <btor_SC_GATE_CO_const+0x1ae>
movsbl -0xe(%rbp),%eax
cmp    $0x78,%eax
je     128e <btor_SC_GATE_CO_const+0x18e>
movsbl -0xd(%rbp),%eax
cmp    $0x78,%eax
jne    129b <btor_SC_GATE_CO_const+0x19b>
mov    $0x78,%eax
mov    %eax,-0x30(%rbp)
jmp    12a8 <btor_SC_GATE_CO_const+0x1a8>
movsbl -0xe(%rbp),%eax
movsbl -0xd(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<btor_SC_GATE_CO_const>:
mov    $0x31,%r8d
cmp    $0x31,%dl
je     112b <btor_SC_GATE_CO_const+0x2b>
cmp    $0x31,%cl
je     112b <btor_SC_GATE_CO_const+0x2b>
mov    %ecx,%eax
or     %dl,%al
cmp    $0x78,%cl
movsbl %al,%r8d
mov    $0x78,%eax
cmove  %eax,%r8d
cmp    $0x78,%dl
cmove  %eax,%r8d
mov    $0x30,%r9d
mov    $0x30,%eax
cmp    $0x30,%dl
je     115d <btor_SC_GATE_CO_const+0x5d>
mov    $0x30,%eax
cmp    $0x30,%cl
je     115d <btor_SC_GATE_CO_const+0x5d>
mov    %ecx,%eax
and    %dl,%al
cmp    $0x78,%cl
movsbl %al,%eax
mov    $0x78,%ecx
cmove  %ecx,%eax
cmp    $0x78,%dl
cmove  %ecx,%eax
cmp    $0x30,%sil
je     1188 <btor_SC_GATE_CO_const+0x88>
cmp    $0x30,%r8d
je     1188 <btor_SC_GATE_CO_const+0x88>
mov    %r8d,%ecx
and    %sil,%cl
cmp    $0x78,%r8d
movsbl %cl,%ecx
cmove  %r8d,%ecx
cmp    $0x78,%sil
mov    $0x78,%r9d
cmovne %ecx,%r9d
mov    $0x31,%cl
cmp    $0x31,%eax
je     11a8 <btor_SC_GATE_CO_const+0xa8>
cmp    $0x31,%r9d
je     11a8 <btor_SC_GATE_CO_const+0xa8>
mov    %r9d,%ecx
or     %eax,%ecx
cmp    $0x78,%r9d
cmove  %r9d,%ecx
cmp    $0x78,%eax
cmove  %eax,%ecx
mov    %cl,(%rdi)
ret

LLVM IR (-O0):
define void @btor_SC_GATE_CO_const(i8* %0, i8 signext %1, i8 signext %2, i8 signext %3) {
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8 %2, i8* %7
store i8 %3, i8* %8
%12 = load i8, i8* %7
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, 49
br i1 %14, label %19, label %15
15: ; preds = %4
%16 = load i8, i8* %8
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 49
br i1 %18, label %19, label %20
19: ; preds = %15, %4
br label %37
20: ; preds = %15
%21 = load i8, i8* %7
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 120
br i1 %23, label %28, label %24
24: ; preds = %20
%25 = load i8, i8* %8
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 120
br i1 %27, label %28, label %29
28: ; preds = %24, %20
br label %35
29: ; preds = %24
%30 = load i8, i8* %7
%31 = sext i8 %30 to i32
%32 = load i8, i8* %8
%33 = sext i8 %32 to i32
%34 = or i32 %31, %33
br label %35
35: ; preds = %29, %28
%36 = phi i32 [ 120, %28 ], [ %34, %29 ]
br label %37
37: ; preds = %35, %19
%38 = phi i32 [ 49, %19 ], [ %36, %35 ]
%39 = trunc i32 %38 to i8
store i8 %39, i8* %9
%40 = load i8, i8* %7
%41 = sext i8 %40 to i32
%42 = icmp eq i32 %41, 48
br i1 %42, label %47, label %43
43: ; preds = %37
%44 = load i8, i8* %8
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 48
br i1 %46, label %47, label %48
47: ; preds = %43, %37
br label %65
48: ; preds = %43
%49 = load i8, i8* %7
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 120
br i1 %51, label %56, label %52
52: ; preds = %48
%53 = load i8, i8* %8
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %54, 120
br i1 %55, label %56, label %57
56: ; preds = %52, %48
br label %63
57: ; preds = %52
%58 = load i8, i8* %7
%59 = sext i8 %58 to i32
%60 = load i8, i8* %8
%61 = sext i8 %60 to i32
%62 = and i32 %59, %61
br label %63
63: ; preds = %57, %56
%64 = phi i32 [ 120, %56 ], [ %62, %57 ]
br label %65
65: ; preds = %63, %47
%66 = phi i32 [ 48, %47 ], [ %64, %63 ]
%67 = trunc i32 %66 to i8
store i8 %67, i8* %10
%68 = load i8, i8* %9
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 48
br i1 %70, label %75, label %71
71: ; preds = %65
%72 = load i8, i8* %6
%73 = sext i8 %72 to i32
%74 = icmp eq i32 %73, 48
br i1 %74, label %75, label %76
75: ; preds = %71, %65
br label %93
76: ; preds = %71
%77 = load i8, i8* %9
%78 = sext i8 %77 to i32
%79 = icmp eq i32 %78, 120
br i1 %79, label %84, label %80
80: ; preds = %76
%81 = load i8, i8* %6
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 120
br i1 %83, label %84, label %85
84: ; preds = %80, %76
br label %91
85: ; preds = %80
%86 = load i8, i8* %9
%87 = sext i8 %86 to i32
%88 = load i8, i8* %6
%89 = sext i8 %88 to i32
%90 = and i32 %87, %89
br label %91
91: ; preds = %85, %84
%92 = phi i32 [ 120, %84 ], [ %90, %85 ]
br label %93
93: ; preds = %91, %75
%94 = phi i32 [ 48, %75 ], [ %92, %91 ]
%95 = trunc i32 %94 to i8
store i8 %95, i8* %11
%96 = load i8, i8* %11
%97 = sext i8 %96 to i32
%98 = icmp eq i32 %97, 49
br i1 %98, label %103, label %99
99: ; preds = %93
%100 = load i8, i8* %10
%101 = sext i8 %100 to i32
%102 = icmp eq i32 %101, 49
br i1 %102, label %103, label %104
103: ; preds = %99, %93
br label %121
104: ; preds = %99
%105 = load i8, i8* %11
%106 = sext i8 %105 to i32
%107 = icmp eq i32 %106, 120
br i1 %107, label %112, label %108
108: ; preds = %104
%109 = load i8, i8* %10
%110 = sext i8 %109 to i32
%111 = icmp eq i32 %110, 120
br i1 %111, label %112, label %113
112: ; preds = %108, %104
br label %119
113: ; preds = %108
%114 = load i8, i8* %11
%115 = sext i8 %114 to i32
%116 = load i8, i8* %10
%117 = sext i8 %116 to i32
%118 = or i32 %115, %117
br label %119
119: ; preds = %113, %112
%120 = phi i32 [ 120, %112 ], [ %118, %113 ]
br label %121
121: ; preds = %119, %103
%122 = phi i32 [ 49, %103 ], [ %120, %119 ]
%123 = trunc i32 %122 to i8
%124 = load i8*, i8** %5
store i8 %123, i8* %124
ret void
}

LLVM IR (-O2):
define void @btor_SC_GATE_CO_const(i8* nocapture writeonly %0, i8 signext %1, i8 signext %2, i8 signext %3) {
%5 = icmp eq i8 %2, 49
%6 = icmp eq i8 %3, 49
%7 = or i1 %5, %6
br i1 %7, label %15, label %8
8: ; preds = %4
%9 = icmp eq i8 %2, 120
%10 = icmp eq i8 %3, 120
%11 = or i1 %9, %10
%12 = or i8 %3, %2
%13 = sext i8 %12 to i32
%14 = select i1 %11, i32 120, i32 %13
br label %15
15: ; preds = %4, %8
%16 = phi i32 [ %14, %8 ], [ 49, %4 ]
%17 = icmp eq i8 %2, 48
%18 = icmp eq i8 %3, 48
%19 = or i1 %17, %18
br i1 %19, label %27, label %20
20: ; preds = %15
%21 = icmp eq i8 %2, 120
%22 = icmp eq i8 %3, 120
%23 = or i1 %21, %22
%24 = and i8 %3, %2
%25 = sext i8 %24 to i32
%26 = select i1 %23, i32 120, i32 %25
br label %27
27: ; preds = %15, %20
%28 = phi i32 [ %26, %20 ], [ 48, %15 ]
%29 = icmp eq i32 %16, 48
%30 = icmp eq i8 %1, 48
%31 = or i1 %30, %29
br i1 %31, label %40, label %32
32: ; preds = %27
%33 = icmp eq i32 %16, 120
%34 = icmp eq i8 %1, 120
%35 = or i1 %34, %33
%36 = trunc i32 %16 to i8
%37 = and i8 %36, %1
%38 = sext i8 %37 to i32
%39 = select i1 %35, i32 120, i32 %38
br label %40
40: ; preds = %27, %32
%41 = phi i32 [ %39, %32 ], [ 48, %27 ]
%42 = icmp eq i32 %41, 49
%43 = icmp eq i32 %28, 49
%44 = or i1 %43, %42
br i1 %44, label %52, label %45
45: ; preds = %40
%46 = icmp eq i32 %41, 120
%47 = icmp eq i32 %28, 120
%48 = or i1 %47, %46
%49 = or i32 %41, %28
%50 = trunc i32 %49 to i8
%51 = select i1 %48, i8 120, i8 %50
br label %52
52: ; preds = %40, %45
%53 = phi i8 [ %51, %45 ], [ 49, %40 ]
store i8 %53, i8* %0
ret void
}