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