llvm/test/Transforms/Attributor/ArgumentPromotion/fp80.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=2 -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=2 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; TODO: The old pass manager cgscc run is disabled as it causes a crash on windows which is under investigation: http://lab.llvm.org:8011/builders/llvm-clang-x86_64-expensive-checks-win/builds/23151
   5 ; 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
   6 ; 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
   7
   8 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   9 target triple = "x86_64-unknown-linux-gnu"
  10
  11 %union.u = type { x86_fp80 }
  12 %struct.s = type { double, i16, i8, [5 x i8] }
  13
  14 @b = internal global %struct.s { double 3.14, i16 9439, i8 25, [5 x i8] undef }, align 16
  15
  16 %struct.Foo = type { i32, i64 }
  17 @a = internal global %struct.Foo { i32 1, i64 2 }, align 8
  18
  19 ;.
  20 ; CHECK: @[[B:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_S:%.*]] { double 3.140000e+00, i16 9439, i8 25, [5 x i8] undef }, align 16
  21 ; CHECK: @[[A:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_FOO:%.*]] { i32 1, i64 2 }, align 8
  22 ;.
  23 define void @run() {
  24 ;
  25 ; IS________OPM: Function Attrs: nofree noreturn nosync nounwind readnone
  26 ; IS________OPM-LABEL: define {{[^@]+}}@run
  27 ; IS________OPM-SAME: () #[[ATTR0:[0-9]+]] {
  28 ; IS________OPM-NEXT:  entry:
  29 ; IS________OPM-NEXT:    [[TMP0:%.*]] = call i64 @CaptureAStruct(%struct.Foo* nocapture nofree noundef nonnull readonly byval([[STRUCT_FOO:%.*]]) align 8 dereferenceable(16) @a) #[[ATTR0]]
  30 ; IS________OPM-NEXT:    unreachable
  31 ;
  32 ; IS__TUNIT_NPM: Function Attrs: nofree noreturn nosync nounwind readnone
  33 ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@run
  34 ; IS__TUNIT_NPM-SAME: () #[[ATTR0:[0-9]+]] {
  35 ; IS__TUNIT_NPM-NEXT:  entry:
  36 ; IS__TUNIT_NPM-NEXT:    [[A_CAST:%.*]] = bitcast %struct.Foo* @a to i32*
  37 ; IS__TUNIT_NPM-NEXT:    [[TMP0:%.*]] = load i32, i32* [[A_CAST]], align 8
  38 ; IS__TUNIT_NPM-NEXT:    [[A_0_1:%.*]] = getelementptr [[STRUCT_FOO:%.*]], %struct.Foo* @a, i32 0, i32 1
  39 ; IS__TUNIT_NPM-NEXT:    [[TMP1:%.*]] = load i64, i64* [[A_0_1]], align 8
  40 ; IS__TUNIT_NPM-NEXT:    [[TMP2:%.*]] = call i64 @CaptureAStruct(i32 [[TMP0]], i64 [[TMP1]]) #[[ATTR0]]
  41 ; IS__TUNIT_NPM-NEXT:    unreachable
  42 ;
  43 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
  44 ; IS__CGSCC____-LABEL: define {{[^@]+}}@run
  45 ; IS__CGSCC____-SAME: () #[[ATTR0:[0-9]+]] {
  46 ; IS__CGSCC____-NEXT:  entry:
  47 ; IS__CGSCC____-NEXT:    unreachable
  48 ;
  49 entry:
  50   tail call i8 @UseLongDoubleUnsafely(%union.u* byval(%union.u) align 16 bitcast (%struct.s* @b to %union.u*))
  51   tail call x86_fp80 @UseLongDoubleSafely(%union.u* byval(%union.u) align 16 bitcast (%struct.s* @b to %union.u*))
  52   call i64 @AccessPaddingOfStruct(%struct.Foo* byval(%struct.Foo) @a)
  53   call i64 @CaptureAStruct(%struct.Foo* byval(%struct.Foo) @a)
  54   ret void
  55 }
  56
  57 define internal i8 @UseLongDoubleUnsafely(%union.u* byval(%union.u) align 16 %arg) {
  58 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  59 ; IS__CGSCC____-LABEL: define {{[^@]+}}@UseLongDoubleUnsafely
  60 ; IS__CGSCC____-SAME: () #[[ATTR1:[0-9]+]] {
  61 ; IS__CGSCC____-NEXT:  entry:
  62 ; IS__CGSCC____-NEXT:    ret i8 undef
  63 ;
  64 entry:
  65   %bitcast = bitcast %union.u* %arg to %struct.s*
  66   %gep = getelementptr inbounds %struct.s, %struct.s* %bitcast, i64 0, i32 2
  67   %result = load i8, i8* %gep
  68   ret i8 %result
  69 }
  70
  71 define internal x86_fp80 @UseLongDoubleSafely(%union.u* byval(%union.u) align 16 %arg) {
  72 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  73 ; IS__CGSCC____-LABEL: define {{[^@]+}}@UseLongDoubleSafely
  74 ; IS__CGSCC____-SAME: () #[[ATTR1]] {
  75 ; IS__CGSCC____-NEXT:    ret x86_fp80 undef
  76 ;
  77   %gep = getelementptr inbounds %union.u, %union.u* %arg, i64 0, i32 0
  78   %fp80 = load x86_fp80, x86_fp80* %gep
  79   ret x86_fp80 %fp80
  80 }
  81
  82 define internal i64 @AccessPaddingOfStruct(%struct.Foo* byval(%struct.Foo) %a) {
  83 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  84 ; IS__CGSCC____-LABEL: define {{[^@]+}}@AccessPaddingOfStruct
  85 ; IS__CGSCC____-SAME: () #[[ATTR1]] {
  86 ; IS__CGSCC____-NEXT:    ret i64 undef
  87 ;
  88   %p = bitcast %struct.Foo* %a to i64*
  89   %v = load i64, i64* %p
  90   ret i64 %v
  91 }
  92
  93 define internal i64 @CaptureAStruct(%struct.Foo* byval(%struct.Foo) %a) {
  94 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@CaptureAStruct
  95 ; IS__CGSCC_OPM-SAME: (%struct.Foo* noalias nofree byval(%struct.Foo) [[A:%.*]])
  96 ; IS__CGSCC_OPM-NEXT:  entry:
  97 ; IS__CGSCC_OPM-NEXT:    [[A_PTR:%.*]] = alloca %struct.Foo*
  98 ; IS__CGSCC_OPM-NEXT:    br label [[LOOP:%.*]]
  99 ; IS__CGSCC_OPM:       loop:
 100 ; IS__CGSCC_OPM-NEXT:    [[PHI:%.*]] = phi %struct.Foo* [ null, [[ENTRY:%.*]] ], [ [[GEP:%.*]], [[LOOP]] ]
 101 ; IS__CGSCC_OPM-NEXT:    [[TMP0:%.*]] = phi %struct.Foo* [ [[A]], [[ENTRY]] ], [ [[TMP0]], [[LOOP]] ]
 102 ; IS__CGSCC_OPM-NEXT:    store %struct.Foo* [[PHI]], %struct.Foo** [[A_PTR]], align 8
 103 ; IS__CGSCC_OPM-NEXT:    [[GEP]] = getelementptr [[STRUCT_FOO:%.*]], %struct.Foo* [[A]], i64 0
 104 ; IS__CGSCC_OPM-NEXT:    br label [[LOOP]]
 105 ;
 106 ; IS________OPM: Function Attrs: nofree noreturn nosync nounwind readnone
 107 ; IS________OPM-LABEL: define {{[^@]+}}@CaptureAStruct
 108 ; IS________OPM-SAME: (%struct.Foo* noalias nocapture nofree noundef nonnull readnone byval([[STRUCT_FOO:%.*]]) align 8 dereferenceable(16) [[A:%.*]]) #[[ATTR0]] {
 109 ; IS________OPM-NEXT:  entry:
 110 ; IS________OPM-NEXT:    [[A_PTR:%.*]] = alloca %struct.Foo*, align 8
 111 ; IS________OPM-NEXT:    br label [[LOOP:%.*]]
 112 ; IS________OPM:       loop:
 113 ; IS________OPM-NEXT:    [[PHI:%.*]] = phi %struct.Foo* [ null, [[ENTRY:%.*]] ], [ [[A]], [[LOOP]] ]
 114 ; IS________OPM-NEXT:    [[TMP0:%.*]] = phi %struct.Foo* [ [[A]], [[ENTRY]] ], [ [[TMP0]], [[LOOP]] ]
 115 ; IS________OPM-NEXT:    br label [[LOOP]]
 116 ;
 117 ; IS__TUNIT_NPM: Function Attrs: nofree noreturn nosync nounwind readnone
 118 ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@CaptureAStruct
 119 ; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
 120 ; IS__TUNIT_NPM-NEXT:  entry:
 121 ; IS__TUNIT_NPM-NEXT:    [[A_PRIV:%.*]] = alloca [[STRUCT_FOO:%.*]], align 8
 122 ; IS__TUNIT_NPM-NEXT:    [[A_PRIV_CAST:%.*]] = bitcast %struct.Foo* [[A_PRIV]] to i32*
 123 ; IS__TUNIT_NPM-NEXT:    store i32 [[TMP0]], i32* [[A_PRIV_CAST]], align 4
 124 ; IS__TUNIT_NPM-NEXT:    [[A_PRIV_0_1:%.*]] = getelementptr [[STRUCT_FOO]], %struct.Foo* [[A_PRIV]], i32 0, i32 1
 125 ; IS__TUNIT_NPM-NEXT:    store i64 [[TMP1]], i64* [[A_PRIV_0_1]], align 8
 126 ; IS__TUNIT_NPM-NEXT:    [[A_PTR:%.*]] = alloca %struct.Foo*, align 8
 127 ; IS__TUNIT_NPM-NEXT:    br label [[LOOP:%.*]]
 128 ; IS__TUNIT_NPM:       loop:
 129 ; IS__TUNIT_NPM-NEXT:    [[PHI:%.*]] = phi %struct.Foo* [ null, [[ENTRY:%.*]] ], [ [[A_PRIV]], [[LOOP]] ]
 130 ; IS__TUNIT_NPM-NEXT:    [[TMP2:%.*]] = phi %struct.Foo* [ [[A_PRIV]], [[ENTRY]] ], [ [[TMP2]], [[LOOP]] ]
 131 ; IS__TUNIT_NPM-NEXT:    br label [[LOOP]]
 132 ;
 133 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone
 134 ; IS__CGSCC____-LABEL: define {{[^@]+}}@CaptureAStruct
 135 ; IS__CGSCC____-SAME: (i32 [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR2:[0-9]+]] {
 136 ; IS__CGSCC____-NEXT:  entry:
 137 ; IS__CGSCC____-NEXT:    [[A_PRIV:%.*]] = alloca [[STRUCT_FOO:%.*]], align 8
 138 ; IS__CGSCC____-NEXT:    [[A_PRIV_CAST:%.*]] = bitcast %struct.Foo* [[A_PRIV]] to i32*
 139 ; IS__CGSCC____-NEXT:    [[A_PRIV_0_1:%.*]] = getelementptr [[STRUCT_FOO]], %struct.Foo* [[A_PRIV]], i32 0, i32 1
 140 ; IS__CGSCC____-NEXT:    [[A_PTR:%.*]] = alloca %struct.Foo*, align 8
 141 ; IS__CGSCC____-NEXT:    br label [[LOOP:%.*]]
 142 ; IS__CGSCC____:       loop:
 143 ; IS__CGSCC____-NEXT:    [[PHI:%.*]] = phi %struct.Foo* [ null, [[ENTRY:%.*]] ], [ [[A_PRIV]], [[LOOP]] ]
 144 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = phi %struct.Foo* [ [[A_PRIV]], [[ENTRY]] ], [ [[TMP2]], [[LOOP]] ]
 145 ; IS__CGSCC____-NEXT:    br label [[LOOP]]
 146 ;
 147 entry:
 148   %a_ptr = alloca %struct.Foo*
 149   br label %loop
 150
 151 loop:
 152   %phi = phi %struct.Foo* [ null, %entry ], [ %gep, %loop ]
 153   %0   = phi %struct.Foo* [ %a, %entry ],   [ %0, %loop ]
 154   store %struct.Foo* %phi, %struct.Foo** %a_ptr
 155   %gep = getelementptr %struct.Foo, %struct.Foo* %a, i64 0
 156   br label %loop
 157 }
 158 ;.
 159 ; NOT_CGSCC_NPM: attributes #[[ATTR0:[0-9]+]] = { nofree noreturn nosync nounwind readnone }
 160 ;.
 161 ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree norecurse noreturn nosync nounwind readnone willreturn }
 162 ; IS__CGSCC____: attributes #[[ATTR1]] = { nofree norecurse nosync nounwind readnone willreturn }
 163 ; IS__CGSCC____: attributes #[[ATTR2]] = { nofree norecurse noreturn nosync nounwind readnone }
 164 ;.