1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -mtriple=riscv32-- -atomic-expand %s | FileCheck %s 3 4define float @test_atomicrmw_fadd_f32(float* %ptr, float %value) { 5; CHECK-LABEL: @test_atomicrmw_fadd_f32( 6; CHECK-NEXT: [[TMP1:%.*]] = alloca float, align 4 7; CHECK-NEXT: [[TMP2:%.*]] = load float, float* [[PTR:%.*]], align 4 8; CHECK-NEXT: br label [[ATOMICRMW_START:%.*]] 9; CHECK: atomicrmw.start: 10; CHECK-NEXT: [[LOADED:%.*]] = phi float [ [[TMP2]], [[TMP0:%.*]] ], [ [[NEWLOADED:%.*]], [[ATOMICRMW_START]] ] 11; CHECK-NEXT: [[NEW:%.*]] = fadd float [[LOADED]], [[VALUE:%.*]] 12; CHECK-NEXT: [[TMP3:%.*]] = bitcast float* [[PTR]] to i8* 13; CHECK-NEXT: [[TMP4:%.*]] = bitcast float* [[TMP1]] to i8* 14; CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 4, i8* [[TMP4]]) 15; CHECK-NEXT: store float [[LOADED]], float* [[TMP1]], align 4 16; CHECK-NEXT: [[TMP5:%.*]] = bitcast float [[NEW]] to i32 17; CHECK-NEXT: [[TMP6:%.*]] = call zeroext i1 @__atomic_compare_exchange_4(i8* [[TMP3]], i8* [[TMP4]], i32 [[TMP5]], i32 5, i32 5) 18; CHECK-NEXT: [[TMP7:%.*]] = load float, float* [[TMP1]], align 4 19; CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 4, i8* [[TMP4]]) 20; CHECK-NEXT: [[TMP8:%.*]] = insertvalue { float, i1 } undef, float [[TMP7]], 0 21; CHECK-NEXT: [[TMP9:%.*]] = insertvalue { float, i1 } [[TMP8]], i1 [[TMP6]], 1 22; CHECK-NEXT: [[SUCCESS:%.*]] = extractvalue { float, i1 } [[TMP9]], 1 23; CHECK-NEXT: [[NEWLOADED]] = extractvalue { float, i1 } [[TMP9]], 0 24; CHECK-NEXT: br i1 [[SUCCESS]], label [[ATOMICRMW_END:%.*]], label [[ATOMICRMW_START]] 25; CHECK: atomicrmw.end: 26; CHECK-NEXT: ret float [[NEWLOADED]] 27; 28 %res = atomicrmw fadd float* %ptr, float %value seq_cst 29 ret float %res 30} 31 32define float @test_atomicrmw_fsub_f32(float* %ptr, float %value) { 33; CHECK-LABEL: @test_atomicrmw_fsub_f32( 34; CHECK-NEXT: [[TMP1:%.*]] = alloca float, align 4 35; CHECK-NEXT: [[TMP2:%.*]] = load float, float* [[PTR:%.*]], align 4 36; CHECK-NEXT: br label [[ATOMICRMW_START:%.*]] 37; CHECK: atomicrmw.start: 38; CHECK-NEXT: [[LOADED:%.*]] = phi float [ [[TMP2]], [[TMP0:%.*]] ], [ [[NEWLOADED:%.*]], [[ATOMICRMW_START]] ] 39; CHECK-NEXT: [[NEW:%.*]] = fsub float [[LOADED]], [[VALUE:%.*]] 40; CHECK-NEXT: [[TMP3:%.*]] = bitcast float* [[PTR]] to i8* 41; CHECK-NEXT: [[TMP4:%.*]] = bitcast float* [[TMP1]] to i8* 42; CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 4, i8* [[TMP4]]) 43; CHECK-NEXT: store float [[LOADED]], float* [[TMP1]], align 4 44; CHECK-NEXT: [[TMP5:%.*]] = bitcast float [[NEW]] to i32 45; CHECK-NEXT: [[TMP6:%.*]] = call zeroext i1 @__atomic_compare_exchange_4(i8* [[TMP3]], i8* [[TMP4]], i32 [[TMP5]], i32 5, i32 5) 46; CHECK-NEXT: [[TMP7:%.*]] = load float, float* [[TMP1]], align 4 47; CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 4, i8* [[TMP4]]) 48; CHECK-NEXT: [[TMP8:%.*]] = insertvalue { float, i1 } undef, float [[TMP7]], 0 49; CHECK-NEXT: [[TMP9:%.*]] = insertvalue { float, i1 } [[TMP8]], i1 [[TMP6]], 1 50; CHECK-NEXT: [[SUCCESS:%.*]] = extractvalue { float, i1 } [[TMP9]], 1 51; CHECK-NEXT: [[NEWLOADED]] = extractvalue { float, i1 } [[TMP9]], 0 52; CHECK-NEXT: br i1 [[SUCCESS]], label [[ATOMICRMW_END:%.*]], label [[ATOMICRMW_START]] 53; CHECK: atomicrmw.end: 54; CHECK-NEXT: ret float [[NEWLOADED]] 55; 56 %res = atomicrmw fsub float* %ptr, float %value seq_cst 57 ret float %res 58} 59 60