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 // CHECK-LABEL: @test1 5 int test1(int *a, int i) { 6 // CHECK: store i32* %a, i32** [[A_ADDR:%.+]], align 7 // CHECK: [[A:%.+]] = load i32** [[A_ADDR]] 8 // CHECK: [[CMP:%.+]] = icmp ne i32* [[A]], null 9 // CHECK: call void @llvm.assume(i1 [[CMP]]) 10 #ifdef _MSC_VER 11 __assume(a != 0) 12 #else 13 __builtin_assume(a != 0); 14 #endif 15 16 // Nothing is generated for an assume with side effects... 17 // CHECK-NOT: load i32** %i.addr 18 // CHECK-NOT: call void @llvm.assume 19 #ifdef _MSC_VER 20 __assume(++i != 0) 21 #else 22 __builtin_assume(++i != 0); 23 #endif 24 25 return a[0]; 26 } 27 28