55 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=inline,simplifycfg -S | FileCheck --check-prefix=CUSTOM %s3; RUN: opt < %s -O2 -S | FileCheck --check-prefix=O2 %s4 5define internal ptr @bar(ptr %arg, i1 %arg1) {6bb:7 br i1 %arg1, label %bb4, label %bb28 9bb2:10 %i = load ptr, ptr %arg, align 811 %i3 = getelementptr inbounds i8, ptr %i, i64 112 store ptr %i3, ptr %arg, align 813 br label %bb414 15bb4:16 %i5 = phi ptr [ %i, %bb2 ], [ null, %bb ]17 ret ptr %i518}19 20define i32 @foo(ptr %arg, i1 %arg1) {21; CUSTOM-LABEL: define i32 @foo(22; CUSTOM-SAME: ptr [[ARG:%.*]], i1 [[ARG1:%.*]]) {23; CUSTOM-NEXT: [[BB:.*:]]24; CUSTOM-NEXT: [[TMP0:%.*]] = xor i1 [[ARG1]], true25; CUSTOM-NEXT: call void @llvm.assume(i1 [[TMP0]])26; CUSTOM-NEXT: [[I_I:%.*]] = load ptr, ptr [[ARG]], align 827; CUSTOM-NEXT: [[I3_I:%.*]] = getelementptr inbounds i8, ptr [[I_I]], i64 128; CUSTOM-NEXT: store ptr [[I3_I]], ptr [[ARG]], align 829; CUSTOM-NEXT: [[I2:%.*]] = icmp ne ptr [[I_I]], null30; CUSTOM-NEXT: call void @llvm.assume(i1 [[I2]])31; CUSTOM-NEXT: [[I3:%.*]] = load i32, ptr [[I_I]], align 432; CUSTOM-NEXT: ret i32 [[I3]]33;34; O2-LABEL: define i32 @foo(35; O2-SAME: ptr captures(none) [[ARG:%.*]], i1 [[ARG1:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {36; O2-NEXT: [[BB:.*:]]37; O2-NEXT: [[I_I:%.*]] = load ptr, ptr [[ARG]], align 8, !nonnull [[META0:![0-9]+]], !noundef [[META0]]38; O2-NEXT: [[I3_I:%.*]] = getelementptr inbounds nuw i8, ptr [[I_I]], i64 139; O2-NEXT: store ptr [[I3_I]], ptr [[ARG]], align 840; O2-NEXT: [[I3:%.*]] = load i32, ptr [[I_I]], align 441; O2-NEXT: ret i32 [[I3]]42;43bb:44 %i = call ptr @bar(ptr %arg, i1 %arg1)45 %i2 = icmp ne ptr %i, null46 call void @llvm.assume(i1 %i2)47 %i3 = load i32, ptr %i, align 448 ret i32 %i349}50 51declare void @llvm.assume(i1)52;.53; O2: [[META0]] = !{}54;.55