digraph "CFG for 'rotate_left' function" {
	label="CFG for 'rotate_left' function";

	Node0x2225c30 [shape=record,color="#b70d28ff", style=filled, fillcolor="#b70d2870",label="{%3:\l  %4 = alloca %struct.splay_tree_node_s**, align 8\l  %5 = alloca %struct.splay_tree_node_s*, align 8\l  %6 = alloca %struct.splay_tree_node_s*, align 8\l  %7 = alloca %struct.splay_tree_node_s*, align 8\l  store %struct.splay_tree_node_s** %0, %struct.splay_tree_node_s*** %4, align\l... 8\l  store %struct.splay_tree_node_s* %1, %struct.splay_tree_node_s** %5, align 8\l  store %struct.splay_tree_node_s* %2, %struct.splay_tree_node_s** %6, align 8\l  store %struct.splay_tree_node_s* null, %struct.splay_tree_node_s** %7, align\l... 8\l  %8 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %6, align 8\l  %9 = getelementptr inbounds %struct.splay_tree_node_s,\l... %struct.splay_tree_node_s* %8, i32 0, i32 3\l  %10 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %9, align\l... 8\l  store %struct.splay_tree_node_s* %10, %struct.splay_tree_node_s** %7, align 8\l  %11 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %5, align\l... 8\l  %12 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %6, align\l... 8\l  %13 = getelementptr inbounds %struct.splay_tree_node_s,\l... %struct.splay_tree_node_s* %12, i32 0, i32 3\l  store %struct.splay_tree_node_s* %11, %struct.splay_tree_node_s** %13, align\l... 8\l  %14 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %7, align\l... 8\l  %15 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %5, align\l... 8\l  %16 = getelementptr inbounds %struct.splay_tree_node_s,\l... %struct.splay_tree_node_s* %15, i32 0, i32 2\l  store %struct.splay_tree_node_s* %14, %struct.splay_tree_node_s** %16, align\l... 8\l  %17 = load %struct.splay_tree_node_s*, %struct.splay_tree_node_s** %6, align\l... 8\l  %18 = load %struct.splay_tree_node_s**, %struct.splay_tree_node_s*** %4,\l... align 8\l  store %struct.splay_tree_node_s* %17, %struct.splay_tree_node_s** %18, align\l... 8\l  ret void\l}"];
}
