1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -instcombine -S | FileCheck %s 3 4define i1 @test0(i39 %X, i39 %A) { 5; CHECK-LABEL: @test0( 6; CHECK-NEXT: [[TMP1:%.*]] = shl i39 1, %A 7; CHECK-NEXT: [[TMP2:%.*]] = and i39 [[TMP1]], %X 8; CHECK-NEXT: [[D:%.*]] = icmp ne i39 [[TMP2]], 0 9; CHECK-NEXT: ret i1 [[D]] 10; 11 %B = lshr i39 %X, %A 12 %D = trunc i39 %B to i1 13 ret i1 %D 14} 15 16define i1 @test1(i799 %X, i799 %A) { 17; CHECK-LABEL: @test1( 18; CHECK-NEXT: [[TMP1:%.*]] = shl i799 1, %A 19; CHECK-NEXT: [[TMP2:%.*]] = and i799 [[TMP1]], %X 20; CHECK-NEXT: [[D:%.*]] = icmp ne i799 [[TMP2]], 0 21; CHECK-NEXT: ret i1 [[D]] 22; 23 %B = lshr i799 %X, %A 24 %D = trunc i799 %B to i1 25 ret i1 %D 26} 27 28define <2 x i1> @test0vec(<2 x i39> %X, <2 x i39> %A) { 29; CHECK-LABEL: @test0vec( 30; CHECK-NEXT: [[TMP1:%.*]] = shl <2 x i39> <i39 1, i39 1>, %A 31; CHECK-NEXT: [[TMP2:%.*]] = and <2 x i39> [[TMP1]], %X 32; CHECK-NEXT: [[D:%.*]] = icmp ne <2 x i39> [[TMP2]], zeroinitializer 33; CHECK-NEXT: ret <2 x i1> [[D]] 34; 35 %B = lshr <2 x i39> %X, %A 36 %D = trunc <2 x i39> %B to <2 x i1> 37 ret <2 x i1> %D 38} 39 40