Lines Matching refs:SkeletonInstSimplification

64 (type SkeletonInstSimplification
91 (decl pure inst_to_skeleton_inst_simplification (Inst) SkeletonInstSimplification)
93       (SkeletonInstSimplification.Replace inst))
95 (decl pure value_to_skeleton_inst_simplification (Value) SkeletonInstSimplification)
97       (SkeletonInstSimplification.RemoveWithVal val))
99 (decl pure remove_inst () SkeletonInstSimplification)
100 (rule (remove_inst) (SkeletonInstSimplification.Remove))
102 (decl pure replace_with_val (Inst Value) SkeletonInstSimplification)
103 (rule (replace_with_val inst val) (SkeletonInstSimplification.ReplaceWithVal inst val))
105 (convert Inst SkeletonInstSimplification inst_to_skeleton_inst_simplification)
106 (convert Value SkeletonInstSimplification value_to_skeleton_inst_simplification)
110 (decl multi simplify_skeleton (Inst) SkeletonInstSimplification)