Lines Matching +full:check +full:- +full:ignore
1 ; RUN: opt %s -S -simplifycfg | FileCheck %s
5 ; CHECK-LABEL: @test
6 ; CHECK: br i1 [[IGNORE:%.*]], label %true, label %false
21 ; CHECK-LABEL: @test2
39 ; CHECK-LABEL: default1:
40 ; CHECK-NEXT: unreachable
45 ; This one is a negative test - we know the value of the default,
48 ; CHECK-LABEL: @test3
63 ; CHECK-LABEL: default:
64 ; CHECK-NEXT: call void @foo
69 ; Negative test - check for possible overflow when computing
72 ; CHECK-LABEL: @test4
83 ; CHECK-LABEL: default:
84 ; CHECK-NEXT: call void @foo
91 ; CHECK-LABEL: @test5
92 ; CHECK: br i1 [[IGNORE:%.*]], label %true, label %false
110 ; CHECK-LABEL: @test6
111 ; CHECK: @llvm.assume
112 ; CHECK: br i1 [[IGNORE:%.*]], label %true, label %false
129 ; Check that we can eliminate both dead cases and dead defaults
130 ; within a single run of simplify-cfg
132 ; CHECK-LABEL: @test7
133 ; CHECK: @llvm.assume
134 ; CHECK: br i1 [[IGNORE:%.*]], label %true, label %false
161 ; CHECK-LABEL: @test8(
162 ; CHECK: switch i8