[llvm-branch-commits] [llvm] [InstCombine] Don't look at ConstantData users (PR #103302)

Alexis Engelke via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Tue Aug 13 09:10:52 PDT 2024


https://github.com/aengelke updated https://github.com/llvm/llvm-project/pull/103302

>From 6a2ac00a8424a4402475e2b7972bfb01330c3bf8 Mon Sep 17 00:00:00 2001
From: Alexis Engelke <engelke at in.tum.de>
Date: Tue, 13 Aug 2024 16:10:38 +0000
Subject: [PATCH] Only run instcombine in test case

Created using spr 1.3.5-bogner
---
 .../Transforms/InstCombine/phi-int-users.ll   | 416 ++++++++++++++++--
 1 file changed, 379 insertions(+), 37 deletions(-)

diff --git a/llvm/test/Transforms/InstCombine/phi-int-users.ll b/llvm/test/Transforms/InstCombine/phi-int-users.ll
index ce81c5d7e3626..8a6bf44b884a2 100644
--- a/llvm/test/Transforms/InstCombine/phi-int-users.ll
+++ b/llvm/test/Transforms/InstCombine/phi-int-users.ll
@@ -1,14 +1,10 @@
 ; 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
+; RUN: opt -mtriple=arm64 -S < %s -passes=instcombine | 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) {
+define void @spam(ptr %arg) personality ptr null {
 ; CHECK-LABEL: define void @spam(
 ; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null {
 ; CHECK-NEXT:  [[BB:.*:]]
@@ -49,11 +45,55 @@ define void @spam(ptr %arg) {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @barney(ptr %arg)
+  %load.i = load volatile i1, ptr null, align 1
+  br i1 %load.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb
+  store i64 1, ptr %arg, align 8
+  br label %barney.exit
+
+bb3.i:                                            ; preds = %bb
+  %load.i.i = load volatile i32, ptr null, align 4
+  %icmp.i.i = icmp eq i32 %load.i.i, 0
+  br i1 %icmp.i.i, label %bb2.i.i, label %bb3.i.i
+
+bb2.i.i:                                          ; preds = %bb3.i
+  br label %bb1.i
+
+bb1.i:                                            ; preds = %spam.exit.i, %bb2.i.i
+  %load.i.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i, label %spam.exit.i, label %bb3.i.i.i
+
+bb3.i.i.i:                                        ; preds = %bb1.i
+  call void @zot.4()
+  br label %spam.exit.i
+
+spam.exit.i:                                      ; preds = %bb3.i.i.i, %bb1.i
+  %alloca.sroa.0.1.i = phi i64 [ 0, %bb3.i.i.i ], [ 1, %bb1.i ]
+  %0 = inttoptr i64 %alloca.sroa.0.1.i to ptr
+  store i32 0, ptr %0, align 4
+  br label %bb1.i
+
+eggs.exit:                                        ; No predecessors!
+  br label %barney.exit
+
+bb3.i.i:                                          ; preds = %bb3.i
+  %load.i.i1 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i1, label %quux.exit, label %bb3.i.i2
+
+bb3.i.i2:                                         ; preds = %bb3.i.i
+  call void @snork()
+  unreachable
+
+quux.exit:                                        ; preds = %bb3.i.i
+  store ptr null, ptr null, align 8
+  br label %barney.exit
+
+barney.exit:                                      ; preds = %quux.exit, %eggs.exit, %bb2.i
   ret void
 }
 
-define ptr @zot(ptr %arg) {
+define ptr @zot(ptr %arg) personality ptr null {
 ; CHECK-LABEL: define ptr @zot(
 ; CHECK-SAME: ptr [[ARG:%.*]]) personality ptr null {
 ; CHECK-NEXT:  [[BB:.*:]]
@@ -63,7 +103,9 @@ define ptr @zot(ptr %arg) {
 ; CHECK-NEXT:    ret ptr null
 ;
 bb:
-  %call = call ptr @ham.8(ptr %arg)
+  %load.i.i.i.i = load ptr, ptr %arg, align 8
+  store ptr null, ptr %arg, align 8
+  store i32 0, ptr %load.i.i.i.i, align 4
   ret ptr null
 }
 
@@ -86,7 +128,7 @@ define ptr @wombat.1(ptr %arg) {
 ; CHECK-NEXT:    ret ptr null
 ;
 bb:
-  %call = call ptr @foo.9(ptr %arg)
+  store i64 1, ptr %arg, align 8
   ret ptr null
 }
 
@@ -103,7 +145,15 @@ define void @quux() personality ptr null {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @wobble()
+  %load.i = load volatile i1, ptr null, align 1
+  br i1 %load.i, label %wibble.exit, label %bb3.i
+
+bb3.i:                                            ; preds = %bb
+  call void @snork()
+  unreachable
+
+wibble.exit:                                      ; preds = %bb
+  store ptr null, ptr null, align 8
   ret void
 }
 
@@ -120,7 +170,15 @@ define void @wobble() personality ptr null {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @quux.3()
+  %load.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i, label %wobble.2.exit, label %bb3.i.i
+
+bb3.i.i:                                          ; preds = %bb
+  call void @snork()
+  unreachable
+
+wobble.2.exit:                                    ; preds = %bb
+  store ptr null, ptr null, align 8
   ret void
 }
 
@@ -141,12 +199,20 @@ define void @eggs() personality ptr null {
 ; 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)
+bb1:                                              ; preds = %spam.exit, %bb
+  %load.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i, label %spam.exit, label %bb3.i.i
+
+bb3.i.i:                                          ; preds = %bb1
+  call void @zot.4()
+  br label %spam.exit
+
+spam.exit:                                        ; preds = %bb1, %bb3.i.i
+  %alloca.sroa.0.1 = phi i64 [ 0, %bb3.i.i ], [ 1, %bb1 ]
+  %0 = inttoptr i64 %alloca.sroa.0.1 to ptr
+  store i32 0, ptr %0, align 4
   br label %bb1
 }
 
@@ -167,7 +233,22 @@ define void @wobble.2() personality ptr null {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @wibble(ptr null)
+  %load.i = load volatile i1, ptr null, align 1
+  br i1 %load.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb
+  %inttoptr.i = inttoptr i64 0 to ptr
+  store ptr %inttoptr.i, ptr null, align 8
+  br label %wibble.exit
+
+bb3.i:                                            ; preds = %bb
+  call void @snork()
+  unreachable
+
+foo.exit:                                         ; No predecessors!
+  br label %wibble.exit
+
+wibble.exit:                                      ; preds = %bb2.i, %foo.exit
   ret void
 }
 
@@ -188,7 +269,21 @@ define void @quux.3() personality ptr null {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @wobble.2()
+  %load.i = load volatile i1, ptr null, align 1
+  br i1 %load.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb
+  store ptr null, ptr null, align 8
+  br label %wibble.exit
+
+bb3.i:                                            ; preds = %bb
+  call void @snork()
+  unreachable
+
+wombat.exit:                                      ; No predecessors!
+  br label %wibble.exit
+
+wibble.exit:                                      ; preds = %bb2.i, %wombat.exit
   ret void
 }
 
@@ -228,11 +323,50 @@ define void @zot.4() personality ptr null {
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @blam()
+  %load.i = load volatile i32, ptr null, align 4
+  %icmp.i = icmp eq i32 %load.i, 0
+  br i1 %icmp.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb
+  br label %bb1.i
+
+bb1.i:                                            ; preds = %spam.exit.i, %bb2.i
+  %load.i.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i, label %spam.exit.i, label %bb3.i.i.i
+
+bb3.i.i.i:                                        ; preds = %bb1.i
+  call void @zot.4()
+  br label %spam.exit.i
+
+spam.exit.i:                                      ; preds = %bb1.i, %bb3.i.i.i
+  %alloca.i.sroa.0.1 = phi i64 [ 0, %bb3.i.i.i ], [ 1, %bb1.i ]
+  %0 = inttoptr i64 %alloca.i.sroa.0.1 to ptr
+  store i32 0, ptr %0, align 4
+  br label %bb1.i
+
+eggs.exit:                                        ; No predecessors!
+  br label %blam.exit
+
+bb3.i:                                            ; preds = %bb
+  %load.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i, label %bb2.i.i, label %bb3.i.i
+
+bb2.i.i:                                          ; preds = %bb3.i
+  store ptr null, ptr null, align 8
+  br label %blam.exit
+
+bb3.i.i:                                          ; preds = %bb3.i
+  call void @snork()
+  unreachable
+
+wombat.exit:                                      ; No predecessors!
+  br label %blam.exit
+
+blam.exit:                                        ; preds = %wombat.exit, %bb2.i.i, %eggs.exit
   ret void
 }
 
-define void @blam() {
+define void @blam() personality ptr null {
 ; CHECK-LABEL: define void @blam() personality ptr null {
 ; CHECK-NEXT:  [[BB:.*:]]
 ; CHECK-NEXT:    [[LOAD:%.*]] = load volatile i32, ptr null, align 4
@@ -295,15 +429,72 @@ bb:
   %icmp = icmp eq i32 %load, 0
   br i1 %icmp, label %bb2, label %bb3
 
-bb1:                                              ; preds = %bb3, %bb2
+bb1:                                              ; preds = %wobble.2.exit, %eggs.exit
   ret void
 
 bb2:                                              ; preds = %bb
-  call void @eggs()
+  br label %bb1.i
+
+bb1.i:                                            ; preds = %spam.exit, %bb2
+  %load.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i, label %spam.exit, label %bb3.i.i
+
+bb3.i.i:                                          ; preds = %bb1.i
+  %load.i.i.i = load volatile i32, ptr null, align 4
+  %icmp.i.i.i = icmp eq i32 %load.i.i.i, 0
+  br i1 %icmp.i.i.i, label %bb2.i.i.i, label %bb3.i.i.i
+
+bb2.i.i.i:                                        ; preds = %bb3.i.i
+  br label %bb1.i1
+
+bb1.i1:                                           ; preds = %spam.exit.i, %bb2.i.i.i
+  %load.i.i.i2 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i2, label %spam.exit.i, label %bb3.i.i.i3
+
+bb3.i.i.i3:                                       ; preds = %bb1.i1
+  call void @zot.4()
+  br label %spam.exit.i
+
+spam.exit.i:                                      ; preds = %bb3.i.i.i3, %bb1.i1
+  %alloca.sroa.0.1.i = phi i64 [ 0, %bb3.i.i.i3 ], [ 1, %bb1.i1 ]
+  %0 = inttoptr i64 %alloca.sroa.0.1.i to ptr
+  store i32 0, ptr %0, align 4
+  br label %bb1.i1
+
+eggs.exit4:                                       ; No predecessors!
+  br label %spam.exit
+
+bb3.i.i.i:                                        ; preds = %bb3.i.i
+  %load.i.i5 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i5, label %quux.exit, label %bb3.i.i6
+
+bb3.i.i6:                                         ; preds = %bb3.i.i.i
+  call void @snork()
+  unreachable
+
+quux.exit:                                        ; preds = %bb3.i.i.i
+  store ptr null, ptr null, align 8
+  br label %spam.exit
+
+spam.exit:                                        ; preds = %eggs.exit4, %quux.exit, %bb1.i
+  %alloca.i.sroa.0.1 = phi i64 [ 1, %bb1.i ], [ 0, %quux.exit ], [ 0, %eggs.exit4 ]
+  %1 = inttoptr i64 %alloca.i.sroa.0.1 to ptr
+  store i32 0, ptr %1, align 4
+  br label %bb1.i
+
+eggs.exit:                                        ; No predecessors!
   br label %bb1
 
 bb3:                                              ; preds = %bb
-  call void @quux()
+  %load.i.i7 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i7, label %wobble.2.exit, label %bb3.i.i8
+
+bb3.i.i8:                                         ; preds = %bb3
+  call void @snork()
+  unreachable
+
+wobble.2.exit:                                    ; preds = %bb3
+  store ptr null, ptr null, align 8
   br label %bb1
 }
 
@@ -372,15 +563,75 @@ bb:
   %load = load volatile i1, ptr null, align 1
   br i1 %load, label %bb2, label %bb3
 
-bb1:                                              ; preds = %bb3, %bb2
+bb1:                                              ; preds = %blam.exit, %bb2
   ret void
 
 bb2:                                              ; preds = %bb
-  %call = call ptr @wombat.1(ptr %arg)
+  store i64 1, ptr %arg, align 8
   br label %bb1
 
 bb3:                                              ; preds = %bb
+  %load.i = load volatile i32, ptr null, align 4
+  %icmp.i = icmp eq i32 %load.i, 0
+  br i1 %icmp.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb3
+  br label %bb1.i.i
+
+bb1.i.i:                                          ; preds = %spam.exit.i, %bb2.i
+  %load.i.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i, label %spam.exit.i, label %bb3.i.i.i
+
+bb3.i.i.i:                                        ; preds = %bb1.i.i
+  %load.i.i.i.i = load volatile i32, ptr null, align 4
+  %icmp.i.i.i.i = icmp eq i32 %load.i.i.i.i, 0
+  br i1 %icmp.i.i.i.i, label %bb2.i.i.i.i, label %bb3.i.i.i.i
+
+bb2.i.i.i.i:                                      ; preds = %bb3.i.i.i
+  br label %bb1.i1.i
+
+bb1.i1.i:                                         ; preds = %spam.exit.i.i, %bb2.i.i.i.i
+  %load.i.i.i2.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i2.i, label %spam.exit.i.i, label %bb3.i.i.i3.i
+
+bb3.i.i.i3.i:                                     ; preds = %bb1.i1.i
   call void @zot.4()
+  br label %spam.exit.i.i
+
+spam.exit.i.i:                                    ; preds = %bb3.i.i.i3.i, %bb1.i1.i
+  %alloca.sroa.0.1.i.i = phi i64 [ 0, %bb3.i.i.i3.i ], [ 1, %bb1.i1.i ]
+  %0 = inttoptr i64 %alloca.sroa.0.1.i.i to ptr
+  store i32 0, ptr %0, align 4
+  br label %bb1.i1.i
+
+bb3.i.i.i.i:                                      ; preds = %bb3.i.i.i
+  %load.i.i5.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i5.i, label %quux.exit.i, label %bb3.i.i6.i
+
+bb3.i.i6.i:                                       ; preds = %bb3.i.i.i.i
+  call void @snork()
+  unreachable
+
+quux.exit.i:                                      ; preds = %bb3.i.i.i.i
+  store ptr null, ptr null, align 8
+  br label %spam.exit.i
+
+spam.exit.i:                                      ; preds = %quux.exit.i, %bb1.i.i
+  %alloca.i.sroa.0.1.i = phi i64 [ 1, %bb1.i.i ], [ 0, %quux.exit.i ]
+  %1 = inttoptr i64 %alloca.i.sroa.0.1.i to ptr
+  store i32 0, ptr %1, align 4
+  br label %bb1.i.i
+
+bb3.i:                                            ; preds = %bb3
+  %load.i.i7.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i7.i, label %blam.exit, label %bb3.i.i8.i
+
+bb3.i.i8.i:                                       ; preds = %bb3.i
+  call void @snork()
+  unreachable
+
+blam.exit:                                        ; preds = %bb3.i
+  store ptr null, ptr null, align 8
   br label %bb1
 }
 
@@ -388,7 +639,9 @@ 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-NEXT:    br i1 [[LOAD_I]], label %[[BB2_I:.*]], label %[[BB3_I:.*]]
+; CHECK:       [[BB2_I]]:
+; CHECK-NEXT:    br label %[[BARNEY_EXIT:.*]]
 ; CHECK:       [[BB3_I]]:
 ; CHECK-NEXT:    [[LOAD_I1:%.*]] = load volatile i32, ptr null, align 4
 ; CHECK-NEXT:    [[ICMP_I:%.*]] = icmp eq i32 [[LOAD_I1]], 0
@@ -433,16 +686,92 @@ define void @snork() personality ptr null {
 ; 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-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:    br label %[[BARNEY_EXIT]]
 ; CHECK:       [[BARNEY_EXIT]]:
 ; CHECK-NEXT:    store ptr poison, ptr null, align 8
 ; CHECK-NEXT:    ret void
 ;
 bb:
-  call void @barney(ptr null)
+  %load.i = load volatile i1, ptr null, align 1
+  br i1 %load.i, label %bb2.i, label %bb3.i
+
+bb2.i:                                            ; preds = %bb
+  store i64 1, ptr null, align 8
+  br label %barney.exit
+
+bb3.i:                                            ; preds = %bb
+  %load.i1 = load volatile i32, ptr null, align 4
+  %icmp.i = icmp eq i32 %load.i1, 0
+  br i1 %icmp.i, label %bb2.i3, label %blam.exit
+
+bb2.i3:                                           ; preds = %bb3.i
+  br label %bb1.i.i
+
+bb1.i.i:                                          ; preds = %spam.exit.i, %bb2.i3
+  %load.i.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i, label %spam.exit.i, label %bb3.i.i.i
+
+bb3.i.i.i:                                        ; preds = %bb1.i.i
+  %load.i.i.i.i = load volatile i32, ptr null, align 4
+  %icmp.i.i.i.i = icmp eq i32 %load.i.i.i.i, 0
+  br i1 %icmp.i.i.i.i, label %bb2.i.i.i.i, label %bb3.i.i.i.i
+
+bb2.i.i.i.i:                                      ; preds = %bb3.i.i.i
+  br label %bb1.i
+
+bb1.i:                                            ; preds = %spam.exit.i8, %bb2.i.i.i.i
+  %load.i.i.i6 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i.i6, label %spam.exit.i8, label %bb3.i.i.i7
+
+bb3.i.i.i7:                                       ; preds = %bb1.i
+  call void @zot.4()
+  br label %spam.exit.i8
+
+spam.exit.i8:                                     ; preds = %bb1.i, %bb3.i.i.i7
+  %alloca.i.sroa.0.1 = phi i64 [ 0, %bb3.i.i.i7 ], [ 1, %bb1.i ]
+  %0 = inttoptr i64 %alloca.i.sroa.0.1 to ptr
+  store i32 0, ptr %0, align 4
+  br label %bb1.i
+
+eggs.exit:                                        ; No predecessors!
+  br label %spam.exit.i
+
+bb3.i.i.i.i:                                      ; preds = %bb3.i.i.i
+  %load.i.i4 = load volatile i1, ptr null, align 1
+  br i1 %load.i.i4, label %quux.exit, label %bb3.i.i5
+
+bb3.i.i5:                                         ; preds = %bb3.i.i.i.i
+  call void @snork()
+  unreachable
+
+quux.exit:                                        ; preds = %bb3.i.i.i.i
+  store ptr null, ptr null, align 8
+  br label %spam.exit.i
+
+spam.exit.i:                                      ; preds = %eggs.exit, %quux.exit, %bb1.i.i
+  %alloca.i.i.sroa.0.1 = phi i64 [ 1, %bb1.i.i ], [ 0, %quux.exit ], [ 0, %eggs.exit ]
+  %1 = inttoptr i64 %alloca.i.i.sroa.0.1 to ptr
+  store i32 0, ptr %1, align 4
+  br label %bb1.i.i
+
+blam.exit:                                        ; preds = %bb3.i
+  %load.i.i = load volatile i1, ptr null, align 1
+  br i1 %load.i.i, label %wobble.2.exit, label %bb3.i.i
+
+bb3.i.i:                                          ; preds = %blam.exit
+  call void @snork()
+  unreachable
+
+wobble.2.exit:                                    ; preds = %blam.exit
+  store ptr null, ptr null, align 8
+  br label %barney.exit
+
+barney.exit:                                      ; preds = %bb2.i, %wobble.2.exit
   ret void
 }
 
@@ -467,17 +796,19 @@ bb:
   %load = load volatile i1, ptr null, align 1
   br i1 %load, label %bb2, label %bb3
 
-bb1:                                              ; preds = %bb3, %bb2
+bb1:                                              ; preds = %wombat.exit, %bb2
   ret void
 
 bb2:                                              ; preds = %bb
-  %call = call i64 @zot.5(i64 0)
-  %inttoptr = inttoptr i64 %call to ptr
+  %inttoptr = inttoptr i64 0 to ptr
   store ptr %inttoptr, ptr %arg, align 8
   br label %bb1
 
 bb3:                                              ; preds = %bb
-  %call4 = call i64 @foo()
+  call void @snork()
+  unreachable
+
+wombat.exit:                                      ; No predecessors!
   br label %bb1
 }
 
@@ -491,7 +822,7 @@ bb:
   ret i64 %arg
 }
 
-define i64 @foo() {
+define i64 @foo() personality ptr null {
 ; CHECK-LABEL: define i64 @foo() personality ptr null {
 ; CHECK-NEXT:  [[BB:.*:]]
 ; CHECK-NEXT:    call void @snork()
@@ -500,7 +831,10 @@ define i64 @foo() {
 ; CHECK-NEXT:    ret i64 0
 ;
 bb:
-  call void @wombat()
+  call void @snork()
+  unreachable
+
+wombat.exit:                                      ; No predecessors!
   ret i64 0
 }
 
@@ -514,7 +848,9 @@ define ptr @ham(ptr %arg) {
 ; CHECK-NEXT:    ret ptr null
 ;
 bb:
-  %call = call ptr @foo.7(ptr %arg)
+  %load.i.i = load ptr, ptr %arg, align 8
+  store ptr null, ptr %arg, align 8
+  store i32 0, ptr %load.i.i, align 4
   ret ptr null
 }
 
@@ -544,7 +880,9 @@ define ptr @foo.7(ptr %arg) {
 ; CHECK-NEXT:    ret ptr null
 ;
 bb:
-  call void @quux.6(ptr %arg)
+  %load.i = load ptr, ptr %arg, align 8
+  store ptr null, ptr %arg, align 8
+  store i32 0, ptr %load.i, align 4
   ret ptr null
 }
 
@@ -558,7 +896,9 @@ define ptr @ham.8(ptr %arg) personality ptr null {
 ; CHECK-NEXT:    ret ptr null
 ;
 bb:
-  %call = call ptr @ham(ptr %arg)
+  %load.i.i.i = load ptr, ptr %arg, align 8
+  store ptr null, ptr %arg, align 8
+  store i32 0, ptr %load.i.i.i, align 4
   ret ptr null
 }
 
@@ -574,3 +914,5 @@ bb:
   ret ptr null
 }
 
+
+declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)



More information about the llvm-branch-commits mailing list