#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int calculat_group_numbers(int, int);
int /*<<< orphan*/ memory_move_write(int, int, int *, int, int *, int);
int test_memory_move_write_4(void) {
  int buf_test1[4];
  int buf_test2[4];
  int group_read_from;
  int group_read_to;
  int group_write_from;
  int group_write_to;
  buf_test1[0] = 0x87654321;
  buf_test1[1] = 0x0fedcba9;
  group_write_from = (((44) + 31) / 32);
  group_write_to = calculat_group_numbers(20, 44);
  memory_move_write(20, 44, buf_test1, group_write_from, buf_test2,
                    group_write_to);
  if (buf_test2[0] == 0x32100000 && buf_test2[1] == 0xba987654) {
    return 0;
  } else {
    return -1;
  }
}


x86 assembly (clang, -O0):
<test_memory_move_write_4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x87654321,-0x20(%rbp)
movl   $0xfedcba9,-0x1c(%rbp)
movl   $0x2,-0x3c(%rbp)
mov    $0x14,%edi
mov    $0x2c,%esi
call   1040 <calculat_group_numbers@plt>
mov    %eax,-0x40(%rbp)
lea    -0x20(%rbp),%rdx
mov    -0x3c(%rbp),%ecx
lea    -0x30(%rbp),%r8
mov    -0x40(%rbp),%r9d
mov    $0x14,%edi
mov    $0x2c,%esi
call   1030 <memory_move_write@plt>
cmpl   $0x32100000,-0x30(%rbp)
jne    1193 <test_memory_move_write_4+0x73>
cmpl   $0xba987654,-0x2c(%rbp)
jne    1193 <test_memory_move_write_4+0x73>
movl   $0x0,-0x4(%rbp)
jmp    119a <test_memory_move_write_4+0x7a>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_memory_move_write_4>:
sub    $0x28,%rsp
movabs $0xfedcba987654321,%rax
cb ed 0f
mov    %rax,0x10(%rsp)
mov    $0x14,%edi
mov    $0x2c,%esi
call   1040 <calculat_group_numbers@plt>
lea    0x10(%rsp),%rdx
mov    %rsp,%r8
mov    $0x14,%edi
mov    $0x2c,%esi
mov    $0x2,%ecx
mov    %eax,%r9d
call   1030 <memory_move_write@plt>
mov    $0x32100000,%ecx
xor    (%rsp),%ecx
mov    $0xba987654,%edx
xor    0x4(%rsp),%edx
xor    %eax,%eax
or     %ecx,%edx
setne  %al
neg    %eax
add    $0x28,%rsp
ret

LLVM IR (-O0):
define i32 @test_memory_move_write_4() {
%1 = alloca i32
%2 = alloca [4 x i32]
%3 = alloca [4 x i32]
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
store i32 -2023406815, i32* %8
%9 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 1
store i32 267242409, i32* %9
store i32 2, i32* %6
%10 = call i32 @calculat_group_numbers(i32 20, i32 44)
store i32 %10, i32* %7
%11 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
%12 = load i32, i32* %6
%13 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
%14 = load i32, i32* %7
%15 = call i32 @memory_move_write(i32 20, i32 44, i32* %11, i32 %12, i32* %13, i32 %14)
%16 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
%17 = load i32, i32* %16
%18 = icmp eq i32 %17, 839909376
br i1 %18, label %19, label %24
19: ; preds = %0
%20 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%21 = load i32, i32* %20
%22 = icmp eq i32 %21, -1164413356
br i1 %22, label %23, label %24
23: ; preds = %19
store i32 0, i32* %1
br label %25
24: ; preds = %19, %0
store i32 -1, i32* %1
br label %25
25: ; preds = %24, %23
%26 = load i32, i32* %1
ret i32 %26
}

LLVM IR (-O2):
define i32 @test_memory_move_write_4() {
%1 = alloca [4 x i32]
%2 = alloca [4 x i32]
%3 = bitcast [4 x i32]* %1 to i8*
%4 = bitcast [4 x i32]* %2 to i8*
%5 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 0
store i32 -2023406815, i32* %5
%6 = getelementptr inbounds [4 x i32], [4 x i32]* %1, i64 0, i64 1
store i32 267242409, i32* %6
%7 = tail call i32 @calculat_group_numbers(i32 20, i32 44)
%8 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 0
%9 = call i32 @memory_move_write(i32 20, i32 44, i32* %5, i32 2, i32* %8, i32 %7)
%10 = load i32, i32* %8
%11 = icmp ne i32 %10, 839909376
%12 = getelementptr inbounds [4 x i32], [4 x i32]* %2, i64 0, i64 1
%13 = load i32, i32* %12
%14 = icmp ne i32 %13, -1164413356
%15 = select i1 %11, i1 true, i1 %14
%16 = sext i1 %15 to i32
ret i32 %16
}