41 lines
1.3 KiB
LLVM
41 lines
1.3 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
|
|
|
|
@global = external global i16, align 1
|
|
@global.1 = external global i16, align 1
|
|
@global.2 = external global i16, align 1
|
|
|
|
define void @widget() {
|
|
; CHECK-LABEL: @widget(
|
|
; CHECK-NEXT: bb:
|
|
; CHECK-NEXT: [[I:%.*]] = load i16, i16* @global, align 1
|
|
; CHECK-NEXT: [[I13:%.*]] = icmp ne i16 [[I]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[I13]])
|
|
; CHECK-NEXT: unreachable
|
|
;
|
|
bb:
|
|
%i = load i16, i16* @global, align 1
|
|
%i13 = icmp ne i16 %i, 0
|
|
br i1 %i13, label %bb16, label %bb14
|
|
|
|
bb14: ; preds = %bb
|
|
%i15 = load i16, i16* @global.1, align 1
|
|
br label %bb23
|
|
|
|
bb16: ; preds = %bb
|
|
%i17 = load i16, i16* @global, align 1
|
|
%i18 = sdiv i16 2, %i17
|
|
%i19 = icmp ne i16 %i18, 0
|
|
%i20 = zext i1 %i19 to i16
|
|
%i21 = load i16, i16* @global.1, align 1
|
|
br i1 %i19, label %bb22, label %bb23
|
|
|
|
bb22: ; preds = %bb16
|
|
br label %bb23
|
|
|
|
bb23: ; preds = %bb22, %bb16, %bb14
|
|
%i24 = phi i16 [ %i20, %bb22 ], [ %i21, %bb16 ], [ %i15, %bb14 ]
|
|
store i16 %i24, i16* @global.2, align 1
|
|
unreachable
|
|
}
|