1; RUN: opt < %s -S -passes="default<O2>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=O2 2; RUN: opt < %s -S -passes="default<O3>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=O3 3; RUN: opt < %s -S -passes="default<Os>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=Os 4; RUN: opt < %s -S -passes="default<Oz>" -unroll-runtime=true -unroll-threshold-default=0 -unroll-threshold-aggressive=300 | FileCheck %s -check-prefix=Oz 5 6; Check that Os and Oz are optimized like O2, not like O3. To easily highlight 7; the behavior, we artificially disable unrolling for anything but O3 by setting 8; the default threshold to 0. 9 10; O3: loop1.preheader 11; O2-NOT: loop1.preheader 12; Os-NOT: loop1.preheader 13; Oz-NOT: loop1.preheader 14 15define void @unroll(i32 %iter, ptr %addr1, ptr %addr2) nounwind { 16entry: 17 br label %loop1 18 19loop1: 20 %iv1 = phi i32 [ 0, %entry ], [ %inc1, %loop1.latch ] 21 %offset1 = getelementptr i32, ptr %addr1, i32 %iv1 22 store i32 %iv1, ptr %offset1, align 4 23 br label %loop2.header 24 25loop2.header: 26 %e = icmp uge i32 %iter, 1 27 br i1 %e, label %loop2, label %exit2 28 29loop2: 30 %iv2 = phi i32 [ 0, %loop2.header ], [ %inc2, %loop2 ] 31 %offset2 = getelementptr i32, ptr %addr2, i32 %iv2 32 store i32 %iv2, ptr %offset2, align 4 33 %inc2 = add i32 %iv2, 1 34 %exitcnd2 = icmp uge i32 %inc2, %iter 35 br i1 %exitcnd2, label %exit2, label %loop2 36 37exit2: 38 br label %loop1.latch 39 40loop1.latch: 41 %inc1 = add i32 %iv1, 1 42 %exitcnd1 = icmp uge i32 %inc1, 1024 43 br i1 %exitcnd1, label %exit, label %loop1 44 45exit: 46 ret void 47} 48