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