The TSI_demo_lowpower example supports VLLS3:
/* VLLS3 mode */
printf("\r\n Send any character to go into low power mode VLLS3 \r\n");
in_char();
enable_lpwui();
TSI_GoToLP();
delay(800000);
pee_pbe(CLK0_FREQ_HZ);
pbe_fbe(CLK0_FREQ_HZ);
fbe_fbi(32000,0);
fbi_blpi(32000,0);
enter_vlls3();
blpi_fbi(32000,0);
fbi_fei(32000);
fei_fbe(CLK0_FREQ_HZ,1,1);
fbe_pbe(0,CLK0_FREQ_HZ,0,PLL0_PRDIV,PLL0_VDIV);
pbe_pee(CLK0_FREQ_HZ,PLL_0);
TSI_GoToActive();
printf("\r\n Woke up from VLLS3 !!! - Nice!!! \r\n");
LEDs_On();