| 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 | |
|---|
| 9 | extern void callee(void); |
|---|
| 10 | |
|---|
| 11 | // CHECK-LABEL: define void @test(%0* %foo, %1* %bar) |
|---|
| 12 | void 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) |
|---|
| 23 | void 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 | |
|---|