clang/test/CodeGenObjC/builtin-constant-p.m

   1 // RUN: %clang_cc1 -no-opaque-pointers -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* noundef %foo, %1* noundef %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* noundef %object, i8* noundef %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 }