void subtract(from, totalfrom, crewfrom, fromcap, pcfrom) struct ship *from,
    *fromcap;
int pcfrom;
register int totalfrom, crewfrom[3];
{
  register 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, 0, crewfrom[0], crewfrom[1], crewfrom[2], 0);
  } else if (totalfrom) {
    pcfrom -= totalfrom;
    pcfrom = pcfrom < 0 ? 0 : pcfrom;
    Write(15, from, 0, pcfrom, 0, 0, 0);
  }
}


x86 assembly (clang, -O0):
<subtract>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    11f0 <subtract+0xe0>
cmpl   $0x0,-0xc(%rbp)
je     11f0 <subtract+0xe0>
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jge    11bc <subtract+0xac>
mov    -0xc(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    118f <subtract+0x7f>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0xc(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    11a9 <subtract+0x99>
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%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    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%r9d
mov    $0x4,%edi
xor    %edx,%edx
movl   $0x0,(%rsp)
mov    $0x0,%al
call   1030 <Write@plt>
jmp    124d <subtract+0x13d>
cmpl   $0x0,-0xc(%rbp)
je     1248 <subtract+0x138>
mov    -0xc(%rbp),%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    1219 <subtract+0x109>
xor    %eax,%eax
mov    %eax,-0x2c(%rbp)
jmp    121f <subtract+0x10f>
mov    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rsi
mov    -0x24(%rbp),%ecx
mov    $0xf,%edi
xor    %r9d,%r9d
mov    %r9d,%edx
mov    %r9d,%r8d
movl   $0x0,(%rsp)
mov    $0x0,%al
call   1030 <Write@plt>
jmp    124d <subtract+0x13d>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subtract>:
push   %rax
mov    %rdi,%rax
test   %esi,%esi
je     1179 <subtract+0x69>
cmp    %rax,%rcx
jne    1179 <subtract+0x69>
mov    (%rdx),%eax
mov    %eax,%edi
sub    %esi,%edi
neg    %edi
xor    %r10d,%r10d
sub    %esi,%eax
cmovl  %r10d,%eax
cmovge %r10d,%edi
mov    0x8(%rdx),%r9d
mov    0x4(%rdx),%r11d
mov    %edi,%r8d
sub    %r11d,%r8d
mov    $0x0,%esi
cmovg  %r8d,%esi
neg    %r8d
cmp    %r11d,%edi
mov    %eax,(%rdx)
cmovg  %r10d,%r8d
mov    %r8d,0x4(%rdx)
sub    %esi,%r9d
cmovl  %r10d,%r9d
mov    %r9d,0x8(%rdx)
movl   $0x0,(%rsp)
mov    $0x4,%edi
mov    %rcx,%rsi
xor    %edx,%edx
mov    %eax,%ecx
jmp    11a0 <subtract+0x90>
test   %esi,%esi
je     11a7 <subtract+0x97>
xor    %ecx,%ecx
sub    %esi,%r8d
cmovs  %ecx,%r8d
movl   $0x0,(%rsp)
mov    $0xf,%edi
mov    %rax,%rsi
xor    %edx,%edx
mov    %r8d,%ecx
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %eax,%eax
call   1030 <Write@plt>
pop    %rax
ret

LLVM IR (-O0):
%struct.ship = type opaque
define void @subtract(%struct.ship* %0, i32 %1, i32* %2, %struct.ship* %3, i32 %4) {
%6 = alloca %struct.ship*
%7 = alloca i32
%8 = alloca i32*
%9 = alloca %struct.ship*
%10 = alloca i32
%11 = alloca i32
store %struct.ship* %0, %struct.ship** %6
store i32 %1, i32* %7
store i32* %2, i32** %8
store %struct.ship* %3, %struct.ship** %9
store i32 %4, i32* %10
%12 = load %struct.ship*, %struct.ship** %9
%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* %7
%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* %7
%24 = load i32*, i32** %8
%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** %8
%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* %7
%37 = sub nsw i32 %36, %35
store i32 %37, i32* %7
%38 = load i32*, i32** %8
%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* %7
%44 = load i32*, i32** %8
%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* %7
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** %8
%57 = getelementptr inbounds i32, i32* %56, i64 0
%58 = load i32, i32* %57
%59 = load i32*, i32** %8
%60 = getelementptr inbounds i32, i32* %59, i64 1
%61 = load i32, i32* %60
%62 = load i32*, i32** %8
%63 = getelementptr inbounds i32, i32* %62, i64 2
%64 = load i32, i32* %63
%65 = call i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @Write to i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...)*)(i32 4, %struct.ship* %55, i32 0, i32 %58, i32 %61, i32 %64, i32 0)
br label %84
66: ; preds = %15, %5
%67 = load i32, i32* %7
%68 = icmp ne i32 %67, 0
br i1 %68, label %69, label %83
69: ; preds = %66
%70 = load i32, i32* %7
%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 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @Write to i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...)*)(i32 15, %struct.ship* %80, i32 0, 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 opaque
define void @subtract(%struct.ship* %0, i32 %1, i32* nocapture %2, %struct.ship* readnone %3, i32 %4) {
%6 = icmp eq %struct.ship* %3, %0
%7 = icmp ne i32 %1, 0
%8 = and i1 %7, %6
br i1 %8, label %9, label %29
9: ; preds = %5
%10 = load i32, i32* %2
%11 = icmp slt i32 %10, %1
%12 = sub nsw i32 %10, %1
%13 = sub nsw i32 %1, %10
%14 = select i1 %11, i32 0, i32 %12
%15 = select i1 %11, i32 %13, i32 0
store i32 %14, i32* %2
%16 = getelementptr inbounds i32, i32* %2, 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* %2, 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 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @Write to i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...)*)(i32 4, %struct.ship* %3, i32 0, 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, %1
%32 = icmp sgt i32 %31, 0
%33 = select i1 %32, i32 %31, i32 0
%34 = tail call i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @Write to i32 (i32, %struct.ship*, i32, i32, i32, i32, i32, ...)*)(i32 15, %struct.ship* %0, i32 0, i32 %33, i32 0, i32 0, i32 0)
br label %35
35: ; preds = %29, %30, %9
ret void
}