64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S < %s -passes=gvn | FileCheck %s3 4; Analyze Load from clobbering memset.pattern.5define i32 @memset_pattern_clobber_load(ptr %p) {6; CHECK-LABEL: @memset_pattern_clobber_load(7; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i8.i64(ptr [[P:%.*]], i8 1, i64 8, i1 false)8; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[P]], align 49; CHECK-NEXT: ret i32 [[LOAD]]10;11 call void @llvm.experimental.memset.pattern.p0.p0.i64(ptr %p, i8 1, i64 8, i1 false)12 %load = load i32, ptr %p13 ret i32 %load14}15 16define i32 @memset_pattern_clobber_load2(ptr %p) {17; CHECK-LABEL: @memset_pattern_clobber_load2(18; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i16.i64(ptr [[P:%.*]], i16 1, i64 8, i1 false)19; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[P]], align 420; CHECK-NEXT: ret i32 [[LOAD]]21;22 call void @llvm.experimental.memset.pattern(ptr %p, i16 1, i64 8, i1 false)23 %load = load i32, ptr %p24 ret i32 %load25}26 27define ptr @memset_pattern_clobber_load3(ptr %p) {28; CHECK-LABEL: @memset_pattern_clobber_load3(29; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.p0.i64(ptr [[P:%.*]], ptr [[P]], i64 8, i1 false)30; CHECK-NEXT: [[LOAD:%.*]] = load ptr, ptr [[P]], align 831; CHECK-NEXT: ret ptr [[LOAD]]32;33 call void @llvm.experimental.memset.pattern(ptr %p, ptr %p, i64 8, i1 false)34 %load = load ptr, ptr %p35 ret ptr %load36}37 38define i32 @load_forward_over_memset_pattern(ptr %P, ptr noalias %Q) {39; CHECK-LABEL: @load_forward_over_memset_pattern(40; CHECK-NEXT: tail call void @llvm.experimental.memset.pattern.p0.i8.i64(ptr [[P:%.*]], i8 27, i64 8, i1 false)41; CHECK-NEXT: ret i32 042;43 %v1 = load i32, ptr %Q44 tail call void @llvm.experimental.memset.pattern(ptr %P, i8 27, i64 8, i1 false)45 %v2 = load i32, ptr %Q46 %sub = sub i32 %v1, %v247 ret i32 %sub48}49 50define i32 @load_forward_over_memset_pattern2(ptr %P, ptr noalias %Q) nounwind ssp {51; CHECK-LABEL: @load_forward_over_memset_pattern2(52; CHECK-NEXT: [[V1:%.*]] = load i32, ptr [[Q:%.*]], align 453; CHECK-NEXT: tail call void @llvm.experimental.memset.pattern.p0.p0.i64(ptr [[P:%.*]], ptr [[Q]], i64 8, i1 false)54; CHECK-NEXT: [[V2:%.*]] = load i32, ptr [[Q]], align 455; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[V1]], [[V2]]56; CHECK-NEXT: ret i32 [[SUB]]57;58 %v1 = load i32, ptr %Q59 tail call void @llvm.experimental.memset.pattern(ptr %P, ptr %Q, i64 8, i1 false)60 %v2 = load i32, ptr %Q61 %sub = sub i32 %v1, %v262 ret i32 %sub63}64