int prog_v8max(int A, int B) {
  int res = 0;
  unsigned char *a = (unsigned char *)&A;
  unsigned char *b = (unsigned char *)&B;
  unsigned char *c = (unsigned char *)&res;
  c[0] = ((a[0] > b[0]) ? a[0] : b[0]);
  c[1] = ((a[1] > b[1]) ? a[1] : b[1]);
  c[2] = ((a[2] > b[2]) ? a[2] : b[2]);
  c[3] = ((a[3] > b[3]) ? a[3] : b[3]);
  return res;
}


x86 assembly (clang, -O0):
<prog_v8max>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
lea    -0x4(%rbp),%rax
mov    %rax,-0x18(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
lea    -0xc(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
mov    -0x20(%rbp),%rcx
movzbl (%rcx),%ecx
cmp    %ecx,%eax
jle    114e <prog_v8max+0x4e>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
jmp    1158 <prog_v8max+0x58>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x20(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
jle    118b <prog_v8max+0x8b>
mov    -0x18(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    %eax,-0x30(%rbp)
jmp    1196 <prog_v8max+0x96>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x18(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x20(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
cmp    %ecx,%eax
jle    11ca <prog_v8max+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    %eax,-0x34(%rbp)
jmp    11d5 <prog_v8max+0xd5>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x18(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    -0x20(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
cmp    %ecx,%eax
jle    1209 <prog_v8max+0x109>
mov    -0x18(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x38(%rbp)
jmp    1214 <prog_v8max+0x114>
mov    -0x20(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<prog_v8max>:
push   %rbp
push   %rbx
mov    %esi,%ebx
mov    %edi,%eax
mov    %edi,%ecx
movzbl %al,%r8d
movzbl %ah,%ebp
mov    %edi,%esi
mov    %ebx,%edx
movzbl %bl,%edi
movzbl %bh,%eax
shr    $0x10,%esi
shr    $0x18,%ecx
shr    $0x10,%ebx
shr    $0x18,%edx
cmp    %edi,%r8d
cmova  %r8d,%edi
cmp    %eax,%ebp
cmova  %ebp,%eax
movzbl %sil,%esi
movzbl %bl,%ebp
cmp    %ebp,%esi
cmova  %esi,%ebp
cmp    %edx,%ecx
cmova  %ecx,%edx
shl    $0x18,%edx
shl    $0x10,%ebp
or     %edx,%ebp
shl    $0x8,%eax
or     %ebp,%eax
or     %edi,%eax
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @prog_v8max(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
store i32 %0, i32* %3
store i32 %1, i32* %4
store i32 0, i32* %5
%9 = bitcast i32* %3 to i8*
store i8* %9, i8** %6
%10 = bitcast i32* %4 to i8*
store i8* %10, i8** %7
%11 = bitcast i32* %5 to i8*
store i8* %11, i8** %8
%12 = load i8*, i8** %6
%13 = getelementptr inbounds i8, i8* %12, i64 0
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = load i8*, i8** %7
%17 = getelementptr inbounds i8, i8* %16, i64 0
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = icmp sgt i32 %15, %19
br i1 %20, label %21, label %26
21: ; preds = %2
%22 = load i8*, i8** %6
%23 = getelementptr inbounds i8, i8* %22, i64 0
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
br label %31
26: ; preds = %2
%27 = load i8*, i8** %7
%28 = getelementptr inbounds i8, i8* %27, i64 0
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
br label %31
31: ; preds = %26, %21
%32 = phi i32 [ %25, %21 ], [ %30, %26 ]
%33 = trunc i32 %32 to i8
%34 = load i8*, i8** %8
%35 = getelementptr inbounds i8, i8* %34, i64 0
store i8 %33, i8* %35
%36 = load i8*, i8** %6
%37 = getelementptr inbounds i8, i8* %36, i64 1
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = load i8*, i8** %7
%41 = getelementptr inbounds i8, i8* %40, i64 1
%42 = load i8, i8* %41
%43 = zext i8 %42 to i32
%44 = icmp sgt i32 %39, %43
br i1 %44, label %45, label %50
45: ; preds = %31
%46 = load i8*, i8** %6
%47 = getelementptr inbounds i8, i8* %46, i64 1
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
br label %55
50: ; preds = %31
%51 = load i8*, i8** %7
%52 = getelementptr inbounds i8, i8* %51, i64 1
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
br label %55
55: ; preds = %50, %45
%56 = phi i32 [ %49, %45 ], [ %54, %50 ]
%57 = trunc i32 %56 to i8
%58 = load i8*, i8** %8
%59 = getelementptr inbounds i8, i8* %58, i64 1
store i8 %57, i8* %59
%60 = load i8*, i8** %6
%61 = getelementptr inbounds i8, i8* %60, i64 2
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = load i8*, i8** %7
%65 = getelementptr inbounds i8, i8* %64, i64 2
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = icmp sgt i32 %63, %67
br i1 %68, label %69, label %74
69: ; preds = %55
%70 = load i8*, i8** %6
%71 = getelementptr inbounds i8, i8* %70, i64 2
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
br label %79
74: ; preds = %55
%75 = load i8*, i8** %7
%76 = getelementptr inbounds i8, i8* %75, i64 2
%77 = load i8, i8* %76
%78 = zext i8 %77 to i32
br label %79
79: ; preds = %74, %69
%80 = phi i32 [ %73, %69 ], [ %78, %74 ]
%81 = trunc i32 %80 to i8
%82 = load i8*, i8** %8
%83 = getelementptr inbounds i8, i8* %82, i64 2
store i8 %81, i8* %83
%84 = load i8*, i8** %6
%85 = getelementptr inbounds i8, i8* %84, i64 3
%86 = load i8, i8* %85
%87 = zext i8 %86 to i32
%88 = load i8*, i8** %7
%89 = getelementptr inbounds i8, i8* %88, i64 3
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = icmp sgt i32 %87, %91
br i1 %92, label %93, label %98
93: ; preds = %79
%94 = load i8*, i8** %6
%95 = getelementptr inbounds i8, i8* %94, i64 3
%96 = load i8, i8* %95
%97 = zext i8 %96 to i32
br label %103
98: ; preds = %79
%99 = load i8*, i8** %7
%100 = getelementptr inbounds i8, i8* %99, i64 3
%101 = load i8, i8* %100
%102 = zext i8 %101 to i32
br label %103
103: ; preds = %98, %93
%104 = phi i32 [ %97, %93 ], [ %102, %98 ]
%105 = trunc i32 %104 to i8
%106 = load i8*, i8** %8
%107 = getelementptr inbounds i8, i8* %106, i64 3
store i8 %105, i8* %107
%108 = load i32, i32* %5
ret i32 %108
}

LLVM IR (-O2):
define i32 @prog_v8max(i32 %0, i32 %1) {
%3 = lshr i32 %0, 8
%4 = lshr i32 %0, 16
%5 = lshr i32 %0, 24
%6 = lshr i32 %1, 8
%7 = lshr i32 %1, 16
%8 = lshr i32 %1, 24
%9 = and i32 %0, 255
%10 = and i32 %1, 255
%11 = icmp ugt i32 %9, %10
%12 = select i1 %11, i32 %9, i32 %10
%13 = and i32 %3, 255
%14 = and i32 %6, 255
%15 = icmp ugt i32 %13, %14
%16 = select i1 %15, i32 %13, i32 %14
%17 = and i32 %4, 255
%18 = and i32 %7, 255
%19 = icmp ugt i32 %17, %18
%20 = select i1 %19, i32 %17, i32 %18
%21 = icmp ugt i32 %5, %8
%22 = select i1 %21, i32 %5, i32 %8
%23 = shl nuw i32 %22, 24
%24 = shl nuw nsw i32 %20, 16
%25 = or i32 %24, %23
%26 = shl nuw nsw i32 %16, 8
%27 = or i32 %25, %26
%28 = or i32 %27, %12
ret i32 %28
}