Hi Danial,
In our application, there is no other functionality enabled on PTP0.
I have tested code as below,
main()
{
MODRR2_T0IC1RR = 0x01; /* TIM0 input capture channel 1 is connected to logic XOR of PT1, PT2, PT3 */
PERT = 0x0E; /* Hall sensor PT1, PT2, PT3 pull device is enabled */
PTP_PTP0 = 1;
DDRP_DDRP0 = 1;
while(1)
{
/* after 500ms of delay below code is executed */
ADC0CTL_0_ADC_SR = 1;
PTP_PTP0 = 0;
CPMUOSC_OSCE = 0;
DisableInterrupts;
ASMNOP;
ASMNOP;
ASMNOP;
ASMNOP;
asm ANDCC #0x7F; /* Clears S bit , enable STOP instruction */
ASMNOP;
ASMNOP;
asm STOP;
}
After executing this code, observed that, after 500ms of power up, EVDD1 pin output is high(4.8V) after entering into stop mode. As shown in below screenshot,

Even after setting PTP0 pin to low the output at EVDD1 is high.
As per my understanding, hall supply will not get disabled for above setting.