multibitmapset.c File Reference

#include "postgres.h"
#include "nodes/multibitmapset.h"

Include dependency graph for multibitmapset.c:

Go to the source code of this file.

Functions
List *	mbms_add_member (List *a, int listidx, int bitidx)
List *	mbms_add_members (List *a, const List *b)
List *	mbms_int_members (List *a, const List *b)
bool	mbms_is_member (int listidx, int bitidx, const List *a)
Bitmapset *	mbms_overlap_sets (const List *a, const List *b)

Function Documentation

mbms_add_member()

List* mbms_add_member	(	List *	a,
		int	listidx,
		int	bitidx
	)

Definition at line 44 of file multibitmapset.c.

{
    Bitmapset  *bms;
    ListCell   *lc;
 
    if (listidx < 0 || bitidx < 0)
        elog(ERROR, "negative multibitmapset member index not allowed");
    /* Add empty elements as needed */
    while (list_length(a) <= listidx)
        a = lappend(a, NULL);
    /* Update the target element */
    lc = list_nth_cell(a, listidx);
    bms = lfirst_node(Bitmapset, lc);
    bms = bms_add_member(bms, bitidx);
    lfirst(lc) = bms;
    return a;
}

References a, bms_add_member(), elog, ERROR, lappend(), lfirst, lfirst_node, list_length(), and list_nth_cell().

Referenced by find_forced_null_vars(), and find_nonnullable_vars_walker().

mbms_add_members()

List* mbms_add_members	(	List *	a,
		const List *	b
	)

Definition at line 71 of file multibitmapset.c.

{
    ListCell   *lca,
               *lcb;
 
    /* Add empty elements to a, as needed */
    while (list_length(a) < list_length(b))
        a = lappend(a, NULL);
    /* forboth will stop at the end of the shorter list, which is fine */
    forboth(lca, a, lcb, b)
    {
        Bitmapset  *bmsa = lfirst_node(Bitmapset, lca);
        const Bitmapset *bmsb = lfirst_node(Bitmapset, lcb);
 
        bmsa = bms_add_members(bmsa, bmsb);
        lfirst(lca) = bmsa;
    }
    return a;
}

References a, b, bms_add_members(), forboth, lappend(), lca(), lfirst, lfirst_node, and list_length().

Referenced by find_forced_null_vars(), find_nonnullable_vars_walker(), and reduce_outer_joins_pass2().

mbms_int_members()

List* mbms_int_members	(	List *	a,
		const List *	b
	)

Definition at line 100 of file multibitmapset.c.

{
    ListCell   *lca,
               *lcb;
 
    /* Remove any elements of a that are no longer of use */
    a = list_truncate(a, list_length(b));
    /* forboth will stop at the end of the shorter list, which is fine */
    forboth(lca, a, lcb, b)
    {
        Bitmapset  *bmsa = lfirst_node(Bitmapset, lca);
        const Bitmapset *bmsb = lfirst_node(Bitmapset, lcb);
 
        bmsa = bms_int_members(bmsa, bmsb);
        lfirst(lca) = bmsa;
    }
    return a;
}

References a, b, bms_int_members(), forboth, lca(), lfirst, lfirst_node, list_length(), and list_truncate().

Referenced by find_nonnullable_vars_walker().

mbms_is_member()

bool mbms_is_member	(	int	listidx,
		int	bitidx,
		const List *	a
	)

Definition at line 126 of file multibitmapset.c.

{
    const Bitmapset *bms;
 
    /* XXX better to just return false for negative indexes? */
    if (listidx < 0 || bitidx < 0)
        elog(ERROR, "negative multibitmapset member index not allowed");
    if (listidx >= list_length(a))
        return false;
    bms = list_nth_node(Bitmapset, a, listidx);
    return bms_is_member(bitidx, bms);
}

References a, bms_is_member(), elog, ERROR, list_length(), and list_nth_node.

mbms_overlap_sets()

Bitmapset* mbms_overlap_sets	(	const List *	a,
		const List *	b
	)

Definition at line 146 of file multibitmapset.c.

{
    Bitmapset  *result = NULL;
    ListCell   *lca,
               *lcb;
 
    /* forboth will stop at the end of the shorter list, which is fine */
    forboth(lca, a, lcb, b)
    {
        const Bitmapset *bmsa = lfirst_node(Bitmapset, lca);
        const Bitmapset *bmsb = lfirst_node(Bitmapset, lcb);
 
        if (bms_overlap(bmsa, bmsb))
            result = bms_add_member(result, foreach_current_index(lca));
    }
    return result;
}

References a, b, bms_add_member(), bms_overlap(), forboth, foreach_current_index, lca(), and lfirst_node.

Referenced by reduce_outer_joins_pass2().