1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128:n8:16:32:64" 4 5 define i32 @test1(i32 %x) { 6 %tmp.1 = and i32 %x, 65535 ; <i32> [#uses=1] 7 %tmp.2 = xor i32 %tmp.1, -32768 ; <i32> [#uses=1] 8 %tmp.3 = add i32 %tmp.2, 32768 ; <i32> [#uses=1] 9 ret i32 %tmp.3 10 ; CHECK-LABEL: @test1( 11 ; CHECK: %sext = shl i32 %x, 16 12 ; CHECK: %tmp.3 = ashr exact i32 %sext, 16 13 ; CHECK: ret i32 %tmp.3 14 } 15 16 define i32 @test2(i32 %x) { 17 %tmp.1 = and i32 %x, 65535 ; <i32> [#uses=1] 18 %tmp.2 = xor i32 %tmp.1, 32768 ; <i32> [#uses=1] 19 %tmp.3 = add i32 %tmp.2, -32768 ; <i32> [#uses=1] 20 ret i32 %tmp.3 21 ; CHECK-LABEL: @test2( 22 ; CHECK: %sext = shl i32 %x, 16 23 ; CHECK: %tmp.3 = ashr exact i32 %sext, 16 24 ; CHECK: ret i32 %tmp.3 25 } 26 27 define i32 @test3(i16 %P) { 28 %tmp.1 = zext i16 %P to i32 ; <i32> [#uses=1] 29 %tmp.4 = xor i32 %tmp.1, 32768 ; <i32> [#uses=1] 30 %tmp.5 = add i32 %tmp.4, -32768 ; <i32> [#uses=1] 31 ret i32 %tmp.5 32 ; CHECK-LABEL: @test3( 33 ; CHECK: %tmp.5 = sext i16 %P to i32 34 ; CHECK: ret i32 %tmp.5 35 } 36 37 define i32 @test4(i16 %P) { 38 %tmp.1 = zext i16 %P to i32 ; <i32> [#uses=1] 39 %tmp.4 = xor i32 %tmp.1, 32768 ; <i32> [#uses=1] 40 %tmp.5 = add i32 %tmp.4, -32768 ; <i32> [#uses=1] 41 ret i32 %tmp.5 42 ; CHECK-LABEL: @test4( 43 ; CHECK: %tmp.5 = sext i16 %P to i32 44 ; CHECK: ret i32 %tmp.5 45 } 46 47 define i32 @test5(i32 %x) { 48 %tmp.1 = and i32 %x, 255 ; <i32> [#uses=1] 49 %tmp.2 = xor i32 %tmp.1, 128 ; <i32> [#uses=1] 50 %tmp.3 = add i32 %tmp.2, -128 ; <i32> [#uses=1] 51 ret i32 %tmp.3 52 ; CHECK-LABEL: @test5( 53 ; CHECK: %sext = shl i32 %x, 24 54 ; CHECK: %tmp.3 = ashr exact i32 %sext, 24 55 ; CHECK: ret i32 %tmp.3 56 } 57 58 define i32 @test6(i32 %x) { 59 %tmp.2 = shl i32 %x, 16 ; <i32> [#uses=1] 60 %tmp.4 = ashr i32 %tmp.2, 16 ; <i32> [#uses=1] 61 ret i32 %tmp.4 62 ; CHECK-LABEL: @test6( 63 ; CHECK: %tmp.2 = shl i32 %x, 16 64 ; CHECK: %tmp.4 = ashr exact i32 %tmp.2, 16 65 ; CHECK: ret i32 %tmp.4 66 } 67 68 define i32 @test7(i16 %P) { 69 %tmp.1 = zext i16 %P to i32 ; <i32> [#uses=1] 70 %sext1 = shl i32 %tmp.1, 16 ; <i32> [#uses=1] 71 %tmp.5 = ashr i32 %sext1, 16 ; <i32> [#uses=1] 72 ret i32 %tmp.5 73 ; CHECK-LABEL: @test7( 74 ; CHECK: %tmp.5 = sext i16 %P to i32 75 ; CHECK: ret i32 %tmp.5 76 } 77 78 define i32 @test8(i32 %x) nounwind readnone { 79 entry: 80 %shr = lshr i32 %x, 5 ; <i32> [#uses=1] 81 %xor = xor i32 %shr, 67108864 ; <i32> [#uses=1] 82 %sub = add i32 %xor, -67108864 ; <i32> [#uses=1] 83 ret i32 %sub 84 ; CHECK-LABEL: @test8( 85 ; CHECK: %sub = ashr i32 %x, 5 86 ; CHECK: ret i32 %sub 87 } 88
