29 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare noundef i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()5declare i32 @llvm.umin.i32(i32, i32)6define i32 @foo(i1 %c, i32 %arg) {7; CHECK-LABEL: define i32 @foo(8; CHECK-SAME: i1 [[C:%.*]], i32 [[ARG:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*]]:10; CHECK-NEXT: [[I:%.*]] = call i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()11; CHECK-NEXT: br i1 [[C]], label %[[BB_1:.*]], label %[[BB_2:.*]]12; CHECK: [[BB_1]]:13; CHECK-NEXT: br label %[[BB_2]]14; CHECK: [[BB_2]]:15; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[I]], %[[ENTRY]] ], [ 0, %[[BB_1]] ]16; CHECK-NEXT: [[RES:%.*]] = call i32 @llvm.umin.i32(i32 [[PHI]], i32 [[ARG]])17; CHECK-NEXT: ret i32 [[RES]]18;19entry:20 %i = call i32 @llvm.nvvm.read.ptx.sreg.nctaid.x()21 br i1 %c, label %bb.1, label %bb.222bb.1:23 br label %bb.224bb.2:25 %phi = phi i32 [ %i, %entry ], [ 0, %bb.1 ]26 %res = call i32 @llvm.umin.i32(i32 %phi, i32 %arg)27 ret i32 %res28}29