search for: use_callsetup

...d @llvm.memset*(i8* %m0, i32 0, i32 4) %m1 = call i8* @llvm.call.alloc(token %cs, i32 1) ;; allocates {i32, i32} call void @llvm.memset*(i8* %m1, i32 0, i32 8) %m2 = call i8* @llvm.call.alloc(token %cs, i32 2) ;; allocates {i32, i32, i32} call void @llvm.memset*(i8* %m2, i32 0, i32 12) call void @use_callsetup( {i32}* preallocated({i32}) %m1, i32 13, {i32,i32}* preallocated({i32,i32}) %m2, i32 42, {i32,i32,i32}* preallocated({i32,i32,i32}) %m3) [ "callsetup"(token %cs) ] ``` Many transforms will need to be made aware of the new verifier guarantees, but they should only...