39 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; Pattern:5; (or (and (add x, half_c1), c3), (and x, c2))6; IFF:7; c1, c2, c3 is constant8; c1 is pow29; c2 < c110; c3 == (c1 - 1) ^ c211; half_c1 == (lshr c1, 1)12; (c1 >> 1) & c3 == (c1 >> 1)13; x is known to be less than c114; Could be transformed into:15; (xor x, half_c1)16; The reason above transformation could be done is becase17; in (and (add x, half_c1), c3), half_c1 equals the top bit18; of the demanded mask indicated by (and ..., c3)19 20define i16 @or_and_add_and() {21; CHECK-LABEL: @or_and_add_and(22; CHECK-NEXT: entry:23; CHECK-NEXT: [[X:%.*]] = call i16 @dummy(), !range [[RNG0:![0-9]+]]24; CHECK-NEXT: [[OR:%.*]] = xor i16 [[X]], 3225; CHECK-NEXT: ret i16 [[OR]]26;27entry:28 %x = call i16 @dummy(), !range !029 %add = add i16 32, %x30 %and1 = and i16 %add, 4831 %and2 = and i16 %x, 1532 %or = or i16 %and1, %and233 ret i16 %or34}35 36declare i16 @dummy()37 38!0 = !{i16 0, i16 64}39