Fix term order in Add

coord-e · coord-e · commit f0ddfedef8d3 · 2025-08-30T14:03:01.000+09:00
diff --git a/src/analyze/basic_block.rs b/src/analyze/basic_block.rs
@@ -161,7 +161,7 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
                 let (_rhs_ty, rhs_term) = builder.subsume(rhs_ty);
                 match (&lhs_ty, op) {
                     (rty::Type::Int, mir::BinOp::Add) => {
-                        builder.build(lhs_ty, rhs_term.add(lhs_term))
+                        builder.build(lhs_ty, lhs_term.add(rhs_term))
                     }
                     (rty::Type::Int, mir::BinOp::Sub) => {
                         builder.build(lhs_ty, lhs_term.sub(rhs_term))

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {`
`161`	`161`	`let (_rhs_ty, rhs_term) = builder.subsume(rhs_ty);`
`162`	`162`	`match (&lhs_ty, op) {`
`163`	`163`	`(rty::Type::Int, mir::BinOp::Add) => {`
`164`		`- builder.build(lhs_ty, rhs_term.add(lhs_term))`
	`164`	`+ builder.build(lhs_ty, lhs_term.add(rhs_term))`
`165`	`165`	`}`
`166`	`166`	`(rty::Type::Int, mir::BinOp::Sub) => {`
`167`	`167`	`builder.build(lhs_ty, lhs_term.sub(rhs_term))`