1*2caaec65SNikita Popov; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 20dcfe7aaSMartin Sebor; Regression test for PR51200. 30dcfe7aaSMartin Sebor; 40dcfe7aaSMartin Sebor; RUN: opt < %s -passes=instcombine -S | FileCheck %s 50dcfe7aaSMartin Sebor; 60dcfe7aaSMartin Sebor; This transformation requires the pointer size, as it assumes that size_t is 70dcfe7aaSMartin Sebor; the size of a pointer. 80dcfe7aaSMartin Sebor 90dcfe7aaSMartin Sebor@percent_s = constant [3 x i8] c"%s\00" 100dcfe7aaSMartin Sebor 1189274584SBjorn Petterssondeclare i32 @sprintf(ptr, ptr, ...) 120dcfe7aaSMartin Sebor 1389274584SBjorn Petterssondefine i32 @PR51200(ptr %p, ptr %p2) { 14*2caaec65SNikita Popov; CHECK-LABEL: define i32 @PR51200 15*2caaec65SNikita Popov; CHECK-SAME: (ptr [[P:%.*]], ptr [[P2:%.*]]) { 16*2caaec65SNikita Popov; CHECK-NEXT: [[STPCPY:%.*]] = call ptr @stpcpy(ptr [[P]], ptr [[P2]]) 17*2caaec65SNikita Popov; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[STPCPY]] to i64 18*2caaec65SNikita Popov; CHECK-NEXT: [[TMP2:%.*]] = ptrtoint ptr [[P]] to i64 19*2caaec65SNikita Popov; CHECK-NEXT: [[TMP3:%.*]] = sub i64 [[TMP1]], [[TMP2]] 20*2caaec65SNikita Popov; CHECK-NEXT: [[CALL:%.*]] = trunc i64 [[TMP3]] to i32 21*2caaec65SNikita Popov; CHECK-NEXT: ret i32 [[CALL]] 220dcfe7aaSMartin Sebor; 23*2caaec65SNikita Popov; Don't check anything, just expect the test to compile successfully. 2489274584SBjorn Pettersson %call = call i32 (ptr, ptr, ...) @sprintf(ptr %p, ptr @percent_s, ptr %p2) 250dcfe7aaSMartin Sebor ret i32 %call 260dcfe7aaSMartin Sebor} 27