[AA] Add additional tests for mixed of different captures (NFC)

Author: nikic

llvm/test/Analysis/BasicAA/captures.ll

@@ -40,3 +40,42 @@ define void @address_capture_and_full_capture() {
   load i32, ptr %a
   ret void
 }
+
+; CHECK-LABEL: address_capture_and_full_capture_commuted
+; CHECK: MayAlias:	i32* %a, i32* %p
+; CHECK: Both ModRef:  Ptr: i32* %a	<->  %p = call ptr @get_ptr()
+define void @address_capture_and_full_capture_commuted() {
+  %a = alloca i32
+  call void @capture(ptr %a)
+  call void @capture(ptr captures(address) %a)
+  %p = call ptr @get_ptr()
+  store i32 0, ptr %p
+  load i32, ptr %a
+  ret void
+}
+
+; CHECK-LABEL: read_only_capture_and_full_capture
+; CHECK: MayAlias:	i32* %a, i32* %p
+; CHECK: Both ModRef:  Ptr: i32* %a	<->  %p = call ptr @get_ptr()
+define void @read_only_capture_and_full_capture() {
+  %a = alloca i32
+  call void @capture(ptr captures(address, read_provenance) %a)
+  call void @capture(ptr %a)
+  %p = call ptr @get_ptr()
+  store i32 0, ptr %p
+  load i32, ptr %a
+  ret void
+}
+
+; CHECK-LABEL: read_only_capture_and_full_capture_commuted
+; CHECK: MayAlias:	i32* %a, i32* %p
+; CHECK: Both ModRef:  Ptr: i32* %a	<->  %p = call ptr @get_ptr()
+define void @read_only_capture_and_full_capture_commuted() {
+  %a = alloca i32
+  call void @capture(ptr %a)
+  call void @capture(ptr captures(address, read_provenance) %a)
+  %p = call ptr @get_ptr()
+  store i32 0, ptr %p
+  load i32, ptr %a
+  ret void
+}