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
83