隋程太虚，西充人。自幼学道，精修勤苦。隐居南岷山，绝粒，有二虎侍左右。九井十三峯，皆其修炼处也。一夕，大风雨，砌下得碧玉印。每乞符祈年，印以授之，辄获丰稔。唐元和中解体，后迁神于元宫，容貌不变。宣宗命人求之，过商山，宿逆旅，蹑险有居第如公馆。青童引见，一道士自称程太虚，祖居西充。且嘱曰：「明岁君自蜀至南岷，无忘我。」及至蜀，视画像，与前见者无异。宋赐号道济大师。（《古今图书集成·职方典·顺庆府部》引《总志》）