loop_unroll.cpp File Reference

#include <goto-programs/loop_unroll.h>
#include <util/base/prefix.h>

Include dependency graph for loop_unroll.cpp:

Functions
static bool	is_unroll_intrinsic (const goto_programt::instructiont &instruction)
static bool	is_loop_preamble (const goto_programt::instructiont &instruction, const goto_programt::instructiont &head)

Function Documentation

is_loop_preamble()

bool is_loop_preamble ( const goto_programt::instructiont & instruction, const goto_programt::instructiont & head )

static

is_unroll_intrinsic()

bool is_unroll_intrinsic ( const goto_programt::instructiont & instruction )

static