#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 *, ...);
void print_graph_exchange(int *A, int A_length, int he, int she,
                          char graph[][8]) {
  int i, j;
  char temp[8] = {' '};
  for (i = 0; i < A_length; i++) {
    temp[i] = graph[i][he];
    graph[i][he] = graph[i][she];
    graph[i][she] = temp[i];
  }
  for (i = 7; i >= 0; i--) {
    for (j = 0; j < he; j++)
      printf("  ");
    printf("%c ", graph[i][he]);
    for (j = he + 1; j < she; j++)
      printf("  ");
    printf("%c ", graph[i][she]);
    for (j = she + 1; j < 8; j++)
      printf("  ");
    printf("\n");
  }
}


x86 assembly (clang, -O0):
<print_graph_exchange>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    0xed0(%rip),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11bd <print_graph_exchange+0xad>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x24(%rbp),%rax
mov    %cl,-0x30(%rbp,%rax,1)
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
movslq -0x24(%rbp),%rax
mov    -0x30(%rbp,%rax,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    113b <print_graph_exchange+0x2b>
movl   $0x7,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     12c3 <print_graph_exchange+0x1b3>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11fd <print_graph_exchange+0xed>
lea    0xe20(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11d5 <print_graph_exchange+0xc5>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xdf0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1253 <print_graph_exchange+0x143>
lea    0xdca(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    122b <print_graph_exchange+0x11b>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xd9a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x8,-0x28(%rbp)
jge    12a7 <print_graph_exchange+0x197>
lea    0xd76(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1281 <print_graph_exchange+0x171>
lea    0xd61(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    11c4 <print_graph_exchange+0xb4>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_graph_exchange>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8,0x18(%rsp)
mov    %ecx,%r12d
mov    %rdx,0x20(%rsp)
movslq %edx,%rax
mov    %rax,0x10(%rsp)
movslq %ecx,%rax
mov    %rax,0x8(%rsp)
test   %esi,%esi
jle    11ce <print_graph_exchange+0xae>
mov    %esi,%ebp
cmp    $0x1,%esi
jne    115a <print_graph_exchange+0x3a>
xor    %ecx,%ecx
jmp    11a9 <print_graph_exchange+0x89>
mov    %ebp,%edx
and    $0xfffffffe,%edx
mov    0x18(%rsp),%rax
mov    0x10(%rsp),%rcx
lea    (%rax,%rcx,1),%rsi
add    $0x8,%rsi
mov    0x8(%rsp),%rcx
lea    (%rax,%rcx,1),%rdi
add    $0x8,%rdi
xor    %ecx,%ecx
movzbl -0x8(%rsi,%rcx,8),%ebx
movzbl -0x8(%rdi,%rcx,8),%eax
mov    %al,-0x8(%rsi,%rcx,8)
mov    %bl,-0x8(%rdi,%rcx,8)
movzbl (%rsi,%rcx,8),%eax
movzbl (%rdi,%rcx,8),%ebx
mov    %bl,(%rsi,%rcx,8)
mov    %al,(%rdi,%rcx,8)
add    $0x2,%rcx
cmp    %rcx,%rdx
jne    1180 <print_graph_exchange+0x60>
test   $0x1,%bpl
je     11ce <print_graph_exchange+0xae>
mov    0x18(%rsp),%rax
lea    (%rax,%rcx,8),%rax
mov    0x10(%rsp),%rsi
mov    (%rsi,%rax,1),%cl
mov    0x8(%rsp),%rdi
mov    (%rdi,%rax,1),%dl
mov    %dl,(%rsi,%rax,1)
mov    %cl,(%rdi,%rax,1)
mov    0x20(%rsp),%rcx
lea    0x1(%rcx),%eax
mov    %eax,0x34(%rsp)
mov    %ecx,%eax
not    %eax
add    %r12d,%eax
mov    %eax,0x30(%rsp)
lea    -0x7(%r12),%eax
mov    %eax,0x2c(%rsp)
mov    $0x7,%r14d
lea    0xe05(%rip),%rbx
lea    0xe01(%rip),%r13
jmp    1224 <print_graph_exchange+0x104>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    $0xa,%edi
call   1030 <putchar@plt>
sub    $0x1,%r14
jb     12d3 <print_graph_exchange+0x1b3>
cmpl   $0x0,0x20(%rsp)
jle    124f <print_graph_exchange+0x12f>
mov    0x20(%rsp),%rax
mov    %eax,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %rbx,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffff,%ebp
jne    1240 <print_graph_exchange+0x120>
mov    0x18(%rsp),%rax
lea    (%rax,%r14,8),%rbp
mov    0x10(%rsp),%rax
movsbl (%rax,%rbp,1),%esi
mov    %r13,%r15
mov    %r13,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    %r12d,0x34(%rsp)
jge    1290 <print_graph_exchange+0x170>
mov    0x30(%rsp),%r13d
nopw   0x0(%rax,%rax,1)
mov    %rbx,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffff,%r13d
jne    1280 <print_graph_exchange+0x160>
mov    0x8(%rsp),%rax
movsbl (%rax,%rbp,1),%esi
mov    %r15,%r13
mov    %r15,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    $0x6,%r12d
jg     1210 <print_graph_exchange+0xf0>
mov    0x2c(%rsp),%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rbx,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
inc    %ebp
jne    12c0 <print_graph_exchange+0x1a0>
jmp    1210 <print_graph_exchange+0xf0>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c" \00"
@.str.1 = [4 x i8] c"%c \00"
define void @print_graph_exchange(i32* nocapture readnone %0, i32 %1, i32 %2, i32 %3, [8 x i8]* nocapture %4) {
%6 = icmp sgt i32 %1, 0
%7 = sext i32 %2 to i64
%8 = sext i32 %3 to i64
br i1 %6, label %9, label %23
9: ; preds = %5
%10 = zext i32 %1 to i64
%11 = and i64 %10, 1
%12 = icmp eq i32 %1, 1
br i1 %12, label %15, label %13
13: ; preds = %9
%14 = and i64 %10, 4294967294
br label %28
15: ; preds = %28, %9
%16 = phi i64 [ 0, %9 ], [ %40, %28 ]
%17 = icmp eq i64 %11, 0
br i1 %17, label %23, label %18
18: ; preds = %15
%19 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %16, i64 %7
%20 = load i8, i8* %19
%21 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %16, i64 %8
%22 = load i8, i8* %21
store i8 %22, i8* %19
store i8 %20, i8* %21
br label %23
23: ; preds = %18, %15, %5
%24 = icmp sgt i32 %2, 0
%25 = add nsw i32 %2, 1
%26 = icmp slt i32 %25, %3
%27 = icmp slt i32 %3, 7
br label %43
28: ; preds = %28, %13
%29 = phi i64 [ 0, %13 ], [ %40, %28 ]
%30 = phi i64 [ 0, %13 ], [ %41, %28 ]
%31 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %29, i64 %7
%32 = load i8, i8* %31
%33 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %29, i64 %8
%34 = load i8, i8* %33
store i8 %34, i8* %31
store i8 %32, i8* %33
%35 = or i64 %29, 1
%36 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %35, i64 %7
%37 = load i8, i8* %36
%38 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %35, i64 %8
%39 = load i8, i8* %38
store i8 %39, i8* %36
store i8 %37, i8* %38
%40 = add nuw nsw i64 %29, 2
%41 = add i64 %30, 2
%42 = icmp eq i64 %41, %14
br i1 %42, label %15, label %28
43: ; preds = %23, %70
%44 = phi i64 [ 7, %23 ], [ %72, %70 ]
br i1 %24, label %45, label %50
45: ; preds = %43, %45
%46 = phi i32 [ %48, %45 ], [ 0, %43 ]
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%48 = add nuw nsw i32 %46, 1
%49 = icmp eq i32 %48, %2
br i1 %49, label %50, label %45
50: ; preds = %45, %43
%51 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %44, i64 %7
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %53)
br i1 %26, label %55, label %60
55: ; preds = %50, %55
%56 = phi i32 [ %58, %55 ], [ %25, %50 ]
%57 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%58 = add i32 %56, 1
%59 = icmp eq i32 %58, %3
br i1 %59, label %60, label %55
60: ; preds = %55, %50
%61 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 %44, i64 %8
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %63)
br i1 %27, label %65, label %70
65: ; preds = %60, %65
%66 = phi i32 [ %67, %65 ], [ %3, %60 ]
%67 = add i32 %66, 1
%68 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%69 = icmp eq i32 %67, 7
br i1 %69, label %70, label %65
70: ; preds = %65, %60
%71 = tail call i32 @putchar(i32 10)
%72 = add nsw i64 %44, -1
%73 = icmp eq i64 %44, 0
br i1 %73, label %74, label %43
74: ; preds = %70
ret void
}