#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 /*<<< orphan*/ printf(char *, ...);
int colocaordem(char *vetora, char *vetorb, void *remov, int m) {
  int i, removeu = 0;
  int *removidos = (int *)remov;
  if (0) {
    printf("vetor removidos recebido em colocaordem:\n");
    for (i = 0; i < m; i++) {
      printf("%d ", removidos[i]);
    }
    printf("\n");
  }
  i = 0;
  while (i < m && removidos[i] == 1)
    i++;
  if (0) {
    printf("%d<=0== i\n", i);
  }
  while (i < m && vetora[i] >= vetorb[i]) {
    if (0) {
      printf("%d<=1== i\n", i);
      printf("teste executado: %c == %c\n", vetora[i], vetorb[i]);
      printf("resultado: %d\n", vetora[i] == vetorb[i]);
    }
    while (i < m && vetora[i] == vetorb[i])
      do {
        i++;
      } while (i < m && removidos[i] == 1);
    if (0) {
      printf("%d<=2== i\n", i);
    }
    if (i < m && vetora[i] > vetorb[i]) {
      removidos[i] = 1;
      removeu = 1;
      do {
        i++;
      } while (i < m && removidos[i] == 1);
    }
    if (0) {
      printf("%d<=3== i\n", i);
      printf("teste executado: %c >= %c\n", vetora[i], vetorb[i]);
      printf("resultado: %d\n", vetora[i] >= vetorb[i]);
    }
  }
  return removeu;
}


x86 assembly (clang, -O0):
<colocaordem>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x31(%rbp)
jge    114c <colocaordem+0x4c>
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    115c <colocaordem+0x5c>
jmp    116a <colocaordem+0x6a>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1129 <colocaordem+0x29>
jmp    116f <colocaordem+0x6f>
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x32(%rbp)
jge    11a0 <colocaordem+0xa0>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setge  %al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
test   $0x1,%al
jne    11b0 <colocaordem+0xb0>
jmp    12ba <colocaordem+0x1ba>
jmp    11b5 <colocaordem+0xb5>
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x33(%rbp)
jge    11e6 <colocaordem+0xe6>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x33(%rbp)
mov    -0x33(%rbp),%al
test   $0x1,%al
jne    11f6 <colocaordem+0xf6>
jmp    1237 <colocaordem+0x137>
jmp    11fb <colocaordem+0xfb>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x34(%rbp)
jge    1227 <colocaordem+0x127>
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
sete   %al
mov    %al,-0x34(%rbp)
mov    -0x34(%rbp),%al
test   $0x1,%al
jne    11fb <colocaordem+0xfb>
jmp    11b5 <colocaordem+0xb5>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12b5 <colocaordem+0x1b5>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jle    12b5 <colocaordem+0x1b5>
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
movl   $0x1,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x35(%rbp)
jge    12a5 <colocaordem+0x1a5>
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
sete   %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    1279 <colocaordem+0x179>
jmp    12b5 <colocaordem+0x1b5>
jmp    116f <colocaordem+0x6f>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<colocaordem>:
push   %rbx
xor    %eax,%eax
mov    $0x0,%r8d
test   %ecx,%ecx
jle    1134 <colocaordem+0x34>
mov    %ecx,%ebx
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmpl   $0x1,(%rdx,%r8,4)
jne    1134 <colocaordem+0x34>
add    $0x1,%r8
cmp    %r8,%rbx
jne    1120 <colocaordem+0x20>
xor    %eax,%eax
pop    %rbx
ret
cmp    %ecx,%r8d
jge    11ce <colocaordem+0xce>
movslq %ecx,%r9
xor    %eax,%eax
jmp    1155 <colocaordem+0x55>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %ecx,%r8d
jge    11ce <colocaordem+0xce>
movslq %r8d,%r10
mov    (%rdi,%r10,1),%r11b
mov    (%rsi,%r10,1),%bl
cmp    %bl,%r11b
jl     11ce <colocaordem+0xce>
cmp    %ecx,%r8d
jge    1150 <colocaordem+0x50>
cmp    %bl,%r11b
jne    119a <colocaordem+0x9a>
lea    0x1(%r10),%r8
cmp    %r9,%r8
jge    11ce <colocaordem+0xce>
cmpl   $0x1,0x4(%rdx,%r10,4)
mov    %r8,%r10
je     116f <colocaordem+0x6f>
cmp    %ecx,%r8d
jge    1150 <colocaordem+0x50>
movslq %r8d,%r10
movzbl (%rdi,%r10,1),%r11d
movzbl (%rsi,%r10,1),%ebx
cmp    %bl,%r11b
je     116f <colocaordem+0x6f>
cmp    %bl,%r11b
jle    1150 <colocaordem+0x50>
movl   $0x1,(%rdx,%r10,4)
add    $0x1,%r10
nopl   0x0(%rax,%rax,1)
cmp    %r9,%r10
jge    11d0 <colocaordem+0xd0>
lea    0x1(%r10),%r8
cmpl   $0x1,(%rdx,%r10,4)
mov    %r8,%r10
je     11b0 <colocaordem+0xb0>
add    $0xffffffff,%r8d
mov    $0x1,%eax
jmp    1150 <colocaordem+0x50>
pop    %rbx
ret
mov    $0x1,%eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @colocaordem(i8* nocapture %0, i8* nocapture %1, i8* nocapture %2, i32 %3) {
%5 = bitcast i8* %2 to i32*
%6 = icmp sgt i32 %3, 0
br i1 %6, label %7, label %19
7: ; preds = %4
%8 = zext i32 %3 to i64
br label %9
9: ; preds = %7, %14
%10 = phi i64 [ 0, %7 ], [ %15, %14 ]
%11 = getelementptr inbounds i32, i32* %5, i64 %10
%12 = load i32, i32* %11
%13 = icmp eq i32 %12, 1
br i1 %13, label %14, label %17
14: ; preds = %9
%15 = add nuw nsw i64 %10, 1
%16 = icmp eq i64 %15, %8
br i1 %16, label %87, label %9
17: ; preds = %9
%18 = trunc i64 %10 to i32
br label %19
19: ; preds = %17, %4
%20 = phi i32 [ 0, %4 ], [ %18, %17 ]
%21 = icmp slt i32 %20, %3
br i1 %21, label %22, label %87
22: ; preds = %19
%23 = sext i32 %3 to i64
br label %24
24: ; preds = %22, %83
%25 = phi i32 [ %85, %83 ], [ %20, %22 ]
%26 = phi i32 [ %84, %83 ], [ 0, %22 ]
%27 = sext i32 %25 to i64
%28 = getelementptr inbounds i8, i8* %0, i64 %27
%29 = load i8, i8* %28
%30 = getelementptr inbounds i8, i8* %1, i64 %27
%31 = load i8, i8* %30
%32 = icmp slt i8 %29, %31
br i1 %32, label %87, label %33
33: ; preds = %24
%34 = icmp slt i32 %25, %3
br i1 %34, label %35, label %83
35: ; preds = %33
%36 = sext i32 %25 to i64
%37 = icmp eq i8 %29, %31
br i1 %37, label %38, label %63
38: ; preds = %35, %46
%39 = phi i64 [ %47, %46 ], [ %36, %35 ]
%40 = add nsw i64 %39, 1
%41 = icmp slt i64 %40, %23
br i1 %41, label %42, label %87
42: ; preds = %38
%43 = getelementptr inbounds i32, i32* %5, i64 %40
%44 = load i32, i32* %43
%45 = icmp eq i32 %44, 1
br i1 %45, label %46, label %48
46: ; preds = %42, %51
%47 = phi i64 [ %40, %42 ], [ %59, %51 ]
br label %38
48: ; preds = %42
%49 = trunc i64 %40 to i32
%50 = icmp slt i32 %49, %3
br i1 %50, label %51, label %81
51: ; preds = %48
%52 = shl i64 %40, 32
%53 = ashr exact i64 %52, 32
%54 = getelementptr inbounds i8, i8* %0, i64 %53
%55 = load i8, i8* %54
%56 = getelementptr inbounds i8, i8* %1, i64 %53
%57 = load i8, i8* %56
%58 = shl i64 %40, 32
%59 = ashr exact i64 %58, 32
%60 = icmp eq i8 %55, %57
br i1 %60, label %46, label %61
61: ; preds = %51
%62 = trunc i64 %40 to i32
br label %63
63: ; preds = %61, %35
%64 = phi i8 [ %31, %35 ], [ %57, %61 ]
%65 = phi i8 [ %29, %35 ], [ %55, %61 ]
%66 = phi i32 [ %25, %35 ], [ %62, %61 ]
%67 = phi i64 [ %36, %35 ], [ %59, %61 ]
%68 = icmp sgt i8 %65, %64
br i1 %68, label %69, label %83
69: ; preds = %63
%70 = getelementptr inbounds i32, i32* %5, i64 %67
store i32 1, i32* %70
br label %71
71: ; preds = %75, %69
%72 = phi i64 [ %73, %75 ], [ %67, %69 ]
%73 = add nsw i64 %72, 1
%74 = icmp slt i64 %73, %23
br i1 %74, label %75, label %87
75: ; preds = %71
%76 = getelementptr inbounds i32, i32* %5, i64 %73
%77 = load i32, i32* %76
%78 = icmp eq i32 %77, 1
br i1 %78, label %71, label %79
79: ; preds = %75
%80 = trunc i64 %73 to i32
br label %83
81: ; preds = %48
%82 = trunc i64 %40 to i32
br label %83
83: ; preds = %81, %79, %33, %63
%84 = phi i32 [ %26, %63 ], [ %26, %33 ], [ 1, %79 ], [ %26, %81 ]
%85 = phi i32 [ %66, %63 ], [ %25, %33 ], [ %80, %79 ], [ %82, %81 ]
%86 = icmp slt i32 %85, %3
br i1 %86, label %24, label %87
87: ; preds = %14, %24, %83, %38, %71, %19
%88 = phi i32 [ 0, %19 ], [ 1, %71 ], [ %26, %38 ], [ %84, %83 ], [ %26, %24 ], [ 0, %14 ]
ret i32 %88
}