1 // RUN: %clang_cc1 %s -ffreestanding -triple=x86_64-unknown-unknown -emit-llvm -o - -Wall -Werror | FileCheck %s
2 // RUN: %clang_cc1 %s -ffreestanding -triple=i386-unknown-unknown -emit-llvm -o - -Wall -Werror | FileCheck %s
3 
4 #include <x86intrin.h>
5 
test_wbinvd(void)6 void test_wbinvd(void) {
7   //CHECK-LABEL: @test_wbinvd
8   //CHECK: call void @llvm.x86.wbinvd()
9   _wbinvd();
10 }
11