1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=reassociate -S | FileCheck %s 3 4; When there is nothing to do, or not much to do, check that reassociate leaves 5; things alone. 6 7declare void @use(i32) 8 9define void @test1(i32 %a, i32 %b) { 10; Shouldn't change or move any of the add instructions. Should commute but 11; otherwise not change or move any of the mul instructions. 12; CHECK-LABEL: @test1( 13; CHECK-NEXT: [[A0:%.*]] = add nsw i32 [[A:%.*]], 1 14; CHECK-NEXT: [[M0:%.*]] = mul nsw i32 [[A]], 3 15; CHECK-NEXT: [[A1:%.*]] = add nsw i32 [[A0]], [[B:%.*]] 16; CHECK-NEXT: [[M1:%.*]] = mul nsw i32 [[M0]], [[B]] 17; CHECK-NEXT: call void @use(i32 [[A1]]) 18; CHECK-NEXT: call void @use(i32 [[M1]]) 19; CHECK-NEXT: ret void 20; 21 %a0 = add nsw i32 %a, 1 22 %m0 = mul nsw i32 3, %a 23 %a1 = add nsw i32 %a0, %b 24 %m1 = mul nsw i32 %b, %m0 25 call void @use(i32 %a1) 26 call void @use(i32 %m1) 27 ret void 28} 29 30define void @test2(i32 %a, i32 %b, i32 %c, i32 %d) { 31; The initial add doesn't change so should not lose the nsw flag. 32; CHECK-LABEL: @test2( 33; CHECK-NEXT: [[A0:%.*]] = add nsw i32 [[B:%.*]], [[A:%.*]] 34; CHECK-NEXT: [[A1:%.*]] = add i32 [[A0]], [[C:%.*]] 35; CHECK-NEXT: [[A2:%.*]] = add i32 [[A1]], [[D:%.*]] 36; CHECK-NEXT: call void @use(i32 [[A2]]) 37; CHECK-NEXT: ret void 38; 39 %a0 = add nsw i32 %b, %a 40 %a1 = add nsw i32 %a0, %d 41 %a2 = add nsw i32 %a1, %c 42 call void @use(i32 %a2) 43 ret void 44} 45