llvm/test/Transforms/Attributor/ArgumentPromotion/naked_functions.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6
   7 ; Don't promote paramaters of/arguments to naked functions
   8
   9 @g = common global i32 0, align 4
  10
  11 ;.
  12 ; CHECK: @[[G:[a-zA-Z0-9_$"\\.-]+]] = common global i32 0, align 4
  13 ;.
  14 define i32 @bar() {
  15 ; CHECK-LABEL: define {{[^@]+}}@bar() {
  16 ; CHECK-NEXT:  entry:
  17 ; CHECK-NEXT:    [[CALL:%.*]] = call i32 @foo(i32* noundef nonnull align 4 dereferenceable(4) @g)
  18 ; CHECK-NEXT:    ret i32 [[CALL]]
  19 ;
  20 entry:
  21   %call = call i32 @foo(i32* @g)
  22   ret i32 %call
  23 }
  24
  25 define internal i32 @foo(i32*) #0 {
  26 ; CHECK: Function Attrs: naked
  27 ; CHECK-LABEL: define {{[^@]+}}@foo
  28 ; CHECK-SAME: (i32* [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {
  29 ; CHECK-NEXT:  entry:
  30 ; CHECK-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
  31 ; CHECK-NEXT:    call void asm sideeffect "ldr r0, [r0] \0Abx lr \0A", ""()
  32 ; CHECK-NEXT:    unreachable
  33 ;
  34 entry:
  35   %retval = alloca i32, align 4
  36   call void asm sideeffect "ldr r0, [r0] \0Abx lr        \0A", ""()
  37   unreachable
  38 }
  39
  40
  41 attributes #0 = { naked }
  42 ;.
  43 ; CHECK: attributes #[[ATTR0]] = { naked }
  44 ;.