#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 ship {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ Write(int, struct ship *, int, int, int, int /*<<< orphan*/);
void subtract(struct ship *from, struct ship *fromcap, int totalfrom,
              int *crewfrom, int pcfrom) {
  int n;
  if (fromcap == from && totalfrom) {
    for (n = 0; n < 3; n++) {
      if (totalfrom > crewfrom[n]) {
        totalfrom -= crewfrom[n];
        crewfrom[n] = 0;
      } else {
        crewfrom[n] -= totalfrom;
        totalfrom = 0;
      }
    }
    Write(4, from, crewfrom[0], crewfrom[1], crewfrom[2], 0);
  } else if (totalfrom) {
    pcfrom -= totalfrom;
    pcfrom = pcfrom < 0 ? 0 : pcfrom;
    Write(15, from, pcfrom, 0, 0, 0);
  }
}


x86 assembly (clang, -O0):
<subtract>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    11e7 <subtract+0xd7>
cmpl   $0x0,-0x14(%rbp)
je     11e7 <subtract+0xd7>
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jge    11bc <subtract+0xac>
mov    -0x14(%rbp),%eax
mov    -0x20(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    118f <subtract+0x7f>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    11a9 <subtract+0x99>
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x14(%rbp)
jmp    11ae <subtract+0x9e>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    114a <subtract+0x3a>
mov    -0x8(%rbp),%rsi
mov    -0x20(%rbp),%rax
mov    (%rax),%edx
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%r8d
mov    $0x4,%edi
xor    %r9d,%r9d
call   1030 <Write@plt>
jmp    123b <subtract+0x12b>
cmpl   $0x0,-0x14(%rbp)
je     1236 <subtract+0x126>
mov    -0x14(%rbp),%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    1210 <subtract+0x100>
xor    %eax,%eax
mov    %eax,-0x2c(%rbp)
jmp    1216 <subtract+0x106>
mov    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    $0xf,%edi
xor    %r9d,%r9d
mov    %r9d,%ecx
mov    %r9d,%r8d
call   1030 <Write@plt>
jmp    123b <subtract+0x12b>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subtract>:
mov    %edx,%eax
mov    %rdi,%rdx
cmp    %rdi,%rsi
jne    1172 <subtract+0x62>
test   %eax,%eax
je     1172 <subtract+0x62>
mov    (%rcx),%edx
mov    %edx,%edi
sub    %eax,%edi
neg    %edi
xor    %r9d,%r9d
sub    %eax,%edx
cmovl  %r9d,%edx
mov    0x8(%rcx),%r8d
cmovge %r9d,%edi
mov    0x4(%rcx),%r10d
mov    %edi,%eax
sub    %r10d,%eax
mov    $0x0,%r11d
cmovg  %eax,%r11d
neg    %eax
cmp    %r10d,%edi
cmovg  %r9d,%eax
mov    %edx,(%rcx)
sub    %r11d,%r8d
cmovl  %r9d,%r8d
mov    %eax,0x4(%rcx)
mov    %r8d,0x8(%rcx)
mov    $0x4,%edi
mov    %eax,%ecx
xor    %r9d,%r9d
jmp    1030 <Write@plt>
test   %eax,%eax
je     1197 <subtract+0x87>
xor    %ecx,%ecx
sub    %eax,%r8d
cmovs  %ecx,%r8d
mov    $0xf,%edi
mov    %rdx,%rsi
mov    %r8d,%edx
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
jmp    1030 <Write@plt>
ret

LLVM IR (-O0):
%struct.ship = type { i32 }
define void @subtract(%struct.ship* %0, %struct.ship* %1, i32 %2, i32* %3, i32 %4) {
%6 = alloca %struct.ship*
%7 = alloca %struct.ship*
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32
store %struct.ship* %0, %struct.ship** %6
store %struct.ship* %1, %struct.ship** %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32 %4, i32* %10
%12 = load %struct.ship*, %struct.ship** %7
%13 = load %struct.ship*, %struct.ship** %6
%14 = icmp eq %struct.ship* %12, %13
br i1 %14, label %15, label %66
15: ; preds = %5
%16 = load i32, i32* %8
%17 = icmp ne i32 %16, 0
br i1 %17, label %18, label %66
18: ; preds = %15
store i32 0, i32* %11
br label %19
19: ; preds = %51, %18
%20 = load i32, i32* %11
%21 = icmp slt i32 %20, 3
br i1 %21, label %22, label %54
22: ; preds = %19
%23 = load i32, i32* %8
%24 = load i32*, i32** %9
%25 = load i32, i32* %11
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = icmp sgt i32 %23, %28
br i1 %29, label %30, label %42
30: ; preds = %22
%31 = load i32*, i32** %9
%32 = load i32, i32* %11
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = load i32, i32* %8
%37 = sub nsw i32 %36, %35
store i32 %37, i32* %8
%38 = load i32*, i32** %9
%39 = load i32, i32* %11
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i32, i32* %38, i64 %40
store i32 0, i32* %41
br label %50
42: ; preds = %22
%43 = load i32, i32* %8
%44 = load i32*, i32** %9
%45 = load i32, i32* %11
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = sub nsw i32 %48, %43
store i32 %49, i32* %47
store i32 0, i32* %8
br label %50
50: ; preds = %42, %30
br label %51
51: ; preds = %50
%52 = load i32, i32* %11
%53 = add nsw i32 %52, 1
store i32 %53, i32* %11
br label %19
54: ; preds = %19
%55 = load %struct.ship*, %struct.ship** %6
%56 = load i32*, i32** %9
%57 = getelementptr inbounds i32, i32* %56, i64 0
%58 = load i32, i32* %57
%59 = load i32*, i32** %9
%60 = getelementptr inbounds i32, i32* %59, i64 1
%61 = load i32, i32* %60
%62 = load i32*, i32** %9
%63 = getelementptr inbounds i32, i32* %62, i64 2
%64 = load i32, i32* %63
%65 = call i32 @Write(i32 4, %struct.ship* %55, i32 %58, i32 %61, i32 %64, i32 0)
br label %84
66: ; preds = %15, %5
%67 = load i32, i32* %8
%68 = icmp ne i32 %67, 0
br i1 %68, label %69, label %83
69: ; preds = %66
%70 = load i32, i32* %8
%71 = load i32, i32* %10
%72 = sub nsw i32 %71, %70
store i32 %72, i32* %10
%73 = load i32, i32* %10
%74 = icmp slt i32 %73, 0
br i1 %74, label %75, label %76
75: ; preds = %69
br label %78
76: ; preds = %69
%77 = load i32, i32* %10
br label %78
78: ; preds = %76, %75
%79 = phi i32 [ 0, %75 ], [ %77, %76 ]
store i32 %79, i32* %10
%80 = load %struct.ship*, %struct.ship** %6
%81 = load i32, i32* %10
%82 = call i32 @Write(i32 15, %struct.ship* %80, i32 %81, i32 0, i32 0, i32 0)
br label %83
83: ; preds = %78, %66
br label %84
84: ; preds = %83, %54
ret void
}

LLVM IR (-O2):
%struct.ship = type { i32 }
define void @subtract(%struct.ship* %0, %struct.ship* readnone %1, i32 %2, i32* nocapture %3, i32 %4) {
%6 = icmp eq %struct.ship* %1, %0
%7 = icmp ne i32 %2, 0
%8 = and i1 %6, %7
br i1 %8, label %9, label %29
9: ; preds = %5
%10 = load i32, i32* %3
%11 = icmp slt i32 %10, %2
%12 = sub nsw i32 %10, %2
%13 = sub nsw i32 %2, %10
%14 = select i1 %11, i32 0, i32 %12
%15 = select i1 %11, i32 %13, i32 0
store i32 %14, i32* %3
%16 = getelementptr inbounds i32, i32* %3, i64 1
%17 = load i32, i32* %16
%18 = icmp sgt i32 %15, %17
%19 = sub nsw i32 %17, %15
%20 = sub nsw i32 %15, %17
%21 = select i1 %18, i32 0, i32 %19
%22 = select i1 %18, i32 %20, i32 0
store i32 %21, i32* %16
%23 = getelementptr inbounds i32, i32* %3, i64 2
%24 = load i32, i32* %23
%25 = icmp slt i32 %24, %22
%26 = sub nsw i32 %24, %22
%27 = select i1 %25, i32 0, i32 %26
store i32 %27, i32* %23
%28 = tail call i32 @Write(i32 4, %struct.ship* %1, i32 %14, i32 %21, i32 %27, i32 0)
br label %35
29: ; preds = %5
br i1 %7, label %30, label %35
30: ; preds = %29
%31 = sub nsw i32 %4, %2
%32 = icmp sgt i32 %31, 0
%33 = select i1 %32, i32 %31, i32 0
%34 = tail call i32 @Write(i32 15, %struct.ship* %0, i32 %33, i32 0, i32 0, i32 0)
br label %35
35: ; preds = %29, %30, %9
ret void
}