96 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3target datalayout = "E-m:e-i64:64-n32:64"4 5@global = external hidden unnamed_addr constant [11 x i8], align 16;; Ensure we do not believe the indexing increments are unreachable due to incorrect memory7;; equivalence detection. In PR31483, we were deleting those blocks as unreachable8; Function Attrs: nounwind9define signext i32 @ham(ptr %arg, ptr %arg1) {10; CHECK-LABEL: @ham(11; CHECK-NEXT: bb:12; CHECK-NEXT: [[TMP:%.*]] = alloca ptr, align 813; CHECK-NEXT: store ptr [[ARG1:%.*]], ptr [[TMP]], align 814; CHECK-NEXT: br label [[BB2:%.*]]15; CHECK: bb2:16; CHECK-NEXT: [[TMP3:%.*]] = phi ptr [ [[ARG:%.*]], [[BB:%.*]] ], [ [[TMP7:%.*]], [[BB22:%.*]] ]17; CHECK-NEXT: [[TMP4:%.*]] = load i8, ptr [[TMP3]], align 118; CHECK-NEXT: [[TMP5:%.*]] = icmp ne i8 [[TMP4]], 019; CHECK-NEXT: br i1 [[TMP5]], label [[BB6:%.*]], label [[BB23:%.*]]20; CHECK: bb6:21; CHECK-NEXT: [[TMP7]] = getelementptr inbounds i8, ptr [[TMP3]], i32 122; CHECK-NEXT: [[TMP9:%.*]] = zext i8 [[TMP4]] to i3223; CHECK-NEXT: switch i32 [[TMP9]], label [[BB22]] [24; CHECK-NEXT: i32 115, label [[BB10:%.*]]25; CHECK-NEXT: i32 105, label [[BB16:%.*]]26; CHECK-NEXT: i32 99, label [[BB16]]27; CHECK-NEXT: ]28; CHECK: bb10:29; CHECK-NEXT: [[TMP11:%.*]] = load ptr, ptr [[TMP]], align 830; CHECK-NEXT: [[TMP12:%.*]] = getelementptr inbounds i8, ptr [[TMP11]], i64 831; CHECK-NEXT: store ptr [[TMP12]], ptr [[TMP]], align 832; CHECK-NEXT: [[TMP14:%.*]] = load ptr, ptr [[TMP11]], align 833; CHECK-NEXT: [[TMP15:%.*]] = call signext i32 (ptr, ...) @zot(ptr @global, ptr [[TMP14]])34; CHECK-NEXT: br label [[BB22]]35; CHECK: bb16:36; CHECK-NEXT: [[TMP17:%.*]] = load ptr, ptr [[TMP]], align 837; CHECK-NEXT: [[TMP18:%.*]] = getelementptr inbounds i8, ptr [[TMP17]], i64 838; CHECK-NEXT: store ptr [[TMP18]], ptr [[TMP]], align 839; CHECK-NEXT: [[TMP19:%.*]] = getelementptr inbounds i8, ptr [[TMP17]], i64 440; CHECK-NEXT: br label [[BB22]]41; CHECK: bb22:42; CHECK-NEXT: br label [[BB2]]43; CHECK: bb23:44; CHECK-NEXT: call void @llvm.va_end.p0(ptr [[TMP]])45; CHECK-NEXT: ret i32 undef46;47bb:48 %tmp = alloca ptr, align 849 store ptr %arg1, ptr %tmp, align 850 br label %bb251 52bb2: ; preds = %bb22, %bb53 %tmp3 = phi ptr [ %arg, %bb ], [ %tmp7, %bb22 ]54 %tmp4 = load i8, ptr %tmp3, align 155 %tmp5 = icmp ne i8 %tmp4, 056 br i1 %tmp5, label %bb6, label %bb2357 58bb6: ; preds = %bb259 %tmp7 = getelementptr inbounds i8, ptr %tmp3, i32 160 %tmp8 = load i8, ptr %tmp3, align 161 %tmp9 = zext i8 %tmp8 to i3262 switch i32 %tmp9, label %bb22 [63 i32 115, label %bb1064 i32 105, label %bb1665 i32 99, label %bb1666 ]67 68bb10: ; preds = %bb669 %tmp11 = load ptr, ptr %tmp, align 870 %tmp12 = getelementptr inbounds i8, ptr %tmp11, i64 871 store ptr %tmp12, ptr %tmp, align 872 %tmp14 = load ptr, ptr %tmp11, align 873 %tmp15 = call signext i32 (ptr, ...) @zot(ptr @global, ptr %tmp14)74 br label %bb2275 76bb16: ; preds = %bb6, %bb677 %tmp17 = load ptr, ptr %tmp, align 878 %tmp18 = getelementptr inbounds i8, ptr %tmp17, i64 879 store ptr %tmp18, ptr %tmp, align 880 %tmp19 = getelementptr inbounds i8, ptr %tmp17, i64 481 %tmp21 = load i32, ptr %tmp19, align 482 br label %bb2283 84bb22: ; preds = %bb16, %bb10, %bb685 br label %bb286 87bb23: ; preds = %bb288 call void @llvm.va_end(ptr %tmp)89 ret i32 undef90}91 92declare signext i32 @zot(ptr, ...)93 94; Function Attrs: nounwind95declare void @llvm.va_end(ptr)96