25 lines · plain
1; Make sure that if a pass like jump threading populates a function analysis2; like LVI with asserting handles into the body of a function, those don't begin3; to assert when global DCE deletes the body of the function.4;5; RUN: opt -disable-output < %s -passes='module(function(jump-threading),globaldce)'6; RUN: opt -disable-output < %s -passes='module(rpo-function-attrs,globaldce)'7 8target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"9target triple = "x86_64-unknown-linux-gnu"10 11declare i32 @bar()12 13define internal i32 @foo() {14entry:15 %call4 = call i32 @bar()16 %cmp5 = icmp eq i32 %call4, 017 br i1 %cmp5, label %if.then6, label %if.end818 19if.then6:20 ret i32 021 22if.end8:23 ret i32 124}25