41 lines
1.2 KiB
LLVM
41 lines
1.2 KiB
LLVM
; RUN: opt -jump-threading -S -verify < %s | FileCheck %s
|
|
|
|
; This is reduced from the Linux net/ipv4/tcp.c file built with ASAN. We
|
|
; don't want jump threading to split up a basic block which has a PHI node with
|
|
; at least one constant incoming value, whose value is used by an is.constant
|
|
; intrinsic with non-local uses. It could lead to later passes no DCE'ing
|
|
; invalid paths.
|
|
|
|
; CHECK-LABEL: define void @test1(
|
|
; CHECK-LABEL: bb_cond:
|
|
; CHECK-NOT: %sext = phi i64 [ %var, %entry ]
|
|
; CHECK-NEXT: %sext = phi i64 [ 24, %bb_constant ], [ %var, %entry ]
|
|
; CHECK-NEXT: %cond2 = icmp
|
|
; CHECK-NEXT: call i1 @llvm.is.constant.i64(
|
|
|
|
define void @test1(i32 %a, i64 %var) {
|
|
entry:
|
|
%cond1 = icmp ugt i32 %a, 24
|
|
br i1 %cond1, label %bb_constant, label %bb_cond
|
|
|
|
bb_constant:
|
|
br label %bb_cond
|
|
|
|
bb_cond:
|
|
%sext = phi i64 [ 24, %bb_constant ], [ %var, %entry ]
|
|
%cond2 = icmp ugt i64 %sext, 24
|
|
%is_constant = call i1 @llvm.is.constant.i64(i64 %sext)
|
|
br i1 %cond2, label %bb_then, label %bb_else
|
|
|
|
bb_then:
|
|
unreachable
|
|
|
|
bb_else:
|
|
unreachable
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone willreturn
|
|
declare i1 @llvm.is.constant.i64(i64) #0
|
|
|
|
attributes #0 = { convergent nounwind readnone willreturn }
|