0676acb6fd
Should cover most of the tests for GVN, GVNHoist, GVNSink, GlobalOpt, GlobalSplit, InstCombine, Reassociate, SROA and TailCallElim that had not been updated earlier.
40 lines
1.2 KiB
LLVM
40 lines
1.2 KiB
LLVM
; RUN: opt < %s -passes=reassociate,instcombine -S | FileCheck %s
|
|
|
|
define float @test1(float %A, float %B) {
|
|
; CHECK-LABEL: @test1(
|
|
; CHECK-NEXT: [[Z:%.*]] = fadd fast float %A, %B
|
|
; CHECK-NEXT: ret float [[Z]]
|
|
;
|
|
%W = fadd fast float %B, -5.0
|
|
%Y = fadd fast float %A, 5.0
|
|
%Z = fadd fast float %W, %Y
|
|
ret float %Z
|
|
}
|
|
|
|
; Check again using minimal subset of FMF.
|
|
; Both 'reassoc' and 'nsz' are required.
|
|
define float @test1_reassoc_nsz(float %A, float %B) {
|
|
; CHECK-LABEL: @test1_reassoc_nsz(
|
|
; CHECK-NEXT: [[Z:%.*]] = fadd reassoc nsz float %A, %B
|
|
; CHECK-NEXT: ret float [[Z]]
|
|
;
|
|
%W = fadd reassoc nsz float %B, -5.0
|
|
%Y = fadd reassoc nsz float %A, 5.0
|
|
%Z = fadd reassoc nsz float %W, %Y
|
|
ret float %Z
|
|
}
|
|
|
|
; Verify the fold is not done with only 'reassoc' ('nsz' is required).
|
|
define float @test1_reassoc(float %A, float %B) {
|
|
; CHECK-LABEL: @test1_reassoc(
|
|
; CHECK-NEXT: [[W:%.*]] = fadd reassoc float %B, -5.000000e+00
|
|
; CHECK-NEXT: [[Y:%.*]] = fadd reassoc float %A, 5.000000e+00
|
|
; CHECK-NEXT: [[Z:%.*]] = fadd reassoc float [[Y]], [[W]]
|
|
; CHECK-NEXT: ret float [[Z]]
|
|
;
|
|
%W = fadd reassoc float %B, -5.0
|
|
%Y = fadd reassoc float %A, 5.0
|
|
%Z = fadd reassoc float %W, %Y
|
|
ret float %Z
|
|
}
|