31 lines · plain
1; RUN: opt -passes=instcombine -S < %s | FileCheck %s2 3declare void @bar()4declare void @baz()5 6; Check that dereferenceable metadata is combined7; CHECK-LABEL: cont:8; CHECK: load ptr, ptr9; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]]10define ptr @test_phi_combine_load_metadata(i1 %c, ptr dereferenceable(8) %p1, ptr dereferenceable(8) %p2) {11 br i1 %c, label %t, label %f12t:13 call void @bar()14 %v1 = load ptr, ptr %p1, align 8, !dereferenceable !015 br label %cont16 17f:18 call void @baz()19 %v2 = load ptr, ptr %p2, align 8, !dereferenceable !120 br label %cont21 22cont:23 %res = phi ptr [ %v1, %t ], [ %v2, %f ]24 ret ptr %res25}26 27; CHECK: ![[DEREF]] = !{i64 8}28 29!0 = !{i64 8}30!1 = !{i64 16}31