xref: /aosp_15_r20/external/llvm/test/Transforms/GVN/preserve-tbaa.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64:64"
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker; GVN should preserve the TBAA tag on loads when doing PRE.
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test(
8*9880d681SAndroid Build Coastguard Worker; CHECK: %tmp33.pre = load i16, i16* %P, align 2, !tbaa !0
9*9880d681SAndroid Build Coastguard Worker; CHECK: br label %for.body
10*9880d681SAndroid Build Coastguard Workerdefine void @test(i16 *%P, i16* %Q) nounwind {
11*9880d681SAndroid Build Coastguard Workerentry:
12*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %bb.nph, label %for.end
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerbb.nph:                                           ; preds = %entry
15*9880d681SAndroid Build Coastguard Worker  br label %for.body
16*9880d681SAndroid Build Coastguard Worker
17*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body, %bb.nph
18*9880d681SAndroid Build Coastguard Worker  %tmp33 = load i16, i16* %P, align 2, !tbaa !0
19*9880d681SAndroid Build Coastguard Worker  store i16 %tmp33, i16* %Q
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Worker  store i16 0, i16* %P, align 2, !tbaa !0
22*9880d681SAndroid Build Coastguard Worker  br i1 false, label %for.end, label %for.body
23*9880d681SAndroid Build Coastguard Worker
24*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.body, %entry
25*9880d681SAndroid Build Coastguard Worker  ret void
26*9880d681SAndroid Build Coastguard Worker}
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Worker!0 = !{!3, !3, i64 0}
29*9880d681SAndroid Build Coastguard Worker!1 = !{!"omnipotent char", !2}
30*9880d681SAndroid Build Coastguard Worker!2 = !{!"Simple C/C++ TBAA", null}
31*9880d681SAndroid Build Coastguard Worker!3 = !{!"short", !1}
32