101 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4declare i1 @cond()5declare void @clobber()6 7 8define void @test_unreachable_latch(ptr %start, ptr %b) {9; CHECK-LABEL: define void @test_unreachable_latch10; CHECK-SAME: (ptr [[START:%.*]], ptr [[B:%.*]]) {11; CHECK-NEXT: entry:12; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]13; CHECK: loop.header:14; CHECK-NEXT: [[NODE_1:%.*]] = phi ptr [ [[START]], [[ENTRY:%.*]] ], [ null, [[LOOP_LATCH:%.*]] ]15; CHECK-NEXT: [[C_0:%.*]] = icmp ne ptr [[NODE_1]], null16; CHECK-NEXT: br i1 [[C_0]], label [[THEN:%.*]], label [[EXIT:%.*]]17; CHECK: loop.latch:18; CHECK-NEXT: call void @clobber()19; CHECK-NEXT: br label [[LOOP_HEADER]]20; CHECK: if:21; CHECK-NEXT: [[C_2:%.*]] = icmp ne ptr [[B]], null22; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_2]], [[C_0]]23; CHECK-NEXT: br i1 [[AND]], label [[THEN]], label [[EXIT]]24; CHECK: then:25; CHECK-NEXT: call void @clobber()26; CHECK-NEXT: br label [[EXIT]]27; CHECK: exit:28; CHECK-NEXT: ret void29;30entry:31 br label %loop.header32 33loop.header:34 %node.1 = phi ptr [ %start, %entry ], [ null, %loop.latch ]35 %c.0 = icmp ne ptr %node.1, null36 br i1 %c.0, label %then, label %exit37 38loop.latch: ; No predecessors!39 call void @clobber()40 br label %loop.header41 42if:43 %c.2 = icmp ne ptr %b, null44 %and = and i1 %c.2, %c.045 br i1 %and, label %then, label %exit46 47then:48 call void @clobber()49 br label %exit50 51exit:52 ret void53}54 55define void @test_cond_multi_use_with_one_use_simplified_before_adding_ne_fact(ptr %start, ptr %b) {56; CHECK-LABEL: define void @test_cond_multi_use_with_one_use_simplified_before_adding_ne_fact57; CHECK-SAME: (ptr [[START:%.*]], ptr [[B:%.*]]) {58; CHECK-NEXT: entry:59; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]60; CHECK: loop.header:61; CHECK-NEXT: [[NODE_1:%.*]] = phi ptr [ [[START]], [[ENTRY:%.*]] ], [ null, [[LOOP_LATCH:%.*]] ]62; CHECK-NEXT: [[C_0:%.*]] = icmp ne ptr [[NODE_1]], null63; CHECK-NEXT: br i1 [[C_0]], label [[LOOP_LATCH]], label [[EXIT:%.*]]64; CHECK: loop.latch:65; CHECK-NEXT: [[C_1:%.*]] = call i1 @cond()66; CHECK-NEXT: br i1 [[C_1]], label [[IF:%.*]], label [[LOOP_HEADER]]67; CHECK: if:68; CHECK-NEXT: [[C_2:%.*]] = icmp ne ptr [[B]], null69; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_2]], true70; CHECK-NEXT: br i1 [[AND]], label [[THEN:%.*]], label [[EXIT]]71; CHECK: then:72; CHECK-NEXT: call void @clobber()73; CHECK-NEXT: br label [[EXIT]]74; CHECK: exit:75; CHECK-NEXT: ret void76;77entry:78 br label %loop.header79 80loop.header:81 %node.1 = phi ptr [ %start, %entry ], [ null, %loop.latch ]82 %c.0 = icmp ne ptr %node.1, null83 br i1 %c.0, label %loop.latch, label %exit84 85loop.latch:86 %c.1 = call i1 @cond()87 br i1 %c.1, label %if, label %loop.header88 89if:90 %c.2 = icmp ne ptr %b, null91 %and = and i1 %c.2, %c.092 br i1 %and, label %then, label %exit93 94then:95 call void @clobber()96 br label %exit97 98exit:99 ret void100}101