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 9define 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 15entry: 16 %0 = load i8, i8* @var_char, align 1, !tbaa !4 17 ret i8 %0 18} 19 20define 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 26entry: 27 %conv = trunc i32 %a to i8 28 store i8 %conv, i8* @var_char, align 1, !tbaa !4 29 ret void 30} 31 32define 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 39entry: 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 46define 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 52entry: 53 %0 = load i16, i16* @var_short, align 2, !tbaa !7 54 ret i16 %0 55} 56 57define 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 63entry: 64 %conv = trunc i32 %a to i16 65 store i16 %conv, i16* @var_short, align 2, !tbaa !7 66 ret void 67} 68 69define 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 76entry: 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 83define 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 89entry: 90 %0 = load i32, i32* @var_int, align 4, !tbaa !9 91 ret i32 %0 92} 93 94define 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 100entry: 101 store i32 %a, i32* @var_int, align 4, !tbaa !9 102 ret void 103} 104 105define 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 112entry: 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 119define 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 125entry: 126 %0 = load i64, i64* @var_long_long, align 8, !tbaa !11 127 ret i64 %0 128} 129 130define 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 136entry: 137 %conv = sext i32 %a to i64 138 store i64 %conv, i64* @var_long_long, align 8, !tbaa !11 139 ret void 140} 141 142define 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 149entry: 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} 170