llvm/llvm/test/CodeGen/PowerPC/check-aix-small-local-exec-tls-opt-IRattribute.ll

; RUN: llc -mtriple powerpc64-ibm-aix-xcoff -ppc-asm-full-reg-names \
; RUN:   < %s | FileCheck %s
; RUN: not llc -mtriple powerpc-ibm-aix-xcoff -ppc-asm-full-reg-names \
; RUN:   < %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-SUPPORTED
; RUN: not llc -mtriple powerpc64le-unknown-linux-gnu -ppc-asm-full-reg-names \
; RUN:   < %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOT-SUPPORTED
; RUN: not llc -mtriple powerpc64-ibm-aix-xcoff -ppc-asm-full-reg-names \
; RUN:   -data-sections=false < %s 2>&1 | \
; RUN: FileCheck %s --check-prefix=CHECK-UNSUPPORTED-NO-DATASEC

define dso_local signext i32 @testWithIRAttrLocalExec() #0 {
entry:
  ret i32 0
}

define dso_local signext i32 @testWithIRAttrLocalDynamic() #1 {
entry:
  ret i32 0
}

; Check that the aix-small-local-[exec|dynamic]-tls attribute is not supported on Linux and AIX (32-bit).
; CHECK-NOT-SUPPORTED: The aix-small-local-[exec|dynamic]-tls attribute is only supported on AIX in 64-bit mode.

; Check that the aix-small-local-[exec|dynamic]-tls attribute is only supported when
; data sections are enabled.
; CHECK-UNSUPPORTED-NO-DATASEC: The aix-small-local-[exec|dynamic]-tls attribute can only be specified with -data-sections.

; Make sure that the test was actually compiled successfully after using the
; aix-small-local-[exec|dynamic]-tls attribute.
; CHECK-LABEL: testWithIRAttrLocalExec:
; CHECK:        li r3, 0
; CHECK-NEXT:   blr
; CHECK-LABEL: testWithIRAttrLocalDynamic:
; CHECK:        li r3, 0
; CHECK-NEXT:   blr

attributes #0 = { "target-features"="+aix-small-local-exec-tls" }
attributes #1 = { "target-features"="+aix-small-local-dynamic-tls" }