unsigned short safeTrim(unsigned short addend1, signed short addend2) {
  if (addend2 < 0) {
    if (addend1 > -addend2) {
      return addend1 + addend2;
    } else {
      return 0;
    }
  } else if (addend2 > 0) {
    if (addend2 < (0xFFFF - addend1)) {
      return addend1 + addend2;
    } else {
      return 0xFFFF;
    }
  } else {
    return addend1;
  }
}


x86 assembly (clang, -O0):
<safeTrim>:
push   %rbp
mov    %rsp,%rbp
mov    %si,%ax
mov    %di,%cx
mov    %cx,-0x4(%rbp)
mov    %ax,-0x6(%rbp)
movswl -0x6(%rbp),%eax
cmp    $0x0,%eax
jge    1151 <safeTrim+0x51>
movzwl -0x4(%rbp),%eax
movswl -0x6(%rbp),%edx
xor    %ecx,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jle    1146 <safeTrim+0x46>
movzwl -0x4(%rbp),%eax
movswl -0x6(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x2(%rbp)
jmp    119b <safeTrim+0x9b>
movw   $0x0,-0x2(%rbp)
jmp    119b <safeTrim+0x9b>
movswl -0x6(%rbp),%eax
cmp    $0x0,%eax
jle    1193 <safeTrim+0x93>
movswl -0x6(%rbp),%eax
movzwl -0x4(%rbp),%edx
mov    $0xffff,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jge    1188 <safeTrim+0x88>
movzwl -0x4(%rbp),%eax
movswl -0x6(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x2(%rbp)
jmp    119b <safeTrim+0x9b>
movw   $0xffff,-0x2(%rbp)
jmp    119b <safeTrim+0x9b>
mov    -0x4(%rbp),%ax
mov    %ax,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<safeTrim>:
mov    %edi,%eax
test   %si,%si
js     111f <safeTrim+0x1f>
je     111e <safeTrim+0x1e>
mov    %eax,%ecx
not    %ecx
movzwl %cx,%ecx
add    %esi,%eax
cmp    %esi,%ecx
mov    $0xffff,%ecx
cmovg  %eax,%ecx
mov    %ecx,%eax
ret
movzwl %ax,%ecx
mov    %esi,%edx
neg    %edx
add    %eax,%esi
xor    %eax,%eax
cmp    %edx,%ecx
cmovg  %esi,%eax
ret

LLVM IR (-O0):
define zeroext i16 @safeTrim(i16 zeroext %0, i16 signext %1) {
%3 = alloca i16
%4 = alloca i16
%5 = alloca i16
store i16 %0, i16* %4
store i16 %1, i16* %5
%6 = load i16, i16* %5
%7 = sext i16 %6 to i32
%8 = icmp slt i32 %7, 0
br i1 %8, label %9, label %24
9: ; preds = %2
%10 = load i16, i16* %4
%11 = zext i16 %10 to i32
%12 = load i16, i16* %5
%13 = sext i16 %12 to i32
%14 = sub nsw i32 0, %13
%15 = icmp sgt i32 %11, %14
br i1 %15, label %16, label %23
16: ; preds = %9
%17 = load i16, i16* %4
%18 = zext i16 %17 to i32
%19 = load i16, i16* %5
%20 = sext i16 %19 to i32
%21 = add nsw i32 %18, %20
%22 = trunc i32 %21 to i16
store i16 %22, i16* %3
br label %45
23: ; preds = %9
store i16 0, i16* %3
br label %45
24: ; preds = %2
%25 = load i16, i16* %5
%26 = sext i16 %25 to i32
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %43
28: ; preds = %24
%29 = load i16, i16* %5
%30 = sext i16 %29 to i32
%31 = load i16, i16* %4
%32 = zext i16 %31 to i32
%33 = sub nsw i32 65535, %32
%34 = icmp slt i32 %30, %33
br i1 %34, label %35, label %42
35: ; preds = %28
%36 = load i16, i16* %4
%37 = zext i16 %36 to i32
%38 = load i16, i16* %5
%39 = sext i16 %38 to i32
%40 = add nsw i32 %37, %39
%41 = trunc i32 %40 to i16
store i16 %41, i16* %3
br label %45
42: ; preds = %28
store i16 -1, i16* %3
br label %45
43: ; preds = %24
%44 = load i16, i16* %4
store i16 %44, i16* %3
br label %45
45: ; preds = %43, %42, %35, %23, %16
%46 = load i16, i16* %3
ret i16 %46
}

LLVM IR (-O2):
define zeroext i16 @safeTrim(i16 zeroext %0, i16 signext %1) {
%3 = sext i16 %1 to i32
%4 = icmp slt i16 %1, 0
br i1 %4, label %5, label %11
5: ; preds = %2
%6 = zext i16 %0 to i32
%7 = sub nsw i32 0, %3
%8 = icmp sgt i32 %6, %7
%9 = add i16 %1, %0
%10 = select i1 %8, i16 %9, i16 0
br label %19
11: ; preds = %2
%12 = icmp eq i16 %1, 0
br i1 %12, label %19, label %13
13: ; preds = %11
%14 = xor i16 %0, -1
%15 = zext i16 %14 to i32
%16 = icmp sgt i32 %15, %3
%17 = add i16 %1, %0
%18 = select i1 %16, i16 %17, i16 -1
br label %19
19: ; preds = %13, %5, %11
%20 = phi i16 [ %0, %11 ], [ %10, %5 ], [ %18, %13 ]
ret i16 %20
}