void cro_MinMaxBits(int n1, int n2, int n3, int n4, int bitShifts, int *min,
                    int *max) {
  int byte1 = (n1 >> bitShifts) & 0xff;
  int byte2 = (n2 >> bitShifts) & 0xff;
  int byte3 = (n3 >> bitShifts) & 0xff;
  int byte4 = (n4 >> bitShifts) & 0xff;
  int max1, max2, min1, min2;
  if (byte1 > byte2) {
    max1 = byte1;
    min1 = byte2;
  } else {
    max1 = byte2;
    min1 = byte1;
  }
  if (byte3 > byte4) {
    max2 = byte3;
    min2 = byte4;
  } else {
    max2 = byte4;
    min2 = byte3;
  }
  *min = ((min1) < (min2) ? (min1) : (min2));
  *max = ((max1) > (max2) ? (max1) : (max2));
}


x86 assembly (clang, -O0):
<cro_MinMaxBits>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9,-0x20(%rbp)
mov    -0x4(%rbp),%eax
mov    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0xff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    1179 <cro_MinMaxBits+0x79>
mov    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    1185 <cro_MinMaxBits+0x85>
mov    -0x28(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    11a2 <cro_MinMaxBits+0xa2>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    11ae <cro_MinMaxBits+0xae>
mov    -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    11c5 <cro_MinMaxBits+0xc5>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    11cb <cro_MinMaxBits+0xcb>
mov    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jle    11eb <cro_MinMaxBits+0xeb>
mov    -0x34(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    11f1 <cro_MinMaxBits+0xf1>
mov    -0x38(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<cro_MinMaxBits>:
mov    %ecx,%eax
mov    0x8(%rsp),%r10
mov    %r8d,%ecx
sar    %cl,%edi
movzbl %dil,%edi
sar    %cl,%esi
movzbl %sil,%esi
sar    %cl,%edx
movzbl %dl,%edx
sar    %cl,%eax
cmp    %esi,%edi
mov    %esi,%ecx
cmova  %edi,%ecx
movzbl %al,%eax
cmova  %esi,%edi
cmp    %eax,%edx
mov    %eax,%esi
cmova  %edx,%esi
cmova  %eax,%edx
cmp    %edx,%edi
cmovb  %edi,%edx
mov    %edx,(%r9)
cmp    %esi,%ecx
cmova  %ecx,%esi
mov    %esi,(%r10)
ret

LLVM IR (-O0):
define void @cro_MinMaxBits(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* %5, i32* %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32* %5, i32** %13
store i32* %6, i32** %14
%23 = load i32, i32* %8
%24 = load i32, i32* %12
%25 = ashr i32 %23, %24
%26 = and i32 %25, 255
store i32 %26, i32* %15
%27 = load i32, i32* %9
%28 = load i32, i32* %12
%29 = ashr i32 %27, %28
%30 = and i32 %29, 255
store i32 %30, i32* %16
%31 = load i32, i32* %10
%32 = load i32, i32* %12
%33 = ashr i32 %31, %32
%34 = and i32 %33, 255
store i32 %34, i32* %17
%35 = load i32, i32* %11
%36 = load i32, i32* %12
%37 = ashr i32 %35, %36
%38 = and i32 %37, 255
store i32 %38, i32* %18
%39 = load i32, i32* %15
%40 = load i32, i32* %16
%41 = icmp sgt i32 %39, %40
br i1 %41, label %42, label %45
42: ; preds = %7
%43 = load i32, i32* %15
store i32 %43, i32* %19
%44 = load i32, i32* %16
store i32 %44, i32* %21
br label %48
45: ; preds = %7
%46 = load i32, i32* %16
store i32 %46, i32* %19
%47 = load i32, i32* %15
store i32 %47, i32* %21
br label %48
48: ; preds = %45, %42
%49 = load i32, i32* %17
%50 = load i32, i32* %18
%51 = icmp sgt i32 %49, %50
br i1 %51, label %52, label %55
52: ; preds = %48
%53 = load i32, i32* %17
store i32 %53, i32* %20
%54 = load i32, i32* %18
store i32 %54, i32* %22
br label %58
55: ; preds = %48
%56 = load i32, i32* %18
store i32 %56, i32* %20
%57 = load i32, i32* %17
store i32 %57, i32* %22
br label %58
58: ; preds = %55, %52
%59 = load i32, i32* %21
%60 = load i32, i32* %22
%61 = icmp slt i32 %59, %60
br i1 %61, label %62, label %64
62: ; preds = %58
%63 = load i32, i32* %21
br label %66
64: ; preds = %58
%65 = load i32, i32* %22
br label %66
66: ; preds = %64, %62
%67 = phi i32 [ %63, %62 ], [ %65, %64 ]
%68 = load i32*, i32** %13
store i32 %67, i32* %68
%69 = load i32, i32* %19
%70 = load i32, i32* %20
%71 = icmp sgt i32 %69, %70
br i1 %71, label %72, label %74
72: ; preds = %66
%73 = load i32, i32* %19
br label %76
74: ; preds = %66
%75 = load i32, i32* %20
br label %76
76: ; preds = %74, %72
%77 = phi i32 [ %73, %72 ], [ %75, %74 ]
%78 = load i32*, i32** %14
store i32 %77, i32* %78
ret void
}

LLVM IR (-O2):
define void @cro_MinMaxBits(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* nocapture writeonly %5, i32* nocapture writeonly %6) {
%8 = ashr i32 %0, %4
%9 = and i32 %8, 255
%10 = ashr i32 %1, %4
%11 = and i32 %10, 255
%12 = ashr i32 %2, %4
%13 = and i32 %12, 255
%14 = ashr i32 %3, %4
%15 = and i32 %14, 255
%16 = icmp ugt i32 %9, %11
%17 = select i1 %16, i32 %9, i32 %11
%18 = select i1 %16, i32 %11, i32 %9
%19 = icmp ugt i32 %13, %15
%20 = select i1 %19, i32 %13, i32 %15
%21 = select i1 %19, i32 %15, i32 %13
%22 = icmp ult i32 %18, %21
%23 = select i1 %22, i32 %18, i32 %21
store i32 %23, i32* %5
%24 = icmp ugt i32 %17, %20
%25 = select i1 %24, i32 %17, i32 %20
store i32 %25, i32* %6
ret void
}