xref: /aosp_15_r20/external/llvm/test/Analysis/BasicAA/invariant_load.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; The input *.ll is obtained by manually annotating "invariant.load" to the
4*9880d681SAndroid Build Coastguard Worker; two loads. With "invariant.load" metadata, the second load is redundant.
5*9880d681SAndroid Build Coastguard Worker;
6*9880d681SAndroid Build Coastguard Worker; int foo(int *p, char *q) {
7*9880d681SAndroid Build Coastguard Worker;     *q = (char)*p;
8*9880d681SAndroid Build Coastguard Worker;     return *p + 1;
9*9880d681SAndroid Build Coastguard Worker; }
10*9880d681SAndroid Build Coastguard Worker
11*9880d681SAndroid Build Coastguard Workerdefine i32 @foo(i32* nocapture %p, i8* nocapture %q) {
12*9880d681SAndroid Build Coastguard Workerentry:
13*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* %p, align 4, !invariant.load !3
14*9880d681SAndroid Build Coastguard Worker  %conv = trunc i32 %0 to i8
15*9880d681SAndroid Build Coastguard Worker  store i8 %conv, i8* %q, align 1
16*9880d681SAndroid Build Coastguard Worker  %1 = load i32, i32* %p, align 4, !invariant.load !3
17*9880d681SAndroid Build Coastguard Worker  %add = add nsw i32 %1, 1
18*9880d681SAndroid Build Coastguard Worker  ret i32 %add
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Worker; CHECK: foo
21*9880d681SAndroid Build Coastguard Worker; CHECK: %0 = load i32, i32* %p
22*9880d681SAndroid Build Coastguard Worker; CHECK: store i8 %conv, i8* %q,
23*9880d681SAndroid Build Coastguard Worker; CHECK: %add = add nsw i32 %0, 1
24*9880d681SAndroid Build Coastguard Worker}
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Worker!3 = !{}
27