Lines Matching refs:operator
105 else raise ERR "IR" ("invalid bi-operator : " ^ oper_name)
122 else raise ERR "IR" ("invalid relation operator" ^ oper_name)
210 let val (operator, operands) = dest_comb exp in
212 if is_relop operator then
215 Tree.RELOP(convert_relop operator, analyzeExp t1, analyzeExp t2)
218 else if is_binop operator then
221 Tree.BINOP (convert_binop operator, analyzeExp t1, analyzeExp t2)
223 else Tree.BINOP (convert_binop operator, analyzeExp operands, analyzeExp operands) (* UNIOP of uniop * exp *)
225 else if same_const operator n2w_tm then (* words *)
228 let val (fun_name, fun_type) = dest_const operator in
322 | print_rop _ = raise ERR "IR" "invalid relational operator";