1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4; These tests are for Integer BitWidth <= 64 && BitWidth % 2 != 0. 5;; A | ~A == -1 6define i23 @test1(i23 %A) { 7; CHECK-LABEL: define i23 @test1( 8; CHECK-SAME: i23 [[A:%.*]]) { 9; CHECK-NEXT: ret i23 -1 10; 11 %NotA = xor i23 -1, %A 12 %B = or i23 %A, %NotA 13 ret i23 %B 14} 15 16;; If we have: ((V + N) & C1) | (V & C2) 17;; .. and C2 = ~C1 and C2 is 0+1+ and (N & C2) == 0 18;; replace with V+N. 19define i39 @test2(i39 %V, i39 %M) { 20; CHECK-LABEL: define i39 @test2( 21; CHECK-SAME: i39 [[V:%.*]], i39 [[M:%.*]]) { 22; CHECK-NEXT: [[N:%.*]] = and i39 [[M]], -274877906944 23; CHECK-NEXT: [[A:%.*]] = add i39 [[V]], [[N]] 24; CHECK-NEXT: ret i39 [[A]] 25; 26 %C1 = xor i39 274877906943, -1 ;; C2 = 274877906943 27 %N = and i39 %M, 274877906944 28 %A = add i39 %V, %N 29 %B = and i39 %A, %C1 30 %D = and i39 %V, 274877906943 31 %R = or i39 %B, %D 32 ret i39 %R 33} 34 35; These tests are for Integer BitWidth > 64 && BitWidth <= 1024. 36;; A | ~A == -1 37define i1023 @test4(i1023 %A) { 38; CHECK-LABEL: define i1023 @test4( 39; CHECK-SAME: i1023 [[A:%.*]]) { 40; CHECK-NEXT: ret i1023 -1 41; 42 %NotA = xor i1023 -1, %A 43 %B = or i1023 %A, %NotA 44 ret i1023 %B 45} 46 47;; If we have: ((V + N) & C1) | (V & C2) 48;; .. and C2 = ~C1 and C2 is 0+1+ and (N & C2) == 0 49;; replace with V+N. 50define i399 @test5(i399 %V, i399 %M) { 51; CHECK-LABEL: define i399 @test5( 52; CHECK-SAME: i399 [[V:%.*]], i399 [[M:%.*]]) { 53; CHECK-NEXT: [[N:%.*]] = and i399 [[M]], 18446742974197923840 54; CHECK-NEXT: [[A:%.*]] = add i399 [[V]], [[N]] 55; CHECK-NEXT: ret i399 [[A]] 56; 57 %C1 = xor i399 274877906943, -1 ;; C2 = 274877906943 58 %N = and i399 %M, 18446742974197923840 59 %A = add i399 %V, %N 60 %B = and i399 %A, %C1 61 %D = and i399 %V, 274877906943 62 %R = or i399 %B, %D 63 ret i399 %R 64} 65