Files
c3c/test/test_suite/statements/foreach_break.c3t
2022-08-13 03:04:09 +02:00

74 lines
2.1 KiB
C

// #target: macos-x64
module test;
fn void test()
{
int[3] x;
int g = 0;
foreach (z : x)
{
if (z > 0) break;
if (z == 1) continue;
g += z;
}
}
/* #expect: test.ll
define void @test_test() #0 {
entry:
%x = alloca [3 x i32], align 4
%g = alloca i32, align 4
%.anon = alloca i64, align 8
%z = alloca i32, align 4
%0 = getelementptr inbounds [3 x i32], [3 x i32]* %x, i64 0, i64 0
store i32 0, i32* %0, align 4
%1 = getelementptr inbounds [3 x i32], [3 x i32]* %x, i64 0, i64 1
store i32 0, i32* %1, align 4
%2 = getelementptr inbounds [3 x i32], [3 x i32]* %x, i64 0, i64 2
store i32 0, i32* %2, align 4
store i32 0, i32* %g, align 4
store i64 0, i64* %.anon, align 8
br label %loop.cond
loop.cond: ; preds = %loop.inc, %entry
%3 = load i64, i64* %.anon, align 8
%gt = icmp ugt i64 3, %3
br i1 %gt, label %loop.body, label %loop.exit
loop.body: ; preds = %loop.cond
%4 = load i64, i64* %.anon, align 8
%5 = getelementptr inbounds [3 x i32], [3 x i32]* %x, i64 0, i64 %4
%6 = load i32, i32* %5, align 4
store i32 %6, i32* %z, align 4
%7 = load i32, i32* %z, align 4
%gt1 = icmp sgt i32 %7, 0
br i1 %gt1, label %if.then, label %if.exit
if.then: ; preds = %loop.body
br label %loop.exit
if.exit: ; preds = %loop.body
%8 = load i32, i32* %z, align 4
%eq = icmp eq i32 %8, 1
br i1 %eq, label %if.then2, label %if.exit3
if.then2: ; preds = %if.exit
br label %loop.inc
if.exit3: ; preds = %if.exit
%9 = load i32, i32* %g, align 4
%10 = load i32, i32* %z, align 4
%add = add i32 %9, %10
store i32 %add, i32* %g, align 4
br label %loop.inc
loop.inc: ; preds = %if.exit3, %if.then2
%11 = load i64, i64* %.anon, align 8
%add4 = add i64 %11, 1
store i64 %add4, i64* %.anon, align 8
br label %loop.cond
loop.exit: ; preds = %if.then, %loop.cond
ret void
}