#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 */

/* Variables and functions */
int /*<<< orphan*/ clrvoxel(int, int, int);
int /*<<< orphan*/ delay_ms(int);
int rand();
int /*<<< orphan*/ shift(int, int);
void dissolve(int speed, unsigned char modifier, unsigned char direction) {
  for (int i = 0; i < 4; i++) {
    for (int ii = 0; ii < 4; ii++) {
      int loop = 4 + modifier;
      while (loop) {
        int x = rand() % 4;
        int y = rand() % 4;
        int flop = loop;
        if (direction == 1 ||
            (flop % 2 == 0 && (direction == 3 || direction == 4)))
          clrvoxel(x, y, 0 + ii + i);
        else
          clrvoxel(x, y, 3 - ii - i);
        loop--;
        delay_ms(10);
      }
    }
    delay_ms(speed * 0.5);
    if (direction |= 4)
      shift(0x7a, -1);
  }
}


x86 assembly (clang, -O0):
<dissolve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %dl,%al
mov    %sil,%cl
mov    %edi,-0x4(%rbp)
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    1299 <dissolve+0x159>
movl   $0x0,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    124b <dissolve+0x10b>
movzbl -0x5(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1238 <dissolve+0xf8>
mov    $0x0,%al
call   1060 <rand@plt>
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,-0x18(%rbp)
mov    $0x0,%al
call   1060 <rand@plt>
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
movzbl -0x6(%rbp),%eax
cmp    $0x1,%eax
je     11f1 <dissolve+0xb1>
mov    -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    120a <dissolve+0xca>
movzbl -0x6(%rbp),%eax
cmp    $0x3,%eax
je     11f1 <dissolve+0xb1>
movzbl -0x6(%rbp),%eax
cmp    $0x4,%eax
jne    120a <dissolve+0xca>
mov    -0x18(%rbp),%edi
mov    -0x1c(%rbp),%esi
mov    -0x10(%rbp),%edx
add    $0x0,%edx
add    -0xc(%rbp),%edx
call   1030 <clrvoxel@plt>
jmp    1220 <dissolve+0xe0>
mov    -0x18(%rbp),%edi
mov    -0x1c(%rbp),%esi
mov    $0x3,%edx
sub    -0x10(%rbp),%edx
sub    -0xc(%rbp),%edx
call   1030 <clrvoxel@plt>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    $0xa,%edi
call   1050 <delay_ms@plt>
jmp    1182 <dissolve+0x42>
jmp    123d <dissolve+0xfd>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    116e <dissolve+0x2e>
cvtsi2sdl -0x4(%rbp),%xmm0
movsd  0xda8(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1050 <delay_ms@plt>
movzbl -0x6(%rbp),%eax
or     $0x4,%eax
mov    %al,-0x6(%rbp)
cmp    $0x0,%al
je     1286 <dissolve+0x146>
mov    $0x7a,%edi
mov    $0xffffffff,%esi
call   1040 <shift@plt>
jmp    128b <dissolve+0x14b>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    115d <dissolve+0x1d>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dissolve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r14d
add    $0x4,%esi
mov    %esi,0x8(%rsp)
cvtsi2sd %edi,%xmm0
mulsd  0xe9c(%rip),%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,0x14(%rsp)
mov    %r14d,%eax
or     $0x4,%al
mov    %al,0x7(%rsp)
xor    %r13d,%r13d
jmp    11af <dissolve+0x6f>
nopw   0x0(%rax,%rax,1)
mov    0x14(%rsp),%edi
call   1050 <delay_ms@plt>
mov    $0x7a,%edi
mov    $0xffffffff,%esi
call   1040 <shift@plt>
mov    0x7(%rsp),%al
mov    %eax,%r14d
mov    0xc(%rsp),%eax
mov    %eax,%r13d
cmp    $0x4,%eax
je     13b5 <dissolve+0x275>
lea    -0x3(%r14),%r12d
mov    $0x3,%r15d
sub    %r13d,%r15d
mov    0x8(%rsp),%ebp
xor    %eax,%eax
call   1060 <rand@plt>
mov    %eax,%ebx
lea    0x3(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xfffffffc,%eax
sub    %eax,%ebx
xor    %eax,%eax
call   1060 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
sub    %ecx,%eax
test   $0x1,%bpl
mov    %r15d,%edx
cmove  %r13d,%edx
cmp    $0x2,%r12b
cmovae %r15d,%edx
cmp    $0x1,%r14b
cmove  %r13d,%edx
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <clrvoxel@plt>
mov    $0xa,%edi
call   1050 <delay_ms@plt>
add    $0xffffffff,%ebp
jne    11c0 <dissolve+0x80>
lea    0x1(%r13),%eax
mov    %eax,0xc(%rsp)
mov    $0x2,%r15d
sub    %r13d,%r15d
mov    0x8(%rsp),%ebp
jmp    125c <dissolve+0x11c>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0xc(%rsp),%edx
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <clrvoxel@plt>
mov    $0xa,%edi
call   1050 <delay_ms@plt>
add    $0xffffffff,%ebp
je     12b0 <dissolve+0x170>
xor    %eax,%eax
call   1060 <rand@plt>
mov    %eax,%ebx
lea    0x3(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xfffffffc,%eax
sub    %eax,%ebx
xor    %eax,%eax
call   1060 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
sub    %ecx,%eax
cmp    $0x1,%r14b
je     1240 <dissolve+0x100>
mov    %r15d,%edx
cmp    $0x1,%r12b
ja     1244 <dissolve+0x104>
mov    %ebp,%ecx
mov    %r15d,%edx
and    $0x1,%ecx
je     1240 <dissolve+0x100>
jmp    1244 <dissolve+0x104>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r12d,0x10(%rsp)
lea    0x2(%r13),%r15d
mov    $0x1,%r12d
sub    %r13d,%r12d
mov    0x8(%rsp),%ebp
jmp    12eb <dissolve+0x1ab>
nopl   0x0(%rax,%rax,1)
mov    %r15d,%edx
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <clrvoxel@plt>
mov    $0xa,%edi
call   1050 <delay_ms@plt>
add    $0xffffffff,%ebp
je     1340 <dissolve+0x200>
xor    %eax,%eax
call   1060 <rand@plt>
mov    %eax,%ebx
lea    0x3(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xfffffffc,%eax
sub    %eax,%ebx
xor    %eax,%eax
call   1060 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
sub    %ecx,%eax
cmp    $0x1,%r14b
je     12d0 <dissolve+0x190>
mov    %r12d,%edx
cmpb   $0x1,0x10(%rsp)
ja     12d3 <dissolve+0x193>
mov    %ebp,%ecx
mov    %r12d,%edx
and    $0x1,%ecx
je     12d0 <dissolve+0x190>
jmp    12d3 <dissolve+0x193>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x3(%r13),%r15d
neg    %r13d
mov    0x8(%rsp),%ebp
jmp    136f <dissolve+0x22f>
nopl   (%rax)
mov    %r15d,%edx
mov    %ebx,%edi
mov    %eax,%esi
call   1030 <clrvoxel@plt>
mov    $0xa,%edi
call   1050 <delay_ms@plt>
add    $0xffffffff,%ebp
je     1180 <dissolve+0x40>
xor    %eax,%eax
call   1060 <rand@plt>
mov    %eax,%ebx
lea    0x3(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xfffffffc,%eax
sub    %eax,%ebx
xor    %eax,%eax
call   1060 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
sub    %ecx,%eax
cmp    $0x1,%r14b
je     1350 <dissolve+0x210>
mov    %r13d,%edx
cmpb   $0x1,0x10(%rsp)
ja     1353 <dissolve+0x213>
mov    %ebp,%ecx
mov    %r13d,%edx
and    $0x1,%ecx
je     1350 <dissolve+0x210>
jmp    1353 <dissolve+0x213>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @dissolve(i32 %0, i8 zeroext %1, i8 zeroext %2) {
%4 = alloca i32
%5 = alloca i8
%6 = alloca i8
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %4
store i8 %1, i8* %5
store i8 %2, i8* %6
store i32 0, i32* %7
br label %13
13: ; preds = %86, %3
%14 = load i32, i32* %7
%15 = icmp slt i32 %14, 4
br i1 %15, label %16, label %89
16: ; preds = %13
store i32 0, i32* %8
br label %17
17: ; preds = %69, %16
%18 = load i32, i32* %8
%19 = icmp slt i32 %18, 4
br i1 %19, label %20, label %72
20: ; preds = %17
%21 = load i8, i8* %5
%22 = zext i8 %21 to i32
%23 = add nsw i32 4, %22
store i32 %23, i32* %9
br label %24
24: ; preds = %64, %20
%25 = load i32, i32* %9
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %68
27: ; preds = %24
%28 = call i32 (...) @rand()
%29 = srem i32 %28, 4
store i32 %29, i32* %10
%30 = call i32 (...) @rand()
%31 = srem i32 %30, 4
store i32 %31, i32* %11
%32 = load i32, i32* %9
store i32 %32, i32* %12
%33 = load i8, i8* %6
%34 = zext i8 %33 to i32
%35 = icmp eq i32 %34, 1
br i1 %35, label %48, label %36
36: ; preds = %27
%37 = load i32, i32* %12
%38 = srem i32 %37, 2
%39 = icmp eq i32 %38, 0
br i1 %39, label %40, label %56
40: ; preds = %36
%41 = load i8, i8* %6
%42 = zext i8 %41 to i32
%43 = icmp eq i32 %42, 3
br i1 %43, label %48, label %44
44: ; preds = %40
%45 = load i8, i8* %6
%46 = zext i8 %45 to i32
%47 = icmp eq i32 %46, 4
br i1 %47, label %48, label %56
48: ; preds = %44, %40, %27
%49 = load i32, i32* %10
%50 = load i32, i32* %11
%51 = load i32, i32* %8
%52 = add nsw i32 0, %51
%53 = load i32, i32* %7
%54 = add nsw i32 %52, %53
%55 = call i32 @clrvoxel(i32 %49, i32 %50, i32 %54)
br label %64
56: ; preds = %44, %36
%57 = load i32, i32* %10
%58 = load i32, i32* %11
%59 = load i32, i32* %8
%60 = sub nsw i32 3, %59
%61 = load i32, i32* %7
%62 = sub nsw i32 %60, %61
%63 = call i32 @clrvoxel(i32 %57, i32 %58, i32 %62)
br label %64
64: ; preds = %56, %48
%65 = load i32, i32* %9
%66 = add nsw i32 %65, -1
store i32 %66, i32* %9
%67 = call i32 @delay_ms(i32 10)
br label %24
68: ; preds = %24
br label %69
69: ; preds = %68
%70 = load i32, i32* %8
%71 = add nsw i32 %70, 1
store i32 %71, i32* %8
br label %17
72: ; preds = %17
%73 = load i32, i32* %4
%74 = sitofp i32 %73 to double
%75 = fmul double %74, 5.000000e-01
%76 = fptosi double %75 to i32
%77 = call i32 @delay_ms(i32 %76)
%78 = load i8, i8* %6
%79 = zext i8 %78 to i32
%80 = or i32 %79, 4
%81 = trunc i32 %80 to i8
store i8 %81, i8* %6
%82 = icmp ne i8 %81, 0
br i1 %82, label %83, label %85
83: ; preds = %72
%84 = call i32 @shift(i32 122, i32 -1)
br label %85
85: ; preds = %83, %72
br label %86
86: ; preds = %85
%87 = load i32, i32* %7
%88 = add nsw i32 %87, 1
store i32 %88, i32* %7
br label %13
89: ; preds = %13
ret void
}

LLVM IR (-O2):
define void @dissolve(i32 %0, i8 zeroext %1, i8 zeroext %2) {
%4 = zext i8 %1 to i32
%5 = add nuw nsw i32 %4, 4
%6 = sitofp i32 %0 to double
%7 = fmul double %6, 5.000000e-01
%8 = fptosi double %7 to i32
%9 = or i8 %2, 4
br label %10
10: ; preds = %3, %93
%11 = phi i8 [ %2, %3 ], [ %9, %93 ]
%12 = phi i32 [ 0, %3 ], [ %34, %93 ]
%13 = icmp eq i8 %11, 1
%14 = add i8 %11, -3
%15 = icmp ult i8 %14, 2
%16 = sub nuw nsw i32 3, %12
br label %18
17: ; preds = %93
ret void
18: ; preds = %10, %18
%19 = phi i32 [ %5, %10 ], [ %30, %18 ]
%20 = tail call i32 (...) @rand()
%21 = srem i32 %20, 4
%22 = tail call i32 (...) @rand()
%23 = srem i32 %22, 4
%24 = and i32 %19, 1
%25 = icmp eq i32 %24, 0
%26 = and i1 %15, %25
%27 = select i1 %13, i1 true, i1 %26
%28 = select i1 %27, i32 %12, i32 %16
%29 = tail call i32 @clrvoxel(i32 %21, i32 %23, i32 %28)
%30 = add nsw i32 %19, -1
%31 = tail call i32 @delay_ms(i32 10)
%32 = icmp eq i32 %30, 0
br i1 %32, label %33, label %18
33: ; preds = %18
%34 = add nuw nsw i32 %12, 1
%35 = sub nsw i32 2, %12
br label %36
36: ; preds = %47, %33
%37 = phi i32 [ %5, %33 ], [ %50, %47 ]
%38 = tail call i32 (...) @rand()
%39 = srem i32 %38, 4
%40 = tail call i32 (...) @rand()
%41 = srem i32 %40, 4
br i1 %13, label %46, label %42
42: ; preds = %36
%43 = and i32 %37, 1
%44 = icmp eq i32 %43, 0
%45 = and i1 %15, %44
br i1 %45, label %46, label %47
46: ; preds = %42, %36
br label %47
47: ; preds = %42, %46
%48 = phi i32 [ %34, %46 ], [ %35, %42 ]
%49 = tail call i32 @clrvoxel(i32 %39, i32 %41, i32 %48)
%50 = add nsw i32 %37, -1
%51 = tail call i32 @delay_ms(i32 10)
%52 = icmp eq i32 %50, 0
br i1 %52, label %53, label %36
53: ; preds = %47
%54 = add nuw nsw i32 %12, 2
%55 = sub nsw i32 1, %12
br label %56
56: ; preds = %67, %53
%57 = phi i32 [ %5, %53 ], [ %70, %67 ]
%58 = tail call i32 (...) @rand()
%59 = srem i32 %58, 4
%60 = tail call i32 (...) @rand()
%61 = srem i32 %60, 4
br i1 %13, label %66, label %62
62: ; preds = %56
%63 = and i32 %57, 1
%64 = icmp eq i32 %63, 0
%65 = and i1 %15, %64
br i1 %65, label %66, label %67
66: ; preds = %62, %56
br label %67
67: ; preds = %62, %66
%68 = phi i32 [ %54, %66 ], [ %55, %62 ]
%69 = tail call i32 @clrvoxel(i32 %59, i32 %61, i32 %68)
%70 = add nsw i32 %57, -1
%71 = tail call i32 @delay_ms(i32 10)
%72 = icmp eq i32 %70, 0
br i1 %72, label %73, label %56
73: ; preds = %67
%74 = add nuw nsw i32 %12, 3
%75 = sub nsw i32 0, %12
br label %76
76: ; preds = %87, %73
%77 = phi i32 [ %5, %73 ], [ %90, %87 ]
%78 = tail call i32 (...) @rand()
%79 = srem i32 %78, 4
%80 = tail call i32 (...) @rand()
%81 = srem i32 %80, 4
br i1 %13, label %86, label %82
82: ; preds = %76
%83 = and i32 %77, 1
%84 = icmp eq i32 %83, 0
%85 = and i1 %15, %84
br i1 %85, label %86, label %87
86: ; preds = %82, %76
br label %87
87: ; preds = %82, %86
%88 = phi i32 [ %74, %86 ], [ %75, %82 ]
%89 = tail call i32 @clrvoxel(i32 %79, i32 %81, i32 %88)
%90 = add nsw i32 %77, -1
%91 = tail call i32 @delay_ms(i32 10)
%92 = icmp eq i32 %90, 0
br i1 %92, label %93, label %76
93: ; preds = %87
%94 = tail call i32 @delay_ms(i32 %8)
%95 = tail call i32 @shift(i32 122, i32 -1)
%96 = icmp eq i32 %34, 4
br i1 %96, label %17, label %10
}