llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-llvm-transforms Author: Alexis Engelke (aengelke) <details> <summary>Changes</summary> When looking at PHI operand for combining, only look at instructions and arguments. The loop later iteraters over Arg's users, which is not useful if Arg is a constant -- it's users are not meaningful and might be in different functions, which causes problems for the dominates() query. --- Patch is 22.42 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/103302.diff 2 Files Affected: - (modified) llvm/lib/Transforms/InstCombine/InstCombinePHI.cpp (+4) - (added) llvm/test/Transforms/InstCombine/phi-int-users.ll (+576) ``````````diff diff --git a/llvm/lib/Transforms/InstCombine/InstCombinePHI.cpp b/llvm/lib/Transforms/InstCombine/InstCombinePHI.cpp index 86411320ab2487..bcff9a72b65724 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombinePHI.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombinePHI.cpp @@ -143,6 +143,10 @@ bool InstCombinerImpl::foldIntegerTypedPHI(PHINode &PN) { BasicBlock *BB = std::get<0>(Incoming); Value *Arg = std::get<1>(Incoming); + // Arg could be a constant, constant expr, etc., which we don't cover here. + if (!isa<Instruction>(Arg) && !isa<Argument>(Arg)) + return false; + // First look backward: if (auto *PI = dyn_cast<PtrToIntInst>(Arg)) { AvailablePtrVals.emplace_back(PI->getOperand(0)); diff --git a/llvm/test/Transforms/InstCombine/phi-int-users.ll b/llvm/test/Transforms/InstCombine/phi-int-users.ll new file mode 100644 index 00000000000000..ce81c5d7e36267 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/phi-int-users.ll @@ -0,0 +1,576 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 +; RUN: opt -mtriple=arm64 -passes='inline,function(sroa<modify-cfg>,jump-threading,instcombine)' -S < %s | FileCheck %s + +; Verify that instcombine doesn't look at users of Constant in different +; functions for dominates() queries. + +%struct.widget = type { %struct.baz, i8, [7 x i8] } +%struct.baz = type { %struct.snork } +%struct.snork = type { [8 x i8] } + +define void @spam(ptr %arg) { +; CHECK-LABEL: define void @spam( +; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB2_I]]: +; CHECK-NEXT: store i64 1, ptr [[ARG]], align 8 +; CHECK-NEXT: br label %[[BARNEY_EXIT:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I_I:%.*]] = icmp eq i32 [[LOAD_I_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I_I]], label %[[BB2_I_I:.*]], label %[[BB3_I_I:.*]] +; CHECK: [[BB2_I_I]]: +; CHECK-NEXT: br label %[[BB1_I:.*]] +; CHECK: [[BB1_I]]: +; CHECK-NEXT: [[LOAD_I_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I]], label %[[SPAM_EXIT_I:.*]], label %[[BB3_I_I_I:.*]] +; CHECK: [[BB3_I_I_I]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[SPAM_EXIT_I]]: +; CHECK-NEXT: [[ALLOCA_SROA_0_1_I:%.*]] = phi i64 [ 0, %[[BB3_I_I_I]] ], [ 1, %[[BB1_I]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_SROA_0_1_I]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1_I]] +; CHECK: [[EGGS_EXIT:.*:]] +; CHECK-NEXT: br label %[[BARNEY_EXIT]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: [[LOAD_I_I1:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I1]], label %[[QUUX_EXIT:.*]], label %[[BB3_I_I2:.*]] +; CHECK: [[BB3_I_I2]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[QUUX_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[BARNEY_EXIT]] +; CHECK: [[BARNEY_EXIT]]: +; CHECK-NEXT: ret void +; +bb: + call void @barney(ptr %arg) + ret void +} + +define ptr @zot(ptr %arg) { +; CHECK-LABEL: define ptr @zot( +; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I_I_I_I:%.*]] = load ptr, ptr [[ARG]], align 8 +; CHECK-NEXT: store ptr null, ptr [[ARG]], align 8 +; CHECK-NEXT: store i32 0, ptr [[LOAD_I_I_I_I]], align 4 +; CHECK-NEXT: ret ptr null +; +bb: + %call = call ptr @ham.8(ptr %arg) + ret ptr null +} + +define void @wombat() personality ptr null { +; CHECK-LABEL: define void @wombat() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; +bb: + call void @snork() + unreachable +} + +define ptr @wombat.1(ptr %arg) { +; CHECK-LABEL: define ptr @wombat.1( +; CHECK-SAME: ptr [[ARG:%.*]]) { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: store i64 1, ptr [[ARG]], align 8 +; CHECK-NEXT: ret ptr null +; +bb: + %call = call ptr @foo.9(ptr %arg) + ret ptr null +} + +define void @quux() personality ptr null { +; CHECK-LABEL: define void @quux() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I]], label %[[WIBBLE_EXIT:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WIBBLE_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: ret void +; +bb: + call void @wobble() + ret void +} + +define void @wobble() personality ptr null { +; CHECK-LABEL: define void @wobble() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I]], label %[[WOBBLE_2_EXIT:.*]], label %[[BB3_I_I:.*]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WOBBLE_2_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: ret void +; +bb: + call void @quux.3() + ret void +} + +define void @eggs() personality ptr null { +; CHECK-LABEL: define void @eggs() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: br label %[[BB1:.*]] +; CHECK: [[BB1]]: +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I]], label %[[SPAM_EXIT:.*]], label %[[BB3_I_I:.*]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT]] +; CHECK: [[SPAM_EXIT]]: +; CHECK-NEXT: [[ALLOCA_SROA_0_1:%.*]] = phi i64 [ 0, %[[BB3_I_I]] ], [ 1, %[[BB1]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_SROA_0_1]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1]] +; +bb: + %alloca = alloca %struct.widget, align 8 + br label %bb1 + +bb1: ; preds = %bb1, %bb + call void @spam(ptr %alloca) + %call = call ptr @zot(ptr %alloca) + br label %bb1 +} + +define void @wobble.2() personality ptr null { +; CHECK-LABEL: define void @wobble.2() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB2_I]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[WIBBLE_EXIT:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[FOO_EXIT:.*:]] +; CHECK-NEXT: br label %[[WIBBLE_EXIT]] +; CHECK: [[WIBBLE_EXIT]]: +; CHECK-NEXT: ret void +; +bb: + call void @wibble(ptr null) + ret void +} + +define void @quux.3() personality ptr null { +; CHECK-LABEL: define void @quux.3() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB2_I]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[WIBBLE_EXIT:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WOMBAT_EXIT:.*:]] +; CHECK-NEXT: br label %[[WIBBLE_EXIT]] +; CHECK: [[WIBBLE_EXIT]]: +; CHECK-NEXT: ret void +; +bb: + call void @wobble.2() + ret void +} + +define void @zot.4() personality ptr null { +; CHECK-LABEL: define void @zot.4() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I:%.*]] = icmp eq i32 [[LOAD_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB2_I]]: +; CHECK-NEXT: br label %[[BB1_I:.*]] +; CHECK: [[BB1_I]]: +; CHECK-NEXT: [[LOAD_I_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I]], label %[[SPAM_EXIT_I:.*]], label %[[BB3_I_I_I:.*]] +; CHECK: [[BB3_I_I_I]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[SPAM_EXIT_I]]: +; CHECK-NEXT: [[ALLOCA_I_SROA_0_1:%.*]] = phi i64 [ 0, %[[BB3_I_I_I]] ], [ 1, %[[BB1_I]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_I_SROA_0_1]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1_I]] +; CHECK: [[EGGS_EXIT:.*:]] +; CHECK-NEXT: br label %[[BLAM_EXIT:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I]], label %[[BB2_I_I:.*]], label %[[BB3_I_I:.*]] +; CHECK: [[BB2_I_I]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[BLAM_EXIT]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WOMBAT_EXIT:.*:]] +; CHECK-NEXT: br label %[[BLAM_EXIT]] +; CHECK: [[BLAM_EXIT]]: +; CHECK-NEXT: ret void +; +bb: + call void @blam() + ret void +} + +define void @blam() { +; CHECK-LABEL: define void @blam() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i32 [[LOAD]], 0 +; CHECK-NEXT: br i1 [[ICMP]], label %[[BB2:.*]], label %[[BB3:.*]] +; CHECK: [[BB1:.*]]: +; CHECK-NEXT: ret void +; CHECK: [[BB2]]: +; CHECK-NEXT: br label %[[BB1_I:.*]] +; CHECK: [[BB1_I]]: +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I]], label %[[SPAM_EXIT:.*]], label %[[BB3_I_I:.*]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: [[LOAD_I_I_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I_I_I:%.*]] = icmp eq i32 [[LOAD_I_I_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I_I_I]], label %[[BB2_I_I_I:.*]], label %[[BB3_I_I_I:.*]] +; CHECK: [[BB2_I_I_I]]: +; CHECK-NEXT: br label %[[BB1_I1:.*]] +; CHECK: [[BB1_I1]]: +; CHECK-NEXT: [[LOAD_I_I_I2:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I2]], label %[[SPAM_EXIT_I:.*]], label %[[BB3_I_I_I3:.*]] +; CHECK: [[BB3_I_I_I3]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[SPAM_EXIT_I]]: +; CHECK-NEXT: [[ALLOCA_SROA_0_1_I:%.*]] = phi i64 [ 0, %[[BB3_I_I_I3]] ], [ 1, %[[BB1_I1]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_SROA_0_1_I]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1_I1]] +; CHECK: [[EGGS_EXIT4:.*]]: +; CHECK-NEXT: br label %[[SPAM_EXIT]] +; CHECK: [[BB3_I_I_I]]: +; CHECK-NEXT: [[LOAD_I_I5:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I5]], label %[[QUUX_EXIT:.*]], label %[[BB3_I_I6:.*]] +; CHECK: [[BB3_I_I6]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[QUUX_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[SPAM_EXIT]] +; CHECK: [[SPAM_EXIT]]: +; CHECK-NEXT: [[ALLOCA_I_SROA_0_1:%.*]] = phi i64 [ 1, %[[BB1_I]] ], [ 0, %[[QUUX_EXIT]] ], [ 0, %[[EGGS_EXIT4]] ] +; CHECK-NEXT: [[TMP1:%.*]] = inttoptr i64 [[ALLOCA_I_SROA_0_1]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP1]], align 4 +; CHECK-NEXT: br label %[[BB1_I]] +; CHECK: [[EGGS_EXIT:.*:]] +; CHECK-NEXT: br label %[[BB1]] +; CHECK: [[BB3]]: +; CHECK-NEXT: [[LOAD_I_I7:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I7]], label %[[WOBBLE_2_EXIT:.*]], label %[[BB3_I_I8:.*]] +; CHECK: [[BB3_I_I8]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WOBBLE_2_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[BB1]] +; +bb: + %load = load volatile i32, ptr null, align 4 + %icmp = icmp eq i32 %load, 0 + br i1 %icmp, label %bb2, label %bb3 + +bb1: ; preds = %bb3, %bb2 + ret void + +bb2: ; preds = %bb + call void @eggs() + br label %bb1 + +bb3: ; preds = %bb + call void @quux() + br label %bb1 +} + +define void @barney(ptr %arg) personality ptr null { +; CHECK-LABEL: define void @barney( +; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD]], label %[[BB2:.*]], label %[[BB3:.*]] +; CHECK: [[BB1:.*]]: +; CHECK-NEXT: ret void +; CHECK: [[BB2]]: +; CHECK-NEXT: store i64 1, ptr [[ARG]], align 8 +; CHECK-NEXT: br label %[[BB1]] +; CHECK: [[BB3]]: +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I:%.*]] = icmp eq i32 [[LOAD_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB2_I]]: +; CHECK-NEXT: br label %[[BB1_I_I:.*]] +; CHECK: [[BB1_I_I]]: +; CHECK-NEXT: [[LOAD_I_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I]], label %[[SPAM_EXIT_I:.*]], label %[[BB3_I_I_I:.*]] +; CHECK: [[BB3_I_I_I]]: +; CHECK-NEXT: [[LOAD_I_I_I_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I_I_I_I:%.*]] = icmp eq i32 [[LOAD_I_I_I_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I_I_I_I]], label %[[BB2_I_I_I_I:.*]], label %[[BB3_I_I_I_I:.*]] +; CHECK: [[BB2_I_I_I_I]]: +; CHECK-NEXT: br label %[[BB1_I1_I:.*]] +; CHECK: [[BB1_I1_I]]: +; CHECK-NEXT: [[LOAD_I_I_I2_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I2_I]], label %[[SPAM_EXIT_I_I:.*]], label %[[BB3_I_I_I3_I:.*]] +; CHECK: [[BB3_I_I_I3_I]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT_I_I]] +; CHECK: [[SPAM_EXIT_I_I]]: +; CHECK-NEXT: [[ALLOCA_SROA_0_1_I_I:%.*]] = phi i64 [ 0, %[[BB3_I_I_I3_I]] ], [ 1, %[[BB1_I1_I]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_SROA_0_1_I_I]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1_I1_I]] +; CHECK: [[BB3_I_I_I_I]]: +; CHECK-NEXT: [[LOAD_I_I5_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I5_I]], label %[[QUUX_EXIT_I:.*]], label %[[BB3_I_I6_I:.*]] +; CHECK: [[BB3_I_I6_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[QUUX_EXIT_I]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[SPAM_EXIT_I]]: +; CHECK-NEXT: [[ALLOCA_I_SROA_0_1_I:%.*]] = phi i64 [ 1, %[[BB1_I_I]] ], [ 0, %[[QUUX_EXIT_I]] ] +; CHECK-NEXT: [[TMP1:%.*]] = inttoptr i64 [[ALLOCA_I_SROA_0_1_I]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP1]], align 4 +; CHECK-NEXT: br label %[[BB1_I_I]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: [[LOAD_I_I7_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I7_I]], label %[[BLAM_EXIT:.*]], label %[[BB3_I_I8_I:.*]] +; CHECK: [[BB3_I_I8_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[BLAM_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[BB1]] +; +bb: + %load = load volatile i1, ptr null, align 1 + br i1 %load, label %bb2, label %bb3 + +bb1: ; preds = %bb3, %bb2 + ret void + +bb2: ; preds = %bb + %call = call ptr @wombat.1(ptr %arg) + br label %bb1 + +bb3: ; preds = %bb + call void @zot.4() + br label %bb1 +} + +define void @snork() personality ptr null { +; CHECK-LABEL: define void @snork() personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I]], label %[[BARNEY_EXIT:.*]], label %[[BB3_I:.*]] +; CHECK: [[BB3_I]]: +; CHECK-NEXT: [[LOAD_I1:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I:%.*]] = icmp eq i32 [[LOAD_I1]], 0 +; CHECK-NEXT: br i1 [[ICMP_I]], label %[[BB2_I3:.*]], label %[[BLAM_EXIT:.*]] +; CHECK: [[BB2_I3]]: +; CHECK-NEXT: br label %[[BB1_I_I:.*]] +; CHECK: [[BB1_I_I]]: +; CHECK-NEXT: [[LOAD_I_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I]], label %[[SPAM_EXIT_I:.*]], label %[[BB3_I_I_I:.*]] +; CHECK: [[BB3_I_I_I]]: +; CHECK-NEXT: [[LOAD_I_I_I_I:%.*]] = load volatile i32, ptr null, align 4 +; CHECK-NEXT: [[ICMP_I_I_I_I:%.*]] = icmp eq i32 [[LOAD_I_I_I_I]], 0 +; CHECK-NEXT: br i1 [[ICMP_I_I_I_I]], label %[[BB2_I_I_I_I:.*]], label %[[BB3_I_I_I_I:.*]] +; CHECK: [[BB2_I_I_I_I]]: +; CHECK-NEXT: br label %[[BB1_I:.*]] +; CHECK: [[BB1_I]]: +; CHECK-NEXT: [[LOAD_I_I_I6:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I_I6]], label %[[SPAM_EXIT_I8:.*]], label %[[BB3_I_I_I7:.*]] +; CHECK: [[BB3_I_I_I7]]: +; CHECK-NEXT: call void @zot.4() +; CHECK-NEXT: br label %[[SPAM_EXIT_I8]] +; CHECK: [[SPAM_EXIT_I8]]: +; CHECK-NEXT: [[ALLOCA_I_SROA_0_1:%.*]] = phi i64 [ 0, %[[BB3_I_I_I7]] ], [ 1, %[[BB1_I]] ] +; CHECK-NEXT: [[TMP0:%.*]] = inttoptr i64 [[ALLOCA_I_SROA_0_1]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP0]], align 4 +; CHECK-NEXT: br label %[[BB1_I]] +; CHECK: [[EGGS_EXIT:.*]]: +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[BB3_I_I_I_I]]: +; CHECK-NEXT: [[LOAD_I_I4:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I4]], label %[[QUUX_EXIT:.*]], label %[[BB3_I_I5:.*]] +; CHECK: [[BB3_I_I5]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[QUUX_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: br label %[[SPAM_EXIT_I]] +; CHECK: [[SPAM_EXIT_I]]: +; CHECK-NEXT: [[ALLOCA_I_I_SROA_0_1:%.*]] = phi i64 [ 1, %[[BB1_I_I]] ], [ 0, %[[QUUX_EXIT]] ], [ 0, %[[EGGS_EXIT]] ] +; CHECK-NEXT: [[TMP1:%.*]] = inttoptr i64 [[ALLOCA_I_I_SROA_0_1]] to ptr +; CHECK-NEXT: store i32 0, ptr [[TMP1]], align 4 +; CHECK-NEXT: br label %[[BB1_I_I]] +; CHECK: [[BLAM_EXIT]]: +; CHECK-NEXT: [[LOAD_I_I:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD_I_I]], label %[[BARNEY_EXIT]], label %[[BB3_I_I:.*]] +; CHECK: [[BB3_I_I]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[BARNEY_EXIT]]: +; CHECK-NEXT: store ptr poison, ptr null, align 8 +; CHECK-NEXT: ret void +; +bb: + call void @barney(ptr null) + ret void +} + +define void @wibble(ptr %arg) personality ptr null { +; CHECK-LABEL: define void @wibble( +; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null { +; CHECK-NEXT: [[BB:.*:]] +; CHECK-NEXT: [[LOAD:%.*]] = load volatile i1, ptr null, align 1 +; CHECK-NEXT: br i1 [[LOAD]], label %[[BB2:.*]], label %[[BB3:.*]] +; CHECK: [[BB1:.*]]: +; CHECK-NEXT: ret void +; CHECK: [[BB2]]: +; CHECK-NEXT: store ptr null, ptr [[ARG]], align 8 +; CHECK-NEXT: br label %[[BB1]] +; CHECK: [[BB3]]: +; CHECK-NEXT: call void @snork() +; CHECK-NEXT: unreachable +; CHECK: [[WOMBAT_EXIT:.*:]] +; CHECK-NEXT: br label %[[BB1]] +; +bb: + %load = load volatile i1, ptr null, align 1 + br i1 %load, label %bb2, label %bb3 + +bb1: ; preds = %bb3, %bb2 + ret void + +bb2: ; preds = %bb + %call = call i64 @zot.5(i64 0) + %inttoptr = inttoptr i64 %call to ptr + store ptr %inttoptr, ptr %arg, align 8 + br label %bb1 + +bb3: ; preds = %bb + %call4 = call i64 @foo() + ... [truncated] `````````` </details> https://github.com/llvm/llvm-project/pull/103302 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
