1*9880d681SAndroid Build Coastguard Worker; NOTE: Assertions have been autogenerated by update_test_checks.py 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instsimplify -S | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Workerdefine i32 @select1(i32 %x, i1 %b) { 5*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @select1( 6*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 0 7*9880d681SAndroid Build Coastguard Worker; 8*9880d681SAndroid Build Coastguard Worker %rhs = select i1 %b, i32 %x, i32 1 9*9880d681SAndroid Build Coastguard Worker %rem = srem i32 %x, %rhs 10*9880d681SAndroid Build Coastguard Worker ret i32 %rem 11*9880d681SAndroid Build Coastguard Worker} 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerdefine i32 @select2(i32 %x, i1 %b) { 14*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @select2( 15*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 0 16*9880d681SAndroid Build Coastguard Worker; 17*9880d681SAndroid Build Coastguard Worker %rhs = select i1 %b, i32 %x, i32 1 18*9880d681SAndroid Build Coastguard Worker %rem = urem i32 %x, %rhs 19*9880d681SAndroid Build Coastguard Worker ret i32 %rem 20*9880d681SAndroid Build Coastguard Worker} 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Workerdefine i32 @rem1(i32 %x, i32 %n) { 23*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem1( 24*9880d681SAndroid Build Coastguard Worker; CHECK: [[MOD:%.*]] = srem i32 %x, %n 25*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 [[MOD]] 26*9880d681SAndroid Build Coastguard Worker; 27*9880d681SAndroid Build Coastguard Worker %mod = srem i32 %x, %n 28*9880d681SAndroid Build Coastguard Worker %mod1 = srem i32 %mod, %n 29*9880d681SAndroid Build Coastguard Worker ret i32 %mod1 30*9880d681SAndroid Build Coastguard Worker} 31*9880d681SAndroid Build Coastguard Worker 32*9880d681SAndroid Build Coastguard Workerdefine i32 @rem2(i32 %x, i32 %n) { 33*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem2( 34*9880d681SAndroid Build Coastguard Worker; CHECK: [[MOD:%.*]] = urem i32 %x, %n 35*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 [[MOD]] 36*9880d681SAndroid Build Coastguard Worker; 37*9880d681SAndroid Build Coastguard Worker %mod = urem i32 %x, %n 38*9880d681SAndroid Build Coastguard Worker %mod1 = urem i32 %mod, %n 39*9880d681SAndroid Build Coastguard Worker ret i32 %mod1 40*9880d681SAndroid Build Coastguard Worker} 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerdefine i32 @rem3(i32 %x, i32 %n) { 43*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @rem3( 44*9880d681SAndroid Build Coastguard Worker; CHECK: [[MOD:%.*]] = srem i32 %x, %n 45*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: [[MOD1:%.*]] = urem i32 [[MOD]], %n 46*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 [[MOD1]] 47*9880d681SAndroid Build Coastguard Worker; 48*9880d681SAndroid Build Coastguard Worker %mod = srem i32 %x, %n 49*9880d681SAndroid Build Coastguard Worker %mod1 = urem i32 %mod, %n 50*9880d681SAndroid Build Coastguard Worker ret i32 %mod1 51*9880d681SAndroid Build Coastguard Worker} 52