46 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -O2 -S < %s | FileCheck %s3; RUN: opt -passes=instcombine -S < %s | FileCheck %s --check-prefix=IC4; RUN: opt -passes=aggressive-instcombine,instcombine -S < %s | FileCheck %s --check-prefix=AIC_AND_IC5 6target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"7target triple = "x86_64-unknown-linux-gnu"8 9define i16 @foo(i1 %a) {10; CHECK-LABEL: @foo(11; CHECK-NEXT: [[TRUNC:%.*]] = select i1 [[A:%.*]], i16 32767, i16 012; CHECK-NEXT: ret i16 [[TRUNC]]13;14; IC-LABEL: @foo(15; IC-NEXT: [[TRUNC:%.*]] = select i1 [[A:%.*]], i16 32767, i16 016; IC-NEXT: ret i16 [[TRUNC]]17;18; AIC_AND_IC-LABEL: @foo(19; AIC_AND_IC-NEXT: [[LSHR:%.*]] = select i1 [[A:%.*]], i16 32767, i16 020; AIC_AND_IC-NEXT: ret i16 [[LSHR]]21;22 %sext = sext i1 %a to i1623 %zext = zext i16 %sext to i3224 %lshr = lshr i32 %zext, 125 %trunc = trunc i32 %lshr to i1626 ret i16 %trunc27}28 29define i16 @foo2(i1 %a) {30; CHECK-LABEL: @foo2(31; CHECK-NEXT: [[LSHR:%.*]] = select i1 [[A:%.*]], i16 32767, i16 032; CHECK-NEXT: ret i16 [[LSHR]]33;34; IC-LABEL: @foo2(35; IC-NEXT: [[LSHR:%.*]] = select i1 [[A:%.*]], i16 32767, i16 036; IC-NEXT: ret i16 [[LSHR]]37;38; AIC_AND_IC-LABEL: @foo2(39; AIC_AND_IC-NEXT: [[LSHR:%.*]] = select i1 [[A:%.*]], i16 32767, i16 040; AIC_AND_IC-NEXT: ret i16 [[LSHR]]41;42 %s = sext i1 %a to i1643 %lshr = lshr i16 %s, 144 ret i16 %lshr45}46