0676acb6fd
Should cover most of the tests for GVN, GVNHoist, GVNSink, GlobalOpt, GlobalSplit, InstCombine, Reassociate, SROA and TailCallElim that had not been updated earlier.
44 lines
1.7 KiB
LLVM
44 lines
1.7 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=reassociate %s -S | FileCheck %s
|
|
|
|
define float @foo(float %a,float %b, float %c) {
|
|
; CHECK-LABEL: @foo(
|
|
; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A:%.*]], [[B:%.*]]
|
|
; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float [[C:%.*]], 2.000000e+00
|
|
; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], [[B]]
|
|
; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], [[A]]
|
|
; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[REASS_MUL]], [[MUL3]]
|
|
; CHECK-NEXT: ret float [[ADD3]]
|
|
;
|
|
%mul1 = fmul fast float %a, %c
|
|
%mul2 = fmul fast float %a, %b
|
|
%mul3 = fmul float %a, %b ; STRICT
|
|
%mul4 = fmul fast float %a, %c
|
|
%add1 = fadd fast float %mul1, %mul3
|
|
%add2 = fadd fast float %mul4, %mul2
|
|
%add3 = fadd fast float %add1, %add2
|
|
ret float %add3
|
|
}
|
|
|
|
define float @foo_reassoc(float %a,float %b, float %c) {
|
|
; CHECK-LABEL: @foo_reassoc(
|
|
; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float [[A:%.*]], [[C:%.*]]
|
|
; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float [[B:%.*]], [[A]]
|
|
; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A]], [[B]]
|
|
; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float [[A]], [[C]]
|
|
; CHECK-NEXT: [[ADD1:%.*]] = fadd fast float [[MUL1]], [[MUL3]]
|
|
; CHECK-NEXT: [[ADD2:%.*]] = fadd reassoc float [[MUL2]], [[MUL4]]
|
|
; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[ADD1]], [[ADD2]]
|
|
; CHECK-NEXT: ret float [[ADD3]]
|
|
;
|
|
%mul1 = fmul reassoc float %a, %c
|
|
%mul2 = fmul fast float %a, %b
|
|
%mul3 = fmul float %a, %b ; STRICT
|
|
%mul4 = fmul reassoc float %a, %c
|
|
%add1 = fadd fast float %mul1, %mul3
|
|
%add2 = fadd reassoc float %mul4, %mul2
|
|
%add3 = fadd fast float %add1, %add2
|
|
ret float %add3
|
|
}
|
|
|