Các sách chính sử ghi: "Mùa đông tháng 10 năm Đại Bảo (1049) dựng chùa Diên Hựu... Trước đây chiêm bao thấy Phật Quan Âm ngồi trên tòa sen dắt vua lên tòa. Khi tỉnh dậy vua đem việc nói với quần thần, có người cho là điềm lành. Nhà sư Thiền Tuệ khuyên vua làm chùa, dựng cột đá ở giữa ao, làm tòa sen của Phật Quan Âm[...]