1; RUN: opt -passes=instcombine -S < %s | FileCheck %s 2 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: !nonnull 9define ptr @test_combine_metadata_dominance(i1 %c, ptr dereferenceable(8) %p1, ptr dereferenceable(8) %p2) { 10 br i1 %c, label %t, label %f 11t: 12 call void @bar() 13 %v1 = load ptr, ptr %p1, align 8, !nonnull !0 14 br label %cont 15 16f: 17 call void @baz() 18 %v2 = load ptr, ptr %p2, align 8 19 br label %cont 20 21cont: 22 %res = phi ptr [ %v1, %t ], [ %v2, %f ] 23 ret ptr %res 24} 25 26!0 = !{} 27