59 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -passes=newgvn -S | FileCheck %s3 4@last = external global [65 x ptr]5 6define i32 @NextRootMove(i32 %wtm, i32 %x, i32 %y, i32 %z) {7; CHECK-LABEL: define i32 @NextRootMove8; CHECK-SAME: (i32 [[WTM:%.*]], i32 [[X:%.*]], i32 [[Y:%.*]], i32 [[Z:%.*]]) {9; CHECK-NEXT: entry:10; CHECK-NEXT: [[A:%.*]] = alloca ptr, align 811; CHECK-NEXT: [[TMP17618:%.*]] = load ptr, ptr getelementptr ([65 x ptr], ptr @last, i32 0, i32 1), align 412; CHECK-NEXT: store ptr [[TMP17618]], ptr [[A]], align 813; CHECK-NEXT: br label [[COND_TRUE116:%.*]]14; CHECK: cond_true116:15; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X]], [[Y]]16; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE128:%.*]], label [[COND_TRUE145:%.*]]17; CHECK: cond_true128:18; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[X]], [[Z]]19; CHECK-NEXT: br i1 [[CMP1]], label [[BB98_BACKEDGE:%.*]], label [[RETURN_LOOPEXIT:%.*]]20; CHECK: bb98.backedge:21; CHECK-NEXT: br label [[COND_TRUE116]]22; CHECK: cond_true145:23; CHECK-NEXT: br i1 false, label [[BB98_BACKEDGE]], label [[RETURN_LOOPEXIT]]24; CHECK: return.loopexit:25; CHECK-NEXT: br label [[RETURN:%.*]]26; CHECK: return:27; CHECK-NEXT: ret i32 028;29entry:30 %A = alloca ptr31 %tmp17618 = load ptr, ptr getelementptr ([65 x ptr], ptr @last, i32 0, i32 1), align 432 store ptr %tmp17618, ptr %A33 br label %cond_true11634 35cond_true116:36 %cmp = icmp eq i32 %x, %y37 br i1 %cmp, label %cond_true128, label %cond_true14538 39cond_true128:40 %tmp17625 = load ptr, ptr getelementptr ([65 x ptr], ptr @last, i32 0, i32 1), align 441 store ptr %tmp17625, ptr %A42 %cmp1 = icmp eq i32 %x, %z43 br i1 %cmp1 , label %bb98.backedge, label %return.loopexit44 45bb98.backedge:46 br label %cond_true11647 48cond_true145:49 %tmp17631 = load ptr, ptr getelementptr ([65 x ptr], ptr @last, i32 0, i32 1), align 450 store ptr %tmp17631, ptr %A51 br i1 false, label %bb98.backedge, label %return.loopexit52 53return.loopexit:54 br label %return55 56return:57 ret i32 058}59