fn w8 $optPtrEq(w64 %0, w64 %1) {
  @entry0
    eq w64 %2 %0 %1;
    ret %2;
}

fn w8 $optPtrNeq(w64 %0, w64 %1) {
  @entry0
    ne w64 %2 %0 %1;
    ret %2;
}

fn w8 $optPtrEqNil(w64 %0) {
  @entry0
    eq w64 %1 %0 0;
    ret %1;
}

fn w8 $optPtrNeqNil(w64 %0) {
  @entry0
    ne w64 %1 %0 0;
    ret %1;
}