void motion_result11(int *data) {
  int p = data[1];
  int i = data[0];
  if (p)
    do {
      i = i + 1;
      data[data[2]] = 2;
    } while (i < data[3]);
  else
    do {
      i = i + 2;
      data[data[2]] = 2;
    } while (i < data[3]);
}


x86 assembly (clang, -O0):
<motion_result11>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     115b <motion_result11+0x5b>
jmp    112a <motion_result11+0x2a>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq 0x8(%rcx),%rcx
movl   $0x2,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0xc(%rcx),%eax
jl     112a <motion_result11+0x2a>
jmp    1191 <motion_result11+0x91>
jmp    1160 <motion_result11+0x60>
mov    -0x10(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq 0x8(%rcx),%rcx
movl   $0x2,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    0xc(%rcx),%eax
jl     1160 <motion_result11+0x60>
jmp    1191 <motion_result11+0x91>
pop    %rbp
ret

x86 assembly (clang, -O2):
<motion_result11>:
mov    (%rdi),%eax
cmpl   $0x0,0x4(%rdi)
je     1130 <motion_result11+0x30>
nopl   0x0(%rax,%rax,1)
add    $0x1,%eax
movslq 0x8(%rdi),%rcx
movl   $0x2,(%rdi,%rcx,4)
cmp    0xc(%rdi),%eax
jl     1110 <motion_result11+0x10>
jmp    1143 <motion_result11+0x43>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x2,%eax
movslq 0x8(%rdi),%rcx
movl   $0x2,(%rdi,%rcx,4)
cmp    0xc(%rdi),%eax
jl     1130 <motion_result11+0x30>
ret

LLVM IR (-O0):
define void @motion_result11(i32* %0) {
%2 = alloca i32*
%3 = alloca i32
%4 = alloca i32
store i32* %0, i32** %2
%5 = load i32*, i32** %2
%6 = getelementptr inbounds i32, i32* %5, i64 1
%7 = load i32, i32* %6
store i32 %7, i32* %3
%8 = load i32*, i32** %2
%9 = getelementptr inbounds i32, i32* %8, i64 0
%10 = load i32, i32* %9
store i32 %10, i32* %4
%11 = load i32, i32* %3
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %30
13: ; preds = %1
br label %14
14: ; preds = %23, %13
%15 = load i32, i32* %4
%16 = add nsw i32 %15, 1
store i32 %16, i32* %4
%17 = load i32*, i32** %2
%18 = load i32*, i32** %2
%19 = getelementptr inbounds i32, i32* %18, i64 2
%20 = load i32, i32* %19
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %17, i64 %21
store i32 2, i32* %22
br label %23
23: ; preds = %14
%24 = load i32, i32* %4
%25 = load i32*, i32** %2
%26 = getelementptr inbounds i32, i32* %25, i64 3
%27 = load i32, i32* %26
%28 = icmp slt i32 %24, %27
br i1 %28, label %14, label %29
29: ; preds = %23
br label %47
30: ; preds = %1
br label %31
31: ; preds = %40, %30
%32 = load i32, i32* %4
%33 = add nsw i32 %32, 2
store i32 %33, i32* %4
%34 = load i32*, i32** %2
%35 = load i32*, i32** %2
%36 = getelementptr inbounds i32, i32* %35, i64 2
%37 = load i32, i32* %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %34, i64 %38
store i32 2, i32* %39
br label %40
40: ; preds = %31
%41 = load i32, i32* %4
%42 = load i32*, i32** %2
%43 = getelementptr inbounds i32, i32* %42, i64 3
%44 = load i32, i32* %43
%45 = icmp slt i32 %41, %44
br i1 %45, label %31, label %46
46: ; preds = %40
br label %47
47: ; preds = %46, %29
ret void
}

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