T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cranelift: Generate the correct souper size for comparisons in LHSes (#5659)

Browse Source
This commit is contained in:
Nick Fitzgerald
2023-01-30 15:32:47 -08:00
committed by GitHub
parent f488d93c5a
commit e4fa355866
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cranelift/codegen/src/souper_harvest.rs
View File

@@ -528,9 +528,16 @@ fn souper_type_of(dfg: &ir::DataFlowGraph, val: ir::Value) -> Option<ast::Type>
let ty = dfg.value_type(val); let ty = dfg.value_type(val);
assert!(ty.is_int()); assert!(ty.is_int());
assert_eq!(ty.lane_count(), 1); assert_eq!(ty.lane_count(), 1);
Some(ast::Type { let width = match dfg.value_def(val).inst() {
width: ty.bits().try_into().unwrap(), Some(inst)
}) if dfg.insts[inst].opcode() == ir::Opcode::IcmpImm
|| dfg.insts[inst].opcode() == ir::Opcode::Icmp =>
{
1
}
_ => ty.bits().try_into().unwrap(),
};
Some(ast::Type { width })
} }
#[derive(Debug)] #[derive(Debug)]