test/Transforms/DeadArgElim/naked_functions.ll

   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 }