int basic_isort4p(a, b, c, d)
int *a, *b, *c, *d;
{
  int swaps = 0, aux;
  ;
  if (*d < *c) {
    if (*d < *a) {
      do {
        aux = *c;
        *c = *d;
        *d = aux;
        swaps++;
      } while (0);
      do {
        aux = *b;
        *b = *c;
        *c = aux;
        swaps++;
      } while (0);
      do {
        aux = *a;
        *a = *b;
        *b = aux;
        swaps++;
      } while (0);
    } else if (*d < *b) {
      do {
        aux = *c;
        *c = *d;
        *d = aux;
        swaps++;
      } while (0);
      do {
        aux = *b;
        *b = *c;
        *c = aux;
        swaps++;
      } while (0);
    } else
      do {
        aux = *c;
        *c = *d;
        *d = aux;
        swaps++;
      } while (0);
  }
  return (swaps);
}


x86 assembly (clang, -O0):
<basic_isort4p>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1272 <basic_isort4p+0x172>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jge    11c8 <basic_isort4p+0xc8>
jmp    1144 <basic_isort4p+0x44>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1170 <basic_isort4p+0x70>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    119c <basic_isort4p+0x9c>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    126d <basic_isort4p+0x16d>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1237 <basic_isort4p+0x137>
jmp    11df <basic_isort4p+0xdf>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    120b <basic_isort4p+0x10b>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1268 <basic_isort4p+0x168>
jmp    123c <basic_isort4p+0x13c>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1268 <basic_isort4p+0x168>
jmp    126d <basic_isort4p+0x16d>
jmp    1272 <basic_isort4p+0x172>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<basic_isort4p>:
mov    (%rcx),%r10d
mov    (%rdx),%r9d
xor    %eax,%eax
cmp    %r9d,%r10d
jge    114f <basic_isort4p+0x4f>
cmp    (%rdi),%r10d
jge    112b <basic_isort4p+0x2b>
mov    %r10d,(%rdx)
mov    %r9d,(%rcx)
mov    (%rsi),%eax
mov    (%rdx),%ecx
mov    %ecx,(%rsi)
mov    %eax,(%rdx)
mov    $0x3,%r8d
mov    %rsi,%rdx
jmp    1144 <basic_isort4p+0x44>
mov    $0x1,%eax
mov    $0x2,%r8d
mov    %rsi,%rdi
cmp    (%rsi),%r10d
mov    %r10d,(%rdx)
mov    %r9d,(%rcx)
jge    114f <basic_isort4p+0x4f>
mov    (%rdi),%eax
mov    (%rdx),%ecx
mov    %ecx,(%rdi)
mov    %eax,(%rdx)
mov    %r8d,%eax
ret

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

LLVM IR (-O2):
define i32 @basic_isort4p(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3) {
%5 = load i32, i32* %3
%6 = load i32, i32* %2
%7 = icmp slt i32 %5, %6
br i1 %7, label %8, label %23
8: ; preds = %4
%9 = load i32, i32* %0
%10 = icmp slt i32 %5, %9
br i1 %10, label %11, label %14
11: ; preds = %8
store i32 %5, i32* %2
store i32 %6, i32* %3
%12 = load i32, i32* %1
%13 = load i32, i32* %2
store i32 %13, i32* %1
store i32 %12, i32* %2
br label %17
14: ; preds = %8
%15 = load i32, i32* %1
%16 = icmp slt i32 %5, %15
store i32 %5, i32* %2
store i32 %6, i32* %3
br i1 %16, label %17, label %23
17: ; preds = %14, %11
%18 = phi i32* [ %0, %11 ], [ %1, %14 ]
%19 = phi i32* [ %1, %11 ], [ %2, %14 ]
%20 = phi i32 [ 3, %11 ], [ 2, %14 ]
%21 = load i32, i32* %18
%22 = load i32, i32* %19
store i32 %22, i32* %18
store i32 %21, i32* %19
br label %23
23: ; preds = %17, %14, %4
%24 = phi i32 [ 0, %4 ], [ 1, %14 ], [ %20, %17 ]
ret i32 %24
}