llvm-project/clang/test/CodeGen/builtin-expect.c

// 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;
}