let expr_cond_cmp_ptr mem cmpop e1 e2 = let t1 = loc_of_value (expr_rec_spec_null mem e1) in let t2 = loc_of_value (expr_rec_spec_null mem e2) in pcmp_operator cmpop t1 t2