90 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instsimplify < %s | FileCheck %s3 4; Test `%r` can be replaced by `%nonpoison`.5 6define i32 @other_noundef(i32 noundef %arg) {7; CHECK-LABEL: define i32 @other_noundef(8; CHECK-SAME: i32 noundef [[ARG:%.*]]) {9; CHECK-NEXT: [[START:.*]]:10; CHECK-NEXT: br label %[[LOOP:.*]]11; CHECK: [[LOOP]]:12; CHECK-NEXT: [[NONPOISON:%.*]] = phi i32 [ 0, %[[START]] ], [ [[NONPOISON]], %[[BB0:.*]] ], [ [[ARG]], %[[BB1:.*]] ]13; CHECK-NEXT: [[I:%.*]] = call i32 @opaque()14; CHECK-NEXT: switch i32 [[I]], label %[[EXIT:.*]] [15; CHECK-NEXT: i32 0, label %[[BB0]]16; CHECK-NEXT: i32 1, label %[[BB1]]17; CHECK-NEXT: ]18; CHECK: [[EXIT]]:19; CHECK-NEXT: ret i32 [[NONPOISON]]20; CHECK: [[BB0]]:21; CHECK-NEXT: br label %[[LOOP]]22; CHECK: [[BB1]]:23; CHECK-NEXT: br label %[[LOOP]]24;25start:26 br label %loop27 28loop:29 %nonpoison = phi i32 [ 0, %start ], [ %nonpoison, %bb0 ], [ %arg, %bb1 ]30 %i = call i32 @opaque()31 switch i32 %i, label %exit [32 i32 0, label %bb033 i32 1, label %bb134 ]35 36exit:37 %r = freeze i32 %nonpoison38 ret i32 %r39 40bb0:41 br label %loop42 43bb1:44 br label %loop45}46 47define i32 @other_poison(i32 %arg) {48; CHECK-LABEL: define i32 @other_poison(49; CHECK-SAME: i32 [[ARG:%.*]]) {50; CHECK-NEXT: [[START:.*]]:51; CHECK-NEXT: br label %[[LOOP:.*]]52; CHECK: [[LOOP]]:53; CHECK-NEXT: [[MAYPOISON:%.*]] = phi i32 [ 0, %[[START]] ], [ [[MAYPOISON]], %[[BB0:.*]] ], [ [[ARG]], %[[BB1:.*]] ]54; CHECK-NEXT: [[I:%.*]] = call i32 @opaque()55; CHECK-NEXT: switch i32 [[I]], label %[[EXIT:.*]] [56; CHECK-NEXT: i32 0, label %[[BB0]]57; CHECK-NEXT: i32 1, label %[[BB1]]58; CHECK-NEXT: ]59; CHECK: [[EXIT]]:60; CHECK-NEXT: [[R:%.*]] = freeze i32 [[MAYPOISON]]61; CHECK-NEXT: ret i32 [[R]]62; CHECK: [[BB0]]:63; CHECK-NEXT: br label %[[LOOP]]64; CHECK: [[BB1]]:65; CHECK-NEXT: br label %[[LOOP]]66;67start:68 br label %loop69 70loop:71 %maypoison = phi i32 [ 0, %start ], [ %maypoison, %bb0 ], [ %arg, %bb1 ]72 %i = call i32 @opaque()73 switch i32 %i, label %exit [74 i32 0, label %bb075 i32 1, label %bb176 ]77 78exit:79 %r = freeze i32 %maypoison80 ret i32 %r81 82bb0:83 br label %loop84 85bb1:86 br label %loop87}88 89declare i32 @opaque()90