1; RUN: opt < %s -instsimplify -S | FileCheck %s 2 3; PR8862 4 5; CHECK: @shift1 6; CHECK: ret i32 %A 7define i32 @shift1(i32 %A, i32 %B) { 8 %C = lshr exact i32 %A, %B 9 %D = shl nuw i32 %C, %B 10 ret i32 %D 11} 12 13; CHECK: @shift2 14; CHECK: lshr 15; CHECK: ret i32 %D 16define i32 @shift2(i32 %A, i32 %B) { 17 %C = lshr i32 %A, %B 18 %D = shl nuw i32 %C, %B 19 ret i32 %D 20} 21 22; CHECK: @shift3 23; CHECK: ret i32 %A 24define i32 @shift3(i32 %A, i32 %B) { 25 %C = ashr exact i32 %A, %B 26 %D = shl nuw i32 %C, %B 27 ret i32 %D 28} 29 30; CHECK: @shift4 31; CHECK: ret i32 %A 32define i32 @shift4(i32 %A, i32 %B) { 33 %C = shl nuw i32 %A, %B 34 %D = lshr i32 %C, %B 35 ret i32 %D 36} 37 38; CHECK: @shift5 39; CHECK: ret i32 %A 40define i32 @shift5(i32 %A, i32 %B) { 41 %C = shl nsw i32 %A, %B 42 %D = ashr i32 %C, %B 43 ret i32 %D 44} 45