; RUN: echo "Hello, Lit!" | FileCheck %s
;
; CHECK: Hello, Lit!

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

// RUN:      llql -q "SELECT COUNT() FROM instructions WHERE m_inst(instruction, m_trunc(m_binop(m_any_inst(), m_zext() || m_sext())));" 
// RUN-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

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