1 ; RUN: opt -S -deadargelim %s | FileCheck %s 2 3 ; Don't eliminate dead arugments from naked functions. 4 ; CHECK: define internal i32 @naked(i32 %x) 5 6 define internal i32 @naked(i32 %x) #0 { 7 tail call void asm sideeffect inteldialect "mov eax, [esp + $$4]\0A\09ret", "~{eax},~{dirflag},~{fpsr},~{flags}"() 8 unreachable 9 } 10 11 12 ; Don't eliminate dead varargs from naked functions. 13 ; CHECK: define internal i32 @naked_va(i32 %x, ...) 14 15 define internal i32 @naked_va(i32 %x, ...) #0 { 16 tail call void asm sideeffect inteldialect "mov eax, [esp + $$8]\0A\09ret", "~{eax},~{dirflag},~{fpsr},~{flags}"() 17 unreachable 18 } 19 20 define i32 @f(i32 %x, i32 %y) { 21 %r = call i32 @naked(i32 %x) 22 %s = call i32 (i32, ...) @naked_va(i32 %x, i32 %r) 23 24 ; Make sure the arguments are still there: not removed or replaced with undef. 25 ; CHECK: %r = call i32 @naked(i32 %x) 26 ; CHECK: %s = call i32 (i32, ...) @naked_va(i32 %x, i32 %r) 27 28 ret i32 %s 29 } 30 31 attributes #0 = { naked } 32
