即今阿庐古洞。在云南泸西县西北六里。《清一统志·广西州》：阿庐洞“在州城西五里。宏敞幽邃，中有雕栏、宝塔、彩云、玉柱、钟鼓、伞甑、瑶床、佛龛之异”。现为著名风景名胜区。