ret void
}
-define internal i32 @callee_guaranteed_aligned(i1 %c, i32* %p) {
-; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned
+define internal i32 @callee_guaranteed_aligned_1(i1 %c, i32* %p) {
+; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_1
; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_VAL:%.*]]) {
; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]
; CHECK: if:
ret i32 -1
}
-define void @caller_guaranteed_aligned(i1 %c, i32* align 16 dereferenceable(4) %p) {
-; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned
+define void @caller_guaranteed_aligned_1(i1 %c, i32* align 16 dereferenceable(4) %p) {
+; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_1
; CHECK-SAME: (i1 [[C:%.*]], i32* align 16 dereferenceable(4) [[P:%.*]]) {
; CHECK-NEXT: [[P_VAL:%.*]] = load i32, i32* [[P]], align 16
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned(i1 [[C]], i32 [[P_VAL]])
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_1(i1 [[C]], i32 [[P_VAL]])
; CHECK-NEXT: ret void
;
- call i32 @callee_guaranteed_aligned(i1 %c, i32* %p)
+ call i32 @callee_guaranteed_aligned_1(i1 %c, i32* %p)
+ ret void
+}
+
+define internal i32 @callee_guaranteed_aligned_2(i1 %c, i32* align 16 dereferenceable(4) %p) {
+; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_2
+; CHECK-SAME: (i1 [[C:%.*]], i32* align 16 dereferenceable(4) [[P:%.*]]) {
+; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]
+; CHECK: if:
+; CHECK-NEXT: [[X:%.*]] = load i32, i32* [[P]], align 16
+; CHECK-NEXT: ret i32 [[X]]
+; CHECK: else:
+; CHECK-NEXT: ret i32 -1
+;
+ br i1 %c, label %if, label %else
+
+if:
+ %x = load i32, i32* %p, align 16
+ ret i32 %x
+
+else:
+ ret i32 -1
+}
+
+define void @caller_guaranteed_aligned_2(i1 %c, i32* %p) {
+; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_2
+; CHECK-SAME: (i1 [[C:%.*]], i32* [[P:%.*]]) {
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_2(i1 [[C]], i32* [[P]])
+; CHECK-NEXT: ret void
+;
+ call i32 @callee_guaranteed_aligned_2(i1 %c, i32* %p)
ret void
}