ZYM/MXCompiler
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix many buuuuuuuuuuuuuuuuuuuuuugs

Browse Source
This commit is contained in:
ZhuangYumin
2024-08-23 11:25:33 +00:00
parent 3093997908
commit 1df264ed77
5 changed files with 528 additions and 253 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
include/IR/IR_basic.h
View File

@ -310,6 +310,7 @@ class CallItem : public ActionItem {
}; };
class PhiItem : public ActionItem { class PhiItem : public ActionItem {
friend class IRBuilder;
std::string result_full; std::string result_full;
LLVMType ty; LLVMType ty;
std::vector<std::pair<std::string, std::string>> values; // (val_i_full, label_i_full) std::vector<std::pair<std::string, std::string>> values; // (val_i_full, label_i_full)
@ -326,7 +327,7 @@ class PhiItem : public ActionItem {
} }
os << " "; os << " ";
for (size_t i = 0; i < values.size(); i++) { for (size_t i = 0; i < values.size(); i++) {
os << " [" << values[i].first << ", " << values[i].second << "]"; os << " [" << values[i].first << ", %" << values[i].second << "]";
if (i != values.size() - 1) { if (i != values.size() - 1) {
os << ", "; os << ", ";
} }

149
src/IR/IRBuilder.cpp
View File

@ -583,10 +583,12 @@ void IRBuilder::ActuralVisit(AccessExpr_ASTNode *node) {
void IRBuilder::ActuralVisit(IndexExpr_ASTNode *node) { void IRBuilder::ActuralVisit(IndexExpr_ASTNode *node) {
node->base->accept(this); node->base->accept(this);
std::string cur_val = node->base->IR_result_full; std::string cur_val = node->base->IR_result_full;
auto type_of_base = node->base->expr_type_info;
size_t total_dims = std::get<ArrayType>(type_of_base).level;
std::string cur_addr; std::string cur_addr;
for (size_t i = 0; i < node->indices.size(); i++) { for (size_t i = 0; i < node->indices.size(); i++) {
LLVMType cur_ty; LLVMType cur_ty;
if (i + 1 < node->indices.size()) if (i + 1 < total_dims)
cur_ty = LLVMIRPTRType(); cur_ty = LLVMIRPTRType();
else { else {
ArrayType tp = std::get<ArrayType>(node->base->expr_type_info); ArrayType tp = std::get<ArrayType>(node->base->expr_type_info);
@ -741,6 +743,20 @@ void IRBuilder::ActuralVisit(MDMExpr_ASTNode *node) {
void IRBuilder::ActuralVisit(PMExpr_ASTNode *node) { void IRBuilder::ActuralVisit(PMExpr_ASTNode *node) {
node->left->accept(this); node->left->accept(this);
node->right->accept(this); node->right->accept(this);
ExprTypeInfo string_std = IdentifierType("string");
if (node->left->expr_type_info == string_std) {
auto act = std::make_shared<CallItem>();
cur_block->actions.push_back(act);
act->func_name_raw = ".builtin.strcat";
act->return_type = LLVMIRPTRType();
act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
act->args_ty.push_back(LLVMIRPTRType());
act->args_val_full.push_back(node->left->IR_result_full);
act->args_ty.push_back(LLVMIRPTRType());
act->args_val_full.push_back(node->right->IR_result_full);
node->IR_result_full = act->result_full;
return;
}
auto act = std::make_shared<BinaryOperationAction>(); auto act = std::make_shared<BinaryOperationAction>();
cur_block->actions.push_back(act); cur_block->actions.push_back(act);
if (node->op == "+") { if (node->op == "+") {
@ -755,7 +771,6 @@ void IRBuilder::ActuralVisit(PMExpr_ASTNode *node) {
act->type = LLVMIRIntType(32); act->type = LLVMIRIntType(32);
act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++); act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
node->IR_result_full = act->result_full; node->IR_result_full = act->result_full;
// TODO: support for string concatenation
} }
void IRBuilder::ActuralVisit(RLExpr_ASTNode *node) { void IRBuilder::ActuralVisit(RLExpr_ASTNode *node) {
@ -862,35 +877,118 @@ void IRBuilder::ActuralVisit(BOrExpr_ASTNode *node) {
void IRBuilder::ActuralVisit(LAndExpr_ASTNode *node) { void IRBuilder::ActuralVisit(LAndExpr_ASTNode *node) {
node->left->accept(this); node->left->accept(this);
// node->right->accept(this);
// auto act = std::make_shared<BinaryOperationAction>();
// cur_block->actions.push_back(act);
// act->op = "and";
// act->operand1_full = node->left->IR_result_full;
// act->operand2_full = node->right->IR_result_full;
// act->type = LLVMIRIntType(1);
// act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
// node->IR_result_full = act->result_full;
size_t right_cal_block_id = block_counter++;
size_t new_block_id = block_counter++;
auto right_cal_block = std::make_shared<BlockItem>();
auto new_block = std::make_shared<BlockItem>();
right_cal_block->label_full = "label_" + std::to_string(right_cal_block_id);
new_block->label_full = "label_" + std::to_string(new_block_id);
cur_block->exit_action = std::make_shared<BRAction>();
auto src_block = cur_block;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->true_label_full = right_cal_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->false_label_full = new_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->cond = node->left->IR_result_full;
cur_func->basic_blocks.push_back(right_cal_block);
cur_block = right_cal_block;
node->right->accept(this); node->right->accept(this);
auto act = std::make_shared<BinaryOperationAction>(); cur_block->exit_action = std::make_shared<UNConditionJMPAction>();
cur_block->actions.push_back(act); auto right_block_end = cur_block;
act->op = "and"; std::dynamic_pointer_cast<UNConditionJMPAction>(cur_block->exit_action)->label_full = new_block->label_full;
act->operand1_full = node->left->IR_result_full; cur_func->basic_blocks.push_back(new_block);
act->operand2_full = node->right->IR_result_full; cur_block = new_block;
act->type = LLVMIRIntType(1); auto phi_act = std::make_shared<PhiItem>();
act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++); phi_act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
node->IR_result_full = act->result_full; phi_act->ty = LLVMIRIntType(1);
// TODO: short-circuit phi_act->values.push_back(std::make_pair("0", src_block->label_full));
phi_act->values.push_back(std::make_pair(node->right->IR_result_full, right_block_end->label_full));
cur_block->actions.push_back(phi_act);
node->IR_result_full = phi_act->result_full;
} }
void IRBuilder::ActuralVisit(LOrExpr_ASTNode *node) { void IRBuilder::ActuralVisit(LOrExpr_ASTNode *node) {
node->left->accept(this); node->left->accept(this);
// node->right->accept(this);
// auto act = std::make_shared<BinaryOperationAction>();
// cur_block->actions.push_back(act);
// act->op = "or";
// act->operand1_full = node->left->IR_result_full;
// act->operand2_full = node->right->IR_result_full;
// act->type = LLVMIRIntType(1);
// act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
// node->IR_result_full = act->result_full;
size_t right_cal_block_id = block_counter++;
size_t new_block_id = block_counter++;
auto right_cal_block = std::make_shared<BlockItem>();
auto new_block = std::make_shared<BlockItem>();
right_cal_block->label_full = "label_" + std::to_string(right_cal_block_id);
new_block->label_full = "label_" + std::to_string(new_block_id);
cur_block->exit_action = std::make_shared<BRAction>();
auto src_block = cur_block;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->true_label_full = new_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->false_label_full = right_cal_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->cond = node->left->IR_result_full;
cur_func->basic_blocks.push_back(right_cal_block);
cur_block = right_cal_block;
node->right->accept(this); node->right->accept(this);
auto act = std::make_shared<BinaryOperationAction>(); cur_block->exit_action = std::make_shared<UNConditionJMPAction>();
cur_block->actions.push_back(act); auto right_block_end = cur_block;
act->op = "or"; std::dynamic_pointer_cast<UNConditionJMPAction>(cur_block->exit_action)->label_full = new_block->label_full;
act->operand1_full = node->left->IR_result_full; cur_func->basic_blocks.push_back(new_block);
act->operand2_full = node->right->IR_result_full; cur_block = new_block;
act->type = LLVMIRIntType(1); auto phi_act = std::make_shared<PhiItem>();
act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++); phi_act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
node->IR_result_full = act->result_full; phi_act->ty = LLVMIRIntType(1);
// TODO: short-circuit phi_act->values.push_back(std::make_pair("1", src_block->label_full));
phi_act->values.push_back(std::make_pair(node->right->IR_result_full, right_block_end->label_full));
cur_block->actions.push_back(phi_act);
node->IR_result_full = phi_act->result_full;
} }
void IRBuilder::ActuralVisit(TernaryExpr_ASTNode *node) { void IRBuilder::ActuralVisit(TernaryExpr_ASTNode *node) {
// TODO: Implement function body node->condition->accept(this);
throw std::runtime_error("ternary operator not supported"); size_t src1_block_id = block_counter++;
size_t src2_block_id = block_counter++;
size_t new_block_id = block_counter++;
auto src1_block = std::make_shared<BlockItem>();
auto src2_block = std::make_shared<BlockItem>();
auto new_block = std::make_shared<BlockItem>();
src1_block->label_full = "label_" + std::to_string(src1_block_id);
src2_block->label_full = "label_" + std::to_string(src2_block_id);
new_block->label_full = "label_" + std::to_string(new_block_id);
cur_block->exit_action = std::make_shared<BRAction>();
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->true_label_full = src1_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->false_label_full = src2_block->label_full;
std::dynamic_pointer_cast<BRAction>(cur_block->exit_action)->cond = node->condition->IR_result_full;
cur_func->basic_blocks.push_back(src1_block);
cur_block = src1_block;
node->src1->accept(this);
cur_block->exit_action = std::make_shared<UNConditionJMPAction>();
auto src1_end_block = cur_block;
std::dynamic_pointer_cast<UNConditionJMPAction>(cur_block->exit_action)->label_full = new_block->label_full;
cur_func->basic_blocks.push_back(src2_block);
cur_block = src2_block;
node->src2->accept(this);
cur_block->exit_action = std::make_shared<UNConditionJMPAction>();
auto src2_end_block = cur_block;
std::dynamic_pointer_cast<UNConditionJMPAction>(cur_block->exit_action)->label_full = new_block->label_full;
cur_func->basic_blocks.push_back(new_block);
cur_block = new_block;
auto phi_act = std::make_shared<PhiItem>();
phi_act->result_full = "%.var.tmp." + std::to_string(tmp_var_counter++);
phi_act->ty = Type_AST2LLVM(node->expr_type_info);
phi_act->values.push_back(std::make_pair(node->src1->IR_result_full, src1_end_block->label_full));
phi_act->values.push_back(std::make_pair(node->src2->IR_result_full, src2_end_block->label_full));
cur_block->actions.push_back(phi_act);
node->IR_result_full = phi_act->result_full;
} }
void IRBuilder::ActuralVisit(AssignExpr_ASTNode *node) { void IRBuilder::ActuralVisit(AssignExpr_ASTNode *node) {
@ -1162,6 +1260,13 @@ std::shared_ptr<ModuleItem> BuildIR(std::shared_ptr<Program_ASTNode> src) {
tmp->args.push_back(LLVMIRIntType(32)); tmp->args.push_back(LLVMIRIntType(32));
visitor.prog->function_declares.push_back(tmp); visitor.prog->function_declares.push_back(tmp);
tmp = std::make_shared<FunctionDeclareItem>(); // char *_builtin_strcat(char *dest, const char *src);
tmp->func_name_raw = ".builtin.strcat";
tmp->return_type = LLVMIRPTRType();
tmp->args.push_back(LLVMIRPTRType());
tmp->args.push_back(LLVMIRPTRType());
visitor.prog->function_declares.push_back(tmp);
visitor.global_scope = std::dynamic_pointer_cast<GlobalScope>(src->current_scope); visitor.global_scope = std::dynamic_pointer_cast<GlobalScope>(src->current_scope);
if (!(visitor.global_scope)) throw std::runtime_error("global scope not found"); if (!(visitor.global_scope)) throw std::runtime_error("global scope not found");
visitor.visit(src.get()); visitor.visit(src.get());

22
src/IR/builtin.c
View File

@ -3,11 +3,26 @@
#define EOF (-1) #define EOF (-1)
// libc function // libc function
void* malloc(unsigned int size); void* malloc(unsigned int size);
unsigned int strlen(const char *s);
void free(void* ptr); void free(void* ptr);
int printf(const char *pattern, ...); int printf(const char *pattern, ...);
int scanf(const char *format, ...); int scanf(const char *format, ...);
int sprintf(char *str, const char *pattern, ...); int sprintf(char *str, const char *pattern, ...);
int sscanf(const char *str, const char *pattern, ...); int sscanf(const char *str, const char *pattern, ...);
char *strcat(char *dest, const char *src);
char *_builtin_strcat(char *dest, const char *src) {
int len1=strlen(dest);
int len2=strlen(src);
char* res=(char*)malloc(len1+len2+1);
for(int i=0;i<len1;i++) {
res[i]=dest[i];
}
for(int i=0;i<len2;i++) {
res[i+len1]=src[i];
}
res[len1+len2]='\0';
return res;
}
int string_length(char *self) { int string_length(char *self) {
int res=0; int res=0;
while(self[res]!='\0') { while(self[res]!='\0') {
@ -54,8 +69,13 @@ char* getString() { // same as getline
int allocated_length = 10; int allocated_length = 10;
int cur_length = 0; int cur_length = 0;
char ch; char ch;
char started=0;
while(scanf("%c",&ch)==1) { while(scanf("%c",&ch)==1) {
if(ch=='\n'||ch=='\r') break; if(ch=='\n'||ch=='\r') {
if(started) break;
else continue;
}
started=1;
if(cur_length==allocated_length) { if(cur_length==allocated_length) {
char *new_res = (char*)malloc(allocated_length*2+1); char *new_res = (char*)malloc(allocated_length*2+1);
for(int i=0;i<allocated_length;i++) { for(int i=0;i<allocated_length;i++) {

321
src/IR/builtin.ll
View File

@ -9,8 +9,61 @@ target triple = "riscv32-unknown-unknown-elf"
@.str.3 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1 @.str.3 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
@.str.4 = private unnamed_addr constant [3 x i8] c"%c\00", align 1 @.str.4 = private unnamed_addr constant [3 x i8] c"%c\00", align 1
; Function Attrs: nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite)
define dso_local noalias noundef ptr @.builtin.strcat(ptr nocapture noundef readonly %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 {
%3 = tail call i32 @strlen(ptr noundef nonnull dereferenceable(1) %0) #12
%4 = tail call i32 @strlen(ptr noundef nonnull dereferenceable(1) %1) #12
%5 = add nsw i32 %4, %3
%6 = add nsw i32 %5, 1
%7 = tail call ptr @malloc(i32 noundef %6) #13
%8 = icmp sgt i32 %3, 0
br i1 %8, label %12, label %9
9: ; preds = %12, %2
%10 = getelementptr i8, ptr %7, i32 %3
%11 = icmp sgt i32 %4, 0
br i1 %11, label %21, label %19
12: ; preds = %2, %12
%13 = phi i32 [ %17, %12 ], [ 0, %2 ]
%14 = getelementptr inbounds i8, ptr %0, i32 %13
%15 = load i8, ptr %14, align 1, !tbaa !6
%16 = getelementptr inbounds i8, ptr %7, i32 %13
store i8 %15, ptr %16, align 1, !tbaa !6
%17 = add nuw nsw i32 %13, 1
%18 = icmp eq i32 %17, %3
br i1 %18, label %9, label %12, !llvm.loop !9
19: ; preds = %21, %9
%20 = getelementptr inbounds i8, ptr %7, i32 %5
store i8 0, ptr %20, align 1, !tbaa !6
ret ptr %7
21: ; preds = %9, %21
%22 = phi i32 [ %26, %21 ], [ 0, %9 ]
%23 = getelementptr inbounds i8, ptr %1, i32 %22
%24 = load i8, ptr %23, align 1, !tbaa !6
%25 = getelementptr i8, ptr %10, i32 %22
store i8 %24, ptr %25, align 1, !tbaa !6
%26 = add nuw nsw i32 %22, 1
%27 = icmp eq i32 %26, %4
br i1 %27, label %19, label %21, !llvm.loop !11
}
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1
; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare dso_local i32 @strlen(ptr nocapture noundef) local_unnamed_addr #2
; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare dso_local noalias noundef ptr @malloc(i32 noundef) local_unnamed_addr #3
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1
; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read) ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: read)
define dso_local i32 @string.length(ptr nocapture noundef readonly %0) local_unnamed_addr #0 { define dso_local i32 @string.length(ptr nocapture noundef readonly %0) local_unnamed_addr #4 {
br label %2 br label %2
2: ; preds = %2, %1 2: ; preds = %2, %1
@ -19,23 +72,17 @@ define dso_local i32 @string.length(ptr nocapture noundef readonly %0) local_unn
%5 = load i8, ptr %4, align 1, !tbaa !6 %5 = load i8, ptr %4, align 1, !tbaa !6
%6 = icmp eq i8 %5, 0 %6 = icmp eq i8 %5, 0
%7 = add nuw nsw i32 %3, 1 %7 = add nuw nsw i32 %3, 1
br i1 %6, label %8, label %2, !llvm.loop !9 br i1 %6, label %8, label %2, !llvm.loop !12
8: ; preds = %2 8: ; preds = %2
ret i32 %3 ret i32 %3
} }
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1
; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1
; Function Attrs: nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite) ; Function Attrs: nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite)
define dso_local noalias noundef ptr @string.substring(ptr nocapture noundef readonly %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #2 { define dso_local noalias noundef ptr @string.substring(ptr nocapture noundef readonly %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #0 {
%4 = sub nsw i32 %2, %1 %4 = sub nsw i32 %2, %1
%5 = add nsw i32 %4, 1 %5 = add nsw i32 %4, 1
%6 = tail call ptr @malloc(i32 noundef %5) #11 %6 = tail call ptr @malloc(i32 noundef %5) #13
%7 = getelementptr i8, ptr %0, i32 %1 %7 = getelementptr i8, ptr %0, i32 %1
%8 = icmp sgt i32 %4, 0 %8 = icmp sgt i32 %4, 0
br i1 %8, label %11, label %9 br i1 %8, label %11, label %9
@ -53,27 +100,24 @@ define dso_local noalias noundef ptr @string.substring(ptr nocapture noundef rea
store i8 %14, ptr %15, align 1, !tbaa !6 store i8 %14, ptr %15, align 1, !tbaa !6
%16 = add nuw nsw i32 %12, 1 %16 = add nuw nsw i32 %12, 1
%17 = icmp eq i32 %16, %4 %17 = icmp eq i32 %16, %4
br i1 %17, label %9, label %11, !llvm.loop !11 br i1 %17, label %9, label %11, !llvm.loop !13
} }
; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare dso_local noalias noundef ptr @malloc(i32 noundef) local_unnamed_addr #3
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
define dso_local i32 @string.parseInt(ptr nocapture noundef readonly %0) local_unnamed_addr #4 { define dso_local i32 @string.parseInt(ptr nocapture noundef readonly %0) local_unnamed_addr #5 {
%2 = alloca i32, align 4 %2 = alloca i32, align 4
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #12 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #14
%3 = call i32 (ptr, ptr, ...) @sscanf(ptr noundef %0, ptr noundef nonnull @.str, ptr noundef nonnull %2) #13 %3 = call i32 (ptr, ptr, ...) @sscanf(ptr noundef %0, ptr noundef nonnull @.str, ptr noundef nonnull %2) #12
%4 = load i32, ptr %2, align 4, !tbaa !12 %4 = load i32, ptr %2, align 4, !tbaa !14
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #12 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #14
ret i32 %4 ret i32 %4
} }
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
declare dso_local noundef i32 @sscanf(ptr nocapture noundef readonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #4 declare dso_local noundef i32 @sscanf(ptr nocapture noundef readonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #5
; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
define dso_local i32 @string.ord(ptr nocapture noundef readonly %0, i32 noundef %1) local_unnamed_addr #5 { define dso_local i32 @string.ord(ptr nocapture noundef readonly %0, i32 noundef %1) local_unnamed_addr #6 {
%3 = getelementptr inbounds i8, ptr %0, i32 %1 %3 = getelementptr inbounds i8, ptr %0, i32 %1
%4 = load i8, ptr %3, align 1, !tbaa !6 %4 = load i8, ptr %3, align 1, !tbaa !6
%5 = zext i8 %4 to i32 %5 = zext i8 %4 to i32
@ -81,130 +125,152 @@ define dso_local i32 @string.ord(ptr nocapture noundef readonly %0, i32 noundef
} }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @print(ptr noundef %0) local_unnamed_addr #6 { define dso_local void @print(ptr noundef %0) local_unnamed_addr #7 {
%2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.1, ptr noundef %0) #14 %2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.1, ptr noundef %0) #15
ret void ret void
} }
declare dso_local i32 @printf(ptr noundef, ...) local_unnamed_addr #7 declare dso_local i32 @printf(ptr noundef, ...) local_unnamed_addr #8
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @println(ptr noundef %0) local_unnamed_addr #6 { define dso_local void @println(ptr noundef %0) local_unnamed_addr #7 {
%2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.2, ptr noundef %0) #14 %2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.2, ptr noundef %0) #15
ret void ret void
} }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @printInt(i32 noundef %0) local_unnamed_addr #6 { define dso_local void @printInt(i32 noundef %0) local_unnamed_addr #7 {
%2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str, i32 noundef %0) #14 %2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str, i32 noundef %0) #15
ret void ret void
} }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @printlnInt(i32 noundef %0) local_unnamed_addr #6 { define dso_local void @printlnInt(i32 noundef %0) local_unnamed_addr #7 {
%2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.3, i32 noundef %0) #14 %2 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull @.str.3, i32 noundef %0) #15
ret void ret void
} }
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
define dso_local noalias noundef ptr @toString(i32 noundef %0) local_unnamed_addr #4 { define dso_local noalias noundef ptr @toString(i32 noundef %0) local_unnamed_addr #5 {
%2 = tail call dereferenceable_or_null(15) ptr @malloc(i32 noundef 15) #11 %2 = tail call dereferenceable_or_null(15) ptr @malloc(i32 noundef 15) #13
%3 = tail call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %2, ptr noundef nonnull dereferenceable(1) @.str, i32 noundef %0) #13 %3 = tail call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %2, ptr noundef nonnull dereferenceable(1) @.str, i32 noundef %0) #12
ret ptr %2 ret ptr %2
} }
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
declare dso_local noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #4 declare dso_local noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #5
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local noalias ptr @getString() local_unnamed_addr #6 { define dso_local noalias ptr @getString() local_unnamed_addr #7 {
%1 = alloca i8, align 1 %1 = alloca i8, align 1
%2 = tail call dereferenceable_or_null(11) ptr @malloc(i32 noundef 11) #11 %2 = tail call dereferenceable_or_null(11) ptr @malloc(i32 noundef 11) #13
call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %1) #12 call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %1) #14
%3 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #13 %3 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #12
%4 = icmp eq i32 %3, 1 %4 = icmp eq i32 %3, 1
br i1 %4, label %5, label %34 br i1 %4, label %5, label %45
5: ; preds = %0, %26 5: ; preds = %0, %37
%6 = phi ptr [ %29, %26 ], [ %2, %0 ] %6 = phi ptr [ %40, %37 ], [ %2, %0 ]
%7 = phi i32 [ %30, %26 ], [ 0, %0 ] %7 = phi i1 [ false, %37 ], [ true, %0 ]
%8 = phi i32 [ %28, %26 ], [ 10, %0 ] %8 = phi i32 [ %41, %37 ], [ 0, %0 ]
%9 = load i8, ptr %1, align 1 %9 = phi i32 [ %39, %37 ], [ 10, %0 ]
switch i8 %9, label %10 [ %10 = load i8, ptr %1, align 1
i8 13, label %34 switch i8 %10, label %20 [
i8 10, label %34 i8 13, label %11
i8 10, label %11
] ]
10: ; preds = %5 11: ; preds = %5, %5
%11 = icmp eq i32 %7, %8 br i1 %7, label %12, label %45
br i1 %11, label %12, label %26
12: ; preds = %10 12: ; preds = %11
%13 = shl nuw nsw i32 %7, 1 %13 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #12
%14 = or disjoint i32 %13, 1 %14 = icmp eq i32 %13, 1
%15 = call ptr @malloc(i32 noundef %14) #11 br i1 %14, label %15, label %45
%16 = icmp eq i32 %7, 0
br i1 %16, label %17, label %19
17: ; preds = %19, %12 15: ; preds = %12, %17
call void @free(ptr noundef %6) #13 %16 = load i8, ptr %1, align 1
%18 = load i8, ptr %1, align 1, !tbaa !6 switch i8 %16, label %20 [
br label %26 i8 13, label %17
i8 10, label %17
]
19: ; preds = %12, %19 17: ; preds = %15, %15
%20 = phi i32 [ %24, %19 ], [ 0, %12 ] %18 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #12
%21 = getelementptr inbounds i8, ptr %6, i32 %20 %19 = icmp eq i32 %18, 1
%22 = load i8, ptr %21, align 1, !tbaa !6 br i1 %19, label %15, label %45
%23 = getelementptr inbounds i8, ptr %15, i32 %20
store i8 %22, ptr %23, align 1, !tbaa !6
%24 = add nuw nsw i32 %20, 1
%25 = icmp eq i32 %24, %7
br i1 %25, label %17, label %19, !llvm.loop !14
26: ; preds = %17, %10 20: ; preds = %15, %5
%27 = phi i8 [ %18, %17 ], [ %9, %10 ] %21 = phi i8 [ %10, %5 ], [ %16, %15 ]
%28 = phi i32 [ %13, %17 ], [ %8, %10 ] %22 = icmp eq i32 %8, %9
%29 = phi ptr [ %15, %17 ], [ %6, %10 ] br i1 %22, label %23, label %37
%30 = add nuw nsw i32 %7, 1
%31 = getelementptr inbounds i8, ptr %29, i32 %7
store i8 %27, ptr %31, align 1, !tbaa !6
%32 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #13
%33 = icmp eq i32 %32, 1
br i1 %33, label %5, label %34, !llvm.loop !15
34: ; preds = %26, %5, %5, %0 23: ; preds = %20
%35 = phi i32 [ 0, %0 ], [ %7, %5 ], [ %7, %5 ], [ %30, %26 ] %24 = shl nsw i32 %9, 1
%36 = phi ptr [ %2, %0 ], [ %6, %5 ], [ %6, %5 ], [ %29, %26 ] %25 = or disjoint i32 %24, 1
%37 = getelementptr inbounds i8, ptr %36, i32 %35 %26 = call ptr @malloc(i32 noundef %25) #13
store i8 0, ptr %37, align 1, !tbaa !6 %27 = icmp sgt i32 %9, 0
call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %1) #12 br i1 %27, label %30, label %28
ret ptr %36
28: ; preds = %30, %23
call void @free(ptr noundef %6) #12
%29 = load i8, ptr %1, align 1, !tbaa !6
br label %37
30: ; preds = %23, %30
%31 = phi i32 [ %35, %30 ], [ 0, %23 ]
%32 = getelementptr inbounds i8, ptr %6, i32 %31
%33 = load i8, ptr %32, align 1, !tbaa !6
%34 = getelementptr inbounds i8, ptr %26, i32 %31
store i8 %33, ptr %34, align 1, !tbaa !6
%35 = add nuw nsw i32 %31, 1
%36 = icmp eq i32 %35, %9
br i1 %36, label %28, label %30, !llvm.loop !16
37: ; preds = %28, %20
%38 = phi i8 [ %29, %28 ], [ %21, %20 ]
%39 = phi i32 [ %24, %28 ], [ %9, %20 ]
%40 = phi ptr [ %26, %28 ], [ %6, %20 ]
%41 = add nuw nsw i32 %8, 1
%42 = getelementptr inbounds i8, ptr %40, i32 %8
store i8 %38, ptr %42, align 1, !tbaa !6
%43 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str.4, ptr noundef nonnull %1) #12
%44 = icmp eq i32 %43, 1
br i1 %44, label %5, label %45, !llvm.loop !17
45: ; preds = %37, %11, %12, %17, %0
%46 = phi i32 [ 0, %0 ], [ %8, %17 ], [ %8, %11 ], [ %41, %37 ], [ %8, %12 ]
%47 = phi ptr [ %2, %0 ], [ %6, %17 ], [ %6, %11 ], [ %40, %37 ], [ %6, %12 ]
%48 = getelementptr inbounds i8, ptr %47, i32 %46
store i8 0, ptr %48, align 1, !tbaa !6
call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %1) #14
ret ptr %47
} }
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
declare dso_local noundef i32 @scanf(ptr nocapture noundef readonly, ...) local_unnamed_addr #4 declare dso_local noundef i32 @scanf(ptr nocapture noundef readonly, ...) local_unnamed_addr #5
; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) ; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare dso_local void @free(ptr allocptr nocapture noundef) local_unnamed_addr #8 declare dso_local void @free(ptr allocptr nocapture noundef) local_unnamed_addr #9
; Function Attrs: nofree nounwind ; Function Attrs: nofree nounwind
define dso_local i32 @getInt() local_unnamed_addr #4 { define dso_local i32 @getInt() local_unnamed_addr #5 {
%1 = alloca i32, align 4 %1 = alloca i32, align 4
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #12 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #14
%2 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str, ptr noundef nonnull %1) #13 %2 = call i32 (ptr, ...) @scanf(ptr noundef nonnull @.str, ptr noundef nonnull %1) #12
%3 = load i32, ptr %1, align 4, !tbaa !12 %3 = load i32, ptr %1, align 4, !tbaa !14
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #12 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #14
ret i32 %3 ret i32 %3
} }
; Function Attrs: mustprogress nofree nounwind willreturn memory(inaccessiblemem: readwrite) ; Function Attrs: mustprogress nofree nounwind willreturn memory(inaccessiblemem: readwrite)
define dso_local noalias noundef ptr @.builtin.AllocateClassBody(i32 noundef %0) local_unnamed_addr #9 { define dso_local noalias noundef ptr @.builtin.AllocateClassBody(i32 noundef %0) local_unnamed_addr #10 {
%2 = tail call ptr @malloc(i32 noundef %0) #11 %2 = tail call ptr @malloc(i32 noundef %0) #13
ret ptr %2 ret ptr %2
} }
; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
define dso_local i32 @.builtin.GetArrayLength(ptr nocapture noundef readonly %0) local_unnamed_addr #5 { define dso_local i32 @.builtin.GetArrayLength(ptr nocapture noundef readonly %0) local_unnamed_addr #6 {
%2 = getelementptr inbounds i8, ptr %0, i32 -4 %2 = getelementptr inbounds i8, ptr %0, i32 -4
%3 = load i8, ptr %2, align 1, !tbaa !6 %3 = load i8, ptr %2, align 1, !tbaa !6
%4 = zext i8 %3 to i32 %4 = zext i8 %3 to i32
@ -227,9 +293,9 @@ define dso_local i32 @.builtin.GetArrayLength(ptr nocapture noundef readonly %0)
} }
; Function Attrs: nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite) ; Function Attrs: nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite)
define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 noundef %0, i32 noundef %1, ptr nocapture noundef readonly %2) local_unnamed_addr #2 { define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 noundef %0, i32 noundef %1, ptr nocapture noundef readonly %2) local_unnamed_addr #0 {
%4 = icmp eq i32 %0, 1 %4 = icmp eq i32 %0, 1
%5 = load i32, ptr %2, align 4, !tbaa !12 %5 = load i32, ptr %2, align 4, !tbaa !14
%6 = trunc i32 %5 to i8 %6 = trunc i32 %5 to i8
%7 = lshr i32 %5, 8 %7 = lshr i32 %5, 8
%8 = trunc i32 %7 to i8 %8 = trunc i32 %7 to i8
@ -242,7 +308,7 @@ define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 nounde
13: ; preds = %3 13: ; preds = %3
%14 = mul nsw i32 %5, %1 %14 = mul nsw i32 %5, %1
%15 = add nsw i32 %14, 4 %15 = add nsw i32 %14, 4
%16 = tail call ptr @malloc(i32 noundef %15) #11 %16 = tail call ptr @malloc(i32 noundef %15) #13
store i8 %6, ptr %16, align 1, !tbaa !6 store i8 %6, ptr %16, align 1, !tbaa !6
%17 = getelementptr inbounds i8, ptr %16, i32 1 %17 = getelementptr inbounds i8, ptr %16, i32 1
store i8 %8, ptr %17, align 1, !tbaa !6 store i8 %8, ptr %17, align 1, !tbaa !6
@ -256,7 +322,7 @@ define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 nounde
21: ; preds = %3 21: ; preds = %3
%22 = shl i32 %5, 2 %22 = shl i32 %5, 2
%23 = add i32 %22, 4 %23 = add i32 %22, 4
%24 = tail call ptr @malloc(i32 noundef %23) #11 %24 = tail call ptr @malloc(i32 noundef %23) #13
store i8 %6, ptr %24, align 1, !tbaa !6 store i8 %6, ptr %24, align 1, !tbaa !6
%25 = getelementptr inbounds i8, ptr %24, i32 1 %25 = getelementptr inbounds i8, ptr %24, i32 1
store i8 %8, ptr %25, align 1, !tbaa !6 store i8 %8, ptr %25, align 1, !tbaa !6
@ -275,13 +341,13 @@ define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 nounde
33: ; preds = %30, %33 33: ; preds = %30, %33
%34 = phi i32 [ 0, %30 ], [ %37, %33 ] %34 = phi i32 [ 0, %30 ], [ %37, %33 ]
%35 = tail call ptr @.builtin.RecursiveAllocateArray(i32 noundef %31, i32 noundef %1, ptr noundef nonnull %32) #13 %35 = tail call ptr @.builtin.RecursiveAllocateArray(i32 noundef %31, i32 noundef %1, ptr noundef nonnull %32) #12
%36 = getelementptr inbounds ptr, ptr %28, i32 %34 %36 = getelementptr inbounds ptr, ptr %28, i32 %34
store ptr %35, ptr %36, align 4, !tbaa !16 store ptr %35, ptr %36, align 4, !tbaa !18
%37 = add nuw nsw i32 %34, 1 %37 = add nuw nsw i32 %34, 1
%38 = load i32, ptr %2, align 4, !tbaa !12 %38 = load i32, ptr %2, align 4, !tbaa !14
%39 = icmp slt i32 %37, %38 %39 = icmp slt i32 %37, %38
br i1 %39, label %33, label %40, !llvm.loop !18 br i1 %39, label %33, label %40, !llvm.loop !20
40: ; preds = %33, %21, %13 40: ; preds = %33, %21, %13
%41 = phi ptr [ %20, %13 ], [ %28, %21 ], [ %28, %33 ] %41 = phi ptr [ %20, %13 ], [ %28, %21 ], [ %28, %33 ]
@ -289,10 +355,10 @@ define dso_local noalias nonnull ptr @.builtin.RecursiveAllocateArray(i32 nounde
} }
; Function Attrs: mustprogress nofree nounwind willreturn memory(write, argmem: none, inaccessiblemem: readwrite) ; Function Attrs: mustprogress nofree nounwind willreturn memory(write, argmem: none, inaccessiblemem: readwrite)
define dso_local noalias nonnull ptr @.builtin.AllocateArray(i32 noundef %0, i32 noundef %1) local_unnamed_addr #10 { define dso_local noalias nonnull ptr @.builtin.AllocateArray(i32 noundef %0, i32 noundef %1) local_unnamed_addr #11 {
%3 = mul nsw i32 %1, %0 %3 = mul nsw i32 %1, %0
%4 = add nsw i32 %3, 4 %4 = add nsw i32 %3, 4
%5 = tail call ptr @malloc(i32 noundef %4) #11 %5 = tail call ptr @malloc(i32 noundef %4) #13
%6 = trunc i32 %1 to i8 %6 = trunc i32 %1 to i8
store i8 %6, ptr %5, align 1, !tbaa !6 store i8 %6, ptr %5, align 1, !tbaa !6
%7 = lshr i32 %1, 8 %7 = lshr i32 %1, 8
@ -311,21 +377,22 @@ define dso_local noalias nonnull ptr @.builtin.AllocateArray(i32 noundef %0, i32
ret ptr %16 ret ptr %16
} }
attributes #0 = { nofree norecurse nosync nounwind memory(argmem: read) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #0 = { nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) } attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nofree nounwind memory(write, argmem: read, inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #2 = { mustprogress nofree nounwind willreturn memory(argmem: read) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #3 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #3 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #4 = { nofree nounwind "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #4 = { nofree norecurse nosync nounwind memory(argmem: read) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #5 = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #5 = { nofree nounwind "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #6 = { nounwind "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #6 = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #7 = { "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #7 = { nounwind "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #8 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #8 = { "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #9 = { mustprogress nofree nounwind willreturn memory(inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #9 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #10 = { mustprogress nofree nounwind willreturn memory(write, argmem: none, inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" } attributes #10 = { mustprogress nofree nounwind willreturn memory(inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #11 = { allocsize(0) "no-builtin-memcpy" "no-builtin-printf" } attributes #11 = { mustprogress nofree nounwind willreturn memory(write, argmem: none, inaccessiblemem: readwrite) "no-builtin-memcpy" "no-builtin-printf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic-rv32" "target-features"="+32bit,+a,+c,+m,+relax,-d,-e,-experimental-zacas,-experimental-zcmop,-experimental-zfbfmin,-experimental-zicfilp,-experimental-zicfiss,-experimental-zimop,-experimental-ztso,-experimental-zvfbfmin,-experimental-zvfbfwma,-f,-h,-smaia,-smepmp,-ssaia,-svinval,-svnapot,-svpbmt,-v,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-za128rs,-za64rs,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmp,-zcmt,-zdinx,-zfa,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zicsr,-zifencei,-zihintntl,-zihintpause,-zihpm,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-zmmul,-zvbb,-zvbc,-zve32f,-zve32x,-zve64d,-zve64f,-zve64x,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl128b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl32b,-zvl4096b,-zvl512b,-zvl64b,-zvl65536b,-zvl8192b" }
attributes #12 = { nounwind } attributes #12 = { "no-builtin-memcpy" "no-builtin-printf" }
attributes #13 = { "no-builtin-memcpy" "no-builtin-printf" } attributes #13 = { allocsize(0) "no-builtin-memcpy" "no-builtin-printf" }
attributes #14 = { nobuiltin nounwind "no-builtin-memcpy" "no-builtin-printf" } attributes #14 = { nounwind }
attributes #15 = { nobuiltin nounwind "no-builtin-memcpy" "no-builtin-printf" }
!llvm.module.flags = !{!0, !1, !2, !4} !llvm.module.flags = !{!0, !1, !2, !4}
!llvm.ident = !{!5} !llvm.ident = !{!5}
@ -342,10 +409,12 @@ attributes #14 = { nobuiltin nounwind "no-builtin-memcpy" "no-builtin-printf" }
!9 = distinct !{!9, !10} !9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"} !10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10} !11 = distinct !{!11, !10}
!12 = !{!13, !13, i64 0} !12 = distinct !{!12, !10}
!13 = !{!"int", !7, i64 0} !13 = distinct !{!13, !10}
!14 = distinct !{!14, !10} !14 = !{!15, !15, i64 0}
!15 = distinct !{!15, !10} !15 = !{!"int", !7, i64 0}
!16 = !{!17, !17, i64 0} !16 = distinct !{!16, !10}
!17 = !{!"any pointer", !7, i64 0} !17 = distinct !{!17, !10}
!18 = distinct !{!18, !10} !18 = !{!19, !19, i64 0}
!19 = !{!"any pointer", !7, i64 0}
!20 = distinct !{!20, !10}

286
src/IR/builtin.s
View File

@ -4,22 +4,82 @@
.file "builtin.c" .file "builtin.c"
.option push .option push
.option arch, +a, +c .option arch, +a, +c
.globl .builtin.strcat # -- Begin function .builtin.strcat
.p2align 1
.type .builtin.strcat,@function
.builtin.strcat: # @.builtin.strcat
# %bb.0:
addi sp, sp, -32
sw ra, 28(sp) # 4-byte Folded Spill
sw s0, 24(sp) # 4-byte Folded Spill
sw s1, 20(sp) # 4-byte Folded Spill
sw s2, 16(sp) # 4-byte Folded Spill
sw s3, 12(sp) # 4-byte Folded Spill
sw s4, 8(sp) # 4-byte Folded Spill
mv s0, a1
mv s1, a0
call strlen
mv s2, a0
mv a0, s0
call strlen
mv s3, a0
add s4, a0, s2
addi a0, s4, 1
call malloc
blez s2, .LBB0_3
# %bb.1: # %.preheader1
add a1, a0, s2
mv a2, a0
.LBB0_2: # =>This Inner Loop Header: Depth=1
lbu a3, 0(s1)
sb a3, 0(a2)
addi a2, a2, 1
addi s1, s1, 1
bne a2, a1, .LBB0_2
.LBB0_3:
blez s3, .LBB0_6
# %bb.4: # %.preheader
add s2, s2, a0
add a1, a0, s4
.LBB0_5: # =>This Inner Loop Header: Depth=1
lbu a2, 0(s0)
sb a2, 0(s2)
addi s2, s2, 1
addi s0, s0, 1
bne s2, a1, .LBB0_5
.LBB0_6:
add s4, s4, a0
sb zero, 0(s4)
lw ra, 28(sp) # 4-byte Folded Reload
lw s0, 24(sp) # 4-byte Folded Reload
lw s1, 20(sp) # 4-byte Folded Reload
lw s2, 16(sp) # 4-byte Folded Reload
lw s3, 12(sp) # 4-byte Folded Reload
lw s4, 8(sp) # 4-byte Folded Reload
addi sp, sp, 32
ret
.Lfunc_end0:
.size .builtin.strcat, .Lfunc_end0-.builtin.strcat
# -- End function
.option pop
.option push
.option arch, +a, +c
.globl string.length # -- Begin function string.length .globl string.length # -- Begin function string.length
.p2align 1 .p2align 1
.type string.length,@function .type string.length,@function
string.length: # @string.length string.length: # @string.length
# %bb.0: # %bb.0:
li a1, 0 li a1, 0
.LBB0_1: # =>This Inner Loop Header: Depth=1 .LBB1_1: # =>This Inner Loop Header: Depth=1
add a2, a0, a1 add a2, a0, a1
lbu a2, 0(a2) lbu a2, 0(a2)
addi a1, a1, 1 addi a1, a1, 1
bnez a2, .LBB0_1 bnez a2, .LBB1_1
# %bb.2: # %bb.2:
addi a0, a1, -1 addi a0, a1, -1
ret ret
.Lfunc_end0: .Lfunc_end1:
.size string.length, .Lfunc_end0-string.length .size string.length, .Lfunc_end1-string.length
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -40,17 +100,17 @@ string.substring: # @string.substring
addi a0, s1, 1 addi a0, s1, 1
call malloc call malloc
add a1, a0, s1 add a1, a0, s1
blez s1, .LBB1_3 blez s1, .LBB2_3
# %bb.1: # %.preheader # %bb.1: # %.preheader
add s0, s0, s2 add s0, s0, s2
mv a2, a0 mv a2, a0
.LBB1_2: # =>This Inner Loop Header: Depth=1 .LBB2_2: # =>This Inner Loop Header: Depth=1
lbu a3, 0(s0) lbu a3, 0(s0)
sb a3, 0(a2) sb a3, 0(a2)
addi a2, a2, 1 addi a2, a2, 1
addi s0, s0, 1 addi s0, s0, 1
bne a2, a1, .LBB1_2 bne a2, a1, .LBB2_2
.LBB1_3: .LBB2_3:
sb zero, 0(a1) sb zero, 0(a1)
lw ra, 12(sp) # 4-byte Folded Reload lw ra, 12(sp) # 4-byte Folded Reload
lw s0, 8(sp) # 4-byte Folded Reload lw s0, 8(sp) # 4-byte Folded Reload
@ -58,8 +118,8 @@ string.substring: # @string.substring
lw s2, 0(sp) # 4-byte Folded Reload lw s2, 0(sp) # 4-byte Folded Reload
addi sp, sp, 16 addi sp, sp, 16
ret ret
.Lfunc_end1: .Lfunc_end2:
.size string.substring, .Lfunc_end1-string.substring .size string.substring, .Lfunc_end2-string.substring
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -79,8 +139,8 @@ string.parseInt: # @string.parseInt
lw ra, 12(sp) # 4-byte Folded Reload lw ra, 12(sp) # 4-byte Folded Reload
addi sp, sp, 16 addi sp, sp, 16
ret ret
.Lfunc_end2: .Lfunc_end3:
.size string.parseInt, .Lfunc_end2-string.parseInt .size string.parseInt, .Lfunc_end3-string.parseInt
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -93,8 +153,8 @@ string.ord: # @string.ord
add a0, a0, a1 add a0, a0, a1
lbu a0, 0(a0) lbu a0, 0(a0)
ret ret
.Lfunc_end3: .Lfunc_end4:
.size string.ord, .Lfunc_end3-string.ord .size string.ord, .Lfunc_end4-string.ord
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -110,8 +170,8 @@ print: # @print
mv a0, a1 mv a0, a1
mv a1, a2 mv a1, a2
tail printf tail printf
.Lfunc_end4: .Lfunc_end5:
.size print, .Lfunc_end4-print .size print, .Lfunc_end5-print
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -127,8 +187,8 @@ println: # @println
mv a0, a1 mv a0, a1
mv a1, a2 mv a1, a2
tail printf tail printf
.Lfunc_end5: .Lfunc_end6:
.size println, .Lfunc_end5-println .size println, .Lfunc_end6-println
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -144,8 +204,8 @@ printInt: # @printInt
mv a0, a1 mv a0, a1
mv a1, a2 mv a1, a2
tail printf tail printf
.Lfunc_end6: .Lfunc_end7:
.size printInt, .Lfunc_end6-printInt .size printInt, .Lfunc_end7-printInt
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -161,8 +221,8 @@ printlnInt: # @printlnInt
mv a0, a1 mv a0, a1
mv a1, a2 mv a1, a2
tail printf tail printf
.Lfunc_end7: .Lfunc_end8:
.size printlnInt, .Lfunc_end7-printlnInt .size printlnInt, .Lfunc_end8-printlnInt
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -191,8 +251,8 @@ toString: # @toString
lw s1, 4(sp) # 4-byte Folded Reload lw s1, 4(sp) # 4-byte Folded Reload
addi sp, sp, 16 addi sp, sp, 16
ret ret
.Lfunc_end8: .Lfunc_end9:
.size toString, .Lfunc_end8-toString .size toString, .Lfunc_end9-toString
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -213,76 +273,95 @@ getString: # @getString
sw s6, 16(sp) # 4-byte Folded Spill sw s6, 16(sp) # 4-byte Folded Spill
sw s7, 12(sp) # 4-byte Folded Spill sw s7, 12(sp) # 4-byte Folded Spill
sw s8, 8(sp) # 4-byte Folded Spill sw s8, 8(sp) # 4-byte Folded Spill
sw s9, 4(sp) # 4-byte Folded Spill
li a0, 11 li a0, 11
call malloc call malloc
mv s8, a0 mv s3, a0
lui a0, %hi(.L.str.4) lui a0, %hi(.L.str.4)
addi s2, a0, %lo(.L.str.4) addi s0, a0, %lo(.L.str.4)
addi a1, sp, 7 addi a1, sp, 3
mv a0, s2 mv a0, s0
call scanf call scanf
li s3, 1 li s9, 1
bne a0, s3, .LBB9_11 bne a0, s9, .LBB10_15
# %bb.1: # %.preheader1 # %bb.1: # %.preheader4
li s1, 0 li s6, 0
li s4, 10 li s4, 10
li s5, 13 li s5, 13
mv s6, s8 mv s2, s3
li a1, 1
li s7, 10 li s7, 10
j .LBB9_4 .LBB10_2: # =>This Loop Header: Depth=1
.LBB9_2: # in Loop: Header=BB9_4 Depth=1 # Child Loop BB10_5 Depth 2
mv s8, s6 # Child Loop BB10_11 Depth 2
.LBB9_3: # in Loop: Header=BB9_4 Depth=1 lbu a0, 3(sp)
addi s0, s1, 1 beq a0, s5, .LBB10_4
add s1, s1, s8 # %bb.3: # in Loop: Header=BB10_2 Depth=1
sb a0, 0(s1) bne a0, s4, .LBB10_8
addi a1, sp, 7 .LBB10_4: # in Loop: Header=BB10_2 Depth=1
mv a0, s2 andi a1, a1, 1
call scanf beqz a1, .LBB10_16
mv s1, s0 .LBB10_5: # Parent Loop BB10_2 Depth=1
bne a0, s3, .LBB9_13
.LBB9_4: # =>This Loop Header: Depth=1
# Child Loop BB9_9 Depth 2
lbu a0, 7(sp)
beq a0, s4, .LBB9_12
# %bb.5: # in Loop: Header=BB9_4 Depth=1
beq a0, s5, .LBB9_12
# %bb.6: # in Loop: Header=BB9_4 Depth=1
bne s1, s7, .LBB9_2
# %bb.7: # in Loop: Header=BB9_4 Depth=1
slli s7, s1, 1
addi a0, s7, 1
call malloc
mv s8, a0
beqz s1, .LBB9_10
# %bb.8: # %.preheader
# in Loop: Header=BB9_4 Depth=1
add a0, s8, s1
mv a1, s6
mv a2, s8
.LBB9_9: # Parent Loop BB9_4 Depth=1
# => This Inner Loop Header: Depth=2 # => This Inner Loop Header: Depth=2
lbu a3, 0(a1) addi a1, sp, 3
sb a3, 0(a2) mv a0, s0
addi a2, a2, 1 call scanf
bne a0, s9, .LBB10_16
# %bb.6: # in Loop: Header=BB10_5 Depth=2
lbu a0, 3(sp)
beq a0, s5, .LBB10_5
# %bb.7: # in Loop: Header=BB10_5 Depth=2
beq a0, s4, .LBB10_5
.LBB10_8: # in Loop: Header=BB10_2 Depth=1
bne s6, s7, .LBB10_13
# %bb.9: # in Loop: Header=BB10_2 Depth=1
slli s8, s7, 1
addi a0, s8, 1
call malloc
mv s3, a0
blez s7, .LBB10_12
# %bb.10: # %.preheader
# in Loop: Header=BB10_2 Depth=1
add s7, s7, s3
mv a0, s2
mv a1, s3
.LBB10_11: # Parent Loop BB10_2 Depth=1
# => This Inner Loop Header: Depth=2
lbu a2, 0(a0)
sb a2, 0(a1)
addi a1, a1, 1 addi a1, a1, 1
bne a2, a0, .LBB9_9 addi a0, a0, 1
.LBB9_10: # in Loop: Header=BB9_4 Depth=1 bne a1, s7, .LBB10_11
mv a0, s6 .LBB10_12: # in Loop: Header=BB10_2 Depth=1
mv a0, s2
call free call free
lbu a0, 7(sp) lbu a0, 3(sp)
mv s6, s8 mv s2, s3
j .LBB9_3 mv s7, s8
.LBB9_11: j .LBB10_14
li s0, 0 .LBB10_13: # in Loop: Header=BB10_2 Depth=1
j .LBB9_13 mv s3, s2
.LBB9_12: .LBB10_14: # in Loop: Header=BB10_2 Depth=1
mv s0, s1 addi s1, s6, 1
mv s8, s6 add s6, s6, s3
.LBB9_13: sb a0, 0(s6)
add s0, s0, s8 addi a1, sp, 3
sb zero, 0(s0) mv a0, s0
mv a0, s8 call scanf
li a1, 0
mv s6, s1
beq a0, s9, .LBB10_2
j .LBB10_17
.LBB10_15:
li s1, 0
j .LBB10_17
.LBB10_16:
mv s1, s6
mv s3, s2
.LBB10_17:
add s1, s1, s3
sb zero, 0(s1)
mv a0, s3
lw ra, 44(sp) # 4-byte Folded Reload lw ra, 44(sp) # 4-byte Folded Reload
lw s0, 40(sp) # 4-byte Folded Reload lw s0, 40(sp) # 4-byte Folded Reload
lw s1, 36(sp) # 4-byte Folded Reload lw s1, 36(sp) # 4-byte Folded Reload
@ -293,10 +372,11 @@ getString: # @getString
lw s6, 16(sp) # 4-byte Folded Reload lw s6, 16(sp) # 4-byte Folded Reload
lw s7, 12(sp) # 4-byte Folded Reload lw s7, 12(sp) # 4-byte Folded Reload
lw s8, 8(sp) # 4-byte Folded Reload lw s8, 8(sp) # 4-byte Folded Reload
lw s9, 4(sp) # 4-byte Folded Reload
addi sp, sp, 48 addi sp, sp, 48
ret ret
.Lfunc_end9: .Lfunc_end10:
.size getString, .Lfunc_end9-getString .size getString, .Lfunc_end10-getString
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -316,8 +396,8 @@ getInt: # @getInt
lw ra, 12(sp) # 4-byte Folded Reload lw ra, 12(sp) # 4-byte Folded Reload
addi sp, sp, 16 addi sp, sp, 16
ret ret
.Lfunc_end10: .Lfunc_end11:
.size getInt, .Lfunc_end10-getInt .size getInt, .Lfunc_end11-getInt
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -328,8 +408,8 @@ getInt: # @getInt
.builtin.AllocateClassBody: # @.builtin.AllocateClassBody .builtin.AllocateClassBody: # @.builtin.AllocateClassBody
# %bb.0: # %bb.0:
tail malloc tail malloc
.Lfunc_end11: .Lfunc_end12:
.size .builtin.AllocateClassBody, .Lfunc_end11-.builtin.AllocateClassBody .size .builtin.AllocateClassBody, .Lfunc_end12-.builtin.AllocateClassBody
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -350,8 +430,8 @@ getInt: # @getInt
or a0, a0, a3 or a0, a0, a3
or a0, a0, a1 or a0, a0, a1
ret ret
.Lfunc_end12: .Lfunc_end13:
.size .builtin.GetArrayLength, .Lfunc_end12-.builtin.GetArrayLength .size .builtin.GetArrayLength, .Lfunc_end13-.builtin.GetArrayLength
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -378,7 +458,7 @@ getInt: # @getInt
srli s4, s0, 16 srli s4, s0, 16
li a0, 1 li a0, 1
srli s6, s0, 24 srli s6, s0, 24
bne s2, a0, .LBB13_2 bne s2, a0, .LBB14_2
# %bb.1: # %bb.1:
mul a0, s0, s3 mul a0, s0, s3
addi a0, a0, 4 addi a0, a0, 4
@ -388,8 +468,8 @@ getInt: # @getInt
sb s4, 2(a0) sb s4, 2(a0)
sb s6, 3(a0) sb s6, 3(a0)
addi a0, a0, 4 addi a0, a0, 4
j .LBB13_6 j .LBB14_6
.LBB13_2: .LBB14_2:
mv s7, a2 mv s7, a2
slli a0, s0, 2 slli a0, s0, 2
addi a0, a0, 4 addi a0, a0, 4
@ -399,14 +479,14 @@ getInt: # @getInt
sb s4, 2(a0) sb s4, 2(a0)
sb s6, 3(a0) sb s6, 3(a0)
addi a0, a0, 4 addi a0, a0, 4
blez s0, .LBB13_6 blez s0, .LBB14_6
# %bb.3: # %bb.3:
li s1, 0 li s1, 0
addi s2, s2, -1 addi s2, s2, -1
addi s5, s7, 4 addi s5, s7, 4
mv s4, a0 mv s4, a0
mv s0, a0 mv s0, a0
.LBB13_4: # =>This Inner Loop Header: Depth=1 .LBB14_4: # =>This Inner Loop Header: Depth=1
mv a0, s2 mv a0, s2
mv a1, s3 mv a1, s3
mv a2, s5 mv a2, s5
@ -415,10 +495,10 @@ getInt: # @getInt
sw a0, 0(s0) sw a0, 0(s0)
addi s1, s1, 1 addi s1, s1, 1
addi s0, s0, 4 addi s0, s0, 4
blt s1, a1, .LBB13_4 blt s1, a1, .LBB14_4
# %bb.5: # %bb.5:
mv a0, s4 mv a0, s4
.LBB13_6: .LBB14_6:
lw ra, 44(sp) # 4-byte Folded Reload lw ra, 44(sp) # 4-byte Folded Reload
lw s0, 40(sp) # 4-byte Folded Reload lw s0, 40(sp) # 4-byte Folded Reload
lw s1, 36(sp) # 4-byte Folded Reload lw s1, 36(sp) # 4-byte Folded Reload
@ -430,8 +510,8 @@ getInt: # @getInt
lw s7, 12(sp) # 4-byte Folded Reload lw s7, 12(sp) # 4-byte Folded Reload
addi sp, sp, 48 addi sp, sp, 48
ret ret
.Lfunc_end13: .Lfunc_end14:
.size .builtin.RecursiveAllocateArray, .Lfunc_end13-.builtin.RecursiveAllocateArray .size .builtin.RecursiveAllocateArray, .Lfunc_end14-.builtin.RecursiveAllocateArray
# -- End function # -- End function
.option pop .option pop
.option push .option push
@ -461,8 +541,8 @@ getInt: # @getInt
lw s0, 8(sp) # 4-byte Folded Reload lw s0, 8(sp) # 4-byte Folded Reload
addi sp, sp, 16 addi sp, sp, 16
ret ret
.Lfunc_end14: .Lfunc_end15:
.size .builtin.AllocateArray, .Lfunc_end14-.builtin.AllocateArray .size .builtin.AllocateArray, .Lfunc_end15-.builtin.AllocateArray
# -- End function # -- End function
.option pop .option pop
.type .L.str,@object # @.str .type .L.str,@object # @.str