Include destination in Call inputs for PcodeOperation

toolCHAINZ · toolCHAINZ · commit cc72eb55d151 · 2026-01-29T23:10:32.000Z
diff --git a/jingle_sleigh/src/pcode/mod.rs b/jingle_sleigh/src/pcode/mod.rs
@@ -416,9 +416,9 @@ impl PcodeOperation {
             BranchInd { input, .. } => {
                 vec![input.into()]
             }
-            Call { args, .. } => {
-                let b: Vec<_> = args.iter().map(GeneralizedVarNode::from).collect();
-
+            Call { args, dest, .. } => {
+                let mut b = vec![GeneralizedVarNode::from(dest)];
+                b.extend(args.iter().map(GeneralizedVarNode::from));
                 b
             }
             CallInd { input, .. } => {

Original file line number	Diff line number	Diff line change
`@@ -416,9 +416,9 @@ impl PcodeOperation {`
`416`	`416`	`BranchInd { input, .. } => {`
`417`	`417`	`vec![input.into()]`
`418`	`418`	`}`
`419`		`- Call { args, .. } => {`
`420`		`- let b: Vec<_> = args.iter().map(GeneralizedVarNode::from).collect();`
`421`		`-`
	`419`	`+ Call { args, dest, .. } => {`
	`420`	`+ let mut b = vec![GeneralizedVarNode::from(dest)];`
	`421`	`+ b.extend(args.iter().map(GeneralizedVarNode::from));`
`422`	`422`	`b`
`423`	`423`	`}`
`424`	`424`	`CallInd { input, .. } => {`