3e39cfe5b4
This reverts commit 0c03f48480f69b854f86d31235425b5cb71ac921. Going to fix forward size regression instead due to more dependent patches needing to be reverted otherwise.
46 lines
1.3 KiB
LLVM
46 lines
1.3 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
|
|
|
|
define void @pr46638(i1 %c, i32 %x) {
|
|
; CHECK-LABEL: @pr46638(
|
|
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[X:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]])
|
|
; CHECK-NEXT: br i1 [[C:%.*]], label [[TRUE2_CRITEDGE:%.*]], label [[FALSE1:%.*]]
|
|
; CHECK: false1:
|
|
; CHECK-NEXT: call void @dummy(i32 1)
|
|
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[X]], 0
|
|
; CHECK-NEXT: [[EXT:%.*]] = zext i1 [[CMP2]] to i32
|
|
; CHECK-NEXT: call void @dummy(i32 [[EXT]])
|
|
; CHECK-NEXT: br label [[COMMON_RET:%.*]]
|
|
; CHECK: common.ret:
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: true2.critedge:
|
|
; CHECK-NEXT: call void @dummy(i32 0)
|
|
; CHECK-NEXT: call void @dummy(i32 2)
|
|
; CHECK-NEXT: br label [[COMMON_RET]]
|
|
;
|
|
%cmp1 = icmp slt i32 %x, 0
|
|
call void @llvm.assume(i1 %cmp1)
|
|
br i1 %c, label %true1, label %false1
|
|
|
|
true1:
|
|
%cmp2 = icmp sgt i32 %x, 0
|
|
%ext = zext i1 %cmp2 to i32
|
|
call void @dummy(i32 %ext)
|
|
br i1 %c, label %true2, label %false2
|
|
|
|
false1:
|
|
call void @dummy(i32 1)
|
|
br label %true1
|
|
|
|
true2:
|
|
call void @dummy(i32 2)
|
|
ret void
|
|
|
|
false2:
|
|
ret void
|
|
}
|
|
|
|
declare void @dummy(i32)
|
|
declare void @llvm.assume(i1)
|