1*9880d681SAndroid Build Coastguard Worker; RUN: opt -instcombine -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdeclare void @bar() 4*9880d681SAndroid Build Coastguard Workerdeclare void @baz() 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; Check that dereferenceable metadata is combined 7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: cont: 8*9880d681SAndroid Build Coastguard Worker; CHECK: load i32*, i32** 9*9880d681SAndroid Build Coastguard Worker; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]] 10*9880d681SAndroid Build Coastguard Workerdefine i32* @test_phi_combine_load_metadata(i1 %c, i32** dereferenceable(8) %p1, i32** dereferenceable(8) %p2) { 11*9880d681SAndroid Build Coastguard Worker br i1 %c, label %t, label %f 12*9880d681SAndroid Build Coastguard Workert: 13*9880d681SAndroid Build Coastguard Worker call void @bar() 14*9880d681SAndroid Build Coastguard Worker %v1 = load i32*, i32** %p1, align 8, !dereferenceable !0 15*9880d681SAndroid Build Coastguard Worker br label %cont 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Workerf: 18*9880d681SAndroid Build Coastguard Worker call void @baz() 19*9880d681SAndroid Build Coastguard Worker %v2 = load i32*, i32** %p2, align 8, !dereferenceable !1 20*9880d681SAndroid Build Coastguard Worker br label %cont 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Workercont: 23*9880d681SAndroid Build Coastguard Worker %res = phi i32* [ %v1, %t ], [ %v2, %f ] 24*9880d681SAndroid Build Coastguard Worker ret i32* %res 25*9880d681SAndroid Build Coastguard Worker} 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Worker; CHECK: ![[DEREF]] = !{i64 8} 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Worker!0 = !{i64 8} 30*9880d681SAndroid Build Coastguard Worker!1 = !{i64 16} 31