56 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 32// RUN: %clang_cc1 -triple=x86_64 -emit-llvm -verify -std=c99 %s -o - | FileCheck %s3// RUN: %clang_cc1 -triple=x86_64 -emit-llvm -verify -std=c11 %s -o - | FileCheck %s4// RUN: %clang_cc1 -triple=x86_64 -emit-llvm -verify -std=c17 %s -o - | FileCheck %s5// RUN: %clang_cc1 -triple=x86_64 -emit-llvm -verify -std=c23 %s -o - | FileCheck %s6 7// expected-no-diagnostics8 9#include <stdbool.h>10#include <stdckdint.h>11 12// CHECK-LABEL: define dso_local zeroext i1 @test_ckd_add(13// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {14// CHECK-NEXT: entry:15// CHECK-NEXT: [[RESULT:%.*]] = alloca i32, align 416// CHECK-NEXT: [[TMP0:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 -1073741826, i32 -1073741826)17// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 118// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 019// CHECK-NEXT: store i32 [[TMP2]], ptr [[RESULT]], align 420// CHECK-NEXT: ret i1 [[TMP1]]21//22bool test_ckd_add() {23 int result;24 return ckd_add(&result, -1073741826, -1073741826);25}26 27// CHECK-LABEL: define dso_local zeroext i1 @test_ckd_sub(28// CHECK-SAME: ) #[[ATTR0]] {29// CHECK-NEXT: entry:30// CHECK-NEXT: [[RESULT:%.*]] = alloca i32, align 431// CHECK-NEXT: [[TMP0:%.*]] = call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 -1073741826, i32 1073741826)32// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 133// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 034// CHECK-NEXT: store i32 [[TMP2]], ptr [[RESULT]], align 435// CHECK-NEXT: ret i1 [[TMP1]]36//37bool test_ckd_sub() {38 int result;39 return ckd_sub(&result, -1073741826, 1073741826);40}41 42// CHECK-LABEL: define dso_local zeroext i1 @test_ckd_mul(43// CHECK-SAME: ) #[[ATTR0]] {44// CHECK-NEXT: entry:45// CHECK-NEXT: [[RESULT:%.*]] = alloca i32, align 446// CHECK-NEXT: [[TMP0:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 -1073741826, i32 2)47// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 148// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 049// CHECK-NEXT: store i32 [[TMP2]], ptr [[RESULT]], align 450// CHECK-NEXT: ret i1 [[TMP1]]51//52bool test_ckd_mul() {53 int result;54 return ckd_mul(&result, -1073741826, 2);55}56