121 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='default<O3>' -S %s | FileCheck %s3 4target triple = "arm64-apple-macosx"5 6declare void @llvm.assume(i1 noundef)7 8define i32 @earlycse_entry(ptr %p) {9; CHECK-LABEL: define i32 @earlycse_entry(10; CHECK-SAME: ptr captures(none) [[P:%.*]]) local_unnamed_addr {11; CHECK-NEXT: [[L_I:%.*]] = load ptr, ptr [[P]], align 812; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[L_I]], i64 4) ]13; CHECK-NEXT: [[L_ASSUME_ALIGNED_I_I:%.*]] = load i32, ptr [[L_I]], align 414; CHECK-NEXT: [[R_I_I:%.*]] = tail call i32 @swap(i32 [[L_ASSUME_ALIGNED_I_I]])15; CHECK-NEXT: [[L_2_I:%.*]] = load ptr, ptr [[P]], align 816; CHECK-NEXT: [[GEP_I:%.*]] = getelementptr i8, ptr [[L_2_I]], i64 417; CHECK-NEXT: store ptr [[GEP_I]], ptr [[P]], align 818; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[GEP_I]], i64 4) ]19; CHECK-NEXT: [[L_ASSUME_ALIGNED_I_I2:%.*]] = load i32, ptr [[GEP_I]], align 420; CHECK-NEXT: [[R_I_I3:%.*]] = tail call i32 @swap(i32 [[L_ASSUME_ALIGNED_I_I2]])21; CHECK-NEXT: [[L_2_I4:%.*]] = load ptr, ptr [[P]], align 822; CHECK-NEXT: [[GEP_I5:%.*]] = getelementptr i8, ptr [[L_2_I4]], i64 423; CHECK-NEXT: store ptr [[GEP_I5]], ptr [[P]], align 824; CHECK-NEXT: ret i32 [[R_I_I3]]25;26 %r.1 = call i32 @earlycse_fn1(ptr %p)27 %r.2 = call i32 @earlycse_fn1(ptr %p)28 ret i32 %r.229}30 31define i32 @earlycse_fn1(ptr %p) {32; CHECK-LABEL: define i32 @earlycse_fn1(33; CHECK-SAME: ptr captures(none) [[P:%.*]]) local_unnamed_addr {34; CHECK-NEXT: [[L:%.*]] = load ptr, ptr [[P]], align 835; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[L]], i64 4) ]36; CHECK-NEXT: [[L_ASSUME_ALIGNED_I:%.*]] = load i32, ptr [[L]], align 437; CHECK-NEXT: [[R_I:%.*]] = tail call i32 @swap(i32 [[L_ASSUME_ALIGNED_I]])38; CHECK-NEXT: [[L_2:%.*]] = load ptr, ptr [[P]], align 839; CHECK-NEXT: [[GEP:%.*]] = getelementptr i8, ptr [[L_2]], i64 440; CHECK-NEXT: store ptr [[GEP]], ptr [[P]], align 841; CHECK-NEXT: ret i32 [[R_I]]42;43 %l = load ptr, ptr %p, align 844 %r = call i32 @load_assume_aligned(ptr %l)45 %l.2 = load ptr, ptr %p, align 846 %gep = getelementptr i8, ptr %l.2, i64 447 store ptr %gep, ptr %p, align 848 ret i32 %r49}50 51define i32 @load_assume_aligned(ptr %p) {52; CHECK-LABEL: define i32 @load_assume_aligned(53; CHECK-SAME: ptr readonly captures(none) [[P:%.*]]) local_unnamed_addr {54; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P]], i64 4) ]55; CHECK-NEXT: [[DOT0_COPYLOAD:%.*]] = load i32, ptr [[P]], align 456; CHECK-NEXT: [[TMP2:%.*]] = tail call i32 @swap(i32 [[DOT0_COPYLOAD]])57; CHECK-NEXT: ret i32 [[TMP2]]58;59 call void @llvm.assume(i1 true) [ "align"(ptr %p, i64 4) ]60 %l.assume_aligned = load i32, ptr %p, align 161 %r = call i32 @swap(i32 %l.assume_aligned)62 ret i32 %r63}64 65declare i32 @swap(i32)66 67define void @sroa_align_entry(ptr %p) {68; CHECK-LABEL: define void @sroa_align_entry(69; CHECK-SAME: ptr readonly captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR1:[0-9]+]] {70; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P]], i64 8) ]71; CHECK-NEXT: [[DOT0_COPYLOAD_I_I_I:%.*]] = load i64, ptr [[P]], align 872; CHECK-NEXT: [[TMP2:%.*]] = inttoptr i64 [[DOT0_COPYLOAD_I_I_I]] to ptr73; CHECK-NEXT: store i32 0, ptr [[TMP2]], align 474; CHECK-NEXT: ret void75;76 %a = alloca ptr, align 877 store ptr %p, ptr %a, align 878 %r = call ptr @sroa_fn1(ptr %a)79 store i32 0, ptr %r, align 480 ret void81}82 83define ptr @sroa_fn1(ptr %p) {84; CHECK-LABEL: define ptr @sroa_fn1(85; CHECK-SAME: ptr readonly captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2:[0-9]+]] {86; CHECK-NEXT: [[L:%.*]] = load ptr, ptr [[P]], align 887; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[L]], i64 8) ]88; CHECK-NEXT: [[L_FN3_I_I:%.*]] = load i64, ptr [[L]], align 889; CHECK-NEXT: [[I_I:%.*]] = inttoptr i64 [[L_FN3_I_I]] to ptr90; CHECK-NEXT: ret ptr [[I_I]]91;92 %l = load ptr, ptr %p, align 893 %r = call ptr @sroa_fn2(ptr %l)94 ret ptr %r95}96 97define ptr @sroa_fn2(ptr %p) {98; CHECK-LABEL: define ptr @sroa_fn2(99; CHECK-SAME: ptr readonly captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR3:[0-9]+]] {100; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P]], i64 8) ]101; CHECK-NEXT: [[DOT0_COPYLOAD_I_I:%.*]] = load i64, ptr [[P]], align 8102; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[DOT0_COPYLOAD_I_I]] to ptr103; CHECK-NEXT: ret ptr [[TMP3]]104;105 %r = call i64 @sroa_fn3(ptr %p)106 %i = inttoptr i64 %r to ptr107 ret ptr %i108}109 110define i64 @sroa_fn3(ptr %0) {111; CHECK-LABEL: define i64 @sroa_fn3(112; CHECK-SAME: ptr readonly captures(none) [[TMP0:%.*]]) local_unnamed_addr #[[ATTR3]] {113; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[TMP0]], i64 8) ]114; CHECK-NEXT: [[DOT0_COPYLOAD_I:%.*]] = load i64, ptr [[TMP0]], align 8115; CHECK-NEXT: ret i64 [[DOT0_COPYLOAD_I]]116;117 call void @llvm.assume(i1 true) [ "align"(ptr %0, i64 8) ]118 %l.fn3 = load i64, ptr %0, align 1119 ret i64 %l.fn3120}121