blob: 884110cbe905e01a45336b72dee6ebc884bf5716 [file] [log] [blame]
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s -O0 | FileCheck %s --check-prefix=CHECK_O0
int x;
int y(void);
void foo();
void FUNC() {
// CHECK-LABEL: define void @FUNC()
// CHECK: [[call:%.*]] = call i32 @y
// CHECK_O0: [[call:%.*]] = call i32 @y
// CHECK_O0-NOT: call i64 @llvm.expect
if (__builtin_expect (x, y()))
foo ();
}
// rdar://9330105
void isigprocmask(void);
long bar();
int main() {
(void) __builtin_expect((isigprocmask(), 0), bar());
}
// CHECK-LABEL: define i32 @main()
// CHECK: call void @isigprocmask()
// CHECK: [[C:%.*]] = call i64 (...) @bar()
// CHECK_O0: call void @isigprocmask()
// CHECK_O0: [[C:%.*]] = call i64 (...) @bar()
// CHECK_O0-NOT: call i64 @llvm.expect
// CHECK-LABEL: define i32 @test1
int test1(int x) {
// CHECK_O0-NOT: call i64 @llvm.expect
if (__builtin_expect (x, 1))
return 0;
return x;
}
// CHECK: define i32 @test2
int test2(int x) {
// CHECK_O0-NOT: call i64 @llvm.expect
switch(__builtin_expect(x, 5)) {
default:
return 0;
case 0:
case 1:
case 2:
return 1;
case 5:
return 5;
};
return 0;
}