Module unreachable_enum_branching

Source
Expand description

A pass that eliminates branches on uninhabited or unreachable enum variants.

Structsยง

UnreachableEnumBranching ๐Ÿ”’

Functionsยง

get_discriminant_local ๐Ÿ”’
get_switched_on_type ๐Ÿ”’
If the basic block terminates by switching on a discriminant, this returns the Ty the discriminant is read from. Otherwise, returns None.
variant_discriminants ๐Ÿ”’