#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 */
struct RenderContext {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ rgba(int, int, int, int);
int /*<<< orphan*/ set_pixel(struct RenderContext *, int, int,
                             int /*<<< orphan*/);
void process_pixel_default(struct RenderContext *context, int x, int y, int r,
                           int g, int b, int a, float light) {
  r = (((0) > (((((int)(light * r)) < (255)) ? ((int)(light * r)) : (255))))
           ? (0)
           : (((((int)(light * r)) < (255)) ? ((int)(light * r)) : (255))));
  g = (((0) > (((((int)(light * g)) < (255)) ? ((int)(light * g)) : (255))))
           ? (0)
           : (((((int)(light * g)) < (255)) ? ((int)(light * g)) : (255))));
  b = (((0) > (((((int)(light * b)) < (255)) ? ((int)(light * b)) : (255))))
           ? (0)
           : (((((int)(light * b)) < (255)) ? ((int)(light * b)) : (255))));
  a = (((0) > (((((int)(light * a)) < (255)) ? ((int)(light * a)) : (255))))
           ? (0)
           : (((((int)(light * a)) < (255)) ? ((int)(light * a)) : (255))));
  set_pixel(context, x, y, rgba(r, g, b, a));
}


x86 assembly (clang, -O0):
<process_pixel_default>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
movss  %xmm0,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    117c <process_pixel_default+0x5c>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x24(%rbp)
jmp    1189 <process_pixel_default+0x69>
mov    $0xff,%eax
mov    %eax,-0x24(%rbp)
jmp    1189 <process_pixel_default+0x69>
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
jle    11a0 <process_pixel_default+0x80>
xor    %eax,%eax
mov    %eax,-0x28(%rbp)
jmp    11ea <process_pixel_default+0xca>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    11d7 <process_pixel_default+0xb7>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e4 <process_pixel_default+0xc4>
mov    $0xff,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e4 <process_pixel_default+0xc4>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    1227 <process_pixel_default+0x107>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x30(%rbp)
jmp    1234 <process_pixel_default+0x114>
mov    $0xff,%eax
mov    %eax,-0x30(%rbp)
jmp    1234 <process_pixel_default+0x114>
mov    -0x30(%rbp),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
jle    124b <process_pixel_default+0x12b>
xor    %eax,%eax
mov    %eax,-0x34(%rbp)
jmp    1295 <process_pixel_default+0x175>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    1282 <process_pixel_default+0x162>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x18(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x38(%rbp)
jmp    128f <process_pixel_default+0x16f>
mov    $0xff,%eax
mov    %eax,-0x38(%rbp)
jmp    128f <process_pixel_default+0x16f>
mov    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x18(%rbp)
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    12d2 <process_pixel_default+0x1b2>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x3c(%rbp)
jmp    12df <process_pixel_default+0x1bf>
mov    $0xff,%eax
mov    %eax,-0x3c(%rbp)
jmp    12df <process_pixel_default+0x1bf>
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
jle    12f6 <process_pixel_default+0x1d6>
xor    %eax,%eax
mov    %eax,-0x40(%rbp)
jmp    1340 <process_pixel_default+0x220>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    132d <process_pixel_default+0x20d>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x44(%rbp)
jmp    133a <process_pixel_default+0x21a>
mov    $0xff,%eax
mov    %eax,-0x44(%rbp)
jmp    133a <process_pixel_default+0x21a>
mov    -0x44(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movss  -0x20(%rbp),%xmm0
cvtsi2ssl 0x10(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    137d <process_pixel_default+0x25d>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl 0x10(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x48(%rbp)
jmp    138a <process_pixel_default+0x26a>
mov    $0xff,%eax
mov    %eax,-0x48(%rbp)
jmp    138a <process_pixel_default+0x26a>
mov    -0x48(%rbp),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
jle    13a1 <process_pixel_default+0x281>
xor    %eax,%eax
mov    %eax,-0x4c(%rbp)
jmp    13eb <process_pixel_default+0x2cb>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl 0x10(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
cmp    $0xff,%eax
jge    13d8 <process_pixel_default+0x2b8>
movss  -0x20(%rbp),%xmm0
cvtsi2ssl 0x10(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x50(%rbp)
jmp    13e5 <process_pixel_default+0x2c5>
mov    $0xff,%eax
mov    %eax,-0x50(%rbp)
jmp    13e5 <process_pixel_default+0x2c5>
mov    -0x50(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    0x10(%rbp),%ecx
call   1040 <rgba@plt>
mov    -0x60(%rbp),%rdi
mov    -0x58(%rbp),%esi
mov    -0x54(%rbp),%edx
mov    %eax,%ecx
call   1030 <set_pixel@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<process_pixel_default>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %edx,%r14d
mov    %esi,%r15d
mov    %rdi,%rbx
movd   %ecx,%xmm1
movd   %r8d,%xmm2
punpckldq %xmm1,%xmm2
movd   %r9d,%xmm1
movd   0x30(%rsp),%xmm3
punpckldq %xmm1,%xmm3
punpcklqdq %xmm2,%xmm3
cvtdq2ps %xmm3,%xmm1
shufps $0x0,%xmm0,%xmm0
mulps  %xmm1,%xmm0
cvttps2dq %xmm0,%xmm0
movdqa 0xe9a(%rip),%xmm1
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
movdqa %xmm0,%xmm3
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
pxor   %xmm1,%xmm1
pcmpgtd %xmm1,%xmm0
movmskps %xmm0,%eax
pshufd $0xff,%xmm2,%xmm0
movd   %xmm0,%edi
xor    %ebp,%ebp
test   $0x8,%al
cmove  %ebp,%edi
pshufd $0xee,%xmm2,%xmm0
movd   %xmm0,%esi
test   $0x4,%al
cmove  %ebp,%esi
pshufd $0x55,%xmm2,%xmm0
movd   %xmm0,%edx
test   $0x2,%al
cmove  %ebp,%edx
movd   %xmm2,%ecx
test   $0x1,%al
cmove  %ebp,%ecx
call   1040 <rgba@plt>
mov    %rbx,%rdi
mov    %r15d,%esi
mov    %r14d,%edx
mov    %eax,%ecx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <set_pixel@plt>

LLVM IR (-O0):
%struct.RenderContext = type { i32 }
define void @process_pixel_default(%struct.RenderContext* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, float %7) {
%9 = alloca %struct.RenderContext*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca float
store %struct.RenderContext* %0, %struct.RenderContext** %9
store i32 %1, i32* %10
store i32 %2, i32* %11
store i32 %3, i32* %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i32 %6, i32* %15
store float %7, float* %16
%17 = load float, float* %16
%18 = load i32, i32* %12
%19 = sitofp i32 %18 to float
%20 = fmul float %17, %19
%21 = fptosi float %20 to i32
%22 = icmp slt i32 %21, 255
br i1 %22, label %23, label %29
23: ; preds = %8
%24 = load float, float* %16
%25 = load i32, i32* %12
%26 = sitofp i32 %25 to float
%27 = fmul float %24, %26
%28 = fptosi float %27 to i32
br label %30
29: ; preds = %8
br label %30
30: ; preds = %29, %23
%31 = phi i32 [ %28, %23 ], [ 255, %29 ]
%32 = icmp sgt i32 0, %31
br i1 %32, label %33, label %34
33: ; preds = %30
br label %50
34: ; preds = %30
%35 = load float, float* %16
%36 = load i32, i32* %12
%37 = sitofp i32 %36 to float
%38 = fmul float %35, %37
%39 = fptosi float %38 to i32
%40 = icmp slt i32 %39, 255
br i1 %40, label %41, label %47
41: ; preds = %34
%42 = load float, float* %16
%43 = load i32, i32* %12
%44 = sitofp i32 %43 to float
%45 = fmul float %42, %44
%46 = fptosi float %45 to i32
br label %48
47: ; preds = %34
br label %48
48: ; preds = %47, %41
%49 = phi i32 [ %46, %41 ], [ 255, %47 ]
br label %50
50: ; preds = %48, %33
%51 = phi i32 [ 0, %33 ], [ %49, %48 ]
store i32 %51, i32* %12
%52 = load float, float* %16
%53 = load i32, i32* %13
%54 = sitofp i32 %53 to float
%55 = fmul float %52, %54
%56 = fptosi float %55 to i32
%57 = icmp slt i32 %56, 255
br i1 %57, label %58, label %64
58: ; preds = %50
%59 = load float, float* %16
%60 = load i32, i32* %13
%61 = sitofp i32 %60 to float
%62 = fmul float %59, %61
%63 = fptosi float %62 to i32
br label %65
64: ; preds = %50
br label %65
65: ; preds = %64, %58
%66 = phi i32 [ %63, %58 ], [ 255, %64 ]
%67 = icmp sgt i32 0, %66
br i1 %67, label %68, label %69
68: ; preds = %65
br label %85
69: ; preds = %65
%70 = load float, float* %16
%71 = load i32, i32* %13
%72 = sitofp i32 %71 to float
%73 = fmul float %70, %72
%74 = fptosi float %73 to i32
%75 = icmp slt i32 %74, 255
br i1 %75, label %76, label %82
76: ; preds = %69
%77 = load float, float* %16
%78 = load i32, i32* %13
%79 = sitofp i32 %78 to float
%80 = fmul float %77, %79
%81 = fptosi float %80 to i32
br label %83
82: ; preds = %69
br label %83
83: ; preds = %82, %76
%84 = phi i32 [ %81, %76 ], [ 255, %82 ]
br label %85
85: ; preds = %83, %68
%86 = phi i32 [ 0, %68 ], [ %84, %83 ]
store i32 %86, i32* %13
%87 = load float, float* %16
%88 = load i32, i32* %14
%89 = sitofp i32 %88 to float
%90 = fmul float %87, %89
%91 = fptosi float %90 to i32
%92 = icmp slt i32 %91, 255
br i1 %92, label %93, label %99
93: ; preds = %85
%94 = load float, float* %16
%95 = load i32, i32* %14
%96 = sitofp i32 %95 to float
%97 = fmul float %94, %96
%98 = fptosi float %97 to i32
br label %100
99: ; preds = %85
br label %100
100: ; preds = %99, %93
%101 = phi i32 [ %98, %93 ], [ 255, %99 ]
%102 = icmp sgt i32 0, %101
br i1 %102, label %103, label %104
103: ; preds = %100
br label %120
104: ; preds = %100
%105 = load float, float* %16
%106 = load i32, i32* %14
%107 = sitofp i32 %106 to float
%108 = fmul float %105, %107
%109 = fptosi float %108 to i32
%110 = icmp slt i32 %109, 255
br i1 %110, label %111, label %117
111: ; preds = %104
%112 = load float, float* %16
%113 = load i32, i32* %14
%114 = sitofp i32 %113 to float
%115 = fmul float %112, %114
%116 = fptosi float %115 to i32
br label %118
117: ; preds = %104
br label %118
118: ; preds = %117, %111
%119 = phi i32 [ %116, %111 ], [ 255, %117 ]
br label %120
120: ; preds = %118, %103
%121 = phi i32 [ 0, %103 ], [ %119, %118 ]
store i32 %121, i32* %14
%122 = load float, float* %16
%123 = load i32, i32* %15
%124 = sitofp i32 %123 to float
%125 = fmul float %122, %124
%126 = fptosi float %125 to i32
%127 = icmp slt i32 %126, 255
br i1 %127, label %128, label %134
128: ; preds = %120
%129 = load float, float* %16
%130 = load i32, i32* %15
%131 = sitofp i32 %130 to float
%132 = fmul float %129, %131
%133 = fptosi float %132 to i32
br label %135
134: ; preds = %120
br label %135
135: ; preds = %134, %128
%136 = phi i32 [ %133, %128 ], [ 255, %134 ]
%137 = icmp sgt i32 0, %136
br i1 %137, label %138, label %139
138: ; preds = %135
br label %155
139: ; preds = %135
%140 = load float, float* %16
%141 = load i32, i32* %15
%142 = sitofp i32 %141 to float
%143 = fmul float %140, %142
%144 = fptosi float %143 to i32
%145 = icmp slt i32 %144, 255
br i1 %145, label %146, label %152
146: ; preds = %139
%147 = load float, float* %16
%148 = load i32, i32* %15
%149 = sitofp i32 %148 to float
%150 = fmul float %147, %149
%151 = fptosi float %150 to i32
br label %153
152: ; preds = %139
br label %153
153: ; preds = %152, %146
%154 = phi i32 [ %151, %146 ], [ 255, %152 ]
br label %155
155: ; preds = %153, %138
%156 = phi i32 [ 0, %138 ], [ %154, %153 ]
store i32 %156, i32* %15
%157 = load %struct.RenderContext*, %struct.RenderContext** %9
%158 = load i32, i32* %10
%159 = load i32, i32* %11
%160 = load i32, i32* %12
%161 = load i32, i32* %13
%162 = load i32, i32* %14
%163 = load i32, i32* %15
%164 = call i32 @rgba(i32 %160, i32 %161, i32 %162, i32 %163)
%165 = call i32 @set_pixel(%struct.RenderContext* %157, i32 %158, i32 %159, i32 %164)
ret void
}

LLVM IR (-O2):
%struct.RenderContext = type { i32 }
define void @process_pixel_default(%struct.RenderContext* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, float %7) {
%9 = insertelement <4 x i32> poison, i32 %6, i64 0
%10 = insertelement <4 x i32> %9, i32 %5, i64 1
%11 = insertelement <4 x i32> %10, i32 %4, i64 2
%12 = insertelement <4 x i32> %11, i32 %3, i64 3
%13 = sitofp <4 x i32> %12 to <4 x float>
%14 = insertelement <4 x float> poison, float %7, i64 0
%15 = shufflevector <4 x float> %14, <4 x float> poison, <4 x i32> zeroinitializer
%16 = fmul <4 x float> %15, %13
%17 = fptosi <4 x float> %16 to <4 x i32>
%18 = icmp slt <4 x i32> %17, <i32 255, i32 255, i32 255, i32 255>
%19 = select <4 x i1> %18, <4 x i32> %17, <4 x i32> <i32 255, i32 255, i32 255, i32 255>
%20 = icmp sgt <4 x i32> %17, zeroinitializer
%21 = extractelement <4 x i1> %20, i64 3
%22 = extractelement <4 x i32> %19, i64 3
%23 = select i1 %21, i32 %22, i32 0
%24 = extractelement <4 x i1> %20, i64 2
%25 = extractelement <4 x i32> %19, i64 2
%26 = select i1 %24, i32 %25, i32 0
%27 = extractelement <4 x i1> %20, i64 1
%28 = extractelement <4 x i32> %19, i64 1
%29 = select i1 %27, i32 %28, i32 0
%30 = extractelement <4 x i1> %20, i64 0
%31 = extractelement <4 x i32> %19, i64 0
%32 = select i1 %30, i32 %31, i32 0
%33 = tail call i32 @rgba(i32 %23, i32 %26, i32 %29, i32 %32)
%34 = tail call i32 @set_pixel(%struct.RenderContext* %0, i32 %1, i32 %2, i32 %33)
ret void
}