Fix asserts

KhronosGroup · Feb 12, 2024 · bbea310 · bbea310
1 parent 4760d1f
commit bbea310
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/source/opt/const_folding_rules.cpp b/source/opt/const_folding_rules.cpp
@@ -1715,8 +1715,10 @@ BinaryScalarFoldingRule FoldBinaryIntegerOperation(uint64_t (*op)(uint64_t,
  assert(result_type != nullptr && a != nullptr && b != nullptr);
  const analysis::Integer* integer_type = result_type->AsInteger();
  assert(integer_type != nullptr);
- assert(integer_type == a->type()->AsInteger());
- assert(integer_type == b->type()->AsInteger());
+ assert(a->type()->kind() == analysis::Type::kInteger);
+ assert(b->type()->kind() == analysis::Type::kInteger);
+ assert(integer_type->width() == a->type()->AsInteger()->width());
+ assert(integer_type->width() == b->type()->AsInteger()->width());
 
  // In SPIR-V, all operations support unsigned types, but the way they
  // are interpreted depends on the opcode. This is why we use the

diff --git a/source/opt/fold_spec_constant_op_and_composite_pass.cpp b/source/opt/fold_spec_constant_op_and_composite_pass.cpp
@@ -118,8 +118,6 @@ bool FoldSpecConstantOpAndCompositePass::ProcessOpSpecConstantOp(
  folded_inst = FoldWithInstructionFolder(pos);
  if (!folded_inst) {
  folded_inst = DoComponentWiseOperation(pos);
- } else {
- std::cerr << inst->PrettyPrint() << "\n";
  }
  if (!folded_inst) return false;