@@ -10,7 +10,7 @@ target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f3
1010@.str.multi = constant [6 x i8 ] c "%f %d\00 "
1111@.str.noargs = constant [1 x i8 ] c "\00 "
1212
13- ; No aspects are specified, so no transformation occurs.
13+ ;; No aspects are specified, so no transformation occurs.
1414define void @test_basic (i32 %arg ) {
1515; CHECK-LABEL: @test_basic(
1616; CHECK-NEXT: call void (ptr, ...) @basic(ptr nonnull @.str.int, i32 [[ARG:%.*]])
@@ -22,7 +22,7 @@ define void @test_basic(i32 %arg) {
2222
2323declare void @basic (ptr , ...) #0
2424
25- ; The "float" aspect is present and needed, so no transformation occurs.
25+ ;; The "float" aspect is present and needed, so no transformation occurs.
2626define void @test_float_present (double %arg ) {
2727; CHECK-LABEL: @test_float_present(
2828; CHECK-NEXT: call void (ptr, ...) @float_present(ptr nonnull @.str.float, double [[ARG:%.*]])
@@ -34,7 +34,7 @@ define void @test_float_present(double %arg) {
3434
3535declare void @float_present (ptr , ...) #1
3636
37- ; The "float" aspect is present but not needed, so the call is transformed.
37+ ;; The "float" aspect is present but not needed, so the call is transformed.
3838define void @test_float_absent (i32 %arg ) {
3939; CHECK-LABEL: @test_float_absent(
4040; CHECK-NEXT: call void (ptr, ...) @float_present_mod(ptr nonnull @.str.int, i32 [[ARG:%.*]])
@@ -46,7 +46,7 @@ define void @test_float_absent(i32 %arg) {
4646
4747declare void @float_absent (ptr , ...) #1
4848
49- ; Unknown aspects are always considered needed, so no transformation occurs.
49+ ;; Unknown aspects are always considered needed, so no transformation occurs.
5050define void @test_unknown_aspects (i32 %arg ) {
5151; CHECK-LABEL: @test_unknown_aspects(
5252; CHECK-NEXT: call void (ptr, ...) @unknown_aspects(ptr nonnull @.str.int, i32 [[ARG:%.*]])
@@ -58,8 +58,8 @@ define void @test_unknown_aspects(i32 %arg) {
5858
5959declare void @unknown_aspects (ptr , ...) #2
6060
61- ; The call has no arguments to check, so the "float" aspect is not needed and
62- ; the call is transformed.
61+ ;; The call has no arguments to check, so the "float" aspect is not needed and
62+ ;; the call is transformed.
6363define void @test_no_args_to_check () {
6464; CHECK-LABEL: @test_no_args_to_check(
6565; CHECK-NEXT: call void (ptr, ...) @float_present_mod(ptr nonnull @.str.noargs)
@@ -71,8 +71,8 @@ define void @test_no_args_to_check() {
7171
7272declare void @no_args_to_check (ptr , ...) #1
7373
74- ; The first argument index is not 2. The "float" aspect is needed, so no
75- ; transformation occurs.
74+ ;; The first argument index is not 2. The "float" aspect is needed, so no
75+ ;; transformation occurs.
7676define void @test_first_arg_idx (i32 %ignored , double %arg ) {
7777; CHECK-LABEL: @test_first_arg_idx(
7878; CHECK-NEXT: call void (i32, ptr, ...) @first_arg_idx(i32 [[IGNORED:%.*]], ptr nonnull @.str.float, double [[ARG:%.*]])
@@ -84,8 +84,8 @@ define void @test_first_arg_idx(i32 %ignored, double %arg) {
8484
8585declare void @first_arg_idx (i32 , ptr , ...) #3
8686
87- ; One aspect ("unknown") is needed, but one ("float") is not. The call is
88- ; transformed, and a reference to the needed aspect is emitted.
87+ ;; One aspect ("unknown") is needed, but one ("float") is not. The call is
88+ ;; transformed, and a reference to the needed aspect is emitted.
8989define void @test_partial_aspects (i32 %arg ) {
9090; CHECK-LABEL: @test_partial_aspects(
9191; CHECK-NEXT: call void (ptr, ...) @multiple_aspects_mod(ptr nonnull @.str.int, i32 [[ARG:%.*]])
0 commit comments