1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -O3 -disable-llvm-passes -o - %s | FileCheck %s
2
3// Test that can call `__builtin_constant_p` with instances of different
4// Objective-C classes.
5// rdar://problem/47499250
6@class Foo;
7@class Bar;
8
9extern void callee(void);
10
11// CHECK-LABEL: define void @test(%0* %foo, %1* %bar)
12void test(Foo *foo, Bar *bar) {
13  // CHECK: [[ADDR_FOO:%.*]] = bitcast %0* %{{.*}} to i8*
14  // CHECK-NEXT: call i1 @llvm.is.constant.p0i8(i8* [[ADDR_FOO]])
15  // CHECK: [[ADDR_BAR:%.*]] = bitcast %1* %{{.*}} to i8*
16  // CHECK-NEXT: call i1 @llvm.is.constant.p0i8(i8* [[ADDR_BAR]])
17  if (__builtin_constant_p(foo) && __builtin_constant_p(bar))
18    callee();
19}
20
21// Test other Objective-C types.
22// CHECK-LABEL: define void @test_more(i8* %object, i8* %klass)
23void test_more(id object, Class klass) {
24  // CHECK: call i1 @llvm.is.constant.p0i8(i8* %{{.*}})
25  // CHECK: call i1 @llvm.is.constant.p0i8(i8* %{{.*}})
26  if (__builtin_constant_p(object) && __builtin_constant_p(klass))
27    callee();
28}
29