int main() {
  signed short int a, b, c;
  signed short int d;
  unsigned short int ua, ub, uc;
  unsigned short int ud;
  a = 0x00FF;
  b = 0xFF00;
  c = a - b;
  c = 0;
  a = 0xFFEC;
  b = 0xFFE2;
  c = a - b;
  c = 0;
  a = 0xFFFE;
  b = 0x0002;
  c = a - b;
  c = 0;
  a = 0x000A;
  b = 0xFFFB;
  c = a - b;
  c = 0;
  a = 0x0005;
  b = 0xFFF6;
  c = a - b;
  c = 0;
  a = 0x0F0F;
  b = 0xF0F0;
  c = a - b;
  c = 0;
  a = 0xAAAA;
  b = 0x5555;
  c = a - b;
  c = 0;
  d = 15;
  d -= 1;
  d -= 2;
  d -= 3;
  d -= 4;
  d -= 5;
  d = 0;
  ua = 0x00FF;
  ub = 0xFF00;
  uc = ua - ub;
  uc = 0;
  ua = 0xFFEC;
  ub = 0xFFE2;
  uc = ua - ub;
  uc = 0;
  ua = 0xFFFE;
  ub = 0x0002;
  uc = ua - ub;
  uc = 0;
  ua = 0x000A;
  ub = 0xFFFB;
  uc = ua - ub;
  uc = 0;
  ua = 0x0005;
  ub = 0xFFF6;
  uc = ua - ub;
  uc = 0;
  ua = 0x0F0F;
  ub = 0xF0F0;
  uc = ua - ub;
  uc = 0;
  ua = 0xAAAA;
  ub = 0x5555;
  uc = ua - ub;
  uc = 0;
  ud = 15;
  ud -= 1;
  ud -= 2;
  ud -= 3;
  ud -= 4;
  ud -= 5;
  ud = 0;
  d = 0;
  d -= 0xFFFF;
  d -= 0xFFFE;
  d -= 0xFFFD;
  d -= 0xFFFC;
  d -= 0xFFFB;
  d = 0;
  ud = 0;
  ud -= 0xFFFF;
  ud -= 0xFFFE;
  ud -= 0xFFFD;
  ud -= 0xFFFC;
  ud -= 0xFFFB;
  ud = 0;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
movw   $0xff,-0x6(%rbp)
movw   $0xff00,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xffec,-0x6(%rbp)
movw   $0xffe2,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xfffe,-0x6(%rbp)
movw   $0x2,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xa,-0x6(%rbp)
movw   $0xfffb,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0x5,-0x6(%rbp)
movw   $0xfff6,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xf0f,-0x6(%rbp)
movw   $0xf0f0,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xaaaa,-0x6(%rbp)
movw   $0x5555,-0x8(%rbp)
movswl -0x6(%rbp),%eax
movswl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0xa(%rbp)
movw   $0x0,-0xa(%rbp)
movw   $0xf,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0x3,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0x4,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0x5,%eax
mov    %ax,-0xc(%rbp)
movw   $0x0,-0xc(%rbp)
movw   $0xff,-0xe(%rbp)
movw   $0xff00,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xffec,-0xe(%rbp)
movw   $0xffe2,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xfffe,-0xe(%rbp)
movw   $0x2,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xa,-0xe(%rbp)
movw   $0xfffb,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0x5,-0xe(%rbp)
movw   $0xfff6,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xf0f,-0xe(%rbp)
movw   $0xf0f0,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xaaaa,-0xe(%rbp)
movw   $0x5555,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0xf,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0x3,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0x4,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0x5,%eax
mov    %ax,-0x14(%rbp)
movw   $0x0,-0x14(%rbp)
movw   $0x0,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0xffff,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0xfffe,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0xfffd,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0xfffc,%eax
mov    %ax,-0xc(%rbp)
movswl -0xc(%rbp),%eax
sub    $0xfffb,%eax
mov    %ax,-0xc(%rbp)
movw   $0x0,-0xc(%rbp)
movw   $0x0,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0xffff,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0xfffe,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0xfffd,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0xfffc,%eax
mov    %ax,-0x14(%rbp)
movzwl -0x14(%rbp),%eax
sub    $0xfffb,%eax
mov    %ax,-0x14(%rbp)
movw   $0x0,-0x14(%rbp)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i16
%3 = alloca i16
%4 = alloca i16
%5 = alloca i16
%6 = alloca i16
%7 = alloca i16
%8 = alloca i16
%9 = alloca i16
store i32 0, i32* %1
store i16 255, i16* %2
store i16 -256, i16* %3
%10 = load i16, i16* %2
%11 = sext i16 %10 to i32
%12 = load i16, i16* %3
%13 = sext i16 %12 to i32
%14 = sub nsw i32 %11, %13
%15 = trunc i32 %14 to i16
store i16 %15, i16* %4
store i16 0, i16* %4
store i16 -20, i16* %2
store i16 -30, i16* %3
%16 = load i16, i16* %2
%17 = sext i16 %16 to i32
%18 = load i16, i16* %3
%19 = sext i16 %18 to i32
%20 = sub nsw i32 %17, %19
%21 = trunc i32 %20 to i16
store i16 %21, i16* %4
store i16 0, i16* %4
store i16 -2, i16* %2
store i16 2, i16* %3
%22 = load i16, i16* %2
%23 = sext i16 %22 to i32
%24 = load i16, i16* %3
%25 = sext i16 %24 to i32
%26 = sub nsw i32 %23, %25
%27 = trunc i32 %26 to i16
store i16 %27, i16* %4
store i16 0, i16* %4
store i16 10, i16* %2
store i16 -5, i16* %3
%28 = load i16, i16* %2
%29 = sext i16 %28 to i32
%30 = load i16, i16* %3
%31 = sext i16 %30 to i32
%32 = sub nsw i32 %29, %31
%33 = trunc i32 %32 to i16
store i16 %33, i16* %4
store i16 0, i16* %4
store i16 5, i16* %2
store i16 -10, i16* %3
%34 = load i16, i16* %2
%35 = sext i16 %34 to i32
%36 = load i16, i16* %3
%37 = sext i16 %36 to i32
%38 = sub nsw i32 %35, %37
%39 = trunc i32 %38 to i16
store i16 %39, i16* %4
store i16 0, i16* %4
store i16 3855, i16* %2
store i16 -3856, i16* %3
%40 = load i16, i16* %2
%41 = sext i16 %40 to i32
%42 = load i16, i16* %3
%43 = sext i16 %42 to i32
%44 = sub nsw i32 %41, %43
%45 = trunc i32 %44 to i16
store i16 %45, i16* %4
store i16 0, i16* %4
store i16 -21846, i16* %2
store i16 21845, i16* %3
%46 = load i16, i16* %2
%47 = sext i16 %46 to i32
%48 = load i16, i16* %3
%49 = sext i16 %48 to i32
%50 = sub nsw i32 %47, %49
%51 = trunc i32 %50 to i16
store i16 %51, i16* %4
store i16 0, i16* %4
store i16 15, i16* %5
%52 = load i16, i16* %5
%53 = sext i16 %52 to i32
%54 = sub nsw i32 %53, 1
%55 = trunc i32 %54 to i16
store i16 %55, i16* %5
%56 = load i16, i16* %5
%57 = sext i16 %56 to i32
%58 = sub nsw i32 %57, 2
%59 = trunc i32 %58 to i16
store i16 %59, i16* %5
%60 = load i16, i16* %5
%61 = sext i16 %60 to i32
%62 = sub nsw i32 %61, 3
%63 = trunc i32 %62 to i16
store i16 %63, i16* %5
%64 = load i16, i16* %5
%65 = sext i16 %64 to i32
%66 = sub nsw i32 %65, 4
%67 = trunc i32 %66 to i16
store i16 %67, i16* %5
%68 = load i16, i16* %5
%69 = sext i16 %68 to i32
%70 = sub nsw i32 %69, 5
%71 = trunc i32 %70 to i16
store i16 %71, i16* %5
store i16 0, i16* %5
store i16 255, i16* %6
store i16 -256, i16* %7
%72 = load i16, i16* %6
%73 = zext i16 %72 to i32
%74 = load i16, i16* %7
%75 = zext i16 %74 to i32
%76 = sub nsw i32 %73, %75
%77 = trunc i32 %76 to i16
store i16 %77, i16* %8
store i16 0, i16* %8
store i16 -20, i16* %6
store i16 -30, i16* %7
%78 = load i16, i16* %6
%79 = zext i16 %78 to i32
%80 = load i16, i16* %7
%81 = zext i16 %80 to i32
%82 = sub nsw i32 %79, %81
%83 = trunc i32 %82 to i16
store i16 %83, i16* %8
store i16 0, i16* %8
store i16 -2, i16* %6
store i16 2, i16* %7
%84 = load i16, i16* %6
%85 = zext i16 %84 to i32
%86 = load i16, i16* %7
%87 = zext i16 %86 to i32
%88 = sub nsw i32 %85, %87
%89 = trunc i32 %88 to i16
store i16 %89, i16* %8
store i16 0, i16* %8
store i16 10, i16* %6
store i16 -5, i16* %7
%90 = load i16, i16* %6
%91 = zext i16 %90 to i32
%92 = load i16, i16* %7
%93 = zext i16 %92 to i32
%94 = sub nsw i32 %91, %93
%95 = trunc i32 %94 to i16
store i16 %95, i16* %8
store i16 0, i16* %8
store i16 5, i16* %6
store i16 -10, i16* %7
%96 = load i16, i16* %6
%97 = zext i16 %96 to i32
%98 = load i16, i16* %7
%99 = zext i16 %98 to i32
%100 = sub nsw i32 %97, %99
%101 = trunc i32 %100 to i16
store i16 %101, i16* %8
store i16 0, i16* %8
store i16 3855, i16* %6
store i16 -3856, i16* %7
%102 = load i16, i16* %6
%103 = zext i16 %102 to i32
%104 = load i16, i16* %7
%105 = zext i16 %104 to i32
%106 = sub nsw i32 %103, %105
%107 = trunc i32 %106 to i16
store i16 %107, i16* %8
store i16 0, i16* %8
store i16 -21846, i16* %6
store i16 21845, i16* %7
%108 = load i16, i16* %6
%109 = zext i16 %108 to i32
%110 = load i16, i16* %7
%111 = zext i16 %110 to i32
%112 = sub nsw i32 %109, %111
%113 = trunc i32 %112 to i16
store i16 %113, i16* %8
store i16 0, i16* %8
store i16 15, i16* %9
%114 = load i16, i16* %9
%115 = zext i16 %114 to i32
%116 = sub nsw i32 %115, 1
%117 = trunc i32 %116 to i16
store i16 %117, i16* %9
%118 = load i16, i16* %9
%119 = zext i16 %118 to i32
%120 = sub nsw i32 %119, 2
%121 = trunc i32 %120 to i16
store i16 %121, i16* %9
%122 = load i16, i16* %9
%123 = zext i16 %122 to i32
%124 = sub nsw i32 %123, 3
%125 = trunc i32 %124 to i16
store i16 %125, i16* %9
%126 = load i16, i16* %9
%127 = zext i16 %126 to i32
%128 = sub nsw i32 %127, 4
%129 = trunc i32 %128 to i16
store i16 %129, i16* %9
%130 = load i16, i16* %9
%131 = zext i16 %130 to i32
%132 = sub nsw i32 %131, 5
%133 = trunc i32 %132 to i16
store i16 %133, i16* %9
store i16 0, i16* %9
store i16 0, i16* %5
%134 = load i16, i16* %5
%135 = sext i16 %134 to i32
%136 = sub nsw i32 %135, 65535
%137 = trunc i32 %136 to i16
store i16 %137, i16* %5
%138 = load i16, i16* %5
%139 = sext i16 %138 to i32
%140 = sub nsw i32 %139, 65534
%141 = trunc i32 %140 to i16
store i16 %141, i16* %5
%142 = load i16, i16* %5
%143 = sext i16 %142 to i32
%144 = sub nsw i32 %143, 65533
%145 = trunc i32 %144 to i16
store i16 %145, i16* %5
%146 = load i16, i16* %5
%147 = sext i16 %146 to i32
%148 = sub nsw i32 %147, 65532
%149 = trunc i32 %148 to i16
store i16 %149, i16* %5
%150 = load i16, i16* %5
%151 = sext i16 %150 to i32
%152 = sub nsw i32 %151, 65531
%153 = trunc i32 %152 to i16
store i16 %153, i16* %5
store i16 0, i16* %5
store i16 0, i16* %9
%154 = load i16, i16* %9
%155 = zext i16 %154 to i32
%156 = sub nsw i32 %155, 65535
%157 = trunc i32 %156 to i16
store i16 %157, i16* %9
%158 = load i16, i16* %9
%159 = zext i16 %158 to i32
%160 = sub nsw i32 %159, 65534
%161 = trunc i32 %160 to i16
store i16 %161, i16* %9
%162 = load i16, i16* %9
%163 = zext i16 %162 to i32
%164 = sub nsw i32 %163, 65533
%165 = trunc i32 %164 to i16
store i16 %165, i16* %9
%166 = load i16, i16* %9
%167 = zext i16 %166 to i32
%168 = sub nsw i32 %167, 65532
%169 = trunc i32 %168 to i16
store i16 %169, i16* %9
%170 = load i16, i16* %9
%171 = zext i16 %170 to i32
%172 = sub nsw i32 %171, 65531
%173 = trunc i32 %172 to i16
store i16 %173, i16* %9
store i16 0, i16* %9
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
ret i32 0
}