fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2025-06-28 08:01:33 +00:00
Code Issues Projects Releases Wiki Activity

Merge #1096

Browse Source 
1096: Add TBAA labels to initialization (default and copy) of locals. r=nlewycky a=nlewycky



Co-authored-by: Nick Lewycky <nick@wasmer.io>
This commit is contained in:
bors[bot]
2019-12-21 01:06:23 +00:00
committed by GitHub
parent 4018494f6e cca73c0a6f
commit d5d82e2508
1 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
lib/llvm-backend/src/code.rs
View File

@ -1019,7 +1019,14 @@ impl<'ctx> FunctionCodeGenerator<CodegenError> for LLVMFunctionCodeGenerator<'ct
for local_idx in 0..count { for local_idx in 0..count {
let alloca = let alloca =
alloca_builder.build_alloca(ty, &format!("local{}", param_len + local_idx)); alloca_builder.build_alloca(ty, &format!("local{}", param_len + local_idx));
builder.build_store(alloca, default_value); let store = builder.build_store(alloca, default_value);
tbaa_label(
&self.module,
&intrinsics,
"local",
store,
Some((param_len + local_idx) as u32),
);
if local_idx == 0 { if local_idx == 0 {
alloca_builder.position_before( alloca_builder.position_before(
&alloca &alloca
@ -8775,10 +8782,17 @@ impl<'ctx> ModuleCodeGenerator<LLVMFunctionCodeGenerator<'ctx>, LLVMBackend, Cod
let real_ty_llvm = type_to_llvm(&intrinsics, real_ty); let real_ty_llvm = type_to_llvm(&intrinsics, real_ty);
let alloca = let alloca =
alloca_builder.build_alloca(real_ty_llvm, &format!("local{}", index)); alloca_builder.build_alloca(real_ty_llvm, &format!("local{}", index));
builder.build_store( let store = builder.build_store(
alloca, alloca,
builder.build_bitcast(param, real_ty_llvm, &state.var_name()), builder.build_bitcast(param, real_ty_llvm, &state.var_name()),
); );
tbaa_label(
&self.module,
&intrinsics,
"local",
store,
Some(index as u32),
);
if index == 0 { if index == 0 {
alloca_builder.position_before( alloca_builder.position_before(
&alloca &alloca