0676acb6fd
Should cover most of the tests for GVN, GVNHoist, GVNSink, GlobalOpt, GlobalSplit, InstCombine, Reassociate, SROA and TailCallElim that had not been updated earlier.
32 lines
1.2 KiB
LLVM
32 lines
1.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=reassociate %s -S -o - | FileCheck %s
|
|
|
|
; Reassociate pass used to crash on these example
|
|
|
|
@g = global i32 0
|
|
|
|
define float @undef1() {
|
|
; CHECK-LABEL: @undef1(
|
|
; CHECK-NEXT: [[FACTOR1:%.*]] = fmul fast float -1.000000e+00, bitcast (i32 ptrtoint (ptr @g to i32) to float)
|
|
; CHECK-NEXT: [[REASS_ADD:%.*]] = fadd fast float [[FACTOR1]], bitcast (i32 ptrtoint (ptr @g to i32) to float)
|
|
; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD]], 2.000000e+00
|
|
; CHECK-NEXT: ret float [[REASS_MUL]]
|
|
;
|
|
%t0 = fadd fast float bitcast (i32 ptrtoint (ptr @g to i32) to float), bitcast (i32 ptrtoint (ptr @g to i32) to float)
|
|
%t1 = fsub fast float bitcast (i32 ptrtoint (ptr @g to i32) to float), %t0
|
|
%t2 = fadd fast float bitcast (i32 ptrtoint (ptr @g to i32) to float), %t1
|
|
ret float %t2
|
|
}
|
|
|
|
define void @undef2() {
|
|
; CHECK-LABEL: @undef2(
|
|
; CHECK-NEXT: unreachable
|
|
;
|
|
%t0 = fadd fast float bitcast (i32 ptrtoint (ptr @g to i32) to float), bitcast (i32 ptrtoint (ptr @g to i32) to float)
|
|
%t1 = fadd fast float %t0, 1.0
|
|
%t2 = fsub fast float %t0, %t1
|
|
%t3 = fmul fast float %t2, 2.0
|
|
unreachable
|
|
}
|
|
|