// Check if there are no BinOp with constants in both RHS and LHS in the input.ll

// CHECK:      llql -q "SELECT COUNT() FROM instructions WHERE m_inst(instruction, m_binop(m_const_num(), m_const_num()));" 
// CHECK-SAME: -o yaml -f %t/InputFile.ll | yq -e e '.[0].num != 0'

// Check if the pattern `trunc (binop (Y, (ext X))) --> binop ((trunc Y), X)` exists in the input.ll

// CHECK:      llql -q "SELECT COUNT() FROM instructions WHERE m_inst(instruction, m_trunc(m_binop(m_any_inst(), m_zext() || m_sext())));" 
// CHECK-SAME: -o yaml -f %t/InputFile.ll | yq -e e '.[0].num != 0'

// Check if the pattern `trunc (binop (ext X), Y) --> binop (X, (trunc Y))` exists in the input.ll

// CHECK:      llql -q "SELECT COUNT() FROM instructions WHERE m_inst(instruction, m_trunc(m_binop(m_zext() || m_sext())));" 
// CHECK-SAME: -o yaml -f %t/InputFile.ll | yq -e e '.[0].num != 0'

