double Merging(double *pf, double *ps, double *pr) {
  int a, b, c, d, e, f;
  for (a = 0; a < 3; ++a) {
    *pr = *ps;
    ++pr;
    ++ps;
  }
  ps = ps - 3;
  for (c = 0; c < 5; ++c) {
    for (d = 0; d < 3; ++d) {
      if (*pf == *ps) {
        e = 1;
        ps++;
      } else {
        *pr = *pf;
        ps++;
      }
    }
    ps = ps - 3;
    pf++;
    if (e == 1) {
      e = 0;
    } else {
      pr++;
    }
  }
}


x86 assembly (clang, -O0):
<Merging>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    1157 <Merging+0x57>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1117 <Merging+0x17>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffe8,%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x5,-0x2c(%rbp)
jge    1235 <Merging+0x135>
movl   $0x0,-0x30(%rbp)
cmpl   $0x3,-0x30(%rbp)
jge    11e8 <Merging+0xe8>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
ucomisd (%rax),%xmm0
jne    11b9 <Merging+0xb9>
jp     11b9 <Merging+0xb9>
movl   $0x1,-0x34(%rbp)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
jmp    11d5 <Merging+0xd5>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
jmp    11da <Merging+0xda>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    117b <Merging+0x7b>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffe8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x1,-0x34(%rbp)
jne    1216 <Merging+0x116>
movl   $0x0,-0x34(%rbp)
jmp    1222 <Merging+0x122>
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
jmp    1227 <Merging+0x127>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    116a <Merging+0x6a>
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<Merging>:
movsd  (%rsi),%xmm0
movsd  %xmm0,(%rdx)
movsd  0x8(%rsi),%xmm0
movsd  %xmm0,0x8(%rdx)
movsd  0x10(%rsi),%xmm0
movsd  %xmm0,0x10(%rdx)
add    $0x18,%rdx
movsd  (%rdi),%xmm0
ucomisd (%rsi),%xmm0
jne    1133 <Merging+0x33>
jp     1133 <Merging+0x33>
mov    $0x1,%eax
jmp    113d <Merging+0x3d>
movsd  %xmm0,(%rdx)
movsd  (%rdi),%xmm0
xor    %eax,%eax
ucomisd 0x8(%rsi),%xmm0
jne    114d <Merging+0x4d>
jp     114d <Merging+0x4d>
mov    $0x1,%eax
jmp    1155 <Merging+0x55>
movsd  %xmm0,(%rdx)
movsd  (%rdi),%xmm0
mov    $0x1,%r8d
ucomisd 0x10(%rsi),%xmm0
mov    $0x1,%ecx
jne    1169 <Merging+0x69>
jnp    116f <Merging+0x6f>
movsd  %xmm0,(%rdx)
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
sete   %al
lea    (%rdx,%rax,8),%rcx
movsd  0x8(%rdi),%xmm0
ucomisd (%rsi),%xmm0
jne    1187 <Merging+0x87>
jnp    1193 <Merging+0x93>
movsd  %xmm0,(%rcx)
movsd  0x8(%rdi),%xmm0
xor    %r8d,%r8d
mov    $0x1,%edx
ucomisd 0x8(%rsi),%xmm0
jne    11a9 <Merging+0xa9>
jp     11a9 <Merging+0xa9>
mov    $0x1,%r8d
jmp    11b2 <Merging+0xb2>
movsd  %xmm0,(%rcx)
movsd  0x8(%rdi),%xmm0
ucomisd 0x10(%rsi),%xmm0
jne    11bb <Merging+0xbb>
jnp    11c2 <Merging+0xc2>
movsd  %xmm0,(%rcx)
mov    %r8d,%edx
xor    %eax,%eax
test   %edx,%edx
sete   %al
lea    (%rcx,%rax,8),%rax
movsd  0x10(%rdi),%xmm0
ucomisd (%rsi),%xmm0
jne    11e1 <Merging+0xe1>
jp     11e1 <Merging+0xe1>
mov    $0x1,%ecx
jmp    11ec <Merging+0xec>
movsd  %xmm0,(%rax)
movsd  0x10(%rdi),%xmm0
xor    %ecx,%ecx
ucomisd 0x8(%rsi),%xmm0
jne    11fc <Merging+0xfc>
jp     11fc <Merging+0xfc>
mov    $0x1,%ecx
jmp    1205 <Merging+0x105>
movsd  %xmm0,(%rax)
movsd  0x10(%rdi),%xmm0
mov    $0x1,%r8d
ucomisd 0x10(%rsi),%xmm0
mov    $0x1,%edx
jne    1219 <Merging+0x119>
jnp    121f <Merging+0x11f>
movsd  %xmm0,(%rax)
mov    %ecx,%edx
xor    %ecx,%ecx
test   %edx,%edx
sete   %cl
lea    (%rax,%rcx,8),%rax
movsd  0x18(%rdi),%xmm0
ucomisd (%rsi),%xmm0
jne    1237 <Merging+0x137>
jnp    1243 <Merging+0x143>
movsd  %xmm0,(%rax)
movsd  0x18(%rdi),%xmm0
xor    %r8d,%r8d
mov    $0x1,%edx
ucomisd 0x8(%rsi),%xmm0
jne    1259 <Merging+0x159>
jp     1259 <Merging+0x159>
mov    $0x1,%r8d
jmp    1262 <Merging+0x162>
movsd  %xmm0,(%rax)
movsd  0x18(%rdi),%xmm0
ucomisd 0x10(%rsi),%xmm0
jne    126b <Merging+0x16b>
jnp    1272 <Merging+0x172>
movsd  %xmm0,(%rax)
mov    %r8d,%edx
xor    %ecx,%ecx
test   %edx,%edx
sete   %cl
movsd  0x20(%rdi),%xmm0
ucomisd (%rsi),%xmm0
jne    1286 <Merging+0x186>
jnp    1290 <Merging+0x190>
movsd  %xmm0,(%rax,%rcx,8)
movsd  0x20(%rdi),%xmm0
ucomisd 0x8(%rsi),%xmm0
jne    1299 <Merging+0x199>
jnp    12a3 <Merging+0x1a3>
movsd  %xmm0,(%rax,%rcx,8)
movsd  0x20(%rdi),%xmm0
ucomisd 0x10(%rsi),%xmm0
jne    12ad <Merging+0x1ad>
jp     12ad <Merging+0x1ad>
ret
movsd  %xmm0,(%rax,%rcx,8)
ret

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

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