Skip to content

Commit

Permalink
Fixed scomp issues
Browse files Browse the repository at this point in the history
  • Loading branch information
@jack-melchert
jack-melchert committed May 26, 2024
1 parent 7a645fc commit 3322ce3
Showing 1 changed file with 8 additions and 4 deletions.
12 changes: 8 additions & 4 deletions src/CodeGen_Pono.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -960,7 +960,8 @@ string associated_provide_name(Stmt s, string call_name) {
stream << ')';
} else {
stream << "solver.create_term(solver.ops.Ite, ";
if (op->type.is_int()) {
Halide::Type t = op->a.type();
if (t.is_int()) {
stream << "solver.create_term(solver.ops.BVSlt, ";
} else {
stream << "solver.create_term(solver.ops.BVUlt, ";
Expand All @@ -982,7 +983,8 @@ string associated_provide_name(Stmt s, string call_name) {
stream << ')';
} else {
stream << "solver.create_term(solver.ops.Ite, ";
if (op->type.is_int()) {
Halide::Type t = op->a.type();
if (t.is_int()) {
stream << "solver.create_term(solver.ops.BVSle, ";
} else {
stream << "solver.create_term(solver.ops.BVUle, ";
Expand All @@ -1004,7 +1006,8 @@ string associated_provide_name(Stmt s, string call_name) {
stream << ')';
} else {
stream << "solver.create_term(solver.ops.Ite, ";
if (op->type.is_int()) {
Halide::Type t = op->a.type();
if (t.is_int()) {
stream << "solver.create_term(solver.ops.BVSgt, ";
} else {
stream << "solver.create_term(solver.ops.BVUgt, ";
Expand All @@ -1026,7 +1029,8 @@ string associated_provide_name(Stmt s, string call_name) {
stream << ')';
} else {
stream << "solver.create_term(solver.ops.Ite, ";
if (op->type.is_int()) {
Halide::Type t = op->a.type();
if (t.is_int()) {
stream << "solver.create_term(solver.ops.BVSge, ";
} else {
stream << "solver.create_term(solver.ops.BVUge, ";
Expand Down

0 comments on commit 3322ce3

Please sign in to comment.