Files
c3c/test/test_suite/builtins/overflows.c3t
2022-10-28 01:14:10 +02:00

67 lines
2.1 KiB
C

module test;
import std::io;
fn void main()
{
ichar x = 23;
ichar y = 121;
ichar z1;
ichar z2;
ichar z3;
ichar z4;
ichar z5;
bool success1 = $$overflow_mul(x, y, &z1);
bool success2 = $$overflow_add(x, y, &z2);
bool success3 = $$overflow_add(x, x, &z3);
bool success4 = $$overflow_sub($$neg(y), y, &z4);
bool success5 = $$overflow_sub(x, y, &z5);
io::printfln("%s %s", success1, z1);
io::printfln("%s %s", success2, z2);
io::printfln("%s %s", success3, z3);
io::printfln("%s %s", success4, z4);
io::printfln("%s %s", success5, z5);
}
/* #expect: test.ll
%0 = load i8, i8* %x, align 1
%1 = load i8, i8* %y, align 1
%2 = call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %0, i8 %1)
%3 = extractvalue { i8, i1 } %2, 1
%4 = extractvalue { i8, i1 } %2, 0
store i8 %4, i8* %z1, align 1
%5 = zext i1 %3 to i8
store i8 %5, i8* %success1, align 1
%6 = load i8, i8* %x, align 1
%7 = load i8, i8* %y, align 1
%8 = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %6, i8 %7)
%9 = extractvalue { i8, i1 } %8, 1
%10 = extractvalue { i8, i1 } %8, 0
store i8 %10, i8* %z2, align 1
%11 = zext i1 %9 to i8
store i8 %11, i8* %success2, align 1
%12 = load i8, i8* %x, align 1
%13 = load i8, i8* %x, align 1
%14 = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %12, i8 %13)
%15 = extractvalue { i8, i1 } %14, 1
%16 = extractvalue { i8, i1 } %14, 0
store i8 %16, i8* %z3, align 1
%17 = zext i1 %15 to i8
store i8 %17, i8* %success3, align 1
%18 = load i8, i8* %y, align 1
%eneg = sub i8 0, %18
%19 = load i8, i8* %y, align 1
%20 = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %eneg, i8 %19)
%21 = extractvalue { i8, i1 } %20, 1
%22 = extractvalue { i8, i1 } %20, 0
store i8 %22, i8* %z4, align 1
%23 = zext i1 %21 to i8
store i8 %23, i8* %success4, align 1
%24 = load i8, i8* %x, align 1
%25 = load i8, i8* %y, align 1
%26 = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %24, i8 %25)
%27 = extractvalue { i8, i1 } %26, 1
%28 = extractvalue { i8, i1 } %26, 0
store i8 %28, i8* %z5, align 1
%29 = zext i1 %27 to i8
store i8 %29, i8* %success5, align 1