// RUN: %clang_cc1 %s -ffreestanding -triple=x86_64-unknown-unknown -emit-llvm -o - -Wall -Werror | FileCheck %s
// RUN: %clang_cc1 %s -ffreestanding -triple=i386-unknown-unknown -emit-llvm -o - -Wall -Werror | FileCheck %s
#include <x86intrin.h>
void test_wbinvd(void) {
//CHECK-LABEL: @test_wbinvd
//CHECK: call void @llvm.x86.wbinvd()
_wbinvd();
}