1; RUN: opt -S %s -atomic-expand -mtriple=x86_64-linux-gnu | FileCheck %s 2 3; This file tests the functions `llvm::convertAtomicLoadToIntegerType` and 4; `llvm::convertAtomicStoreToIntegerType`. If X86 stops using this 5; functionality, please move this test to a target which still is. 6 7define float @float_load_expand(float* %ptr) { 8; CHECK-LABEL: @float_load_expand 9; CHECK: %1 = bitcast float* %ptr to i32* 10; CHECK: %2 = load atomic i32, i32* %1 unordered, align 4 11; CHECK: %3 = bitcast i32 %2 to float 12; CHECK: ret float %3 13 %res = load atomic float, float* %ptr unordered, align 4 14 ret float %res 15} 16 17define float @float_load_expand_seq_cst(float* %ptr) { 18; CHECK-LABEL: @float_load_expand_seq_cst 19; CHECK: %1 = bitcast float* %ptr to i32* 20; CHECK: %2 = load atomic i32, i32* %1 seq_cst, align 4 21; CHECK: %3 = bitcast i32 %2 to float 22; CHECK: ret float %3 23 %res = load atomic float, float* %ptr seq_cst, align 4 24 ret float %res 25} 26 27define float @float_load_expand_vol(float* %ptr) { 28; CHECK-LABEL: @float_load_expand_vol 29; CHECK: %1 = bitcast float* %ptr to i32* 30; CHECK: %2 = load atomic volatile i32, i32* %1 unordered, align 4 31; CHECK: %3 = bitcast i32 %2 to float 32; CHECK: ret float %3 33 %res = load atomic volatile float, float* %ptr unordered, align 4 34 ret float %res 35} 36 37define float @float_load_expand_addr1(float addrspace(1)* %ptr) { 38; CHECK-LABEL: @float_load_expand_addr1 39; CHECK: %1 = bitcast float addrspace(1)* %ptr to i32 addrspace(1)* 40; CHECK: %2 = load atomic i32, i32 addrspace(1)* %1 unordered, align 4 41; CHECK: %3 = bitcast i32 %2 to float 42; CHECK: ret float %3 43 %res = load atomic float, float addrspace(1)* %ptr unordered, align 4 44 ret float %res 45} 46 47define void @float_store_expand(float* %ptr, float %v) { 48; CHECK-LABEL: @float_store_expand 49; CHECK: %1 = bitcast float %v to i32 50; CHECK: %2 = bitcast float* %ptr to i32* 51; CHECK: store atomic i32 %1, i32* %2 unordered, align 4 52 store atomic float %v, float* %ptr unordered, align 4 53 ret void 54} 55 56define void @float_store_expand_seq_cst(float* %ptr, float %v) { 57; CHECK-LABEL: @float_store_expand_seq_cst 58; CHECK: %1 = bitcast float %v to i32 59; CHECK: %2 = bitcast float* %ptr to i32* 60; CHECK: store atomic i32 %1, i32* %2 seq_cst, align 4 61 store atomic float %v, float* %ptr seq_cst, align 4 62 ret void 63} 64 65define void @float_store_expand_vol(float* %ptr, float %v) { 66; CHECK-LABEL: @float_store_expand_vol 67; CHECK: %1 = bitcast float %v to i32 68; CHECK: %2 = bitcast float* %ptr to i32* 69; CHECK: store atomic volatile i32 %1, i32* %2 unordered, align 4 70 store atomic volatile float %v, float* %ptr unordered, align 4 71 ret void 72} 73 74define void @float_store_expand_addr1(float addrspace(1)* %ptr, float %v) { 75; CHECK-LABEL: @float_store_expand_addr1 76; CHECK: %1 = bitcast float %v to i32 77; CHECK: %2 = bitcast float addrspace(1)* %ptr to i32 addrspace(1)* 78; CHECK: store atomic i32 %1, i32 addrspace(1)* %2 unordered, align 4 79 store atomic float %v, float addrspace(1)* %ptr unordered, align 4 80 ret void 81} 82 83define void @pointer_cmpxchg_expand(i8** %ptr, i8* %v) { 84; CHECK-LABEL: @pointer_cmpxchg_expand 85; CHECK: %1 = bitcast i8** %ptr to i64* 86; CHECK: %2 = ptrtoint i8* %v to i64 87; CHECK: %3 = cmpxchg i64* %1, i64 0, i64 %2 seq_cst monotonic 88; CHECK: %4 = extractvalue { i64, i1 } %3, 0 89; CHECK: %5 = extractvalue { i64, i1 } %3, 1 90; CHECK: %6 = inttoptr i64 %4 to i8* 91; CHECK: %7 = insertvalue { i8*, i1 } undef, i8* %6, 0 92; CHECK: %8 = insertvalue { i8*, i1 } %7, i1 %5, 1 93 cmpxchg i8** %ptr, i8* null, i8* %v seq_cst monotonic 94 ret void 95} 96 97define void @pointer_cmpxchg_expand2(i8** %ptr, i8* %v) { 98; CHECK-LABEL: @pointer_cmpxchg_expand2 99; CHECK: %1 = bitcast i8** %ptr to i64* 100; CHECK: %2 = ptrtoint i8* %v to i64 101; CHECK: %3 = cmpxchg i64* %1, i64 0, i64 %2 release monotonic 102; CHECK: %4 = extractvalue { i64, i1 } %3, 0 103; CHECK: %5 = extractvalue { i64, i1 } %3, 1 104; CHECK: %6 = inttoptr i64 %4 to i8* 105; CHECK: %7 = insertvalue { i8*, i1 } undef, i8* %6, 0 106; CHECK: %8 = insertvalue { i8*, i1 } %7, i1 %5, 1 107 cmpxchg i8** %ptr, i8* null, i8* %v release monotonic 108 ret void 109} 110 111define void @pointer_cmpxchg_expand3(i8** %ptr, i8* %v) { 112; CHECK-LABEL: @pointer_cmpxchg_expand3 113; CHECK: %1 = bitcast i8** %ptr to i64* 114; CHECK: %2 = ptrtoint i8* %v to i64 115; CHECK: %3 = cmpxchg i64* %1, i64 0, i64 %2 seq_cst seq_cst 116; CHECK: %4 = extractvalue { i64, i1 } %3, 0 117; CHECK: %5 = extractvalue { i64, i1 } %3, 1 118; CHECK: %6 = inttoptr i64 %4 to i8* 119; CHECK: %7 = insertvalue { i8*, i1 } undef, i8* %6, 0 120; CHECK: %8 = insertvalue { i8*, i1 } %7, i1 %5, 1 121 cmpxchg i8** %ptr, i8* null, i8* %v seq_cst seq_cst 122 ret void 123} 124 125define void @pointer_cmpxchg_expand4(i8** %ptr, i8* %v) { 126; CHECK-LABEL: @pointer_cmpxchg_expand4 127; CHECK: %1 = bitcast i8** %ptr to i64* 128; CHECK: %2 = ptrtoint i8* %v to i64 129; CHECK: %3 = cmpxchg weak i64* %1, i64 0, i64 %2 seq_cst seq_cst 130; CHECK: %4 = extractvalue { i64, i1 } %3, 0 131; CHECK: %5 = extractvalue { i64, i1 } %3, 1 132; CHECK: %6 = inttoptr i64 %4 to i8* 133; CHECK: %7 = insertvalue { i8*, i1 } undef, i8* %6, 0 134; CHECK: %8 = insertvalue { i8*, i1 } %7, i1 %5, 1 135 cmpxchg weak i8** %ptr, i8* null, i8* %v seq_cst seq_cst 136 ret void 137} 138 139define void @pointer_cmpxchg_expand5(i8** %ptr, i8* %v) { 140; CHECK-LABEL: @pointer_cmpxchg_expand5 141; CHECK: %1 = bitcast i8** %ptr to i64* 142; CHECK: %2 = ptrtoint i8* %v to i64 143; CHECK: %3 = cmpxchg volatile i64* %1, i64 0, i64 %2 seq_cst seq_cst 144; CHECK: %4 = extractvalue { i64, i1 } %3, 0 145; CHECK: %5 = extractvalue { i64, i1 } %3, 1 146; CHECK: %6 = inttoptr i64 %4 to i8* 147; CHECK: %7 = insertvalue { i8*, i1 } undef, i8* %6, 0 148; CHECK: %8 = insertvalue { i8*, i1 } %7, i1 %5, 1 149 cmpxchg volatile i8** %ptr, i8* null, i8* %v seq_cst seq_cst 150 ret void 151} 152 153define void @pointer_cmpxchg_expand6(i8 addrspace(2)* addrspace(1)* %ptr, 154 i8 addrspace(2)* %v) { 155; CHECK-LABEL: @pointer_cmpxchg_expand6 156; CHECK: %1 = bitcast i8 addrspace(2)* addrspace(1)* %ptr to i64 addrspace(1)* 157; CHECK: %2 = ptrtoint i8 addrspace(2)* %v to i64 158; CHECK: %3 = cmpxchg i64 addrspace(1)* %1, i64 0, i64 %2 seq_cst seq_cst 159; CHECK: %4 = extractvalue { i64, i1 } %3, 0 160; CHECK: %5 = extractvalue { i64, i1 } %3, 1 161; CHECK: %6 = inttoptr i64 %4 to i8 addrspace(2)* 162; CHECK: %7 = insertvalue { i8 addrspace(2)*, i1 } undef, i8 addrspace(2)* %6, 0 163; CHECK: %8 = insertvalue { i8 addrspace(2)*, i1 } %7, i1 %5, 1 164 cmpxchg i8 addrspace(2)* addrspace(1)* %ptr, i8 addrspace(2)* null, i8 addrspace(2)* %v seq_cst seq_cst 165 ret void 166} 167 168