40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S < %s | FileCheck %s3; RUN: opt -S -passes=instcombine < %s | FileCheck %s --check-prefix=INSTCOMBINE4 5; Two of the llvm.umax calls are intentionally missing the mangling suffix here,6; to show that it will be added automatically.7define i32 @test(i8 %x, i8 %y) {8; CHECK-LABEL: define i32 @test(9; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {10; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[X]], -111; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]])12; CHECK-NEXT: [[MAX1:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])13; CHECK-NEXT: [[X_EXT:%.*]] = zext i8 [[X]] to i1614; CHECK-NEXT: [[Y_EXT:%.*]] = zext i8 [[Y]] to i1615; CHECK-NEXT: [[MAX2:%.*]] = call i16 @llvm.umax.i16(i16 [[X_EXT]], i16 [[Y_EXT]])16; CHECK-NEXT: [[X_EXT2:%.*]] = zext i8 [[X]] to i3217; CHECK-NEXT: [[Y_EXT2:%.*]] = zext i8 [[Y]] to i3218; CHECK-NEXT: [[MAX3:%.*]] = call i32 @llvm.umax.i32(i32 [[X_EXT2]], i32 [[Y_EXT2]])19; CHECK-NEXT: ret i32 [[MAX3]]20;21; INSTCOMBINE-LABEL: define i32 @test(22; INSTCOMBINE-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {23; INSTCOMBINE-NEXT: [[CMP:%.*]] = icmp sgt i8 [[X]], -124; INSTCOMBINE-NEXT: call void @llvm.assume(i1 [[CMP]])25; INSTCOMBINE-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])26; INSTCOMBINE-NEXT: [[MAX3:%.*]] = zext i8 [[TMP1]] to i3227; INSTCOMBINE-NEXT: ret i32 [[MAX3]]28;29 %cmp = icmp sgt i8 %x, -130 call void @llvm.assume(i1 %cmp)31 %max1 = call i8 @llvm.umax(i8 %x, i8 %y)32 %x.ext = zext i8 %x to i1633 %y.ext = zext i8 %y to i1634 %max2 = call i16 @llvm.umax(i16 %x.ext, i16 %y.ext)35 %x.ext2 = zext i8 %x to i3236 %y.ext2 = zext i8 %y to i3237 %max3 = call i32 @llvm.umax.i32(i32 %x.ext2, i32 %y.ext2)38 ret i32 %max339}40