48 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"4 5; Aggressive Instcombine should be able ignore unreachable basic block.6 7define void @func_20(i32 %arg) {8; CHECK-LABEL: @func_20(9; CHECK-NEXT: for.body94:10; CHECK-NEXT: unreachable11; CHECK: for.cond641:12; CHECK-NEXT: [[OR722:%.*]] = or i32 [[OR722]], %arg13; CHECK-NEXT: [[OR723:%.*]] = or i32 [[OR722]], 114; CHECK-NEXT: [[CONV724:%.*]] = trunc i32 [[OR723]] to i1615; CHECK-NEXT: br label [[FOR_COND641:%.*]]16;17for.body94:18 unreachable19 20for.cond641:21 %or722 = or i32 %or722, %arg22 %or723 = or i32 %or722, 123 %conv724 = trunc i32 %or723 to i1624 br label %for.cond64125}26 27define void @func_21(i32 %arg) {28; CHECK-LABEL: @func_21(29; CHECK-NEXT: for.body94:30; CHECK-NEXT: unreachable31; CHECK: for.cond641:32; CHECK-NEXT: [[OR722:%.*]] = or i32 [[A:%.*]], %arg33; CHECK-NEXT: [[A]] = or i32 [[OR722]], %arg34; CHECK-NEXT: [[OR723:%.*]] = or i32 [[OR722]], 135; CHECK-NEXT: [[CONV724:%.*]] = trunc i32 [[OR723]] to i1636; CHECK-NEXT: br label [[FOR_COND641:%.*]]37;38for.body94:39 unreachable40 41for.cond641:42 %or722 = or i32 %a, %arg43 %a = or i32 %or722, %arg44 %or723 = or i32 %or722, 145 %conv724 = trunc i32 %or723 to i1646 br label %for.cond64147}48