test/CodeGen/PowerPC/tls-pie-xform.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-gnu-linux < %s | FileCheck %s -check-prefix=CHECK
   3
   4 @var_char = external thread_local local_unnamed_addr global i8, align 1
   5 @var_short = external thread_local local_unnamed_addr global i16, align 2
   6 @var_int = external thread_local local_unnamed_addr global i32, align 4
   7 @var_long_long = external thread_local local_unnamed_addr global i64, align 8
   8
   9 define dso_local zeroext i8 @test_char_one() {
  10 ; CHECK-LABEL: test_char_one:
  11 ; CHECK:       # %bb.0: # %entry
  12 ; CHECK:    addis 3, 2, var_char@got@tprel@ha
  13 ; CHECK-NEXT:    ld 3, var_char@got@tprel@l(3)
  14 ; CHECK-NEXT:    lbzx 3, 3, var_char@tls
  15 entry:
  16   %0 = load i8, i8* @var_char, align 1, !tbaa !4
  17   ret i8 %0
  18 }
  19
  20 define dso_local void @test_char_two(i32 signext %a) {
  21 ; CHECK-LABEL: test_char_two:
  22 ; CHECK:       # %bb.0: # %entry
  23 ; CHECK:    addis 4, 2, var_char@got@tprel@ha
  24 ; CHECK-NEXT:    ld 4, var_char@got@tprel@l(4)
  25 ; CHECK-NEXT:    stbx 3, 4, var_char@tls
  26 entry:
  27   %conv = trunc i32 %a to i8
  28   store i8 %conv, i8* @var_char, align 1, !tbaa !4
  29   ret void
  30 }
  31
  32 define dso_local zeroext i8 @test_char_three(i8 zeroext %a) {
  33 ; CHECK-LABEL: test_char_three:
  34 ; CHECK:       # %bb.0: # %entry
  35 ; CHECK:    addis 4, 2, var_char@got@tprel@ha
  36 ; CHECK-NEXT:    ld 4, var_char@got@tprel@l(4)
  37 ; CHECK-NEXT:    lbzx 5, 4, var_char@tls
  38 ; CHECK:    stbx {{[0-9]+}}, 4, var_char@tls
  39 entry:
  40   %0 = load i8, i8* @var_char, align 1, !tbaa !4
  41   %add = add i8 %0, %a
  42   store i8 %add, i8* @var_char, align 1, !tbaa !4
  43   ret i8 %add
  44 }
  45
  46 define dso_local signext i16 @test_short_one() {
  47 ; CHECK-LABEL: test_short_one:
  48 ; CHECK:       # %bb.0: # %entry
  49 ; CHECK:    addis 3, 2, var_short@got@tprel@ha
  50 ; CHECK-NEXT:    ld 3, var_short@got@tprel@l(3)
  51 ; CHECK-NEXT:    lhzx 3, 3, var_short@tls
  52 entry:
  53   %0 = load i16, i16* @var_short, align 2, !tbaa !7
  54   ret i16 %0
  55 }
  56
  57 define dso_local void @test_short_two(i32 signext %a) {
  58 ; CHECK-LABEL: test_short_two:
  59 ; CHECK:       # %bb.0: # %entry
  60 ; CHECK:    addis 4, 2, var_short@got@tprel@ha
  61 ; CHECK-NEXT:    ld 4, var_short@got@tprel@l(4)
  62 ; CHECK-NEXT:    sthx 3, 4, var_short@tls
  63 entry:
  64   %conv = trunc i32 %a to i16
  65   store i16 %conv, i16* @var_short, align 2, !tbaa !7
  66   ret void
  67 }
  68
  69 define dso_local signext i16 @test_short_three(i16 signext %a) {
  70 ; CHECK-LABEL: test_short_three:
  71 ; CHECK:       # %bb.0: # %entry
  72 ; CHECK:    addis 4, 2, var_short@got@tprel@ha
  73 ; CHECK-NEXT:    ld 4, var_short@got@tprel@l(4)
  74 ; CHECK-NEXT:    lhzx 5, 4, var_short@tls
  75 ; CHECK:    sthx {{[0-9]+}}, 4, var_short@tls
  76 entry:
  77   %0 = load i16, i16* @var_short, align 2, !tbaa !7
  78   %add = add i16 %0, %a
  79   store i16 %add, i16* @var_short, align 2, !tbaa !7
  80   ret i16 %add
  81 }
  82
  83 define dso_local signext i32 @test_int_one() {
  84 ; CHECK-LABEL: test_int_one:
  85 ; CHECK:       # %bb.0: # %entry
  86 ; CHECK:    addis 3, 2, var_int@got@tprel@ha
  87 ; CHECK-NEXT:    ld 3, var_int@got@tprel@l(3)
  88 ; CHECK-NEXT:    lwzx 3, 3, var_int@tls
  89 entry:
  90   %0 = load i32, i32* @var_int, align 4, !tbaa !9
  91   ret i32 %0
  92 }
  93
  94 define dso_local void @test_int_two(i32 signext %a) {
  95 ; CHECK-LABEL: test_int_two:
  96 ; CHECK:       # %bb.0: # %entry
  97 ; CHECK:    addis 4, 2, var_int@got@tprel@ha
  98 ; CHECK-NEXT:    ld 4, var_int@got@tprel@l(4)
  99 ; CHECK-NEXT:    stwx 3, 4, var_int@tls
 100 entry:
 101   store i32 %a, i32* @var_int, align 4, !tbaa !9
 102   ret void
 103 }
 104
 105 define dso_local signext i32 @test_int_three(i32 signext %a) {
 106 ; CHECK-LABEL: test_int_three:
 107 ; CHECK:       # %bb.0: # %entry
 108 ; CHECK:    addis 4, 2, var_int@got@tprel@ha
 109 ; CHECK-NEXT:    ld 4, var_int@got@tprel@l(4)
 110 ; CHECK-NEXT:    lwzx 5, 4, var_int@tls
 111 ; CHECK:    stwx {{[0-9]+}}, 4, var_int@tls
 112 entry:
 113   %0 = load i32, i32* @var_int, align 4, !tbaa !9
 114   %add = add nsw i32 %0, %a
 115   store i32 %add, i32* @var_int, align 4, !tbaa !9
 116   ret i32 %add
 117 }
 118
 119 define dso_local i64 @test_longlong_one() {
 120 ; CHECK-LABEL: test_longlong_one:
 121 ; CHECK:       # %bb.0: # %entry
 122 ; CHECK:    addis 3, 2, var_long_long@got@tprel@ha
 123 ; CHECK-NEXT:    ld 3, var_long_long@got@tprel@l(3)
 124 ; CHECK-NEXT:    ldx 3, 3, var_long_long@tls
 125 entry:
 126   %0 = load i64, i64* @var_long_long, align 8, !tbaa !11
 127   ret i64 %0
 128 }
 129
 130 define dso_local void @test_longlong_two(i32 signext %a) {
 131 ; CHECK-LABEL: test_longlong_two:
 132 ; CHECK:       # %bb.0: # %entry
 133 ; CHECK:    addis 4, 2, var_long_long@got@tprel@ha
 134 ; CHECK-NEXT:    ld 4, var_long_long@got@tprel@l(4)
 135 ; CHECK-NEXT:    stdx 3, 4, var_long_long@tls
 136 entry:
 137   %conv = sext i32 %a to i64
 138   store i64 %conv, i64* @var_long_long, align 8, !tbaa !11
 139   ret void
 140 }
 141
 142 define dso_local i64 @test_longlong_three(i64 %a) {
 143 ; CHECK-LABEL: test_longlong_three:
 144 ; CHECK:       # %bb.0: # %entry
 145 ; CHECK:    addis 4, 2, var_long_long@got@tprel@ha
 146 ; CHECK-NEXT:    ld 4, var_long_long@got@tprel@l(4)
 147 ; CHECK-NEXT:    ldx 5, 4, var_long_long@tls
 148 ; CHECK:    stdx {{[0-9]+}}, 4, var_long_long@tls
 149 entry:
 150   %0 = load i64, i64* @var_long_long, align 8, !tbaa !11
 151   %add = add nsw i64 %0, %a
 152   store i64 %add, i64* @var_long_long, align 8, !tbaa !11
 153   ret i64 %add
 154 }
 155
 156 !llvm.module.flags = !{!0, !1, !2}
 157
 158 !0 = !{i32 1, !"wchar_size", i32 4}
 159 !1 = !{i32 7, !"PIC Level", i32 1}
 160 !2 = !{i32 7, !"PIE Level", i32 1}
 161 !4 = !{!5, !5, i64 0}
 162 !5 = !{!"omnipotent char", !6, i64 0}
 163 !6 = !{!"Simple C/C++ TBAA"}
 164 !7 = !{!8, !8, i64 0}
 165 !8 = !{!"short", !5, i64 0}
 166 !9 = !{!10, !10, i64 0}
 167 !10 = !{!"int", !5, i64 0}
 168 !11 = !{!12, !12, i64 0}
 169 !12 = !{!"long long", !5, i64 0}