| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: opt < %s -passes=gvn -S | FileCheck %s |
| |
| ; PR12858 |
| |
| define void @fn5(i16 signext %p1, i8 signext %p2, i1 %arg) nounwind uwtable { |
| ; CHECK-LABEL: define void @fn5( |
| ; CHECK-SAME: i16 signext [[P1:%.*]], i8 signext [[P2:%.*]], i1 [[ARG:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: br i1 [[ARG]], label %[[IF_ELSE:.*]], label %[[IF_THEN:.*]] |
| ; CHECK: [[IF_THEN]]: |
| ; CHECK-NEXT: [[DOTPRE:%.*]] = sext i16 [[P1]] to i32 |
| ; CHECK-NEXT: br label %[[IF_END:.*]] |
| ; CHECK: [[IF_ELSE]]: |
| ; CHECK-NEXT: [[CONV:%.*]] = sext i16 [[P1]] to i32 |
| ; CHECK-NEXT: br label %[[IF_END]] |
| ; CHECK: [[IF_END]]: |
| ; CHECK-NEXT: [[CONV1_PRE_PHI:%.*]] = phi i32 [ [[CONV]], %[[IF_ELSE]] ], [ [[DOTPRE]], %[[IF_THEN]] ] |
| ; CHECK-NEXT: br i1 [[ARG]], label %[[IF_THEN3:.*]], label %[[IF_ELSE4:.*]] |
| ; CHECK: [[IF_THEN3]]: |
| ; CHECK-NEXT: [[DOTPRE1:%.*]] = sext i8 [[P2]] to i32 |
| ; CHECK-NEXT: br label %[[IF_END12:.*]] |
| ; CHECK: [[IF_ELSE4]]: |
| ; CHECK-NEXT: [[CONV7:%.*]] = sext i8 [[P2]] to i32 |
| ; CHECK-NEXT: [[CMP8:%.*]] = icmp eq i32 [[CONV1_PRE_PHI]], [[CONV7]] |
| ; CHECK-NEXT: br i1 [[CMP8]], label %[[IF_THEN10:.*]], label %[[IF_END12]] |
| ; CHECK: [[IF_THEN10]]: |
| ; CHECK-NEXT: br label %[[IF_END12]] |
| ; CHECK: [[IF_END12]]: |
| ; CHECK-NEXT: [[CONV13_PRE_PHI:%.*]] = phi i32 [ [[CONV7]], %[[IF_THEN10]] ], [ [[CONV7]], %[[IF_ELSE4]] ], [ [[DOTPRE1]], %[[IF_THEN3]] ] |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br i1 %arg, label %if.else, label %if.then |
| |
| if.then: ; preds = %entry |
| br label %if.end |
| |
| if.else: ; preds = %entry |
| %conv = sext i16 %p1 to i32 |
| br label %if.end |
| |
| if.end: ; preds = %if.else, %if.then |
| %conv1 = sext i16 %p1 to i32 |
| br i1 %arg, label %if.then3, label %if.else4 |
| |
| if.then3: ; preds = %if.end |
| br label %if.end12 |
| |
| if.else4: ; preds = %if.end |
| %conv7 = sext i8 %p2 to i32 |
| %cmp8 = icmp eq i32 %conv1, %conv7 |
| br i1 %cmp8, label %if.then10, label %if.end12 |
| |
| if.then10: ; preds = %if.else4 |
| br label %if.end12 |
| |
| if.end12: ; preds = %if.then10, %if.else4, %if.then3 |
| %conv13 = sext i8 %p2 to i32 |
| ret void |
| } |
