92 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -O1 | FileCheck %s3; RUN: opt -passes='default<O1>' -S < %s | FileCheck %s4 5; In all tests, expect instcombine to canonicalize the select patterns6; for min/max/abs to allow CSE and subsequent simplification.7 8; TODO:9; This should be reduced to 0, but we are missing some10; fold(s) in instcombine.11 12define i8 @smax_nsw(i8 %a, i8 %b) {13; CHECK-LABEL: @smax_nsw(14; CHECK-NEXT: [[SUB:%.*]] = sub nsw i8 [[A:%.*]], [[B:%.*]]15; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A]], [[B]]16; CHECK-NEXT: [[M1:%.*]] = select i1 [[CMP1]], i8 0, i8 [[SUB]]17; CHECK-NEXT: [[TMP1:%.*]] = tail call i8 @llvm.smax.i8(i8 [[SUB]], i8 0)18; CHECK-NEXT: [[R:%.*]] = sub i8 [[TMP1]], [[M1]]19; CHECK-NEXT: ret i8 [[R]]20;21 %sub = sub nsw i8 %a, %b22 %cmp1 = icmp slt i8 %a, %b23 %cmp2 = icmp sgt i8 %sub, 024 %m1 = select i1 %cmp1, i8 0, i8 %sub25 %m2 = select i1 %cmp2, i8 %sub, i8 026 %r = sub i8 %m2, %m127 ret i8 %r28}29 30; or (abs a), (abs a) --> abs a31 32define i8 @abs_swapped(i8 %a) {33; CHECK-LABEL: @abs_swapped(34; CHECK-NEXT: [[TMP1:%.*]] = tail call i8 @llvm.abs.i8(i8 [[A:%.*]], i1 false)35; CHECK-NEXT: ret i8 [[TMP1]]36;37 %neg = sub i8 0, %a38 %cmp1 = icmp sgt i8 %a, 039 %cmp2 = icmp slt i8 %a, 040 %m1 = select i1 %cmp1, i8 %a, i8 %neg41 %m2 = select i1 %cmp2, i8 %neg, i8 %a42 %r = or i8 %m2, %m143 ret i8 %r44}45 46; xor (nabs a), (nabs a) --> 047 48define i8 @nabs_swapped(i8 %a) {49; CHECK-LABEL: @nabs_swapped(50; CHECK-NEXT: ret i8 051;52 %neg = sub i8 0, %a53 %cmp1 = icmp slt i8 %a, 054 %cmp2 = icmp sgt i8 %a, 055 %m1 = select i1 %cmp1, i8 %a, i8 %neg56 %m2 = select i1 %cmp2, i8 %neg, i8 %a57 %r = xor i8 %m2, %m158 ret i8 %r59}60 61; xor (abs a), (abs a) --> 062 63define i8 @abs_different_constants(i8 %a) {64; CHECK-LABEL: @abs_different_constants(65; CHECK-NEXT: ret i8 066;67 %neg = sub i8 0, %a68 %cmp1 = icmp sgt i8 %a, -169 %cmp2 = icmp slt i8 %a, 070 %m1 = select i1 %cmp1, i8 %a, i8 %neg71 %m2 = select i1 %cmp2, i8 %neg, i8 %a72 %r = xor i8 %m2, %m173 ret i8 %r74}75 76; or (nabs a), (nabs a) --> nabs a77 78define i8 @nabs_different_constants(i8 %a) {79; CHECK-LABEL: @nabs_different_constants(80; CHECK-NEXT: [[TMP1:%.*]] = tail call i8 @llvm.abs.i8(i8 [[A:%.*]], i1 false)81; CHECK-NEXT: [[M1:%.*]] = sub i8 0, [[TMP1]]82; CHECK-NEXT: ret i8 [[M1]]83;84 %neg = sub i8 0, %a85 %cmp1 = icmp slt i8 %a, 086 %cmp2 = icmp sgt i8 %a, -187 %m1 = select i1 %cmp1, i8 %a, i8 %neg88 %m2 = select i1 %cmp2, i8 %neg, i8 %a89 %r = or i8 %m2, %m190 ret i8 %r91}92