Files
c3c/test/test_suite/statements/foreach_r_break.c3t
2024-05-08 23:05:12 +02:00

73 lines
2.0 KiB
Plaintext

// #target: macos-x64
module test;
fn void test()
{
int[3] x;
int g = 0;
foreach_r (z : x)
{
if (z > 0) break;
if (z == 1) continue;
g += z;
}
}
/* #expect: test.ll
; Function Attrs:
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
store i32 0, ptr %x, align 4
%ptradd = getelementptr inbounds i8, ptr %x, i64 4
store i32 0, ptr %ptradd, align 4
%ptradd1 = getelementptr inbounds i8, ptr %x, i64 8
store i32 0, ptr %ptradd1, align 4
store i32 0, ptr %g, align 4
store i64 3, ptr %.anon, align 8
br label %loop.cond
loop.cond: ; preds = %if.exit4, %if.then3, %entry
%0 = load i64, ptr %.anon, align 8
%gt = icmp ugt i64 %0, 0
br i1 %gt, label %loop.body, label %loop.exit
loop.body: ; preds = %loop.cond
%1 = load i64, ptr %.anon, align 8
%subnuw = sub nuw i64 %1, 1
store i64 %subnuw, ptr %.anon, align 8
%2 = load i64, ptr %.anon, align 8
%ptroffset = getelementptr inbounds [4 x i8], ptr %x, i64 %2
%3 = load i32, ptr %ptroffset, align 4
store i32 %3, ptr %z, align 4
%4 = load i32, ptr %z, align 4
%gt2 = icmp sgt i32 %4, 0
br i1 %gt2, label %if.then, label %if.exit
if.then: ; preds = %loop.body
br label %loop.exit
if.exit: ; preds = %loop.body
%5 = load i32, ptr %z, align 4
%eq = icmp eq i32 %5, 1
br i1 %eq, label %if.then3, label %if.exit4
if.then3: ; preds = %if.exit
br label %loop.cond
if.exit4: ; preds = %if.exit
%6 = load i32, ptr %g, align 4
%7 = load i32, ptr %z, align 4
%add = add i32 %6, %7
store i32 %add, ptr %g, align 4
br label %loop.cond
loop.exit: ; preds = %if.then, %loop.cond
ret void
}