signed long test_types(int i) {
  unsigned char uc;
  signed char sc;
  unsigned short us;
  signed short ss;
  unsigned long ul;
  signed long sl;
  int j;
  i ^= 0x10203040;
  for (j = 0; j < 10; j++) {
    uc = i;
    sc = i;
    us = i;
    ss = i;
    ul = i;
    sl = i;
    i = uc + sc + us + ss + ul + sl;
  }
  return i;
}


x86 assembly (clang, -O0):
<test_types>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
xor    $0x10203040,%eax
mov    %eax,-0x4(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0xa,-0x24(%rbp)
jge    117e <test_types+0x7e>
mov    -0x4(%rbp),%eax
mov    %al,-0x5(%rbp)
mov    -0x4(%rbp),%eax
mov    %al,-0x6(%rbp)
mov    -0x4(%rbp),%eax
mov    %ax,-0x8(%rbp)
mov    -0x4(%rbp),%eax
mov    %ax,-0xa(%rbp)
movslq -0x4(%rbp),%rax
mov    %rax,-0x18(%rbp)
movslq -0x4(%rbp),%rax
mov    %rax,-0x20(%rbp)
movzbl -0x5(%rbp),%eax
movsbl -0x6(%rbp),%ecx
add    %ecx,%eax
movzwl -0x8(%rbp),%ecx
add    %ecx,%eax
movswl -0xa(%rbp),%ecx
add    %ecx,%eax
cltq
add    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %eax,-0x4(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1119 <test_types+0x19>
movslq -0x4(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_types>:
xor    $0x10203040,%edi
movzbl %dil,%eax
movsbl %al,%ecx
movzwl %di,%edx
movswl %dx,%esi
add    %eax,%edx
lea    (%rdx,%rdi,2),%eax
add    %ecx,%eax
add    %esi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
movzbl %al,%ecx
movsbl %cl,%edx
movzwl %ax,%esi
movswl %si,%edi
add    %ecx,%esi
lea    (%rsi,%rax,2),%eax
add    %edx,%eax
add    %edi,%eax
cltq
ret

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

LLVM IR (-O2):
define i64 @test_types(i32 %0) {
%2 = xor i32 %0, 270544960
%3 = and i32 %2, 255
%4 = shl i32 %2, 24
%5 = ashr exact i32 %4, 24
%6 = and i32 %2, 65535
%7 = shl i32 %2, 16
%8 = ashr exact i32 %7, 16
%9 = shl i32 %2, 1
%10 = add nuw nsw i32 %6, %3
%11 = add i32 %10, %9
%12 = add i32 %11, %5
%13 = add i32 %12, %8
%14 = and i32 %13, 255
%15 = shl i32 %13, 24
%16 = ashr exact i32 %15, 24
%17 = and i32 %13, 65535
%18 = shl i32 %13, 16
%19 = ashr exact i32 %18, 16
%20 = shl i32 %13, 1
%21 = add nuw nsw i32 %17, %14
%22 = add i32 %21, %20
%23 = add i32 %22, %16
%24 = add i32 %23, %19
%25 = and i32 %24, 255
%26 = shl i32 %24, 24
%27 = ashr exact i32 %26, 24
%28 = and i32 %24, 65535
%29 = shl i32 %24, 16
%30 = ashr exact i32 %29, 16
%31 = shl i32 %24, 1
%32 = add nuw nsw i32 %28, %25
%33 = add i32 %32, %31
%34 = add i32 %33, %27
%35 = add i32 %34, %30
%36 = and i32 %35, 255
%37 = shl i32 %35, 24
%38 = ashr exact i32 %37, 24
%39 = and i32 %35, 65535
%40 = shl i32 %35, 16
%41 = ashr exact i32 %40, 16
%42 = shl i32 %35, 1
%43 = add nuw nsw i32 %39, %36
%44 = add i32 %43, %42
%45 = add i32 %44, %38
%46 = add i32 %45, %41
%47 = and i32 %46, 255
%48 = shl i32 %46, 24
%49 = ashr exact i32 %48, 24
%50 = and i32 %46, 65535
%51 = shl i32 %46, 16
%52 = ashr exact i32 %51, 16
%53 = shl i32 %46, 1
%54 = add nuw nsw i32 %50, %47
%55 = add i32 %54, %53
%56 = add i32 %55, %49
%57 = add i32 %56, %52
%58 = and i32 %57, 255
%59 = shl i32 %57, 24
%60 = ashr exact i32 %59, 24
%61 = and i32 %57, 65535
%62 = shl i32 %57, 16
%63 = ashr exact i32 %62, 16
%64 = shl i32 %57, 1
%65 = add nuw nsw i32 %61, %58
%66 = add i32 %65, %64
%67 = add i32 %66, %60
%68 = add i32 %67, %63
%69 = and i32 %68, 255
%70 = shl i32 %68, 24
%71 = ashr exact i32 %70, 24
%72 = and i32 %68, 65535
%73 = shl i32 %68, 16
%74 = ashr exact i32 %73, 16
%75 = shl i32 %68, 1
%76 = add nuw nsw i32 %72, %69
%77 = add i32 %76, %75
%78 = add i32 %77, %71
%79 = add i32 %78, %74
%80 = and i32 %79, 255
%81 = shl i32 %79, 24
%82 = ashr exact i32 %81, 24
%83 = and i32 %79, 65535
%84 = shl i32 %79, 16
%85 = ashr exact i32 %84, 16
%86 = shl i32 %79, 1
%87 = add nuw nsw i32 %83, %80
%88 = add i32 %87, %86
%89 = add i32 %88, %82
%90 = add i32 %89, %85
%91 = and i32 %90, 255
%92 = shl i32 %90, 24
%93 = ashr exact i32 %92, 24
%94 = and i32 %90, 65535
%95 = shl i32 %90, 16
%96 = ashr exact i32 %95, 16
%97 = shl i32 %90, 1
%98 = add nuw nsw i32 %94, %91
%99 = add i32 %98, %97
%100 = add i32 %99, %93
%101 = add i32 %100, %96
%102 = and i32 %101, 255
%103 = shl i32 %101, 24
%104 = ashr exact i32 %103, 24
%105 = and i32 %101, 65535
%106 = shl i32 %101, 16
%107 = ashr exact i32 %106, 16
%108 = shl i32 %101, 1
%109 = add nuw nsw i32 %105, %102
%110 = add i32 %109, %108
%111 = add i32 %110, %104
%112 = add i32 %111, %107
%113 = sext i32 %112 to i64
ret i64 %113
}