test/CodeGen/builtin-assume.c

   1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s
   2 // RUN: %clang_cc1 -triple i386-mingw32 -fms-extensions -emit-llvm -o - %s | FileCheck %s
   3
   4 int nonconst(void);
   5 int isconst(void) __attribute__((const));
   6 int ispure(void) __attribute__((pure));
   7
   8 // CHECK-LABEL: @test1
   9 int test1(int *a, int i) {
  10 // CHECK: store i32* %a, i32** [[A_ADDR:%.+]], align
  11 // CHECK: [[A:%.+]] = load i32*, i32** [[A_ADDR]]
  12 // CHECK: [[CMP:%.+]] = icmp ne i32* [[A]], null
  13 // CHECK: call void @llvm.assume(i1 [[CMP]])
  14
  15 // CHECK: [[CALL:%.+]] = call i32 @isconst()
  16 // CHECK: [[BOOL:%.+]] = icmp ne i32 [[CALL]], 0
  17 // CHECK: call void @llvm.assume(i1 [[BOOL]])
  18
  19 // CHECK: [[CALLPURE:%.+]] = call i32 @ispure()
  20 // CHECK: [[BOOLPURE:%.+]] = icmp ne i32 [[CALLPURE]], 0
  21 // CHECK: call void @llvm.assume(i1 [[BOOLPURE]])
  22 #ifdef _MSC_VER
  23   __assume(a != 0)
  24   __assume(isconst());
  25   __assume(ispure());
  26 #else
  27   __builtin_assume(a != 0);
  28   __builtin_assume(isconst());
  29   __builtin_assume(ispure());
  30 #endif
  31
  32 // Nothing is generated for an assume with side effects...
  33 // CHECK-NOT: load i32*, i32** %i.addr
  34 // CHECK-NOT: call void @llvm.assume
  35 // CHECK-NOT: call i32 @nonconst()
  36 #ifdef _MSC_VER
  37   __assume(++i != 0)
  38   __assume(nonconst());
  39 #else
  40   __builtin_assume(++i != 0);
  41   __builtin_assume(nonconst());
  42 #endif
  43
  44   return a[0];
  45 }
  46