#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*/ system(char *);
void rm_files() {
  system(" rm -f .BBBcom .BBcom .Bver .Bmen .Benv .Berr .Bnum .Bprf "
         "btl_proof.dump");
  system(
      " rm -f .Bls .Bipr .Bses .Bopn .Bcom .Bed .Bbw .Brec .Bplx B.tmp .Bcjt");
  system(" rm -f  BB.tmp .Bhw .Bpw tmp.b tmp.c tmpb tmpc .Bprv .Bpob* .Bbbb "
         ".Btlb");
  system(" rm -f .Bpdu .Bsel .Bsb1 .Bsb2 .Bsb3 .Bpi* .Btad .Bhlp .Bxok");
  system(" rm -f .Bcjm .Bdmf .Bjob .Bplf .Bhyp .Bpla .Btty .Blog .Bpmd");
  system(
      " rm -f .Bini .Bcpp .Bler .Bter SRC/.BBcom SRC/.Bter .Bsta .Bfil .Bipl");
  system(" rm -f .B.bin .Blws .Bplt .Bpof .Bspo .Btac .Bthy .Btot .Bmvr");
  system(" rm -f TMP/.Bffi TMP/.Bffo");
  system(" rm -fr TMP");
}


x86 assembly (clang, -O0):
<rm_files>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <system@plt>
lea    0xf22(%rip),%rdi
call   1030 <system@plt>
lea    0xf5c(%rip),%rdi
call   1030 <system@plt>
lea    0xf98(%rip),%rdi
call   1030 <system@plt>
lea    0xfc9(%rip),%rdi
call   1030 <system@plt>
lea    0xffa(%rip),%rdi
call   1030 <system@plt>
lea    0x1034(%rip),%rdi
call   1030 <system@plt>
lea    0x1066(%rip),%rdi
call   1030 <system@plt>
lea    0x1075(%rip),%rdi
call   1030 <system@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rm_files>:
push   %rax
lea    0xee8(%rip),%rdi
call   1030 <system@plt>
lea    0xf25(%rip),%rdi
call   1030 <system@plt>
lea    0xf5f(%rip),%rdi
call   1030 <system@plt>
lea    0xf9b(%rip),%rdi
call   1030 <system@plt>
lea    0xfcc(%rip),%rdi
call   1030 <system@plt>
lea    0xffd(%rip),%rdi
call   1030 <system@plt>
lea    0x1037(%rip),%rdi
call   1030 <system@plt>
lea    0x1069(%rip),%rdi
call   1030 <system@plt>
lea    0x1078(%rip),%rdi
pop    %rax
jmp    1030 <system@plt>

LLVM IR (-O0):
@.str = [73 x i8] c" rm -f .BBBcom .BBcom .Bver .Bmen .Benv .Berr .Bnum .Bprf btl_proof.dump\00"
@.str.1 = [70 x i8] c" rm -f .Bls .Bipr .Bses .Bopn .Bcom .Bed .Bbw .Brec .Bplx B.tmp .Bcjt\00"
@.str.2 = [72 x i8] c" rm -f BB.tmp .Bhw .Bpw tmp.b tmp.c tmpb tmpc .Bprv .Bpob* .Bbbb .Btlb\00"
@.str.3 = [61 x i8] c" rm -f .Bpdu .Bsel .Bsb1 .Bsb2 .Bsb3 .Bpi* .Btad .Bhlp .Bxok\00"
@.str.4 = [61 x i8] c" rm -f .Bcjm .Bdmf .Bjob .Bplf .Bhyp .Bpla .Btty .Blog .Bpmd\00"
@.str.5 = [70 x i8] c" rm -f .Bini .Bcpp .Bler .Bter SRC/.BBcom SRC/.Bter .Bsta .Bfil .Bipl\00"
@.str.6 = [62 x i8] c" rm -f .B.bin .Blws .Bplt .Bpof .Bspo .Btac .Bthy .Btot .Bmvr\00"
@.str.7 = [27 x i8] c" rm -f TMP/.Bffi TMP/.Bffo\00"
@.str.8 = [12 x i8] c" rm -fr TMP\00"
define void @rm_files() {
%1 = call i32 @system(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @system(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @system(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @system(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @system(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @system(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @system(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @system(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 @system(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.8, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [73 x i8] c" rm -f .BBBcom .BBcom .Bver .Bmen .Benv .Berr .Bnum .Bprf btl_proof.dump\00"
@.str.1 = [70 x i8] c" rm -f .Bls .Bipr .Bses .Bopn .Bcom .Bed .Bbw .Brec .Bplx B.tmp .Bcjt\00"
@.str.2 = [72 x i8] c" rm -f BB.tmp .Bhw .Bpw tmp.b tmp.c tmpb tmpc .Bprv .Bpob* .Bbbb .Btlb\00"
@.str.3 = [61 x i8] c" rm -f .Bpdu .Bsel .Bsb1 .Bsb2 .Bsb3 .Bpi* .Btad .Bhlp .Bxok\00"
@.str.4 = [61 x i8] c" rm -f .Bcjm .Bdmf .Bjob .Bplf .Bhyp .Bpla .Btty .Blog .Bpmd\00"
@.str.5 = [70 x i8] c" rm -f .Bini .Bcpp .Bler .Bter SRC/.BBcom SRC/.Bter .Bsta .Bfil .Bipl\00"
@.str.6 = [62 x i8] c" rm -f .B.bin .Blws .Bplt .Bpof .Bspo .Btac .Bthy .Btot .Bmvr\00"
@.str.7 = [27 x i8] c" rm -f TMP/.Bffi TMP/.Bffo\00"
@.str.8 = [12 x i8] c" rm -fr TMP\00"
define void @rm_files() {
%1 = tail call i32 @system(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str, i64 0, i64 0))
%2 = tail call i32 @system(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.1, i64 0, i64 0))
%3 = tail call i32 @system(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.2, i64 0, i64 0))
%4 = tail call i32 @system(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.3, i64 0, i64 0))
%5 = tail call i32 @system(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.4, i64 0, i64 0))
%6 = tail call i32 @system(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.5, i64 0, i64 0))
%7 = tail call i32 @system(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.6, i64 0, i64 0))
%8 = tail call i32 @system(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.7, i64 0, i64 0))
%9 = tail call i32 @system(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.8, i64 0, i64 0))
ret void
}