1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-macosx10.7.0 %s -emit-llvm -o - | FileCheck %s 2*67e74705SXin Li 3*67e74705SXin Li void t1() __attribute__((naked)); 4*67e74705SXin Li 5*67e74705SXin Li // Basic functionality check 6*67e74705SXin Li // (Note that naked needs to imply noinline to work properly.) 7*67e74705SXin Li // CHECK: define void @t1() [[NAKED:#[0-9]+]] { t1()8*67e74705SXin Livoid t1() 9*67e74705SXin Li { 10*67e74705SXin Li } 11*67e74705SXin Li 12*67e74705SXin Li // Make sure this doesn't explode in the verifier. 13*67e74705SXin Li // (It doesn't really make sense, but it isn't invalid.) 14*67e74705SXin Li // CHECK: define void @t2() [[NAKED]] { t2()15*67e74705SXin Li__attribute((naked, always_inline)) void t2() { 16*67e74705SXin Li } 17*67e74705SXin Li 18*67e74705SXin Li // Make sure not to generate prolog or epilog for naked functions. t3(int x)19*67e74705SXin Li__attribute((naked)) void t3(int x) { 20*67e74705SXin Li // CHECK: define void @t3(i32) 21*67e74705SXin Li // CHECK-NOT: alloca 22*67e74705SXin Li // CHECK-NOT: store 23*67e74705SXin Li // CHECK: unreachable 24*67e74705SXin Li } 25*67e74705SXin Li 26*67e74705SXin Li // CHECK: attributes [[NAKED]] = { naked noinline nounwind{{.*}} } 27