void postumis(int *mas, int a) {
  for (; a - 1; --a)
    mas[a] = mas[a - 1];
  mas[0] = 0;
}


x86 assembly (clang, -O0):
<postumis>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
je     1143 <postumis+0x43>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    110b <postumis+0xb>
mov    -0x8(%rbp),%rax
movl   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<postumis>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%eax
add    $0xffffffff,%eax
je     1304 <postumis+0x204>
movslq %eax,%r11
lea    -0x2(%rsi),%r10d
cmp    $0x7,%r10d
jae    116f <postumis+0x6f>
lea    -0x1(%r11),%edx
test   $0x3,%r11b
je     128c <postumis+0x18c>
mov    %r11d,%ebx
and    $0x3,%ebx
xor    %eax,%eax
mov    %r11,%rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdi,%rcx,4),%ebp
movslq %esi,%rsi
mov    %ebp,(%rdi,%rsi,4)
mov    %ecx,%esi
add    $0xffffffffffffffff,%rcx
add    $0x1,%rax
cmp    %eax,%ebx
jne    1140 <postumis+0x40>
sub    %eax,%r11d
add    $0x1,%r11d
mov    %r11d,%esi
cmp    $0x3,%edx
jae    1294 <postumis+0x194>
jmp    1304 <postumis+0x204>
cmp    $0x2,%esi
jl     111c <postumis+0x1c>
movslq %esi,%rax
lea    (%rdi,%rax,4),%rbx
lea    0x0(,%r10,4),%rcx
mov    %rbx,%rdx
sub    %rcx,%rdx
cmp    %rbx,%rdx
ja     111c <postumis+0x1c>
lea    (%rdi,%r11,4),%rbx
mov    %rbx,%rdx
sub    %rcx,%rdx
cmp    %rbx,%rdx
ja     111c <postumis+0x1c>
mov    %rax,%rcx
sub    %r10,%rcx
lea    (%rdi,%rcx,4),%rcx
lea    (%rdi,%r11,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%rcx
jae    11d3 <postumis+0xd3>
lea    (%rdi,%rax,4),%rax
add    $0x4,%rax
mov    %r11,%rcx
sub    %r10,%rcx
lea    (%rdi,%rcx,4),%rcx
cmp    %rax,%rcx
jb     111c <postumis+0x1c>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     130f <postumis+0x20f>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%rdi,%r11,4),%rax
add    $0xfffffffffffffff4,%rax
lea    -0x8(%rsi),%r14d
mov    %esi,%ebx
xor    %edx,%edx
nopl   (%rax)
lea    (%rbx,%rdx,1),%ebp
movups -0x10(%rax,%rdx,4),%xmm0
movups (%rax,%rdx,4),%xmm1
movslq %ebp,%rbp
movups %xmm1,-0xc(%rdi,%rbp,4)
movups %xmm0,-0x1c(%rdi,%rbp,4)
lea    (%r14,%rdx,1),%ebp
movups -0x30(%rax,%rdx,4),%xmm0
movups -0x20(%rax,%rdx,4),%xmm1
movslq %ebp,%rbp
movups %xmm1,-0xc(%rdi,%rbp,4)
movups %xmm0,-0x1c(%rdi,%rbp,4)
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%rcx
jne    1210 <postumis+0x110>
neg    %rdx
test   $0x1,%r9b
je     1278 <postumis+0x178>
mov    %r11,%rax
sub    %rdx,%rax
mov    %esi,%ecx
sub    %edx,%ecx
movups -0x1c(%rdi,%rax,4),%xmm0
movups -0xc(%rdi,%rax,4),%xmm1
movslq %ecx,%rax
movups %xmm1,-0xc(%rdi,%rax,4)
movups %xmm0,-0x1c(%rdi,%rax,4)
cmp    %r8,%r10
je     1304 <postumis+0x204>
sub    %r8,%r11
sub    %r8d,%esi
jmp    111c <postumis+0x1c>
mov    %r11,%rcx
cmp    $0x3,%edx
jb     1304 <postumis+0x204>
lea    -0x3(%rcx),%ebx
lea    (%rdi,%rcx,4),%rax
shl    $0x20,%rcx
movabs $0xffffffff00000000,%r8
ff ff ff
movabs $0xfffffffe00000000,%r9
ff ff ff
movabs $0xfffffffc00000000,%rdx
ff ff ff
nopl   (%rax)
mov    %ebx,%ebp
mov    (%rax),%ebx
movslq %esi,%rsi
mov    %ebx,(%rdi,%rsi,4)
mov    -0x4(%rax),%esi
mov    %rcx,%rbx
sar    $0x1e,%rbx
mov    %esi,(%rdi,%rbx,1)
mov    -0x8(%rax),%esi
lea    (%rcx,%r8,1),%rbx
sar    $0x1e,%rbx
mov    %esi,(%rdi,%rbx,1)
mov    -0xc(%rax),%esi
lea    (%rcx,%r9,1),%rbx
sar    $0x1e,%rbx
mov    %esi,(%rdi,%rbx,1)
mov    %ebp,%esi
lea    -0x4(%rbp),%ebx
add    $0xfffffffffffffff0,%rax
add    %rdx,%rcx
cmp    $0xfffffffd,%ebx
jne    12c0 <postumis+0x1c0>
movl   $0x0,(%rdi)
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%r9b
jne    1257 <postumis+0x157>
jmp    1278 <postumis+0x178>

LLVM IR (-O0):
define void @postumis(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
br label %5
5: ; preds = %20, %2
%6 = load i32, i32* %4
%7 = sub nsw i32 %6, 1
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %23
9: ; preds = %5
%10 = load i32*, i32** %3
%11 = load i32, i32* %4
%12 = sub nsw i32 %11, 1
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i32, i32* %10, i64 %13
%15 = load i32, i32* %14
%16 = load i32*, i32** %3
%17 = load i32, i32* %4
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %16, i64 %18
store i32 %15, i32* %19
br label %20
20: ; preds = %9
%21 = load i32, i32* %4
%22 = add nsw i32 %21, -1
store i32 %22, i32* %4
br label %5
23: ; preds = %5
%24 = load i32*, i32** %3
%25 = getelementptr inbounds i32, i32* %24, i64 0
store i32 0, i32* %25
ret void
}

LLVM IR (-O2):
define void @postumis(i32* nocapture %0, i32 %1) {
%3 = add i32 %1, -1
%4 = icmp eq i32 %3, 0
br i1 %4, label %175, label %5
5: ; preds = %2
%6 = sext i32 %3 to i64
%7 = add i32 %1, -2
%8 = zext i32 %7 to i64
%9 = add nuw nsw i64 %8, 1
%10 = icmp ult i32 %7, 7
br i1 %10, label %121, label %11
11: ; preds = %5
%12 = add i32 %1, -2
%13 = icmp slt i32 %1, 2
%14 = sext i32 %1 to i64
%15 = getelementptr i32, i32* %0, i64 %14
%16 = zext i32 %12 to i64
%17 = sub nsw i64 0, %16
%18 = getelementptr i32, i32* %15, i64 %17
%19 = icmp ugt i32* %18, %15
%20 = getelementptr i32, i32* %0, i64 %6
%21 = zext i32 %12 to i64
%22 = sub nsw i64 0, %21
%23 = getelementptr i32, i32* %20, i64 %22
%24 = icmp ugt i32* %23, %20
%25 = or i1 %13, %19
%26 = or i1 %25, %24
br i1 %26, label %121, label %27
27: ; preds = %11
%28 = sext i32 %1 to i64
%29 = add i32 %1, -2
%30 = zext i32 %29 to i64
%31 = sub nsw i64 %28, %30
%32 = getelementptr i32, i32* %0, i64 %31
%33 = add nsw i64 %28, 1
%34 = getelementptr i32, i32* %0, i64 %33
%35 = sub nsw i64 %6, %30
%36 = getelementptr i32, i32* %0, i64 %35
%37 = add nsw i64 %6, 1
%38 = getelementptr i32, i32* %0, i64 %37
%39 = icmp ult i32* %32, %38
%40 = icmp ult i32* %36, %34
%41 = and i1 %39, %40
br i1 %41, label %121, label %42
42: ; preds = %27
%43 = and i64 %9, 8589934584
%44 = sub nsw i64 %6, %43
%45 = trunc i64 %43 to i32
%46 = sub i32 %1, %45
%47 = add nsw i64 %43, -8
%48 = lshr exact i64 %47, 3
%49 = add nuw nsw i64 %48, 1
%50 = and i64 %49, 1
%51 = icmp eq i64 %47, 0
br i1 %51, label %97, label %52
52: ; preds = %42
%53 = and i64 %49, 4611686018427387902
br label %54
54: ; preds = %54, %52
%55 = phi i64 [ 0, %52 ], [ %94, %54 ]
%56 = phi i64 [ 0, %52 ], [ %95, %54 ]
%57 = sub i64 %6, %55
%58 = trunc i64 %55 to i32
%59 = sub i32 %1, %58
%60 = getelementptr inbounds i32, i32* %0, i64 %57
%61 = getelementptr inbounds i32, i32* %60, i64 -3
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = getelementptr inbounds i32, i32* %60, i64 -4
%65 = getelementptr inbounds i32, i32* %64, i64 -3
%66 = bitcast i32* %65 to <4 x i32>*
%67 = load <4 x i32>, <4 x i32>* %66
%68 = sext i32 %59 to i64
%69 = getelementptr inbounds i32, i32* %0, i64 %68
%70 = getelementptr inbounds i32, i32* %69, i64 -3
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> %63, <4 x i32>* %71
%72 = getelementptr inbounds i32, i32* %69, i64 -4
%73 = getelementptr inbounds i32, i32* %72, i64 -3
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %74
%75 = or i64 %55, 8
%76 = sub i64 %6, %75
%77 = trunc i64 %75 to i32
%78 = sub i32 %1, %77
%79 = getelementptr inbounds i32, i32* %0, i64 %76
%80 = getelementptr inbounds i32, i32* %79, i64 -3
%81 = bitcast i32* %80 to <4 x i32>*
%82 = load <4 x i32>, <4 x i32>* %81
%83 = getelementptr inbounds i32, i32* %79, i64 -4
%84 = getelementptr inbounds i32, i32* %83, i64 -3
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = sext i32 %78 to i64
%88 = getelementptr inbounds i32, i32* %0, i64 %87
%89 = getelementptr inbounds i32, i32* %88, i64 -3
%90 = bitcast i32* %89 to <4 x i32>*
store <4 x i32> %82, <4 x i32>* %90
%91 = getelementptr inbounds i32, i32* %88, i64 -4
%92 = getelementptr inbounds i32, i32* %91, i64 -3
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> %86, <4 x i32>* %93
%94 = add nuw i64 %55, 16
%95 = add i64 %56, 2
%96 = icmp eq i64 %95, %53
br i1 %96, label %97, label %54
97: ; preds = %54, %42
%98 = phi i64 [ 0, %42 ], [ %94, %54 ]
%99 = icmp eq i64 %50, 0
br i1 %99, label %119, label %100
100: ; preds = %97
%101 = sub i64 %6, %98
%102 = trunc i64 %98 to i32
%103 = sub i32 %1, %102
%104 = getelementptr inbounds i32, i32* %0, i64 %101
%105 = getelementptr inbounds i32, i32* %104, i64 -3
%106 = bitcast i32* %105 to <4 x i32>*
%107 = load <4 x i32>, <4 x i32>* %106
%108 = getelementptr inbounds i32, i32* %104, i64 -4
%109 = getelementptr inbounds i32, i32* %108, i64 -3
%110 = bitcast i32* %109 to <4 x i32>*
%111 = load <4 x i32>, <4 x i32>* %110
%112 = sext i32 %103 to i64
%113 = getelementptr inbounds i32, i32* %0, i64 %112
%114 = getelementptr inbounds i32, i32* %113, i64 -3
%115 = bitcast i32* %114 to <4 x i32>*
store <4 x i32> %107, <4 x i32>* %115
%116 = getelementptr inbounds i32, i32* %113, i64 -4
%117 = getelementptr inbounds i32, i32* %116, i64 -3
%118 = bitcast i32* %117 to <4 x i32>*
store <4 x i32> %111, <4 x i32>* %118
br label %119
119: ; preds = %97, %100
%120 = icmp eq i64 %9, %43
br i1 %120, label %175, label %121
121: ; preds = %27, %11, %5, %119
%122 = phi i64 [ %6, %27 ], [ %6, %11 ], [ %6, %5 ], [ %44, %119 ]
%123 = phi i32 [ %1, %27 ], [ %1, %11 ], [ %1, %5 ], [ %46, %119 ]
%124 = trunc i64 %122 to i32
%125 = add i32 %124, -1
%126 = and i32 %124, 3
%127 = icmp eq i32 %126, 0
br i1 %127, label %142, label %128
128: ; preds = %121, %128
%129 = phi i64 [ %136, %128 ], [ %122, %121 ]
%130 = phi i32 [ %137, %128 ], [ %123, %121 ]
%131 = phi i32 [ %138, %128 ], [ 0, %121 ]
%132 = getelementptr inbounds i32, i32* %0, i64 %129
%133 = load i32, i32* %132
%134 = sext i32 %130 to i64
%135 = getelementptr inbounds i32, i32* %0, i64 %134
store i32 %133, i32* %135
%136 = add nsw i64 %129, -1
%137 = trunc i64 %129 to i32
%138 = add i32 %131, 1
%139 = icmp eq i32 %138, %126
br i1 %139, label %140, label %128
140: ; preds = %128
%141 = trunc i64 %129 to i32
br label %142
142: ; preds = %140, %121
%143 = phi i64 [ %122, %121 ], [ %136, %140 ]
%144 = phi i32 [ %123, %121 ], [ %141, %140 ]
%145 = icmp ult i32 %125, 3
br i1 %145, label %175, label %146
146: ; preds = %142, %146
%147 = phi i64 [ %171, %146 ], [ %143, %142 ]
%148 = phi i32 [ %174, %146 ], [ %144, %142 ]
%149 = getelementptr inbounds i32, i32* %0, i64 %147
%150 = load i32, i32* %149
%151 = sext i32 %148 to i64
%152 = getelementptr inbounds i32, i32* %0, i64 %151
store i32 %150, i32* %152
%153 = add nsw i64 %147, -1
%154 = getelementptr inbounds i32, i32* %0, i64 %153
%155 = load i32, i32* %154
%156 = shl i64 %147, 32
%157 = ashr exact i64 %156, 32
%158 = getelementptr inbounds i32, i32* %0, i64 %157
store i32 %155, i32* %158
%159 = add nsw i64 %147, -2
%160 = getelementptr inbounds i32, i32* %0, i64 %159
%161 = load i32, i32* %160
%162 = shl i64 %153, 32
%163 = ashr exact i64 %162, 32
%164 = getelementptr inbounds i32, i32* %0, i64 %163
store i32 %161, i32* %164
%165 = add nsw i64 %147, -3
%166 = getelementptr inbounds i32, i32* %0, i64 %165
%167 = load i32, i32* %166
%168 = shl i64 %159, 32
%169 = ashr exact i64 %168, 32
%170 = getelementptr inbounds i32, i32* %0, i64 %169
store i32 %167, i32* %170
%171 = add nsw i64 %147, -4
%172 = trunc i64 %171 to i32
%173 = icmp eq i32 %172, 0
%174 = trunc i64 %165 to i32
br i1 %173, label %175, label %146
175: ; preds = %142, %146, %119, %2
store i32 0, i32* %0
ret void
}