test/Transforms/AtomicExpand/X86/expand-atomic-non-integer.ll

   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
   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
  12 ; CHECK: ret float %3
  13   %res = load atomic float, float* %ptr unordered, align 4
  14   ret float %res
  15 }
  16
  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
  22 ; CHECK: ret float %3
  23   %res = load atomic float, float* %ptr seq_cst, align 4
  24   ret float %res
  25 }
  26
  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
  32 ; CHECK: ret float %3
  33   %res = load atomic volatile float, float* %ptr unordered, align 4
  34   ret float %res
  35 }
  36
  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
  42 ; CHECK: ret float %3
  43   %res = load atomic float, float addrspace(1)* %ptr unordered, align 4
  44   ret float %res
  45 }
  46
  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
  53   ret void
  54 }
  55
  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
  62   ret void
  63 }
  64
  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
  71   ret void
  72 }
  73
  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
  80   ret void
  81 }
  82