32 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes='inferattrs,alloc-token<mode=increment>' -S | FileCheck %s3 4target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128"5 6declare ptr @malloc(i32)7declare ptr @_Znwm(i32)8 9define ptr @test_basic_rewriting() sanitize_alloc_token {10; CHECK-LABEL: define ptr @test_basic_rewriting(11; CHECK-SAME: ) #[[ATTR2:[0-9]+]] {12; CHECK-NEXT: [[ENTRY:.*:]]13; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__alloc_token_malloc(i32 64, i32 0)14; CHECK-NEXT: ret ptr [[TMP0]]15;16entry:17 %ptr1 = call ptr @malloc(i32 64)18 ret ptr %ptr119}20 21define ptr @test_cpp_operators() sanitize_alloc_token {22; CHECK-LABEL: define ptr @test_cpp_operators(23; CHECK-SAME: ) #[[ATTR2]] {24; CHECK-NEXT: [[ENTRY:.*:]]25; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__alloc_token__Znwm(i32 32, i32 1)26; CHECK-NEXT: ret ptr [[TMP0]]27;28entry:29 %ptr1 = call ptr @_Znwm(i32 32)30 ret ptr %ptr131}32