27 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn -S | FileCheck %s2 3; The input *.ll is obtained by manually annotating "invariant.load" to the 4; two loads. With "invariant.load" metadata, the second load is redundant.5;6; int foo(int *p, char *q) {7; *q = (char)*p;8; return *p + 1;9; }10 11define i32 @foo(ptr nocapture %p, ptr nocapture %q) {12entry:13 %0 = load i32, ptr %p, align 4, !invariant.load !314 %conv = trunc i32 %0 to i815 store i8 %conv, ptr %q, align 116 %1 = load i32, ptr %p, align 4, !invariant.load !317 %add = add nsw i32 %1, 118 ret i32 %add19 20; CHECK: foo21; CHECK: %0 = load i32, ptr %p22; CHECK: store i8 %conv, ptr %q,23; CHECK: %add = add nsw i32 %0, 124}25 26!3 = !{}27