#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 */
typedef int /*<<< orphan*/ pid_t;

/* Variables and functions */
scalar_t__ PATH_MAX;
int /*<<< orphan*/ PTRACE_PEEKUSER;
int /*<<< orphan*/ PTRACE_POKETEXT;
int /*<<< orphan*/ PTRACE_POKEUSER;
int RDI;
int RSP;
scalar_t__ ptrace(int /*<<< orphan*/, int /*<<< orphan*/, ...);
void redirect_file(pid_t child, const char *file) {
  char *stack_addr, *file_addr;
  stack_addr = (char *)ptrace(PTRACE_PEEKUSER, child, sizeof(long) * RSP, 0);
  stack_addr -= 128 + PATH_MAX;
  file_addr = stack_addr;
  do {
    int i;
    char val[sizeof(long)];
    for (i = 0; i < sizeof(long); ++i, ++file) {
      val[i] = *file;
      if (*file == '\0')
        break;
    }
    ptrace(PTRACE_POKETEXT, child, stack_addr, *(long *)val);
    stack_addr += sizeof(long);
  } while (*file);
  ptrace(PTRACE_POKEUSER, child, sizeof(long) * RDI, file_addr);
}


x86 assembly (clang, -O0):
<redirect_file>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    0x2e8a(%rip),%rax
mov    (%rax),%edi
mov    -0x4(%rbp),%esi
mov    0x2e96(%rip),%rax
movslq (%rax),%rdx
shl    $0x3,%rdx
xor    %ecx,%ecx
mov    $0x0,%al
call   1030 <ptrace@plt>
mov    %rax,-0x18(%rbp)
mov    0x2ea3(%rip),%rax
mov    (%rax),%rdx
add    $0x80,%rdx
mov    -0x18(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rax
cmp    $0x8,%rax
jae    11c6 <redirect_file+0xb6>
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
movslq -0x24(%rbp),%rax
mov    %cl,-0x2c(%rbp,%rax,1)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11a7 <redirect_file+0x97>
jmp    11c6 <redirect_file+0xb6>
jmp    11ac <redirect_file+0x9c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1176 <redirect_file+0x66>
mov    0x2df3(%rip),%rax
mov    (%rax),%edi
mov    -0x4(%rbp),%esi
mov    -0x18(%rbp),%rdx
mov    -0x2c(%rbp),%rcx
mov    $0x0,%al
call   1030 <ptrace@plt>
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    116f <redirect_file+0x5f>
mov    0x2dd7(%rip),%rax
mov    (%rax),%edi
mov    -0x4(%rbp),%esi
mov    0x2ddb(%rip),%rax
movslq (%rax),%rdx
shl    $0x3,%rdx
mov    -0x20(%rbp),%rcx
mov    $0x0,%al
call   1030 <ptrace@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<redirect_file>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
mov    %edi,%esi
mov    0x2e86(%rip),%rax
mov    (%rax),%edi
mov    0x2e95(%rip),%rax
movslq (%rax),%rdx
shl    $0x3,%rdx
mov    %esi,0xc(%rsp)
xor    %ecx,%ecx
xor    %eax,%eax
call   1030 <ptrace@plt>
mov    0x2ea2(%rip),%rcx
mov    (%rcx),%rcx
neg    %rcx
lea    (%rax,%rcx,1),%rbp
add    $0xffffffffffffff80,%rbp
mov    (%rbx),%al
mov    %ecx,0x4(%rsp)
mov    %ecx,0x8(%rsp)
mov    %rbp,0x10(%rsp)
jmp    11f0 <redirect_file+0xe0>
add    $0x1,%rbx
xor    %r14d,%r14d
mov    0x2e42(%rip),%rcx
mov    (%rcx),%edi
movzbl 0x3(%rsp),%ecx
shl    $0x38,%rcx
movzbl 0x4(%rsp),%edx
shl    $0x30,%rdx
or     %rcx,%rdx
movzbl 0x8(%rsp),%ecx
shl    $0x28,%rcx
or     %rdx,%rcx
movzbl %r12b,%edx
shl    $0x20,%rdx
or     %rcx,%rdx
movzbl %r15b,%ecx
shl    $0x18,%rcx
or     %rdx,%rcx
movzbl %r13b,%edx
shl    $0x10,%rdx
or     %rcx,%rdx
movzbl %r14b,%esi
shl    $0x8,%rsi
or     %rdx,%rsi
movzbl %al,%ecx
or     %rsi,%rcx
mov    0xc(%rsp),%esi
mov    %rbp,%rdx
xor    %eax,%eax
call   1030 <ptrace@plt>
add    $0x8,%rbp
movzbl (%rbx),%eax
test   %al,%al
je     129c <redirect_file+0x18c>
test   %al,%al
je     1177 <redirect_file+0x67>
movzbl 0x1(%rbx),%r14d
test   %r14b,%r14b
je     1170 <redirect_file+0x60>
movzbl 0x2(%rbx),%r13d
test   %r13b,%r13b
je     124d <redirect_file+0x13d>
movzbl 0x3(%rbx),%r15d
test   %r15b,%r15b
je     1259 <redirect_file+0x149>
movzbl 0x4(%rbx),%r12d
test   %r12b,%r12b
je     1265 <redirect_file+0x155>
movzbl 0x5(%rbx),%ecx
mov    %ecx,0x8(%rsp)
test   %cl,%cl
je     1271 <redirect_file+0x161>
movzbl 0x6(%rbx),%ecx
mov    %ecx,0x4(%rsp)
test   %cl,%cl
je     1282 <redirect_file+0x172>
movzbl 0x7(%rbx),%ecx
mov    %cl,0x3(%rsp)
test   %cl,%cl
je     1293 <redirect_file+0x183>
add    $0x8,%rbx
jmp    1177 <redirect_file+0x67>
add    $0x2,%rbx
xor    %r13d,%r13d
jmp    1177 <redirect_file+0x67>
add    $0x3,%rbx
xor    %r15d,%r15d
jmp    1177 <redirect_file+0x67>
add    $0x4,%rbx
xor    %r12d,%r12d
jmp    1177 <redirect_file+0x67>
add    $0x5,%rbx
movl   $0x0,0x8(%rsp)
jmp    1177 <redirect_file+0x67>
add    $0x6,%rbx
movl   $0x0,0x4(%rsp)
jmp    1177 <redirect_file+0x67>
add    $0x7,%rbx
jmp    1177 <redirect_file+0x67>
mov    0x2d35(%rip),%rax
mov    (%rax),%edi
mov    0x2d3c(%rip),%rax
movslq (%rax),%rdx
shl    $0x3,%rdx
mov    0xc(%rsp),%esi
mov    0x10(%rsp),%rcx
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <ptrace@plt>

LLVM IR (-O0):
@PTRACE_PEEKUSER = global i32 0
@RSP = global i32 0
@PATH_MAX = global i64 0
@PTRACE_POKETEXT = global i32 0
@PTRACE_POKEUSER = global i32 0
@RDI = global i32 0
define void @redirect_file(i32 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca [8 x i8]
store i32 %0, i32* %3
store i8* %1, i8** %4
%9 = load i32, i32* @PTRACE_PEEKUSER
%10 = load i32, i32* %3
%11 = load i32, i32* @RSP
%12 = sext i32 %11 to i64
%13 = mul i64 8, %12
%14 = call i64 (i32, i32, ...) @ptrace(i32 %9, i32 %10, i64 %13, i32 0)
%15 = inttoptr i64 %14 to i8*
store i8* %15, i8** %5
%16 = load i64, i64* @PATH_MAX
%17 = add nsw i64 128, %16
%18 = load i8*, i8** %5
%19 = sub i64 0, %17
%20 = getelementptr inbounds i8, i8* %18, i64 %19
store i8* %20, i8** %5
%21 = load i8*, i8** %5
store i8* %21, i8** %6
br label %22
22: ; preds = %54, %2
store i32 0, i32* %7
br label %23
23: ; preds = %39, %22
%24 = load i32, i32* %7
%25 = sext i32 %24 to i64
%26 = icmp ult i64 %25, 8
br i1 %26, label %27, label %44
27: ; preds = %23
%28 = load i8*, i8** %4
%29 = load i8, i8* %28
%30 = load i32, i32* %7
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [8 x i8], [8 x i8]* %8, i64 0, i64 %31
store i8 %29, i8* %32
%33 = load i8*, i8** %4
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %38
37: ; preds = %27
br label %44
38: ; preds = %27
br label %39
39: ; preds = %38
%40 = load i32, i32* %7
%41 = add nsw i32 %40, 1
store i32 %41, i32* %7
%42 = load i8*, i8** %4
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %4
br label %23
44: ; preds = %37, %23
%45 = load i32, i32* @PTRACE_POKETEXT
%46 = load i32, i32* %3
%47 = load i8*, i8** %5
%48 = getelementptr inbounds [8 x i8], [8 x i8]* %8, i64 0, i64 0
%49 = bitcast i8* %48 to i64*
%50 = load i64, i64* %49
%51 = call i64 (i32, i32, ...) @ptrace(i32 %45, i32 %46, i8* %47, i64 %50)
%52 = load i8*, i8** %5
%53 = getelementptr inbounds i8, i8* %52, i64 8
store i8* %53, i8** %5
br label %54
54: ; preds = %44
%55 = load i8*, i8** %4
%56 = load i8, i8* %55
%57 = icmp ne i8 %56, 0
br i1 %57, label %22, label %58
58: ; preds = %54
%59 = load i32, i32* @PTRACE_POKEUSER
%60 = load i32, i32* %3
%61 = load i32, i32* @RDI
%62 = sext i32 %61 to i64
%63 = mul i64 8, %62
%64 = load i8*, i8** %6
%65 = call i64 (i32, i32, ...) @ptrace(i32 %59, i32 %60, i64 %63, i8* %64)
ret void
}

LLVM IR (-O2):
@PTRACE_PEEKUSER = global i32 0
@RSP = global i32 0
@PATH_MAX = global i64 0
@PTRACE_POKETEXT = global i32 0
@PTRACE_POKEUSER = global i32 0
@RDI = global i32 0
define void @redirect_file(i32 %0, i8* nocapture %1) {
%3 = load i32, i32* @PTRACE_PEEKUSER
%4 = load i32, i32* @RSP
%5 = sext i32 %4 to i64
%6 = shl nsw i64 %5, 3
%7 = tail call i64 (i32, i32, ...) @ptrace(i32 %3, i32 %0, i64 %6, i32 0)
%8 = inttoptr i64 %7 to i8*
%9 = load i64, i64* @PATH_MAX
%10 = sub i64 -128, %9
%11 = getelementptr inbounds i8, i8* %8, i64 %10
%12 = load i8, i8* %1
br label %13
13: ; preds = %55, %2
%14 = phi i8 [ %12, %2 ], [ %89, %55 ]
%15 = phi i8 [ undef, %2 ], [ %56, %55 ]
%16 = phi i8 [ undef, %2 ], [ %57, %55 ]
%17 = phi i8 [ undef, %2 ], [ %58, %55 ]
%18 = phi i8 [ undef, %2 ], [ %59, %55 ]
%19 = phi i8 [ undef, %2 ], [ %60, %55 ]
%20 = phi i8 [ undef, %2 ], [ %61, %55 ]
%21 = phi i8 [ undef, %2 ], [ %62, %55 ]
%22 = phi i8* [ %11, %2 ], [ %88, %55 ]
%23 = phi i8* [ %1, %2 ], [ %63, %55 ]
%24 = icmp eq i8 %14, 0
br i1 %24, label %55, label %25
25: ; preds = %13
%26 = getelementptr inbounds i8, i8* %23, i64 1
%27 = load i8, i8* %26
%28 = icmp eq i8 %27, 0
br i1 %28, label %55, label %29
29: ; preds = %25
%30 = getelementptr inbounds i8, i8* %23, i64 2
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 0
br i1 %32, label %55, label %33
33: ; preds = %29
%34 = getelementptr inbounds i8, i8* %23, i64 3
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 0
br i1 %36, label %55, label %37
37: ; preds = %33
%38 = getelementptr inbounds i8, i8* %23, i64 4
%39 = load i8, i8* %38
%40 = icmp eq i8 %39, 0
br i1 %40, label %55, label %41
41: ; preds = %37
%42 = getelementptr inbounds i8, i8* %23, i64 5
%43 = load i8, i8* %42
%44 = icmp eq i8 %43, 0
br i1 %44, label %55, label %45
45: ; preds = %41
%46 = getelementptr inbounds i8, i8* %23, i64 6
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 0
br i1 %48, label %55, label %49
49: ; preds = %45
%50 = getelementptr inbounds i8, i8* %23, i64 7
%51 = load i8, i8* %50
%52 = icmp eq i8 %51, 0
%53 = getelementptr inbounds i8, i8* %23, i64 8
%54 = select i1 %52, i8* %50, i8* %53
br label %55
55: ; preds = %49, %45, %41, %37, %33, %29, %25, %13
%56 = phi i8 [ %15, %13 ], [ %15, %25 ], [ %15, %29 ], [ %15, %33 ], [ %15, %37 ], [ %15, %41 ], [ 0, %45 ], [ %47, %49 ]
%57 = phi i8 [ %16, %13 ], [ %16, %25 ], [ %16, %29 ], [ %16, %33 ], [ %16, %37 ], [ 0, %41 ], [ %43, %45 ], [ %43, %49 ]
%58 = phi i8 [ %17, %13 ], [ %17, %25 ], [ %17, %29 ], [ %17, %33 ], [ 0, %37 ], [ %39, %41 ], [ %39, %45 ], [ %39, %49 ]
%59 = phi i8 [ %18, %13 ], [ %18, %25 ], [ %18, %29 ], [ 0, %33 ], [ %35, %37 ], [ %35, %41 ], [ %35, %45 ], [ %35, %49 ]
%60 = phi i8 [ %19, %13 ], [ %19, %25 ], [ 0, %29 ], [ %31, %33 ], [ %31, %37 ], [ %31, %41 ], [ %31, %45 ], [ %31, %49 ]
%61 = phi i8 [ %20, %13 ], [ 0, %25 ], [ %27, %29 ], [ %27, %33 ], [ %27, %37 ], [ %27, %41 ], [ %27, %45 ], [ %27, %49 ]
%62 = phi i8 [ %21, %13 ], [ %21, %25 ], [ %21, %29 ], [ %21, %33 ], [ %21, %37 ], [ %21, %41 ], [ %21, %45 ], [ %51, %49 ]
%63 = phi i8* [ %23, %13 ], [ %26, %25 ], [ %30, %29 ], [ %34, %33 ], [ %38, %37 ], [ %42, %41 ], [ %46, %45 ], [ %54, %49 ]
%64 = load i32, i32* @PTRACE_POKETEXT
%65 = zext i8 %62 to i64
%66 = shl nuw i64 %65, 56
%67 = zext i8 %56 to i64
%68 = shl nuw nsw i64 %67, 48
%69 = or i64 %66, %68
%70 = zext i8 %57 to i64
%71 = shl nuw nsw i64 %70, 40
%72 = or i64 %69, %71
%73 = zext i8 %58 to i64
%74 = shl nuw nsw i64 %73, 32
%75 = or i64 %72, %74
%76 = zext i8 %59 to i64
%77 = shl nuw nsw i64 %76, 24
%78 = or i64 %75, %77
%79 = zext i8 %60 to i64
%80 = shl nuw nsw i64 %79, 16
%81 = zext i8 %61 to i64
%82 = shl nuw nsw i64 %81, 8
%83 = or i64 %78, %80
%84 = zext i8 %14 to i64
%85 = or i64 %83, %82
%86 = or i64 %85, %84
%87 = tail call i64 (i32, i32, ...) @ptrace(i32 %64, i32 %0, i8* %22, i64 %86)
%88 = getelementptr inbounds i8, i8* %22, i64 8
%89 = load i8, i8* %63
%90 = icmp eq i8 %89, 0
br i1 %90, label %91, label %13
91: ; preds = %55
%92 = load i32, i32* @PTRACE_POKEUSER
%93 = load i32, i32* @RDI
%94 = sext i32 %93 to i64
%95 = shl nsw i64 %94, 3
%96 = tail call i64 (i32, i32, ...) @ptrace(i32 %92, i32 %0, i64 %95, i8* %11)
ret void
}