1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -reassociate %s -S | FileCheck %s 3 4define float @foo(float %a,float %b, float %c) { 5; CHECK-LABEL: @foo( 6; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A:%.*]], [[B:%.*]] 7; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float [[C:%.*]], 2.000000e+00 8; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], [[B]] 9; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], [[A]] 10; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[REASS_MUL]], [[MUL3]] 11; CHECK-NEXT: ret float [[ADD3]] 12; 13 %mul1 = fmul fast float %a, %c 14 %mul2 = fmul fast float %a, %b 15 %mul3 = fmul float %a, %b ; STRICT 16 %mul4 = fmul fast float %a, %c 17 %add1 = fadd fast float %mul1, %mul3 18 %add2 = fadd fast float %mul4, %mul2 19 %add3 = fadd fast float %add1, %add2 20 ret float %add3 21} 22 23define float @foo_reassoc(float %a,float %b, float %c) { 24; CHECK-LABEL: @foo_reassoc( 25; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float [[A:%.*]], [[C:%.*]] 26; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float [[B:%.*]], [[A]] 27; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A]], [[B]] 28; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float [[A]], [[C]] 29; CHECK-NEXT: [[ADD1:%.*]] = fadd fast float [[MUL1]], [[MUL3]] 30; CHECK-NEXT: [[ADD2:%.*]] = fadd reassoc float [[MUL2]], [[MUL4]] 31; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[ADD1]], [[ADD2]] 32; CHECK-NEXT: ret float [[ADD3]] 33; 34 %mul1 = fmul reassoc float %a, %c 35 %mul2 = fmul fast float %a, %b 36 %mul3 = fmul float %a, %b ; STRICT 37 %mul4 = fmul reassoc float %a, %c 38 %add1 = fadd fast float %mul1, %mul3 39 %add2 = fadd reassoc float %mul4, %mul2 40 %add3 = fadd fast float %add1, %add2 41 ret float %add3 42} 43 44