1 ; RUN: opt -S %s -atomic-expand -mtriple=x86_64-linux-gnu | FileCheck %s
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.
7 define 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
13 %res = load atomic float, float* %ptr unordered, align 4
17 define 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
23 %res = load atomic float, float* %ptr seq_cst, align 4
27 define 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
33 %res = load atomic volatile float, float* %ptr unordered, align 4
37 define 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
43 %res = load atomic float, float addrspace(1)* %ptr unordered, align 4
47 define 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
56 define 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
65 define 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
74 define 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