Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)