66 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -O3 -S < %s | FileCheck %s3 4; Arg promotion eliminates the struct argument, and eliminates dead arguments, but introduces and leaves dead loads of the eliminated dead arg in callers5 6%struct.ss = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }7 8define internal void @phantomLoad(ptr %p, ptr %y, ptr %x) {9entry:10 %0 = load i32, ptr %x11 store i32 %0, ptr %y12 ret void13}14 15define ptr @parent(ptr align 8 dereferenceable(72) %f, i16 %val1, i16 %val2, i32 %val3) align 2 {16; CHECK-LABEL: define noundef nonnull ptr @parent17; CHECK-SAME: (ptr readonly returned align 8 captures(ret: address, provenance) dereferenceable(72) [[F:%.*]], i16 [[VAL1:%.*]], i16 [[VAL2:%.*]], i32 [[VAL3:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] align 2 {18; CHECK-NEXT: entry:19; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds nuw i8, ptr [[F]], i64 6420; CHECK-NEXT: [[F_VAL:%.*]] = load ptr, ptr [[TMP0]], align 821; CHECK-NEXT: [[CMP_NOT_NOT_I:%.*]] = icmp eq i32 [[VAL3]], 022; CHECK-NEXT: [[SPEC_SELECT_I:%.*]] = select i1 [[CMP_NOT_NOT_I]], i16 [[VAL1]], i16 [[VAL2]]23; CHECK-NEXT: [[SPEC_SELECT2_I:%.*]] = select i1 [[CMP_NOT_NOT_I]], i16 [[VAL2]], i16 [[VAL1]]24; CHECK-NEXT: store i16 [[SPEC_SELECT_I]], ptr [[F_VAL]], align 225; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds nuw i8, ptr [[F_VAL]], i64 1626; CHECK-NEXT: store i16 [[SPEC_SELECT2_I]], ptr [[TMP1]], align 227; CHECK-NEXT: ret ptr [[F]]28;29entry:30 call void @badChild(ptr align 8 dereferenceable(72) %f, i16 %val1, i16 %val2, i32 %val3) #431 ret ptr %f32}33 34define internal void @badChild(ptr align 8 dereferenceable(72) %this, i16 %val1, i16 %val2, i32 %val3) align 2 {35entry:36 %othergep = getelementptr inbounds %struct.ss, ptr %this, i64 0, i32 237 %load0 = load ptr, ptr %othergep, align 838 %load2 = load ptr, ptr %this39 %x = alloca i3240 %y = alloca i3241 call void @phantomLoad(ptr %load0, ptr %x, ptr %y)42 call void @phantomLoad(ptr %load2, ptr %x, ptr %y)43 %cmp.not.not = icmp eq i32 %val3, 044 br i1 %cmp.not.not, label %if.then, label %if.else45 46if.then: ; preds = %entry47 %0 = getelementptr inbounds %struct.ss, ptr %this, i64 0, i32 848 %1 = load ptr, ptr %0, align 849 store i16 %val1, ptr %1, align 250 %add.ptr.i.i.i.i = getelementptr inbounds i8, ptr %1, i64 1651 store i16 %val2, ptr %add.ptr.i.i.i.i, align 252 br label %if.end53 54if.else: ; preds = %entry55 %2 = getelementptr inbounds %struct.ss, ptr %this, i64 0, i32 856 %3 = load ptr, ptr %2, align 857 %add.ptr.i.i.i.i7 = getelementptr inbounds i8, ptr %3, i64 1658 store i16 %val1, ptr %add.ptr.i.i.i.i7, align 259 store i16 %val2, ptr %3, align 260 br label %if.end61 62if.end: ; preds = %if.else, %if.then63 ret void64}65 66