mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 19:45:40 -04:00
fd39b1bb20
This reapplies:8ff85ed905Original commit message: As a follow-up to my initial mail to llvm-dev here's a first pass at the O1 described there. This change doesn't include any change to move from selection dag to fast isel and that will come with other numbers that should help inform that decision. There also haven't been any real debuggability studies with this pipeline yet, this is just the initial start done so that people could see it and we could start tweaking after. Test updates: Outside of the newpm tests most of the updates are coming from either optimization passes not run anymore (and without a compelling argument at the moment) that were largely used for canonicalization in clang. Original post: http://lists.llvm.org/pipermail/llvm-dev/2019-April/131494.html Tags: #llvm Differential Revision: https://reviews.llvm.org/D65410 This reverts commitc9ddb02659.
67 lines
2.8 KiB
LLVM
67 lines
2.8 KiB
LLVM
; RUN: opt -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-O0
|
|
; RUN: opt -O1 -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-O1
|
|
; RUN: opt -O2 -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-O1 --check-prefix=OPT-O2O3
|
|
; RUN: opt -O3 -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-O1 --check-prefix=OPT-O2O3
|
|
; RUN: opt -dce -die -gvn-hoist -loweratomic -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-MORE
|
|
; RUN: opt -indvars -licm -loop-deletion -loop-extract -loop-idiom -loop-instsimplify -loop-reduce -loop-reroll -loop-rotate -loop-unroll -loop-unswitch -S -debug %s 2>&1 | FileCheck %s --check-prefix=OPT-LOOP
|
|
|
|
; REQUIRES: asserts
|
|
|
|
; This test verifies that we don't run target independent IR-level
|
|
; optimizations on optnone functions.
|
|
|
|
; Function Attrs: noinline optnone
|
|
define i32 @_Z3fooi(i32 %x) #0 {
|
|
entry:
|
|
%x.addr = alloca i32, align 4
|
|
store i32 %x, i32* %x.addr, align 4
|
|
br label %while.cond
|
|
|
|
while.cond: ; preds = %while.body, %entry
|
|
%0 = load i32, i32* %x.addr, align 4
|
|
%dec = add nsw i32 %0, -1
|
|
store i32 %dec, i32* %x.addr, align 4
|
|
%tobool = icmp ne i32 %0, 0
|
|
br i1 %tobool, label %while.body, label %while.end
|
|
|
|
while.body: ; preds = %while.cond
|
|
br label %while.cond
|
|
|
|
while.end: ; preds = %while.cond
|
|
ret i32 0
|
|
}
|
|
|
|
attributes #0 = { optnone noinline }
|
|
|
|
; Nothing that runs at -O0 gets skipped.
|
|
; OPT-O0-NOT: Skipping pass
|
|
|
|
; IR passes run at -O1 and higher.
|
|
; OPT-O1-DAG: Skipping pass 'Aggressive Dead Code Elimination'
|
|
; OPT-O1-DAG: Skipping pass 'Combine redundant instructions'
|
|
; OPT-O1-DAG: Skipping pass 'Early CSE'
|
|
; OPT-O1-DAG: Skipping pass 'Reassociate expressions'
|
|
; OPT-O1-DAG: Skipping pass 'Simplify the CFG'
|
|
; OPT-O1-DAG: Skipping pass 'Sparse Conditional Constant Propagation'
|
|
|
|
; Additional IR passes run at -O2 and higher.
|
|
; OPT-O2O3-DAG: Skipping pass 'Global Value Numbering'
|
|
; OPT-O2O3-DAG: Skipping pass 'SLP Vectorizer'
|
|
|
|
; Additional IR passes that opt doesn't turn on by default.
|
|
; OPT-MORE-DAG: Skipping pass 'Dead Code Elimination'
|
|
; OPT-MORE-DAG: Skipping pass 'Dead Instruction Elimination'
|
|
|
|
; Loop IR passes that opt doesn't turn on by default.
|
|
; OPT-LOOP-DAG: Skipping pass 'Delete dead loops'
|
|
; OPT-LOOP-DAG: Skipping pass 'Extract loops into new functions'
|
|
; OPT-LOOP-DAG: Skipping pass 'Induction Variable Simplification'
|
|
; OPT-LOOP-DAG: Skipping pass 'Loop Invariant Code Motion'
|
|
; OPT-LOOP-DAG: Skipping pass 'Loop Strength Reduction'
|
|
; OPT-LOOP-DAG: Skipping pass 'Recognize loop idioms'
|
|
; OPT-LOOP-DAG: Skipping pass 'Reroll loops'
|
|
; OPT-LOOP-DAG: Skipping pass 'Rotate Loops'
|
|
; OPT-LOOP-DAG: Skipping pass 'Simplify instructions in loops'
|
|
; OPT-LOOP-DAG: Skipping pass 'Unroll loops'
|
|
; OPT-LOOP-DAG: Skipping pass 'Unswitch loops'
|