target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" declare !type !0 i8 @bar(i8*) declare i1 @llvm.type.test(i8* %ptr, metadata %type) nounwind readnone define i8 @baz(i8* %p) !type !0 { %x = call i1 @llvm.type.test(i8* %p, metadata !"t1") %1 = select i1 %x, i8 0, i8 3 ret i8 %1 } define i8 @qux(i8* %p) !type !0 { %x = call i1 @llvm.type.test(i8* %p, metadata !"t1") ret i8 4 } define i8 @g(i1 %i, i8* %p) { %1 = select i1 %i, i8(i8*)* @bar, i8(i8*)* @qux %2 = call i8 %1(i8* %p) ret i8 %2 } !0 = !{i64 0, !"t1"}