27 lines · plain
1; RUN: opt -passes=instcombine -S < %s | FileCheck %s2 3declare void @bar()4declare void @baz()5 6; Check that nonnull metadata is from non-dominating loads is not propagated.7; CHECK-LABEL: cont:8; CHECK-NOT: !nonnull9define ptr @test_combine_metadata_dominance(i1 %c, ptr dereferenceable(8) %p1, ptr dereferenceable(8) %p2) {10 br i1 %c, label %t, label %f11t:12 call void @bar()13 %v1 = load ptr, ptr %p1, align 8, !nonnull !014 br label %cont15 16f:17 call void @baz()18 %v2 = load ptr, ptr %p2, align 819 br label %cont20 21cont:22 %res = phi ptr [ %v1, %t ], [ %v2, %f ]23 ret ptr %res24}25 26!0 = !{}27